{ "contractName": "BasicToken", "abi": [ { "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" }, { "constant": true, "inputs": [], "name": "totalSupply", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "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": true, "inputs": [ { "name": "_owner", "type": "address" } ], "name": "balanceOf", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" } ], "bytecode": "0x608060405234801561001057600080fd5b5061027c806100206000396000f3006080604052600436106100565763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166318160ddd811461005b57806370a0823114610082578063a9059cbb146100b0575b600080fd5b34801561006757600080fd5b506100706100f5565b60408051918252519081900360200190f35b34801561008e57600080fd5b5061007073ffffffffffffffffffffffffffffffffffffffff600435166100fb565b3480156100bc57600080fd5b506100e173ffffffffffffffffffffffffffffffffffffffff60043516602435610123565b604080519115158252519081900360200190f35b60015490565b73ffffffffffffffffffffffffffffffffffffffff1660009081526020819052604090205490565b600073ffffffffffffffffffffffffffffffffffffffff8316151561014757600080fd5b3360009081526020819052604090205482111561016357600080fd5b33600090815260208190526040902054610183908363ffffffff61022b16565b336000908152602081905260408082209290925573ffffffffffffffffffffffffffffffffffffffff8516815220546101c2908363ffffffff61023d16565b73ffffffffffffffffffffffffffffffffffffffff8416600081815260208181526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b60008282111561023757fe5b50900390565b8181018281101561024a57fe5b929150505600a165627a7a72305820c9ba11fe3ce05df42b0bc53bf53a14f76970d288373a070dda13d879b4b1cbe60029", "deployedBytecode": "0x6080604052600436106100565763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166318160ddd811461005b57806370a0823114610082578063a9059cbb146100b0575b600080fd5b34801561006757600080fd5b506100706100f5565b60408051918252519081900360200190f35b34801561008e57600080fd5b5061007073ffffffffffffffffffffffffffffffffffffffff600435166100fb565b3480156100bc57600080fd5b506100e173ffffffffffffffffffffffffffffffffffffffff60043516602435610123565b604080519115158252519081900360200190f35b60015490565b73ffffffffffffffffffffffffffffffffffffffff1660009081526020819052604090205490565b600073ffffffffffffffffffffffffffffffffffffffff8316151561014757600080fd5b3360009081526020819052604090205482111561016357600080fd5b33600090815260208190526040902054610183908363ffffffff61022b16565b336000908152602081905260408082209290925573ffffffffffffffffffffffffffffffffffffffff8516815220546101c2908363ffffffff61023d16565b73ffffffffffffffffffffffffffffffffffffffff8416600081815260208181526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b60008282111561023757fe5b50900390565b8181018281101561024a57fe5b929150505600a165627a7a72305820c9ba11fe3ce05df42b0bc53bf53a14f76970d288373a070dda13d879b4b1cbe60029", "sourceMap": "180:1053:65:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;180:1053:65;;;;;;;", "deployedSourceMap": "180:1053:65:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;371:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;371:83:65;;;;;;;;;;;;;;;;;;;;1131:99;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1131:99:65;;;;;;;608:321;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;608:321:65;;;;;;;;;;;;;;;;;;;;;;;;;;;371:83;437:12;;371:83;:::o;1131:99::-;1209:16;;1187:7;1209:16;;;;;;;;;;;;1131:99::o;608:321::-;671:4;691:17;;;;;683:26;;;;;;742:10;733:8;:20;;;;;;;;;;;723:30;;;715:39;;;;;;793:10;784:8;:20;;;;;;;;;;;:32;;809:6;784:32;:24;:32;:::i;:::-;770:10;761:8;:20;;;;;;;;;;;:55;;;;:20;838:13;;;;;;:25;;856:6;838:25;:17;:25;:::i;:::-;822:13;;;:8;:13;;;;;;;;;;;;:41;;;;874:33;;;;;;;822:13;;883:10;;874:33;;;;;;;;;;-1:-1:-1;920:4:65;608:321;;;;:::o;1042:110:63:-;1100:7;1122:6;;;;1115:14;;;;-1:-1:-1;1142:5:63;;;1042:110::o;1214:123::-;1293:5;;;1311:6;;;;1304:14;;;;1214:123;;;;:::o", "source": "pragma solidity ^0.4.23;\n\n\nimport \"./ERC20Basic.sol\";\nimport \"../../math/SafeMath.sol\";\n\n\n/**\n * @title Basic token\n * @dev Basic version of StandardToken, with no allowances.\n */\ncontract BasicToken is ERC20Basic {\n using SafeMath for uint256;\n\n mapping(address => uint256) balances;\n\n uint256 totalSupply_;\n\n /**\n * @dev total number of tokens in existence\n */\n function totalSupply() public view returns (uint256) {\n return totalSupply_;\n }\n\n /**\n * @dev transfer token for a specified address\n * @param _to The address to transfer to.\n * @param _value The amount to be transferred.\n */\n function transfer(address _to, uint256 _value) public returns (bool) {\n require(_to != address(0));\n require(_value <= balances[msg.sender]);\n\n balances[msg.sender] = balances[msg.sender].sub(_value);\n balances[_to] = balances[_to].add(_value);\n emit Transfer(msg.sender, _to, _value);\n return true;\n }\n\n /**\n * @dev Gets the balance of the specified address.\n * @param _owner The address to query the the balance of.\n * @return An uint256 representing the amount owned by the passed address.\n */\n function balanceOf(address _owner) public view returns (uint256) {\n return balances[_owner];\n }\n\n}\n", "sourcePath": "openzeppelin-solidity/contracts/token/ERC20/BasicToken.sol", "ast": { "absolutePath": "openzeppelin-solidity/contracts/token/ERC20/BasicToken.sol", "exportedSymbols": { "BasicToken": [ 22760 ] }, "id": 22761, "nodeType": "SourceUnit", "nodes": [ { "id": 22666, "literals": [ "solidity", "^", "0.4", ".23" ], "nodeType": "PragmaDirective", "src": "0:24:65" }, { "absolutePath": "openzeppelin-solidity/contracts/token/ERC20/ERC20Basic.sol", "file": "./ERC20Basic.sol", "id": 22667, "nodeType": "ImportDirective", "scope": 22761, "sourceUnit": 22870, "src": "27:26:65", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "openzeppelin-solidity/contracts/math/SafeMath.sol", "file": "../../math/SafeMath.sol", "id": 22668, "nodeType": "ImportDirective", "scope": 22761, "sourceUnit": 22579, "src": "54:33:65", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 22669, "name": "ERC20Basic", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 22869, "src": "203:10:65", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20Basic_$22869", "typeString": "contract ERC20Basic" } }, "id": 22670, "nodeType": "InheritanceSpecifier", "src": "203:10:65" } ], "contractDependencies": [ 22869 ], "contractKind": "contract", "documentation": "@title Basic token\n@dev Basic version of StandardToken, with no allowances.", "fullyImplemented": true, "id": 22760, "linearizedBaseContracts": [ 22760, 22869 ], "name": "BasicToken", "nodeType": "ContractDefinition", "nodes": [ { "id": 22673, "libraryName": { "contractScope": null, "id": 22671, "name": "SafeMath", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 22578, "src": "224:8:65", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMath_$22578", "typeString": "library SafeMath" } }, "nodeType": "UsingForDirective", "src": "218:27:65", "typeName": { "id": 22672, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "237:7:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, { "constant": false, "id": 22677, "name": "balances", "nodeType": "VariableDeclaration", "scope": 22760, "src": "249:36:65", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "typeName": { "id": 22676, "keyType": { "id": 22674, "name": "address", "nodeType": "ElementaryTypeName", "src": "257:7:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "249:27:65", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "valueType": { "id": 22675, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "268:7:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 22679, "name": "totalSupply_", "nodeType": "VariableDeclaration", "scope": 22760, "src": "290:20:65", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 22678, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "290:7:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "body": { "id": 22686, "nodeType": "Block", "src": "424:30:65", "statements": [ { "expression": { "argumentTypes": null, "id": 22684, "name": "totalSupply_", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22679, "src": "437:12:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 22683, "id": 22685, "nodeType": "Return", "src": "430:19:65" } ] }, "documentation": "@dev total number of tokens in existence", "id": 22687, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "totalSupply", "nodeType": "FunctionDefinition", "parameters": { "id": 22680, "nodeType": "ParameterList", "parameters": [], "src": "391:2:65" }, "payable": false, "returnParameters": { "id": 22683, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 22682, "name": "", "nodeType": "VariableDeclaration", "scope": 22687, "src": "415:7:65", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 22681, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "415:7:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "414:9:65" }, "scope": 22760, "src": "371:83:65", "stateMutability": "view", "superFunction": 22844, "visibility": "public" }, { "body": { "id": 22746, "nodeType": "Block", "src": "677:252:65", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 22701, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 22697, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22689, "src": "691:3:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 22699, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "706:1:65", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 22698, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "698:7:65", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 22700, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "698:10:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "691:17:65", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 22696, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 23134, 23135 ], "referencedDeclaration": 23134, "src": "683:7:65", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 22702, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "683:26:65", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 22703, "nodeType": "ExpressionStatement", "src": "683:26:65" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 22710, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 22705, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22691, "src": "723:6:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 22706, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22677, "src": "733:8:65", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 22709, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 22707, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "742:3:65", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 22708, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "742:10:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "733:20:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "723:30:65", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 22704, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 23134, 23135 ], "referencedDeclaration": 23134, "src": "715:7:65", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 22711, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "715:39:65", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 22712, "nodeType": "ExpressionStatement", "src": "715:39:65" }, { "expression": { "argumentTypes": null, "id": 22724, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 22713, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22677, "src": "761:8:65", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 22716, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 22714, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "770:3:65", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 22715, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "770:10:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "761:20:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 22722, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22691, "src": "809:6:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 22717, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22677, "src": "784:8:65", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 22720, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 22718, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "793:3:65", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 22719, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "793:10:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "784:20:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 22721, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 22553, "src": "784:24:65", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 22723, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "784:32:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "761:55:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 22725, "nodeType": "ExpressionStatement", "src": "761:55:65" }, { "expression": { "argumentTypes": null, "id": 22735, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 22726, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22677, "src": "822:8:65", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 22728, "indexExpression": { "argumentTypes": null, "id": 22727, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22689, "src": "831:3:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "822:13:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 22733, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22691, "src": "856:6:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 22729, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22677, "src": "838:8:65", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 22731, "indexExpression": { "argumentTypes": null, "id": 22730, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22689, "src": "847:3:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "838:13:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 22732, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 22577, "src": "838:17:65", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 22734, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "838:25:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "822:41:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 22736, "nodeType": "ExpressionStatement", "src": "822:41:65" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 22738, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "883:3:65", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 22739, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "883:10:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 22740, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22689, "src": "895:3:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 22741, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22691, "src": "900:6:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 22737, "name": "Transfer", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22868, "src": "874:8:65", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 22742, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "874:33:65", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 22743, "nodeType": "EmitStatement", "src": "869:38:65" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 22744, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "920:4:65", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 22695, "id": 22745, "nodeType": "Return", "src": "913:11:65" } ] }, "documentation": "@dev transfer token for a specified address\n@param _to The address to transfer to.\n@param _value The amount to be transferred.", "id": 22747, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "transfer", "nodeType": "FunctionDefinition", "parameters": { "id": 22692, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 22689, "name": "_to", "nodeType": "VariableDeclaration", "scope": 22747, "src": "626:11:65", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 22688, "name": "address", "nodeType": "ElementaryTypeName", "src": "626:7:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 22691, "name": "_value", "nodeType": "VariableDeclaration", "scope": 22747, "src": "639:14:65", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 22690, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "639:7:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "625:29:65" }, "payable": false, "returnParameters": { "id": 22695, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 22694, "name": "", "nodeType": "VariableDeclaration", "scope": 22747, "src": "671:4:65", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 22693, "name": "bool", "nodeType": "ElementaryTypeName", "src": "671:4:65", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "670:6:65" }, "scope": 22760, "src": "608:321:65", "stateMutability": "nonpayable", "superFunction": 22860, "visibility": "public" }, { "body": { "id": 22758, "nodeType": "Block", "src": "1196:34:65", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 22754, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22677, "src": "1209:8:65", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 22756, "indexExpression": { "argumentTypes": null, "id": 22755, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22749, "src": "1218:6:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1209:16:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 22753, "id": 22757, "nodeType": "Return", "src": "1202:23:65" } ] }, "documentation": "@dev Gets the balance of the specified address.\n@param _owner The address to query the the balance of.\n@return An uint256 representing the amount owned by the passed address.", "id": 22759, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "balanceOf", "nodeType": "FunctionDefinition", "parameters": { "id": 22750, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 22749, "name": "_owner", "nodeType": "VariableDeclaration", "scope": 22759, "src": "1150:14:65", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 22748, "name": "address", "nodeType": "ElementaryTypeName", "src": "1150:7:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "1149:16:65" }, "payable": false, "returnParameters": { "id": 22753, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 22752, "name": "", "nodeType": "VariableDeclaration", "scope": 22759, "src": "1187:7:65", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 22751, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1187:7:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1186:9:65" }, "scope": 22760, "src": "1131:99:65", "stateMutability": "view", "superFunction": 22851, "visibility": "public" } ], "scope": 22761, "src": "180:1053:65" } ], "src": "0:1234:65" }, "legacyAST": { "absolutePath": "openzeppelin-solidity/contracts/token/ERC20/BasicToken.sol", "exportedSymbols": { "BasicToken": [ 22760 ] }, "id": 22761, "nodeType": "SourceUnit", "nodes": [ { "id": 22666, "literals": [ "solidity", "^", "0.4", ".23" ], "nodeType": "PragmaDirective", "src": "0:24:65" }, { "absolutePath": "openzeppelin-solidity/contracts/token/ERC20/ERC20Basic.sol", "file": "./ERC20Basic.sol", "id": 22667, "nodeType": "ImportDirective", "scope": 22761, "sourceUnit": 22870, "src": "27:26:65", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "openzeppelin-solidity/contracts/math/SafeMath.sol", "file": "../../math/SafeMath.sol", "id": 22668, "nodeType": "ImportDirective", "scope": 22761, "sourceUnit": 22579, "src": "54:33:65", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 22669, "name": "ERC20Basic", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 22869, "src": "203:10:65", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20Basic_$22869", "typeString": "contract ERC20Basic" } }, "id": 22670, "nodeType": "InheritanceSpecifier", "src": "203:10:65" } ], "contractDependencies": [ 22869 ], "contractKind": "contract", "documentation": "@title Basic token\n@dev Basic version of StandardToken, with no allowances.", "fullyImplemented": true, "id": 22760, "linearizedBaseContracts": [ 22760, 22869 ], "name": "BasicToken", "nodeType": "ContractDefinition", "nodes": [ { "id": 22673, "libraryName": { "contractScope": null, "id": 22671, "name": "SafeMath", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 22578, "src": "224:8:65", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMath_$22578", "typeString": "library SafeMath" } }, "nodeType": "UsingForDirective", "src": "218:27:65", "typeName": { "id": 22672, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "237:7:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, { "constant": false, "id": 22677, "name": "balances", "nodeType": "VariableDeclaration", "scope": 22760, "src": "249:36:65", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "typeName": { "id": 22676, "keyType": { "id": 22674, "name": "address", "nodeType": "ElementaryTypeName", "src": "257:7:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "249:27:65", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "valueType": { "id": 22675, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "268:7:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 22679, "name": "totalSupply_", "nodeType": "VariableDeclaration", "scope": 22760, "src": "290:20:65", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 22678, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "290:7:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "body": { "id": 22686, "nodeType": "Block", "src": "424:30:65", "statements": [ { "expression": { "argumentTypes": null, "id": 22684, "name": "totalSupply_", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22679, "src": "437:12:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 22683, "id": 22685, "nodeType": "Return", "src": "430:19:65" } ] }, "documentation": "@dev total number of tokens in existence", "id": 22687, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "totalSupply", "nodeType": "FunctionDefinition", "parameters": { "id": 22680, "nodeType": "ParameterList", "parameters": [], "src": "391:2:65" }, "payable": false, "returnParameters": { "id": 22683, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 22682, "name": "", "nodeType": "VariableDeclaration", "scope": 22687, "src": "415:7:65", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 22681, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "415:7:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "414:9:65" }, "scope": 22760, "src": "371:83:65", "stateMutability": "view", "superFunction": 22844, "visibility": "public" }, { "body": { "id": 22746, "nodeType": "Block", "src": "677:252:65", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 22701, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 22697, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22689, "src": "691:3:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 22699, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "706:1:65", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 22698, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "698:7:65", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 22700, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "698:10:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "691:17:65", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 22696, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 23134, 23135 ], "referencedDeclaration": 23134, "src": "683:7:65", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 22702, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "683:26:65", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 22703, "nodeType": "ExpressionStatement", "src": "683:26:65" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 22710, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 22705, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22691, "src": "723:6:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 22706, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22677, "src": "733:8:65", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 22709, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 22707, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "742:3:65", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 22708, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "742:10:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "733:20:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "723:30:65", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 22704, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 23134, 23135 ], "referencedDeclaration": 23134, "src": "715:7:65", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 22711, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "715:39:65", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 22712, "nodeType": "ExpressionStatement", "src": "715:39:65" }, { "expression": { "argumentTypes": null, "id": 22724, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 22713, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22677, "src": "761:8:65", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 22716, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 22714, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "770:3:65", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 22715, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "770:10:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "761:20:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 22722, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22691, "src": "809:6:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 22717, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22677, "src": "784:8:65", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 22720, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 22718, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "793:3:65", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 22719, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "793:10:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "784:20:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 22721, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 22553, "src": "784:24:65", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 22723, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "784:32:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "761:55:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 22725, "nodeType": "ExpressionStatement", "src": "761:55:65" }, { "expression": { "argumentTypes": null, "id": 22735, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 22726, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22677, "src": "822:8:65", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 22728, "indexExpression": { "argumentTypes": null, "id": 22727, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22689, "src": "831:3:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "822:13:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 22733, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22691, "src": "856:6:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 22729, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22677, "src": "838:8:65", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 22731, "indexExpression": { "argumentTypes": null, "id": 22730, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22689, "src": "847:3:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "838:13:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 22732, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 22577, "src": "838:17:65", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 22734, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "838:25:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "822:41:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 22736, "nodeType": "ExpressionStatement", "src": "822:41:65" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 22738, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "883:3:65", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 22739, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "883:10:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 22740, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22689, "src": "895:3:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 22741, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22691, "src": "900:6:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 22737, "name": "Transfer", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22868, "src": "874:8:65", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 22742, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "874:33:65", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 22743, "nodeType": "EmitStatement", "src": "869:38:65" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 22744, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "920:4:65", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 22695, "id": 22745, "nodeType": "Return", "src": "913:11:65" } ] }, "documentation": "@dev transfer token for a specified address\n@param _to The address to transfer to.\n@param _value The amount to be transferred.", "id": 22747, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "transfer", "nodeType": "FunctionDefinition", "parameters": { "id": 22692, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 22689, "name": "_to", "nodeType": "VariableDeclaration", "scope": 22747, "src": "626:11:65", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 22688, "name": "address", "nodeType": "ElementaryTypeName", "src": "626:7:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 22691, "name": "_value", "nodeType": "VariableDeclaration", "scope": 22747, "src": "639:14:65", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 22690, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "639:7:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "625:29:65" }, "payable": false, "returnParameters": { "id": 22695, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 22694, "name": "", "nodeType": "VariableDeclaration", "scope": 22747, "src": "671:4:65", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 22693, "name": "bool", "nodeType": "ElementaryTypeName", "src": "671:4:65", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "670:6:65" }, "scope": 22760, "src": "608:321:65", "stateMutability": "nonpayable", "superFunction": 22860, "visibility": "public" }, { "body": { "id": 22758, "nodeType": "Block", "src": "1196:34:65", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 22754, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22677, "src": "1209:8:65", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 22756, "indexExpression": { "argumentTypes": null, "id": 22755, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 22749, "src": "1218:6:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1209:16:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 22753, "id": 22757, "nodeType": "Return", "src": "1202:23:65" } ] }, "documentation": "@dev Gets the balance of the specified address.\n@param _owner The address to query the the balance of.\n@return An uint256 representing the amount owned by the passed address.", "id": 22759, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "balanceOf", "nodeType": "FunctionDefinition", "parameters": { "id": 22750, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 22749, "name": "_owner", "nodeType": "VariableDeclaration", "scope": 22759, "src": "1150:14:65", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 22748, "name": "address", "nodeType": "ElementaryTypeName", "src": "1150:7:65", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "1149:16:65" }, "payable": false, "returnParameters": { "id": 22753, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 22752, "name": "", "nodeType": "VariableDeclaration", "scope": 22759, "src": "1187:7:65", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 22751, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1187:7:65", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1186:9:65" }, "scope": 22760, "src": "1131:99:65", "stateMutability": "view", "superFunction": 22851, "visibility": "public" } ], "scope": 22761, "src": "180:1053:65" } ], "src": "0:1234:65" }, "compiler": { "name": "solc", "version": "0.4.24+commit.e67f0147.Emscripten.clang" }, "networks": {}, "schemaVersion": "2.0.1", "updatedAt": "2018-08-21T09:48:12.739Z" }