cc-zos-vouching
Version:
Vouching logic for the EVM packages of the ZeppelinOS smart contract platform
660 lines (659 loc) • 161 kB
JSON
{
"contractName": "TPLRestrictedReceiverToken",
"abi": [
{
"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": "spender",
"type": "address"
},
{
"name": "addedValue",
"type": "uint256"
}
],
"name": "increaseAllowance",
"outputs": [
{
"name": "",
"type": "bool"
}
],
"payable": false,
"stateMutability": "nonpayable",
"type": "function"
},
{
"constant": true,
"inputs": [
{
"name": "owner",
"type": "address"
}
],
"name": "balanceOf",
"outputs": [
{
"name": "",
"type": "uint256"
}
],
"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": true,
"inputs": [
{
"name": "owner",
"type": "address"
},
{
"name": "spender",
"type": "address"
}
],
"name": "allowance",
"outputs": [
{
"name": "",
"type": "uint256"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"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"
},
{
"constant": true,
"inputs": [
{
"name": "receiver",
"type": "address"
}
],
"name": "canReceive",
"outputs": [
{
"name": "",
"type": "bool"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"constant": true,
"inputs": [],
"name": "getRegistry",
"outputs": [
{
"name": "",
"type": "address"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"constant": true,
"inputs": [],
"name": "getValidAttributeID",
"outputs": [
{
"name": "",
"type": "uint256"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"constant": false,
"inputs": [
{
"name": "registry",
"type": "address"
},
{
"name": "validAttributeTypeID",
"type": "uint256"
}
],
"name": "initialize",
"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": "from",
"type": "address"
},
{
"name": "to",
"type": "address"
},
{
"name": "value",
"type": "uint256"
}
],
"name": "transferFrom",
"outputs": [
{
"name": "",
"type": "bool"
}
],
"payable": false,
"stateMutability": "nonpayable",
"type": "function"
}
],
"bytecode": "0x608060405234801561001057600080fd5b506115f6806100206000396000f3006080604052600436106100ba576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff168063095ea7b3146100bf57806318160ddd1461012457806323b872dd1461014f57806339509351146101d45780635ab1bd531461023957806370a082311461029057806390d370ba146102e7578063a457c2d714610342578063a9059cbb146103a7578063cd6dc6871461040c578063dd62ed3e14610459578063eac5a01c146104d0575b600080fd5b3480156100cb57600080fd5b5061010a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506104fb565b604051808215151515815260200191505060405180910390f35b34801561013057600080fd5b50610139610628565b6040518082815260200191505060405180910390f35b34801561015b57600080fd5b506101ba600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610632565b604051808215151515815260200191505060405180910390f35b3480156101e057600080fd5b5061021f600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506107e4565b604051808215151515815260200191505060405180910390f35b34801561024557600080fd5b5061024e610a1b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561029c57600080fd5b506102d1600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610a45565b6040518082815260200191505060405180910390f35b3480156102f357600080fd5b50610328600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610a8e565b604051808215151515815260200191505060405180910390f35b34801561034e57600080fd5b5061038d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b99565b604051808215151515815260200191505060405180910390f35b3480156103b357600080fd5b506103f2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610dd0565b604051808215151515815260200191505060405180910390f35b34801561041857600080fd5b50610457600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f80565b005b34801561046557600080fd5b506104ba600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506110ff565b6040518082815260200191505060405180910390f35b3480156104dc57600080fd5b506104e5611186565b6040518082815260200191505060405180910390f35b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561053857600080fd5b81603460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000603554905090565b6000606860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16634b5f297a846069546040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b1580156106fb57600080fd5b505af115801561070f573d6000803e3d6000fd5b505050506040513d602081101561072557600080fd5b810190808051906020019092919050505015156107d0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602b8152602001807f5472616e73666572206661696c6564202d207265636569766572206973206e6f81526020017f7420617070726f7665642e00000000000000000000000000000000000000000081525060400191505060405180910390fd5b6107db848484611190565b90509392505050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561082157600080fd5b6108b082603460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461134290919063ffffffff16565b603460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925603460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000606860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000603360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000606860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16634b5f297a836069546040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610b5757600080fd5b505af1158015610b6b573d6000803e3d6000fd5b505050506040513d6020811015610b8157600080fd5b81019080805190602001909291905050509050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515610bd657600080fd5b610c6582603460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461136390919063ffffffff16565b603460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925603460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000606860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16634b5f297a846069546040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610e9957600080fd5b505af1158015610ead573d6000803e3d6000fd5b505050506040513d6020811015610ec357600080fd5b81019080805190602001909291905050501515610f6e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602b8152602001807f5472616e73666572206661696c6564202d207265636569766572206973206e6f81526020017f7420617070726f7665642e00000000000000000000000000000000000000000081525060400191505060405180910390fd5b610f788383611384565b905092915050565b60008060019054906101000a900460ff1680610fa05750610f9f61139b565b5b80610fb757506000809054906101000a900460ff16155b1515611051576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e8152602001807f436f6e747261637420696e7374616e63652068617320616c726561647920626581526020017f656e20696e697469616c697a656400000000000000000000000000000000000081525060400191505060405180910390fd5b600060019054906101000a900460ff1690506001600060016101000a81548160ff02191690831515021790555060016000806101000a81548160ff02191690831515021790555082606860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508160698190555080600060016101000a81548160ff021916908315150217905550505050565b6000603460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000606954905090565b6000603460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561121d57600080fd5b6112ac82603460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461136390919063ffffffff16565b603460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506113378484846113ac565b600190509392505050565b600080828401905083811015151561135957600080fd5b8091505092915050565b60008083831115151561137557600080fd5b82840390508091505092915050565b60006113913384846113ac565b6001905092915050565b600080303b90506000811491505090565b603360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205481111515156113fa57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561143657600080fd5b61148881603360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461136390919063ffffffff16565b603360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061151d81603360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461134290919063ffffffff16565b603360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050505600a165627a7a723058203412d03a64c994d88027aaa825ad4ff9036b902328f0a27408ca9fe3288dacad0029",
"deployedBytecode": "0x6080604052600436106100ba576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff168063095ea7b3146100bf57806318160ddd1461012457806323b872dd1461014f57806339509351146101d45780635ab1bd531461023957806370a082311461029057806390d370ba146102e7578063a457c2d714610342578063a9059cbb146103a7578063cd6dc6871461040c578063dd62ed3e14610459578063eac5a01c146104d0575b600080fd5b3480156100cb57600080fd5b5061010a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506104fb565b604051808215151515815260200191505060405180910390f35b34801561013057600080fd5b50610139610628565b6040518082815260200191505060405180910390f35b34801561015b57600080fd5b506101ba600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610632565b604051808215151515815260200191505060405180910390f35b3480156101e057600080fd5b5061021f600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506107e4565b604051808215151515815260200191505060405180910390f35b34801561024557600080fd5b5061024e610a1b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561029c57600080fd5b506102d1600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610a45565b6040518082815260200191505060405180910390f35b3480156102f357600080fd5b50610328600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610a8e565b604051808215151515815260200191505060405180910390f35b34801561034e57600080fd5b5061038d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610b99565b604051808215151515815260200191505060405180910390f35b3480156103b357600080fd5b506103f2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610dd0565b604051808215151515815260200191505060405180910390f35b34801561041857600080fd5b50610457600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f80565b005b34801561046557600080fd5b506104ba600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506110ff565b6040518082815260200191505060405180910390f35b3480156104dc57600080fd5b506104e5611186565b6040518082815260200191505060405180910390f35b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561053857600080fd5b81603460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000603554905090565b6000606860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16634b5f297a846069546040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b1580156106fb57600080fd5b505af115801561070f573d6000803e3d6000fd5b505050506040513d602081101561072557600080fd5b810190808051906020019092919050505015156107d0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602b8152602001807f5472616e73666572206661696c6564202d207265636569766572206973206e6f81526020017f7420617070726f7665642e00000000000000000000000000000000000000000081525060400191505060405180910390fd5b6107db848484611190565b90509392505050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561082157600080fd5b6108b082603460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461134290919063ffffffff16565b603460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925603460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000606860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000603360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000606860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16634b5f297a836069546040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610b5757600080fd5b505af1158015610b6b573d6000803e3d6000fd5b505050506040513d6020811015610b8157600080fd5b81019080805190602001909291905050509050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515610bd657600080fd5b610c6582603460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461136390919063ffffffff16565b603460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925603460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000606860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16634b5f297a846069546040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610e9957600080fd5b505af1158015610ead573d6000803e3d6000fd5b505050506040513d6020811015610ec357600080fd5b81019080805190602001909291905050501515610f6e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602b8152602001807f5472616e73666572206661696c6564202d207265636569766572206973206e6f81526020017f7420617070726f7665642e00000000000000000000000000000000000000000081525060400191505060405180910390fd5b610f788383611384565b905092915050565b60008060019054906101000a900460ff1680610fa05750610f9f61139b565b5b80610fb757506000809054906101000a900460ff16155b1515611051576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e8152602001807f436f6e747261637420696e7374616e63652068617320616c726561647920626581526020017f656e20696e697469616c697a656400000000000000000000000000000000000081525060400191505060405180910390fd5b600060019054906101000a900460ff1690506001600060016101000a81548160ff02191690831515021790555060016000806101000a81548160ff02191690831515021790555082606860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508160698190555080600060016101000a81548160ff021916908315150217905550505050565b6000603460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000606954905090565b6000603460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561121d57600080fd5b6112ac82603460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461136390919063ffffffff16565b603460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506113378484846113ac565b600190509392505050565b600080828401905083811015151561135957600080fd5b8091505092915050565b60008083831115151561137557600080fd5b82840390508091505092915050565b60006113913384846113ac565b6001905092915050565b600080303b90506000811491505090565b603360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205481111515156113fa57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561143657600080fd5b61148881603360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461136390919063ffffffff16565b603360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061151d81603360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461134290919063ffffffff16565b603360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050505600a165627a7a723058203412d03a64c994d88027aaa825ad4ff9036b902328f0a27408ca9fe3288dacad0029",
"sourceMap": "272:3003:14:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;272:3003:14;;;;;;;",
"deployedSourceMap": "272:3003:14:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2446:220:7;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2446:220:7;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;702:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;702:83:7;;;;;;;;;;;;;;;;;;;;;;;2990:283:14;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2990:283:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3677:330:7;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3677:330:7;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1114:91:14;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1114:91:14;;;;;;;;;;;;;;;;;;;;;;;;;;;986:98:7;;8:9:-1;5:2;;;30:1;27;20:12;5:2;986:98:7;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;851:140:14;;8:9:-1;5:2;;;30:1;27;20:12;5:2;851:140:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4463:340:7;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4463:340:7;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2406:239:14;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2406:239:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1921:237;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1921:237:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1401:150:7;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1401:150:7;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1347:102:14;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1347:102:14;;;;;;;;;;;;;;;;;;;;;;;2446:220:7;2511:4;2550:1;2531:21;;:7;:21;;;;2523:30;;;;;;;;2592:5;2560:8;:20;2569:10;2560:20;;;;;;;;;;;;;;;:29;2581:7;2560:29;;;;;;;;;;;;;;;:37;;;;2629:7;2608:36;;2617:10;2608:36;;;2638:5;2608:36;;;;;;;;;;;;;;;;;;2657:4;2650:11;;2446:220;;;;:::o;702:83::-;746:7;768:12;;761:19;;702:83;:::o;2990:283:14:-;3085:4;3112:9;;;;;;;;;;;:22;;;3135:2;3139:21;;3112:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3112:49:14;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3112:49:14;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3112:49:14;;;;;;;;;;;;;;;;3097:123;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3233:35;3252:4;3258:2;3262:5;3233:18;:35::i;:::-;3226:42;;2990:283;;;;;:::o;3677:330:7:-;3777:4;3818:1;3799:21;;:7;:21;;;;3791:30;;;;;;;;3868:45;3902:10;3868:8;:20;3877:10;3868:20;;;;;;;;;;;;;;;:29;3889:7;3868:29;;;;;;;;;;;;;;;;:33;;:45;;;;:::i;:::-;3828:8;:20;3837:10;3828:20;;;;;;;;;;;;;;;:29;3849:7;3828:29;;;;;;;;;;;;;;;:86;;;;3946:7;3925:60;;3934:10;3925:60;;;3955:8;:20;3964:10;3955:20;;;;;;;;;;;;;;;:29;3976:7;3955:29;;;;;;;;;;;;;;;;3925:60;;;;;;;;;;;;;;;;;;3998:4;3991:11;;3677:330;;;;:::o;1114:91:14:-;1160:7;1190:9;;;;;;;;;;;1175:25;;1114:91;:::o;986:98:7:-;1041:7;1063:9;:16;1073:5;1063:16;;;;;;;;;;;;;;;;1056:23;;986:98;;;:::o;851:140:14:-;912:4;931:9;;;;;;;;;;;:22;;;954:8;964:21;;931:55;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;931:55:14;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;931:55:14;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;931:55:14;;;;;;;;;;;;;;;;924:62;;851:140;;;:::o;4463:340:7:-;4568:4;4609:1;4590:21;;:7;:21;;;;4582:30;;;;;;;;4659:50;4693:15;4659:8;:20;4668:10;4659:20;;;;;;;;;;;;;;;:29;4680:7;4659:29;;;;;;;;;;;;;;;;:33;;:50;;;;:::i;:::-;4619:8;:20;4628:10;4619:20;;;;;;;;;;;;;;;:29;4640:7;4619:29;;;;;;;;;;;;;;;:91;;;;4742:7;4721:60;;4730:10;4721:60;;;4751:8;:20;4760:10;4751:20;;;;;;;;;;;;;;;:29;4772:7;4751:29;;;;;;;;;;;;;;;;4721:60;;;;;;;;;;;;;;;;;;4794:4;4787:11;;4463:340;;;;:::o;2406:239:14:-;2467:4;2494:9;;;;;;;;;;;:22;;;2517:2;2521:21;;2494:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2494:49:14;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2494:49:14;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2494:49:14;;;;;;;;;;;;;;;;2479:123;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2615:25;2630:2;2634:5;2615:14;:25::i;:::-;2608:32;;2406:239;;;;:::o;1921:237::-;1121:20:16;1016:12;;;;;;;;;;;:31;;;;1032:15;:13;:15::i;:::-;1016:31;:47;;;;1052:11;;;;;;;;;;;1051:12;1016:47;1008:106;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1144:12;;;;;;;;;;;1121:35;;1177:4;1162:12;;:19;;;;;;;;;;;;;;;;;;1201:4;1187:11;;:18;;;;;;;;;;;;;;;;;;2094:8:14;2055:9;;:48;;;;;;;;;;;;;;;;;;2133:20;2109:21;:44;;;;1235:15:16;1220:12;;:30;;;;;;;;;;;;;;;;;;1921:237:14;;;:::o;1401:150:7:-;1498:7;1522:8;:15;1531:5;1522:15;;;;;;;;;;;;;;;:24;1538:7;1522:24;;;;;;;;;;;;;;;;1515:31;;1401:150;;;;:::o;1347:102:14:-;1401:7;1423:21;;1416:28;;1347:102;:::o;2938:288:7:-;3041:4;3072:8;:14;3081:4;3072:14;;;;;;;;;;;;;;;:26;3087:10;3072:26;;;;;;;;;;;;;;;;3063:5;:35;;3055:44;;;;;;;;3135:37;3166:5;3135:8;:14;3144:4;3135:14;;;;;;;;;;;;;;;:26;3150:10;3135:26;;;;;;;;;;;;;;;;:30;;:37;;;;:::i;:::-;3106:8;:14;3115:4;3106:14;;;;;;;;;;;;;;;:26;3121:10;3106:26;;;;;;;;;;;;;;;:66;;;;3178:26;3188:4;3194:2;3198:5;3178:9;:26::i;:::-;3217:4;3210:11;;2938:288;;;;;:::o;1273:131:6:-;1331:7;1346:9;1362:1;1358;:5;1346:17;;1382:1;1377;:6;;1369:15;;;;;;;;1398:1;1391:8;;1273:131;;;;;:::o;1079:::-;1137:7;1173:9;1165:1;1160;:6;;1152:15;;;;;;;;1189:1;1185;:5;1173:17;;1204:1;1197:8;;1079:131;;;;;:::o;1703:127:7:-;1764:4;1776:32;1786:10;1798:2;1802:5;1776:9;:32::i;:::-;1821:4;1814:11;;1703:127;;;;:::o;1341:467:16:-;1388:4;1729:10;1774:7;1762:20;1756:26;;1802:1;1796:2;:7;1789:14;;1341:467;;:::o;5003:277:7:-;5095:9;:15;5105:4;5095:15;;;;;;;;;;;;;;;;5086:5;:24;;5078:33;;;;;;;;5139:1;5125:16;;:2;:16;;;;5117:25;;;;;;;;5167:26;5187:5;5167:9;:15;5177:4;5167:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;5149:9;:15;5159:4;5149:15;;;;;;;;;;;;;;;:44;;;;5215:24;5233:5;5215:9;:13;5225:2;5215:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;5199:9;:13;5209:2;5199:13;;;;;;;;;;;;;;;:40;;;;5265:2;5250:25;;5259:4;5250:25;;;5269:5;5250:25;;;;;;;;;;;;;;;;;;5003:277;;;:::o",
"source": "pragma solidity ^0.4.24;\n\nimport \"openzeppelin-eth/contracts/token/ERC20/ERC20.sol\";\nimport \"./TPLRestrictedReceiverTokenInterface.sol\";\nimport \"../AttributeRegistryInterface.sol\";\n\n\n/**\n * @title Permissioned ERC20 token: transfers are restricted to valid receivers.\n */\ncontract TPLRestrictedReceiverToken is Initializable, ERC20, TPLRestrictedReceiverTokenInterface {\n\n // declare registry interface, used to request attributes from a jurisdiction\n AttributeRegistryInterface private _registry;\n\n // declare attribute ID required in order to receive transferred tokens\n uint256 private _validAttributeTypeID;\n\n /**\n * @notice Check if an account is approved to receive token transfers at\n * account `receiver`.\n * @param receiver address The account of the recipient.\n * @return True if the receiver is valid, false otherwise.\n */\n function canReceive(address receiver) external view returns (bool) {\n return _registry.hasAttribute(receiver, _validAttributeTypeID);\n }\n\n /**\n * @notice Get the account of the utilized attribute registry.\n * @return The account of the registry.\n */\n function getRegistry() external view returns (address) {\n return address(_registry);\n }\n\n /**\n * @notice Get the ID of the attribute type required to receive tokens.\n * @return The ID of the required attribute type.\n */\n function getValidAttributeID() external view returns (uint256) {\n return _validAttributeTypeID;\n }\n\n /**\n * @notice The initializer function, with an associated attribute registry at\n * `registry` and an assignable attribute type with ID `validAttributeTypeID`.\n * @param registry address The account of the associated attribute registry. \n * @param validAttributeTypeID uint256 The ID of the required attribute type.\n * @dev Note that it may be appropriate to require that the referenced\n * attribute registry supports the correct interface via EIP-165.\n */\n function initialize(\n AttributeRegistryInterface registry,\n uint256 validAttributeTypeID\n )\n public\n initializer\n {\n _registry = AttributeRegistryInterface(registry);\n _validAttributeTypeID = validAttributeTypeID;\n }\n\n /**\n * @notice Transfer an amount of `value` to a receiver at account `to`.\n * @param to address The account of the receiver.\n * @param value uint256 the amount to be transferred.\n * @return True if the transfer was successful.\n */\n function transfer(address to, uint256 value) public returns (bool) {\n require(\n _registry.hasAttribute(to, _validAttributeTypeID),\n \"Transfer failed - receiver is not approved.\"\n );\n return super.transfer(to, value);\n }\n\n /**\n * @notice Transfer an amount of `value` to a receiver at account `to` on\n * behalf of a sender at account `from`.\n * @param to address The account of the receiver.\n * @param from address The account of the sender.\n * @param value uint256 the amount to be transferred.\n * @return True if the transfer was successful.\n */\n function transferFrom(\n address from,\n address to,\n uint256 value\n ) public returns (bool) {\n require(\n _registry.hasAttribute(to, _validAttributeTypeID),\n \"Transfer failed - receiver is not approved.\"\n );\n return super.transferFrom(from, to, value);\n }\n}\n",
"sourcePath": "tpl-contracts-eth/contracts/token/TPLRestrictedReceiverToken.sol",
"ast": {
"absolutePath": "tpl-contracts-eth/contracts/token/TPLRestrictedReceiverToken.sol",
"exportedSymbols": {
"TPLRestrictedReceiverToken": [
1847
]
},
"id": 1848,
"nodeType": "SourceUnit",
"nodes": [
{
"id": 1728,
"literals": [
"solidity",
"^",
"0.4",
".24"
],
"nodeType": "PragmaDirective",
"src": "0:24:14"
},
{
"absolutePath": "openzeppelin-eth/contracts/token/ERC20/ERC20.sol",
"file": "openzeppelin-eth/contracts/token/ERC20/ERC20.sol",
"id": 1729,
"nodeType": "ImportDirective",
"scope": 1848,
"sourceUnit": 1354,
"src": "26:58:14",
"symbolAliases": [],
"unitAlias": ""
},
{
"absolutePath": "tpl-contracts-eth/contracts/token/TPLRestrictedReceiverTokenInterface.sol",
"file": "./TPLRestrictedReceiverTokenInterface.sol",
"id": 1730,
"nodeType": "ImportDirective",
"scope": 1848,
"sourceUnit": 1863,
"src": "85:51:14",
"symbolAliases": [],
"unitAlias": ""
},
{
"absolutePath": "tpl-contracts-eth/contracts/AttributeRegistryInterface.sol",
"file": "../AttributeRegistryInterface.sol",
"id": 1731,
"nodeType": "ImportDirective",
"scope": 1848,
"sourceUnit": 1727,
"src": "137:43:14",
"symbolAliases": [],
"unitAlias": ""
},
{
"baseContracts": [
{
"arguments": null,
"baseName": {
"contractScope": null,
"id": 1732,
"name": "Initializable",
"nodeType": "UserDefinedTypeName",
"referencedDeclaration": 1918,
"src": "311:13:14",
"typeDescriptions": {
"typeIdentifier": "t_contract$_Initializable_$1918",
"typeString": "contract Initializable"
}
},
"id": 1733,
"nodeType": "InheritanceSpecifier",
"src": "311:13:14"
},
{
"arguments": null,
"baseName": {
"contractScope": null,
"id": 1734,
"name": "ERC20",
"nodeType": "UserDefinedTypeName",
"referencedDeclaration": 1353,
"src": "326:5:14",
"typeDescriptions": {
"typeIdentifier": "t_contract$_ERC20_$1353",
"typeString": "contract ERC20"
}
},
"id": 1735,
"nodeType": "InheritanceSpecifier",
"src": "326:5:14"
},
{
"arguments": null,
"baseName": {
"contractScope": null,
"id": 1736,
"name": "TPLRestrictedReceiverTokenInterface",
"nodeType": "UserDefinedTypeName",
"referencedDeclaration": 1862,
"src": "333:35:14",
"typeDescriptions": {
"typeIdentifier": "t_contract$_TPLRestrictedReceiverTokenInterface_$1862",
"typeString": "contract TPLRestrictedReceiverTokenInterface"
}
},
"id": 1737,
"nodeType": "InheritanceSpecifier",
"src": "333:35:14"
}
],
"contractDependencies": [
1353,
1612,
1862,
1918
],
"contractKind": "contract",
"documentation": "@title Permissioned ERC20 token: transfers are restricted to valid receivers.",
"fullyImplemented": true,
"id": 1847,
"linearizedBaseContracts": [
1847,
1862,
1353,
1612,
1918
],
"name": "TPLRestrictedReceiverToken",
"nodeType": "ContractDefinition",
"nodes": [
{
"constant": false,
"id": 1739,
"name": "_registry",
"nodeType": "VariableDeclaration",
"scope": 1847,
"src": "454:44:14",
"stateVariable": true,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_contract$_AttributeRegistryInterface_$1726",
"typeString": "contract AttributeRegistryInterface"
},
"typeName": {
"contractScope": null,
"id": 1738,
"name": "AttributeRegistryInterface",
"nodeType": "UserDefinedTypeName",
"referencedDeclaration": 1726,
"src": "454:26:14",
"typeDescriptions": {
"typeIdentifier": "t_contract$_AttributeRegistryInterface_$1726",
"typeString": "contract AttributeRegistryInterface"
}
},
"value": null,
"visibility": "private"
},
{
"constant": false,
"id": 1741,
"name": "_validAttributeTypeID",
"nodeType": "VariableDeclaration",
"scope": 1847,
"src": "577:37:14",
"stateVariable": true,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
},
"typeName": {
"id": 1740,
"name": "uint256",
"nodeType": "ElementaryTypeName",
"src": "577:7:14",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"value": null,
"visibility": "private"
},
{
"body": {
"id": 1754,
"nodeType": "Block",
"src": "918:73:14",
"statements": [
{
"expression": {
"argumentTypes": null,
"arguments": [
{
"argumentTypes": null,
"id": 1750,
"name": "receiver",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 1743,
"src": "954:8:14",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
}
},
{
"argumentTypes": null,
"id": 1751,
"name": "_validAttributeTypeID",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 1741,
"src": "964:21:14",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
}
],
"expression": {
"argumentTypes": [
{
"typeIdentifier": "t_address",
"typeString": "address"
},
{
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
],
"expression": {
"argumentTypes": null,
"id": 1748,
"name": "_registry",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 1739,
"src": "931:9:14",
"typeDescriptions": {
"typeIdentifier": "t_contract$_AttributeRegistryInterface_$1726",
"typeString": "contract AttributeRegistryInterface"
}
},
"id": 1749,
"isConstant": false,
"isLValue": false,
"isPure": false,
"lValueRequested": false,
"memberName": "hasAttribute",
"nodeType": "MemberAccess",
"referencedDeclaration": 1704,
"src": "931:22:14",
"typeDescriptions": {
"typeIdentifier": "t_function_external_view$_t_address_$_t_uint256_$returns$_t_bool_$",
"typeString": "function (address,uint256) view external returns (bool)"
}
},
"id": 1752,
"isConstant": false,
"isLValue": false,
"isPure": false,
"kind": "functionCall",
"lValueRequested": false,
"names": [],
"nodeType": "FunctionCall",
"src": "931:55:14",
"typeDescriptions": {
"typeIdentifier": "t_bool",
"typeString": "bool"
}
},
"functionReturnParameters": 1747,
"id": 1753,
"nodeType": "Return",
"src": "924:62:14"
}
]
},
"documentation": "@notice Check if an account is approved to receive token transfers at\naccount `receiver`.\n@param receiver address The account of the recipient.\n@return True if the receiver is valid, false otherwise.",
"id": 1755,
"implemented": true,
"isConstructor": false,
"isDeclaredConst": true,
"modifiers": [],
"name": "canReceive",
"nodeType": "FunctionDefinition",
"parameters": {
"id": 1744,
"nodeType": "ParameterList",
"parameters": [
{
"constant": false,
"id": 1743,
"name": "receiver",
"nodeType": "VariableDeclaration",
"scope": 1755,
"src": "871:16:14",
"stateVariable": false,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
},
"typeName": {
"id": 1742,
"name": "address",
"nodeType": "ElementaryTypeName",
"src": "871:7:14",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
}
},
"value": null,
"visibility": "internal"
}
],
"src": "870:18:14"
},
"payable": false,
"returnParameters": {
"id": 1747,
"nodeType": "ParameterList",
"parameters": [
{
"constant": false,
"id": 1746,
"name": "",
"nodeType": "VariableDeclaration",
"scope": 1755,
"src": "912:4:14",
"stateVariable": false,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_bool",
"typeString": "bool"
},
"typeName": {
"id": 1745,
"name": "bool",
"nodeType": "ElementaryTypeName",
"src": "912:4:14",
"typeDescriptions": {
"typeIdentifier": "t_bool",
"typeString": "bool"
}
},
"value": null,
"visibility": "internal"
}
],
"src": "911:6:14"
},
"scope": 1847,
"src": "851:140:14",
"stateMutability": "view",
"superFunction": 1856,
"visibility": "external"
},
{
"body": {
"id": 1764,