文件 1 的 16：DXSCR.sol
pragma solidity ^0.5.3;
import "./SafeMath.sol";
import "./ERC20.sol";
import "./Pausable.sol";
import "./Ownable.sol";
import "./IIssuable.sol";
import "./IRedeemable.sol";
import "./IDestroyable.sol";
import "./IReassignable.sol";
import "./IIdentifiable.sol";
import "./IContactable.sol";
import "./IRuleEngine.sol";
contract DXSCR is ERC20, Ownable, Pausable, IContactable, IIdentifiable, IIssuable, IRedeemable, IDestroyable, IReassignable {
using SafeMath for uint256;
uint8 constant TRANSFER_OK = 0;
uint8 constant TRANSFER_REJECTED_PAUSED = 1;
string constant TEXT_TRANSFER_OK = "No restriction";
string constant TEXT_TRANSFER_REJECTED_PAUSED = "All transfers paused";
string public name;
string public symbol;
string public contact;
uint8 private _decimals;
mapping (address => bytes) internal identities;
IRuleEngine public ruleEngine;
constructor(string memory _name, string memory _symbol, string memory _contact, uint8 decimals) public {
name = _name;
symbol = _symbol;
contact = _contact;
_decimals = decimals;
}
event LogRuleEngineSet(address indexed newRuleEngine);
event LogContactSet(string contact);
function setRuleEngine(IRuleEngine _ruleEngine) external onlyOwner {
ruleEngine = _ruleEngine;
emit LogRuleEngineSet(address(_ruleEngine));
}
function decimals() public view returns (uint8) {
return _decimals;
}
function setContact(string calldata _contact) external onlyOwner {
contact = _contact;
emit LogContactSet(_contact);
}
function identity(address shareholder) external view returns (bytes memory) {
return identities[shareholder];
}
function setMyIdentity(bytes calldata _identity) external {
identities[msg.sender] = _identity;
}
function issue(uint256 _value) public onlyOwner {
_balances[owner] = _balances[owner].add(_value);
_totalSupply = _totalSupply.add(_value);
emit Transfer(address(0), owner, _value);
emit LogIssued(_value);
}
function redeem(uint256 _value) public onlyOwner {
_balances[owner] = _balances[owner].sub(_value);
_totalSupply = _totalSupply.sub(_value);
emit Transfer(owner, address(0), _value);
emit LogRedeemed(_value);
}
function canTransfer(address _from, address _to, uint256 _value) public view returns (bool) {
if (paused()) {
return false;
}
if (address(ruleEngine) != address(0)) {
return ruleEngine.validateTransfer(_from, _to, _value);
}
return true;
}
function detectTransferRestriction (address _from, address _to, uint256 _value) public view returns (uint8) {
if (paused()) {
return TRANSFER_REJECTED_PAUSED;
}
if (address(ruleEngine) != address(0)) {
return ruleEngine.detectTransferRestriction(_from, _to, _value);
}
return TRANSFER_OK;
}
function messageForTransferRestriction (uint8 _restrictionCode) external view returns (string memory) {
if (_restrictionCode == TRANSFER_OK) {
return TEXT_TRANSFER_OK;
} else if (_restrictionCode == TRANSFER_REJECTED_PAUSED) {
return TEXT_TRANSFER_REJECTED_PAUSED;
} else if (address(ruleEngine) != address(0)) {
return ruleEngine.messageForTransferRestriction(_restrictionCode);
}
}
function transfer(address _to, uint256 _value) public whenNotPaused returns (bool) {
if (address(ruleEngine) != address(0)) {
require(ruleEngine.validateTransfer(msg.sender, _to, _value), "CM04");
return super.transfer(_to, _value);
} else {
return super.transfer(_to, _value);
}
}
function transferFrom(address _from, address _to, uint256 _value) public whenNotPaused returns (bool) {
if (address(ruleEngine) != address(0)) {
require(ruleEngine.validateTransfer(_from, _to, _value), "CM04");
return super.transferFrom(_from, _to, _value);
} else {
return super.transferFrom(_from, _to, _value);
}
}
function approve(address _spender, uint256 _value) public whenNotPaused returns (bool) {
return super.approve(_spender, _value);
}
function increaseAllowance(address _spender, uint256 _addedValue) public whenNotPaused returns (bool)
{
return super.increaseAllowance(_spender, _addedValue);
}
function decreaseAllowance(address _spender, uint256 _subtractedValue) public whenNotPaused returns (bool)
{
return super.decreaseAllowance(_spender, _subtractedValue);
}
function reassign(address original, address replacement) external onlyOwner whenNotPaused {
require(original != address(0), "CM01");
require(replacement != address(0), "CM02");
require(original != replacement, "CM03");
uint256 originalBalance = _balances[original];
require(originalBalance != 0, "CM05");
_balances[replacement] = _balances[replacement].add(originalBalance);
_balances[original] = 0;
emit Transfer(original, replacement, originalBalance);
emit LogReassigned(original, replacement, originalBalance);
}
function destroy(address[] calldata shareholders) external onlyOwner {
for (uint256 i = 0; i<shareholders.length; i++) {
require(shareholders[i] != owner, "CM06");
uint256 shareholderBalance = _balances[shareholders[i]];
_balances[owner] = _balances[owner].add(shareholderBalance);
_balances[shareholders[i]] = 0;
emit Transfer(shareholders[i], owner, shareholderBalance);
}
emit LogDestroyed(shareholders);
}
}文件 2 的 16：ERC20.sol
pragma solidity ^0.5.0;
import "./IERC20.sol";
import "./SafeMath.sol";
contract ERC20 is IERC20 {
using SafeMath for uint256;
mapping (address => uint256) internal _balances;
mapping (address => mapping (address => uint256)) internal _allowances;
uint256 internal _totalSupply;
function totalSupply() public view returns (uint256) {
return _totalSupply;
}
function balanceOf(address account) public view returns (uint256) {
return _balances[account];
}
function transfer(address recipient, uint256 amount) public returns (bool) {
_transfer(msg.sender, recipient, amount);
return true;
}
function allowance(address owner, address spender) public view returns (uint256) {
return _allowances[owner][spender];
}
function approve(address spender, uint256 value) public returns (bool) {
_approve(msg.sender, spender, value);
return true;
}
function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
_transfer(sender, recipient, amount);
_approve(sender, msg.sender, _allowances[sender][msg.sender].sub(amount));
return true;
}
function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
_approve(msg.sender, spender, _allowances[msg.sender][spender].add(addedValue));
return true;
}
function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
_approve(msg.sender, spender, _allowances[msg.sender][spender].sub(subtractedValue));
return true;
}
function _transfer(address sender, address recipient, uint256 amount) internal {
require(sender != address(0), "ERC20: transfer from the zero address");
require(recipient != address(0), "ERC20: transfer to the zero address");
_balances[sender] = _balances[sender].sub(amount);
_balances[recipient] = _balances[recipient].add(amount);
emit Transfer(sender, recipient, amount);
}
function _mint(address account, uint256 amount) internal {
require(account != address(0), "ERC20: mint to the zero address");
_totalSupply = _totalSupply.add(amount);
_balances[account] = _balances[account].add(amount);
emit Transfer(address(0), account, amount);
}
function _burn(address account, uint256 value) internal {
require(account != address(0), "ERC20: burn from the zero address");
_totalSupply = _totalSupply.sub(value);
_balances[account] = _balances[account].sub(value);
emit Transfer(account, address(0), value);
}
function _approve(address owner, address spender, uint256 value) internal {
require(owner != address(0), "ERC20: approve from the zero address");
require(spender != address(0), "ERC20: approve to the zero address");
_allowances[owner][spender] = value;
emit Approval(owner, spender, value);
}
function _burnFrom(address account, uint256 amount) internal {
_burn(account, amount);
_approve(account, msg.sender, _allowances[account][msg.sender].sub(amount));
}
}文件 3 的 16：IContactable.sol
pragma solidity ^0.5.3;
interface IContactable {
function contact() external view returns (string memory);
function setContact(string calldata _contact) external;
event LogContactSet(string contact);
}
文件 4 的 16：IDestroyable.sol
pragma solidity ^0.5.3;
interface IDestroyable {
function destroy(address[] calldata shareholders) external;
event LogDestroyed(address[] shareholders);
}
文件 5 的 16：IERC20.sol
pragma solidity ^0.5.0;
interface IERC20 {
function totalSupply() external view returns (uint256);
function balanceOf(address account) external view returns (uint256);
function transfer(address recipient, uint256 amount) external returns (bool);
function allowance(address owner, address spender) external view returns (uint256);
function approve(address spender, uint256 amount) external returns (bool);
function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
event Transfer(address indexed from, address indexed to, uint256 value);
event Approval(address indexed owner, address indexed spender, uint256 value);
}文件 6 的 16：IIdentifiable.sol
pragma solidity ^0.5.3;
interface IIdentifiable {
function identity(address shareholder) external view returns (bytes memory);
function setMyIdentity(bytes calldata _identity) external;
}
文件 7 的 16：IIssuable.sol
pragma solidity ^0.5.3;
interface IIssuable {
function issue(uint256 value) external;
function redeem(uint256 value) external;
event LogIssued(uint256 value);
event LogRedeemed(uint256 value);
}
文件 8 的 16：IReassignable.sol
pragma solidity ^0.5.3;
interface IReassignable {
function reassign(
address original,
address replacement
)
external;
event LogReassigned(
address indexed original,
address indexed replacement,
uint256 value
);
}
文件 9 的 16：IRedeemable.sol
pragma solidity ^0.5.3;
interface IRedeemable {
function redeem(uint256 value) external;
event LogRedeemed(uint256 value);
}文件 10 的 16：IRule.sol
pragma solidity ^0.5.3;
interface IRule {
function isTransferValid(
address _from, address _to, uint256 _amount)
external view returns (bool isValid);
function detectTransferRestriction(
address _from, address _to, uint256 _amount)
external view returns (uint8);
function canReturnTransferRestrictionCode(uint8 _restrictionCode) external view returns (bool);
function messageForTransferRestriction(uint8 _restrictionCode) external view returns (string memory);
}
文件 11 的 16：IRuleEngine.sol
pragma solidity ^0.5.3;
import "./IRule.sol";
interface IRuleEngine {
function setRules(IRule[] calldata rules) external;
function ruleLength() external view returns (uint256);
function rule(uint256 ruleId) external view returns (IRule);
function rules() external view returns(IRule[] memory);
function validateTransfer(
address _from,
address _to,
uint256 _amount)
external view returns (bool);
function detectTransferRestriction (
address _from,
address _to,
uint256 _value)
external view returns (uint8);
function messageForTransferRestriction (uint8 _restrictionCode) external view returns (string memory);
}
文件 12 的 16：Ownable.sol
pragma solidity ^0.5.0;
contract Ownable {
address public owner;
event OwnershipRenounced(address indexed previousOwner);
event OwnershipTransferred(
address indexed previousOwner,
address indexed newOwner
);
constructor() public {
owner = msg.sender;
}
modifier onlyOwner() {
require(msg.sender == owner, "OW01");
_;
}
function renounceOwnership() public onlyOwner {
emit OwnershipRenounced(owner);
owner = address(0);
}
function transferOwnership(address _newOwner) public onlyOwner {
_transferOwnership(_newOwner);
}
function _transferOwnership(address _newOwner) internal {
require(_newOwner != address(0), "OW02");
emit OwnershipTransferred(owner, _newOwner);
owner = _newOwner;
}
}
文件 13 的 16：Pausable.sol
pragma solidity ^0.5.0;
import "./PauserRole.sol";
contract Pausable is PauserRole {
event Paused(address account);
event Unpaused(address account);
bool private _paused;
constructor () internal {
_paused = false;
}
function paused() public view returns (bool) {
return _paused;
}
modifier whenNotPaused() {
require(!_paused, "Pausable: paused");
_;
}
modifier whenPaused() {
require(_paused, "Pausable: not paused");
_;
}
function pause() public onlyPauser whenNotPaused {
_paused = true;
emit Paused(msg.sender);
}
function unpause() public onlyPauser whenPaused {
_paused = false;
emit Unpaused(msg.sender);
}
}文件 14 的 16：PauserRole.sol
pragma solidity ^0.5.0;
import "./Roles.sol";
contract PauserRole {
using Roles for Roles.Role;
event PauserAdded(address indexed account);
event PauserRemoved(address indexed account);
Roles.Role private _pausers;
constructor () internal {
_addPauser(msg.sender);
}
modifier onlyPauser() {
require(isPauser(msg.sender), "PauserRole: caller does not have the Pauser role");
_;
}
function isPauser(address account) public view returns (bool) {
return _pausers.has(account);
}
function addPauser(address account) public onlyPauser {
_addPauser(account);
}
function renouncePauser() public {
_removePauser(msg.sender);
}
function _addPauser(address account) internal {
_pausers.add(account);
emit PauserAdded(account);
}
function _removePauser(address account) internal {
_pausers.remove(account);
emit PauserRemoved(account);
}
}文件 15 的 16：Roles.sol
pragma solidity ^0.5.0;
library Roles {
struct Role {
mapping (address => bool) bearer;
}
function add(Role storage role, address account) internal {
require(!has(role, account), "Roles: account already has role");
role.bearer[account] = true;
}
function remove(Role storage role, address account) internal {
require(has(role, account), "Roles: account does not have role");
role.bearer[account] = false;
}
function has(Role storage role, address account) internal view returns (bool) {
require(account != address(0), "Roles: account is the zero address");
return role.bearer[account];
}
}文件 16 的 16：SafeMath.sol
pragma solidity ^0.5.0;
library SafeMath {
function add(uint256 a, uint256 b) internal pure returns (uint256) {
uint256 c = a + b;
require(c >= a, "SafeMath: addition overflow");
return c;
}
function sub(uint256 a, uint256 b) internal pure returns (uint256) {
require(b <= a, "SafeMath: subtraction overflow");
uint256 c = a - b;
return c;
}
function mul(uint256 a, uint256 b) internal pure returns (uint256) {
if (a == 0) {
return 0;
}
uint256 c = a * b;
require(c / a == b, "SafeMath: multiplication overflow");
return c;
}
function div(uint256 a, uint256 b) internal pure returns (uint256) {
require(b > 0, "SafeMath: division by zero");
uint256 c = a / b;
return c;
}
function mod(uint256 a, uint256 b) internal pure returns (uint256) {
require(b != 0, "SafeMath: modulo by zero");
return a % b;
}
}{
"compilationTarget": {
"DXSCR.sol": "DXSCR"
},
"evmVersion": "byzantium",
"libraries": {},
"optimizer": {
"enabled": true,
"runs": 200
},
"remappings": []
}[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"contact","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"isPauser","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"original","type":"address"},{"name":"replacement","type":"address"}],"name":"reassign","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_identity","type":"bytes"}],"name":"setMyIdentity","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renouncePauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_restrictionCode","type":"uint8"}],"name":"messageForTransferRestriction","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_contact","type":"string"}],"name":"setContact","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"}],"name":"addPauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_ruleEngine","type":"address"}],"name":"setRuleEngine","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"shareholders","type":"address[]"}],"name":"destroy","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"issue","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"detectTransferRestriction","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"redeem","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"canTransfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"shareholder","type":"address"}],"name":"identity","outputs":[{"name":"","type":"bytes"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"ruleEngine","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[{"name":"_name","type":"string"},{"name":"_symbol","type":"string"},{"name":"_contact","type":"string"},{"name":"decimals","type":"uint8"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"newRuleEngine","type":"address"}],"name":"LogRuleEngineSet","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"contact","type":"string"}],"name":"LogContactSet","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"original","type":"address"},{"indexed":true,"name":"replacement","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"LogReassigned","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"shareholders","type":"address[]"}],"name":"LogDestroyed","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"value","type":"uint256"}],"name":"LogRedeemed","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"value","type":"uint256"}],"name":"LogIssued","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"PauserAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"PauserRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"}],"name":"OwnershipRenounced","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"}]
