{ "contractName": "StandardTokenData", "abi": [], "bytecode": "0x6080604052348015600f57600080fd5b50603580601d6000396000f3006080604052600080fd00a165627a7a72305820856ab0edf07890ecca38fb1664a3d090f3f500c2b2f86e1949e7db36da060d7c0029", "deployedBytecode": "0x6080604052600080fd00a165627a7a72305820856ab0edf07890ecca38fb1664a3d090f3f500c2b2f86e1949e7db36da060d7c0029", "sourceMap": "92:187:7:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;92:187:7;;;;;;;", "deployedSourceMap": "92:187:7:-;;;;;", "source": "pragma solidity ^0.4.18;\nimport \"./Token.sol\";\nimport \"./Math.sol\";\nimport \"./Proxy.sol\";\n\n\ncontract StandardTokenData {\n\n /*\n * Storage\n */\n mapping (address => uint) balances;\n mapping (address => mapping (address => uint)) allowances;\n uint totalTokens;\n}\n\n/// @title Standard token contract with overflow protection\ncontract StandardToken is Token, StandardTokenData {\n using Math for *;\n\n /*\n * Public functions\n */\n /// @dev Transfers sender's tokens to a given address. Returns success\n /// @param to Address of token receiver\n /// @param value Number of tokens to transfer\n /// @return Was transfer successful?\n function transfer(address to, uint value)\n public\n returns (bool)\n {\n if ( !balances[msg.sender].safeToSub(value)\n || !balances[to].safeToAdd(value))\n return false;\n balances[msg.sender] -= value;\n balances[to] += value;\n Transfer(msg.sender, to, value);\n return true;\n }\n\n /// @dev Allows allowed third party to transfer tokens from one address to another. Returns success\n /// @param from Address from where tokens are withdrawn\n /// @param to Address to where tokens are sent\n /// @param value Number of tokens to transfer\n /// @return Was transfer successful?\n function transferFrom(address from, address to, uint value)\n public\n returns (bool)\n {\n if ( !balances[from].safeToSub(value)\n || !allowances[from][msg.sender].safeToSub(value)\n || !balances[to].safeToAdd(value))\n return false;\n balances[from] -= value;\n allowances[from][msg.sender] -= value;\n balances[to] += value;\n Transfer(from, to, value);\n return true;\n }\n\n /// @dev Sets approved amount of tokens for spender. Returns success\n /// @param spender Address of allowed account\n /// @param value Number of approved tokens\n /// @return Was approval successful?\n function approve(address spender, uint value)\n public\n returns (bool)\n {\n allowances[msg.sender][spender] = value;\n Approval(msg.sender, spender, value);\n return true;\n }\n\n /// @dev Returns number of allowed tokens for given address\n /// @param owner Address of token owner\n /// @param spender Address of token spender\n /// @return Remaining allowance for spender\n function allowance(address owner, address spender)\n public\n view\n returns (uint)\n {\n return allowances[owner][spender];\n }\n\n /// @dev Returns number of tokens owned by given address\n /// @param owner Address of token owner\n /// @return Balance of owner\n function balanceOf(address owner)\n public\n view\n returns (uint)\n {\n return balances[owner];\n }\n\n /// @dev Returns total supply of tokens\n /// @return Total supply\n function totalSupply()\n public\n view\n returns (uint)\n {\n return totalTokens;\n }\n}\n", "sourcePath": "@gnosis.pm/util-contracts/contracts/StandardToken.sol", "ast": { "absolutePath": "@gnosis.pm/util-contracts/contracts/StandardToken.sol", "exportedSymbols": { "StandardToken": [ 1987 ], "StandardTokenData": [ 1795 ] }, "id": 1988, "nodeType": "SourceUnit", "nodes": [ { "id": 1779, "literals": [ "solidity", "^", "0.4", ".18" ], "nodeType": "PragmaDirective", "src": "0:24:7" }, { "absolutePath": "@gnosis.pm/util-contracts/contracts/Token.sol", "file": "./Token.sol", "id": 1780, "nodeType": "ImportDirective", "scope": 1988, "sourceUnit": 2057, "src": "25:21:7", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@gnosis.pm/util-contracts/contracts/Math.sol", "file": "./Math.sol", "id": 1781, "nodeType": "ImportDirective", "scope": 1988, "sourceUnit": 1745, "src": "47:20:7", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@gnosis.pm/util-contracts/contracts/Proxy.sol", "file": "./Proxy.sol", "id": 1782, "nodeType": "ImportDirective", "scope": 1988, "sourceUnit": 1778, "src": "68:21:7", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 1795, "linearizedBaseContracts": [ 1795 ], "name": "StandardTokenData", "nodeType": "ContractDefinition", "nodes": [ { "constant": false, "id": 1786, "name": "balances", "nodeType": "VariableDeclaration", "scope": 1795, "src": "157:34:7", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "typeName": { "id": 1785, "keyType": { "id": 1783, "name": "address", "nodeType": "ElementaryTypeName", "src": "166:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "157:25:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "valueType": { "id": 1784, "name": "uint", "nodeType": "ElementaryTypeName", "src": "177:4:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1792, "name": "allowances", "nodeType": "VariableDeclaration", "scope": 1795, "src": "197:57:7", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" }, "typeName": { "id": 1791, "keyType": { "id": 1787, "name": "address", "nodeType": "ElementaryTypeName", "src": "206:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "197:46:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" }, "valueType": { "id": 1790, "keyType": { "id": 1788, "name": "address", "nodeType": "ElementaryTypeName", "src": "226:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "217:25:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "valueType": { "id": 1789, "name": "uint", "nodeType": "ElementaryTypeName", "src": "237:4:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1794, "name": "totalTokens", "nodeType": "VariableDeclaration", "scope": 1795, "src": "260:16:7", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1793, "name": "uint", "nodeType": "ElementaryTypeName", "src": "260:4:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "scope": 1988, "src": "92:187:7" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 1796, "name": "Token", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 2056, "src": "367:5:7", "typeDescriptions": { "typeIdentifier": "t_contract$_Token_$2056", "typeString": "contract Token" } }, "id": 1797, "nodeType": "InheritanceSpecifier", "src": "367:5:7" }, { "arguments": null, "baseName": { "contractScope": null, "id": 1798, "name": "StandardTokenData", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 1795, "src": "374:17:7", "typeDescriptions": { "typeIdentifier": "t_contract$_StandardTokenData_$1795", "typeString": "contract StandardTokenData" } }, "id": 1799, "nodeType": "InheritanceSpecifier", "src": "374:17:7" } ], "contractDependencies": [ 1795, 2056 ], "contractKind": "contract", "documentation": "@title Standard token contract with overflow protection", "fullyImplemented": true, "id": 1987, "linearizedBaseContracts": [ 1987, 1795, 2056 ], "name": "StandardToken", "nodeType": "ContractDefinition", "nodes": [ { "id": 1801, "libraryName": { "contractScope": null, "id": 1800, "name": "Math", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 1744, "src": "404:4:7", "typeDescriptions": { "typeIdentifier": "t_contract$_Math_$1744", "typeString": "library Math" } }, "nodeType": "UsingForDirective", "src": "398:17:7", "typeName": null }, { "body": { "id": 1851, "nodeType": "Block", "src": "755:266:7", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 1825, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1817, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "772:38:7", "subExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1815, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1805, "src": "804:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1810, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1786, "src": "773:8:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1813, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1811, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2071, "src": "782:3:7", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1812, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "782:10:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "773:20:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1814, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "safeToSub", "nodeType": "MemberAccess", "referencedDeclaration": 1507, "src": "773:30:7", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_bool_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (bool)" } }, "id": 1816, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "773:37:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "id": 1824, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "826:30:7", "subExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1822, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1805, "src": "850:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1818, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1786, "src": "827:8:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1820, "indexExpression": { "argumentTypes": null, "id": 1819, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1803, "src": "836:2:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "827:12:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1821, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "safeToAdd", "nodeType": "MemberAccess", "referencedDeclaration": 1493, "src": "827:22:7", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_bool_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (bool)" } }, "id": 1823, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "827:29:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "772:84:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1828, "nodeType": "IfStatement", "src": "765:117:7", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 1826, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "877:5:7", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 1809, "id": 1827, "nodeType": "Return", "src": "870:12:7" } }, { "expression": { "argumentTypes": null, "id": 1834, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1829, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1786, "src": "892:8:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1832, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1830, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2071, "src": "901:3:7", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1831, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "901:10:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "892:20:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "argumentTypes": null, "id": 1833, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1805, "src": "916:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "892:29:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1835, "nodeType": "ExpressionStatement", "src": "892:29:7" }, { "expression": { "argumentTypes": null, "id": 1840, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1836, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1786, "src": "931:8:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1838, "indexExpression": { "argumentTypes": null, "id": 1837, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1803, "src": "940:2:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "931:12:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "id": 1839, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1805, "src": "947:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "931:21:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1841, "nodeType": "ExpressionStatement", "src": "931:21:7" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1843, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2071, "src": "971:3:7", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1844, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "971:10:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 1845, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1803, "src": "983:2:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 1846, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1805, "src": "987:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1842, "name": "Transfer", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1997, "src": "962:8:7", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 1847, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "962:31:7", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1848, "nodeType": "ExpressionStatement", "src": "962:31:7" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 1849, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1010:4:7", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 1809, "id": 1850, "nodeType": "Return", "src": "1003:11:7" } ] }, "documentation": "@dev Transfers sender's tokens to a given address. Returns success\n @param to Address of token receiver\n @param value Number of tokens to transfer\n @return Was transfer successful?", "id": 1852, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "transfer", "nodeType": "FunctionDefinition", "parameters": { "id": 1806, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1803, "name": "to", "nodeType": "VariableDeclaration", "scope": 1852, "src": "689:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1802, "name": "address", "nodeType": "ElementaryTypeName", "src": "689:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1805, "name": "value", "nodeType": "VariableDeclaration", "scope": 1852, "src": "701:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1804, "name": "uint", "nodeType": "ElementaryTypeName", "src": "701:4:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "688:24:7" }, "payable": false, "returnParameters": { "id": 1809, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1808, "name": "", "nodeType": "VariableDeclaration", "scope": 1852, "src": "745:4:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1807, "name": "bool", "nodeType": "ElementaryTypeName", "src": "745:4:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "744:6:7" }, "scope": 1987, "src": "671:350:7", "stateMutability": "nonpayable", "superFunction": 2014, "visibility": "public" }, { "body": { "id": 1921, "nodeType": "Block", "src": "1435:357:7", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 1888, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 1880, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1869, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "1452:32:7", "subExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1867, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1858, "src": "1478:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1863, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1786, "src": "1453:8:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1865, "indexExpression": { "argumentTypes": null, "id": 1864, "name": "from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1854, "src": "1462:4:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1453:14:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1866, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "safeToSub", "nodeType": "MemberAccess", "referencedDeclaration": 1507, "src": "1453:24:7", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_bool_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (bool)" } }, "id": 1868, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1453:31:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "id": 1879, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "1500:46:7", "subExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1877, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1858, "src": "1540:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1870, "name": "allowances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1792, "src": "1501:10:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 1872, "indexExpression": { "argumentTypes": null, "id": 1871, "name": "from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1854, "src": "1512:4:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1501:16:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1875, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1873, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2071, "src": "1518:3:7", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1874, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1518:10:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1501:28:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1876, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "safeToSub", "nodeType": "MemberAccess", "referencedDeclaration": 1507, "src": "1501:38:7", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_bool_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (bool)" } }, "id": 1878, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1501:45:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1452:94:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "id": 1887, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "1562:30:7", "subExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1885, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1858, "src": "1586:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1881, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1786, "src": "1563:8:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1883, "indexExpression": { "argumentTypes": null, "id": 1882, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1856, "src": "1572:2:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1563:12:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1884, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "safeToAdd", "nodeType": "MemberAccess", "referencedDeclaration": 1493, "src": "1563:22:7", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_bool_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (bool)" } }, "id": 1886, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1563:29:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1452:140:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1891, "nodeType": "IfStatement", "src": "1445:173:7", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 1889, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1613:5:7", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 1862, "id": 1890, "nodeType": "Return", "src": "1606:12:7" } }, { "expression": { "argumentTypes": null, "id": 1896, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1892, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1786, "src": "1628:8:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1894, "indexExpression": { "argumentTypes": null, "id": 1893, "name": "from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1854, "src": "1637:4:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1628:14:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "argumentTypes": null, "id": 1895, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1858, "src": "1646:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1628:23:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1897, "nodeType": "ExpressionStatement", "src": "1628:23:7" }, { "expression": { "argumentTypes": null, "id": 1905, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1898, "name": "allowances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1792, "src": "1661:10:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 1902, "indexExpression": { "argumentTypes": null, "id": 1899, "name": "from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1854, "src": "1672:4:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1661:16:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1903, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1900, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2071, "src": "1678:3:7", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1901, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1678:10:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1661:28:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "argumentTypes": null, "id": 1904, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1858, "src": "1693:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1661:37:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1906, "nodeType": "ExpressionStatement", "src": "1661:37:7" }, { "expression": { "argumentTypes": null, "id": 1911, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1907, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1786, "src": "1708:8:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1909, "indexExpression": { "argumentTypes": null, "id": 1908, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1856, "src": "1717:2:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1708:12:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "id": 1910, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1858, "src": "1724:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1708:21:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1912, "nodeType": "ExpressionStatement", "src": "1708:21:7" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1914, "name": "from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1854, "src": "1748:4:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 1915, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1856, "src": "1754:2:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 1916, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1858, "src": "1758:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1913, "name": "Transfer", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1997, "src": "1739:8:7", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 1917, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1739:25:7", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1918, "nodeType": "ExpressionStatement", "src": "1739:25:7" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 1919, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1781:4:7", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 1862, "id": 1920, "nodeType": "Return", "src": "1774:11:7" } ] }, "documentation": "@dev Allows allowed third party to transfer tokens from one address to another. Returns success\n @param from Address from where tokens are withdrawn\n @param to Address to where tokens are sent\n @param value Number of tokens to transfer\n @return Was transfer successful?", "id": 1922, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "transferFrom", "nodeType": "FunctionDefinition", "parameters": { "id": 1859, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1854, "name": "from", "nodeType": "VariableDeclaration", "scope": 1922, "src": "1355:12:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1853, "name": "address", "nodeType": "ElementaryTypeName", "src": "1355:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1856, "name": "to", "nodeType": "VariableDeclaration", "scope": 1922, "src": "1369:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1855, "name": "address", "nodeType": "ElementaryTypeName", "src": "1369:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1858, "name": "value", "nodeType": "VariableDeclaration", "scope": 1922, "src": "1381:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1857, "name": "uint", "nodeType": "ElementaryTypeName", "src": "1381:4:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1354:38:7" }, "payable": false, "returnParameters": { "id": 1862, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1861, "name": "", "nodeType": "VariableDeclaration", "scope": 1922, "src": "1425:4:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1860, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1425:4:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "1424:6:7" }, "scope": 1987, "src": "1333:459:7", "stateMutability": "nonpayable", "superFunction": 2025, "visibility": "public" }, { "body": { "id": 1949, "nodeType": "Block", "src": "2097:123:7", "statements": [ { "expression": { "argumentTypes": null, "id": 1938, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1931, "name": "allowances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1792, "src": "2107:10:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 1935, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1932, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2071, "src": "2118:3:7", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1933, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2118:10:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2107:22:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1936, "indexExpression": { "argumentTypes": null, "id": 1934, "name": "spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1924, "src": "2130:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2107:31:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1937, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1926, "src": "2141:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2107:39:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1939, "nodeType": "ExpressionStatement", "src": "2107:39:7" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1941, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2071, "src": "2165:3:7", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1942, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2165:10:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 1943, "name": "spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1924, "src": "2177:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 1944, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1926, "src": "2186:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1940, "name": "Approval", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2005, "src": "2156:8:7", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 1945, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2156:36:7", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1946, "nodeType": "ExpressionStatement", "src": "2156:36:7" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 1947, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2209:4:7", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 1930, "id": 1948, "nodeType": "Return", "src": "2202:11:7" } ] }, "documentation": "@dev Sets approved amount of tokens for spender. Returns success\n @param spender Address of allowed account\n @param value Number of approved tokens\n @return Was approval successful?", "id": 1950, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "approve", "nodeType": "FunctionDefinition", "parameters": { "id": 1927, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1924, "name": "spender", "nodeType": "VariableDeclaration", "scope": 1950, "src": "2026:15:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1923, "name": "address", "nodeType": "ElementaryTypeName", "src": "2026:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1926, "name": "value", "nodeType": "VariableDeclaration", "scope": 1950, "src": "2043:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1925, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2043:4:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2025:29:7" }, "payable": false, "returnParameters": { "id": 1930, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1929, "name": "", "nodeType": "VariableDeclaration", "scope": 1950, "src": "2087:4:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1928, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2087:4:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "2086:6:7" }, "scope": 1987, "src": "2009:211:7", "stateMutability": "nonpayable", "superFunction": 2034, "visibility": "public" }, { "body": { "id": 1965, "nodeType": "Block", "src": "2536:50:7", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1959, "name": "allowances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1792, "src": "2553:10:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 1961, "indexExpression": { "argumentTypes": null, "id": 1960, "name": "owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1952, "src": "2564:5:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2553:17:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1963, "indexExpression": { "argumentTypes": null, "id": 1962, "name": "spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1954, "src": "2571:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2553:26:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1958, "id": 1964, "nodeType": "Return", "src": "2546:33:7" } ] }, "documentation": "@dev Returns number of allowed tokens for given address\n @param owner Address of token owner\n @param spender Address of token spender\n @return Remaining allowance for spender", "id": 1966, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "allowance", "nodeType": "FunctionDefinition", "parameters": { "id": 1955, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1952, "name": "owner", "nodeType": "VariableDeclaration", "scope": 1966, "src": "2449:13:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1951, "name": "address", "nodeType": "ElementaryTypeName", "src": "2449:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1954, "name": "spender", "nodeType": "VariableDeclaration", "scope": 1966, "src": "2464:15:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1953, "name": "address", "nodeType": "ElementaryTypeName", "src": "2464:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "2448:32:7" }, "payable": false, "returnParameters": { "id": 1958, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1957, "name": "", "nodeType": "VariableDeclaration", "scope": 1966, "src": "2526:4:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1956, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2526:4:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2525:6:7" }, "scope": 1987, "src": "2430:156:7", "stateMutability": "view", "superFunction": 2050, "visibility": "public" }, { "body": { "id": 1977, "nodeType": "Block", "src": "2819:39:7", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1973, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1786, "src": "2836:8:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1975, "indexExpression": { "argumentTypes": null, "id": 1974, "name": "owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1968, "src": "2845:5:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2836:15:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1972, "id": 1976, "nodeType": "Return", "src": "2829:22:7" } ] }, "documentation": "@dev Returns number of tokens owned by given address\n @param owner Address of token owner\n @return Balance of owner", "id": 1978, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "balanceOf", "nodeType": "FunctionDefinition", "parameters": { "id": 1969, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1968, "name": "owner", "nodeType": "VariableDeclaration", "scope": 1978, "src": "2749:13:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1967, "name": "address", "nodeType": "ElementaryTypeName", "src": "2749:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "2748:15:7" }, "payable": false, "returnParameters": { "id": 1972, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1971, "name": "", "nodeType": "VariableDeclaration", "scope": 1978, "src": "2809:4:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1970, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2809:4:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2808:6:7" }, "scope": 1987, "src": "2730:128:7", "stateMutability": "view", "superFunction": 2041, "visibility": "public" }, { "body": { "id": 1985, "nodeType": "Block", "src": "3015:35:7", "statements": [ { "expression": { "argumentTypes": null, "id": 1983, "name": "totalTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1794, "src": "3032:11:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1982, "id": 1984, "nodeType": "Return", "src": "3025:18:7" } ] }, "documentation": "@dev Returns total supply of tokens\n @return Total supply", "id": 1986, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "totalSupply", "nodeType": "FunctionDefinition", "parameters": { "id": 1979, "nodeType": "ParameterList", "parameters": [], "src": "2957:2:7" }, "payable": false, "returnParameters": { "id": 1982, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1981, "name": "", "nodeType": "VariableDeclaration", "scope": 1986, "src": "3005:4:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1980, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3005:4:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3004:6:7" }, "scope": 1987, "src": "2937:113:7", "stateMutability": "view", "superFunction": 2055, "visibility": "public" } ], "scope": 1988, "src": "341:2711:7" } ], "src": "0:3053:7" }, "legacyAST": { "absolutePath": "@gnosis.pm/util-contracts/contracts/StandardToken.sol", "exportedSymbols": { "StandardToken": [ 1987 ], "StandardTokenData": [ 1795 ] }, "id": 1988, "nodeType": "SourceUnit", "nodes": [ { "id": 1779, "literals": [ "solidity", "^", "0.4", ".18" ], "nodeType": "PragmaDirective", "src": "0:24:7" }, { "absolutePath": "@gnosis.pm/util-contracts/contracts/Token.sol", "file": "./Token.sol", "id": 1780, "nodeType": "ImportDirective", "scope": 1988, "sourceUnit": 2057, "src": "25:21:7", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@gnosis.pm/util-contracts/contracts/Math.sol", "file": "./Math.sol", "id": 1781, "nodeType": "ImportDirective", "scope": 1988, "sourceUnit": 1745, "src": "47:20:7", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@gnosis.pm/util-contracts/contracts/Proxy.sol", "file": "./Proxy.sol", "id": 1782, "nodeType": "ImportDirective", "scope": 1988, "sourceUnit": 1778, "src": "68:21:7", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 1795, "linearizedBaseContracts": [ 1795 ], "name": "StandardTokenData", "nodeType": "ContractDefinition", "nodes": [ { "constant": false, "id": 1786, "name": "balances", "nodeType": "VariableDeclaration", "scope": 1795, "src": "157:34:7", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "typeName": { "id": 1785, "keyType": { "id": 1783, "name": "address", "nodeType": "ElementaryTypeName", "src": "166:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "157:25:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "valueType": { "id": 1784, "name": "uint", "nodeType": "ElementaryTypeName", "src": "177:4:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1792, "name": "allowances", "nodeType": "VariableDeclaration", "scope": 1795, "src": "197:57:7", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" }, "typeName": { "id": 1791, "keyType": { "id": 1787, "name": "address", "nodeType": "ElementaryTypeName", "src": "206:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "197:46:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" }, "valueType": { "id": 1790, "keyType": { "id": 1788, "name": "address", "nodeType": "ElementaryTypeName", "src": "226:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "217:25:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "valueType": { "id": 1789, "name": "uint", "nodeType": "ElementaryTypeName", "src": "237:4:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1794, "name": "totalTokens", "nodeType": "VariableDeclaration", "scope": 1795, "src": "260:16:7", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1793, "name": "uint", "nodeType": "ElementaryTypeName", "src": "260:4:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "scope": 1988, "src": "92:187:7" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 1796, "name": "Token", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 2056, "src": "367:5:7", "typeDescriptions": { "typeIdentifier": "t_contract$_Token_$2056", "typeString": "contract Token" } }, "id": 1797, "nodeType": "InheritanceSpecifier", "src": "367:5:7" }, { "arguments": null, "baseName": { "contractScope": null, "id": 1798, "name": "StandardTokenData", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 1795, "src": "374:17:7", "typeDescriptions": { "typeIdentifier": "t_contract$_StandardTokenData_$1795", "typeString": "contract StandardTokenData" } }, "id": 1799, "nodeType": "InheritanceSpecifier", "src": "374:17:7" } ], "contractDependencies": [ 1795, 2056 ], "contractKind": "contract", "documentation": "@title Standard token contract with overflow protection", "fullyImplemented": true, "id": 1987, "linearizedBaseContracts": [ 1987, 1795, 2056 ], "name": "StandardToken", "nodeType": "ContractDefinition", "nodes": [ { "id": 1801, "libraryName": { "contractScope": null, "id": 1800, "name": "Math", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 1744, "src": "404:4:7", "typeDescriptions": { "typeIdentifier": "t_contract$_Math_$1744", "typeString": "library Math" } }, "nodeType": "UsingForDirective", "src": "398:17:7", "typeName": null }, { "body": { "id": 1851, "nodeType": "Block", "src": "755:266:7", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 1825, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1817, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "772:38:7", "subExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1815, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1805, "src": "804:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1810, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1786, "src": "773:8:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1813, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1811, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2071, "src": "782:3:7", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1812, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "782:10:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "773:20:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1814, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "safeToSub", "nodeType": "MemberAccess", "referencedDeclaration": 1507, "src": "773:30:7", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_bool_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (bool)" } }, "id": 1816, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "773:37:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "id": 1824, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "826:30:7", "subExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1822, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1805, "src": "850:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1818, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1786, "src": "827:8:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1820, "indexExpression": { "argumentTypes": null, "id": 1819, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1803, "src": "836:2:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "827:12:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1821, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "safeToAdd", "nodeType": "MemberAccess", "referencedDeclaration": 1493, "src": "827:22:7", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_bool_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (bool)" } }, "id": 1823, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "827:29:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "772:84:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1828, "nodeType": "IfStatement", "src": "765:117:7", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 1826, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "877:5:7", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 1809, "id": 1827, "nodeType": "Return", "src": "870:12:7" } }, { "expression": { "argumentTypes": null, "id": 1834, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1829, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1786, "src": "892:8:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1832, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1830, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2071, "src": "901:3:7", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1831, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "901:10:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "892:20:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "argumentTypes": null, "id": 1833, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1805, "src": "916:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "892:29:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1835, "nodeType": "ExpressionStatement", "src": "892:29:7" }, { "expression": { "argumentTypes": null, "id": 1840, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1836, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1786, "src": "931:8:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1838, "indexExpression": { "argumentTypes": null, "id": 1837, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1803, "src": "940:2:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "931:12:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "id": 1839, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1805, "src": "947:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "931:21:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1841, "nodeType": "ExpressionStatement", "src": "931:21:7" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1843, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2071, "src": "971:3:7", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1844, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "971:10:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 1845, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1803, "src": "983:2:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 1846, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1805, "src": "987:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1842, "name": "Transfer", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1997, "src": "962:8:7", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 1847, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "962:31:7", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1848, "nodeType": "ExpressionStatement", "src": "962:31:7" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 1849, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1010:4:7", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 1809, "id": 1850, "nodeType": "Return", "src": "1003:11:7" } ] }, "documentation": "@dev Transfers sender's tokens to a given address. Returns success\n @param to Address of token receiver\n @param value Number of tokens to transfer\n @return Was transfer successful?", "id": 1852, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "transfer", "nodeType": "FunctionDefinition", "parameters": { "id": 1806, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1803, "name": "to", "nodeType": "VariableDeclaration", "scope": 1852, "src": "689:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1802, "name": "address", "nodeType": "ElementaryTypeName", "src": "689:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1805, "name": "value", "nodeType": "VariableDeclaration", "scope": 1852, "src": "701:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1804, "name": "uint", "nodeType": "ElementaryTypeName", "src": "701:4:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "688:24:7" }, "payable": false, "returnParameters": { "id": 1809, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1808, "name": "", "nodeType": "VariableDeclaration", "scope": 1852, "src": "745:4:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1807, "name": "bool", "nodeType": "ElementaryTypeName", "src": "745:4:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "744:6:7" }, "scope": 1987, "src": "671:350:7", "stateMutability": "nonpayable", "superFunction": 2014, "visibility": "public" }, { "body": { "id": 1921, "nodeType": "Block", "src": "1435:357:7", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 1888, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 1880, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1869, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "1452:32:7", "subExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1867, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1858, "src": "1478:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1863, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1786, "src": "1453:8:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1865, "indexExpression": { "argumentTypes": null, "id": 1864, "name": "from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1854, "src": "1462:4:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1453:14:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1866, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "safeToSub", "nodeType": "MemberAccess", "referencedDeclaration": 1507, "src": "1453:24:7", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_bool_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (bool)" } }, "id": 1868, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1453:31:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "id": 1879, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "1500:46:7", "subExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1877, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1858, "src": "1540:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1870, "name": "allowances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1792, "src": "1501:10:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 1872, "indexExpression": { "argumentTypes": null, "id": 1871, "name": "from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1854, "src": "1512:4:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1501:16:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1875, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1873, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2071, "src": "1518:3:7", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1874, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1518:10:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1501:28:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1876, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "safeToSub", "nodeType": "MemberAccess", "referencedDeclaration": 1507, "src": "1501:38:7", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_bool_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (bool)" } }, "id": 1878, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1501:45:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1452:94:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "id": 1887, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "1562:30:7", "subExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1885, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1858, "src": "1586:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1881, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1786, "src": "1563:8:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1883, "indexExpression": { "argumentTypes": null, "id": 1882, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1856, "src": "1572:2:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1563:12:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1884, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "safeToAdd", "nodeType": "MemberAccess", "referencedDeclaration": 1493, "src": "1563:22:7", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_bool_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (bool)" } }, "id": 1886, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1563:29:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1452:140:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1891, "nodeType": "IfStatement", "src": "1445:173:7", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 1889, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1613:5:7", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 1862, "id": 1890, "nodeType": "Return", "src": "1606:12:7" } }, { "expression": { "argumentTypes": null, "id": 1896, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1892, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1786, "src": "1628:8:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1894, "indexExpression": { "argumentTypes": null, "id": 1893, "name": "from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1854, "src": "1637:4:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1628:14:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "argumentTypes": null, "id": 1895, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1858, "src": "1646:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1628:23:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1897, "nodeType": "ExpressionStatement", "src": "1628:23:7" }, { "expression": { "argumentTypes": null, "id": 1905, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1898, "name": "allowances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1792, "src": "1661:10:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 1902, "indexExpression": { "argumentTypes": null, "id": 1899, "name": "from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1854, "src": "1672:4:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1661:16:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1903, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1900, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2071, "src": "1678:3:7", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1901, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1678:10:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1661:28:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "argumentTypes": null, "id": 1904, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1858, "src": "1693:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1661:37:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1906, "nodeType": "ExpressionStatement", "src": "1661:37:7" }, { "expression": { "argumentTypes": null, "id": 1911, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1907, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1786, "src": "1708:8:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1909, "indexExpression": { "argumentTypes": null, "id": 1908, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1856, "src": "1717:2:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1708:12:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "id": 1910, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1858, "src": "1724:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1708:21:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1912, "nodeType": "ExpressionStatement", "src": "1708:21:7" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1914, "name": "from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1854, "src": "1748:4:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 1915, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1856, "src": "1754:2:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 1916, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1858, "src": "1758:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1913, "name": "Transfer", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1997, "src": "1739:8:7", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 1917, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1739:25:7", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1918, "nodeType": "ExpressionStatement", "src": "1739:25:7" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 1919, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1781:4:7", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 1862, "id": 1920, "nodeType": "Return", "src": "1774:11:7" } ] }, "documentation": "@dev Allows allowed third party to transfer tokens from one address to another. Returns success\n @param from Address from where tokens are withdrawn\n @param to Address to where tokens are sent\n @param value Number of tokens to transfer\n @return Was transfer successful?", "id": 1922, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "transferFrom", "nodeType": "FunctionDefinition", "parameters": { "id": 1859, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1854, "name": "from", "nodeType": "VariableDeclaration", "scope": 1922, "src": "1355:12:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1853, "name": "address", "nodeType": "ElementaryTypeName", "src": "1355:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1856, "name": "to", "nodeType": "VariableDeclaration", "scope": 1922, "src": "1369:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1855, "name": "address", "nodeType": "ElementaryTypeName", "src": "1369:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1858, "name": "value", "nodeType": "VariableDeclaration", "scope": 1922, "src": "1381:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1857, "name": "uint", "nodeType": "ElementaryTypeName", "src": "1381:4:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1354:38:7" }, "payable": false, "returnParameters": { "id": 1862, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1861, "name": "", "nodeType": "VariableDeclaration", "scope": 1922, "src": "1425:4:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1860, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1425:4:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "1424:6:7" }, "scope": 1987, "src": "1333:459:7", "stateMutability": "nonpayable", "superFunction": 2025, "visibility": "public" }, { "body": { "id": 1949, "nodeType": "Block", "src": "2097:123:7", "statements": [ { "expression": { "argumentTypes": null, "id": 1938, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1931, "name": "allowances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1792, "src": "2107:10:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 1935, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1932, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2071, "src": "2118:3:7", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1933, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2118:10:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2107:22:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1936, "indexExpression": { "argumentTypes": null, "id": 1934, "name": "spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1924, "src": "2130:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2107:31:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1937, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1926, "src": "2141:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2107:39:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1939, "nodeType": "ExpressionStatement", "src": "2107:39:7" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1941, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2071, "src": "2165:3:7", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 1942, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2165:10:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 1943, "name": "spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1924, "src": "2177:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 1944, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1926, "src": "2186:5:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 1940, "name": "Approval", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2005, "src": "2156:8:7", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 1945, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2156:36:7", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1946, "nodeType": "ExpressionStatement", "src": "2156:36:7" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 1947, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2209:4:7", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 1930, "id": 1948, "nodeType": "Return", "src": "2202:11:7" } ] }, "documentation": "@dev Sets approved amount of tokens for spender. Returns success\n @param spender Address of allowed account\n @param value Number of approved tokens\n @return Was approval successful?", "id": 1950, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "approve", "nodeType": "FunctionDefinition", "parameters": { "id": 1927, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1924, "name": "spender", "nodeType": "VariableDeclaration", "scope": 1950, "src": "2026:15:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1923, "name": "address", "nodeType": "ElementaryTypeName", "src": "2026:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1926, "name": "value", "nodeType": "VariableDeclaration", "scope": 1950, "src": "2043:10:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1925, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2043:4:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2025:29:7" }, "payable": false, "returnParameters": { "id": 1930, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1929, "name": "", "nodeType": "VariableDeclaration", "scope": 1950, "src": "2087:4:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1928, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2087:4:7", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "2086:6:7" }, "scope": 1987, "src": "2009:211:7", "stateMutability": "nonpayable", "superFunction": 2034, "visibility": "public" }, { "body": { "id": 1965, "nodeType": "Block", "src": "2536:50:7", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1959, "name": "allowances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1792, "src": "2553:10:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 1961, "indexExpression": { "argumentTypes": null, "id": 1960, "name": "owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1952, "src": "2564:5:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2553:17:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1963, "indexExpression": { "argumentTypes": null, "id": 1962, "name": "spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1954, "src": "2571:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2553:26:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1958, "id": 1964, "nodeType": "Return", "src": "2546:33:7" } ] }, "documentation": "@dev Returns number of allowed tokens for given address\n @param owner Address of token owner\n @param spender Address of token spender\n @return Remaining allowance for spender", "id": 1966, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "allowance", "nodeType": "FunctionDefinition", "parameters": { "id": 1955, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1952, "name": "owner", "nodeType": "VariableDeclaration", "scope": 1966, "src": "2449:13:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1951, "name": "address", "nodeType": "ElementaryTypeName", "src": "2449:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1954, "name": "spender", "nodeType": "VariableDeclaration", "scope": 1966, "src": "2464:15:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1953, "name": "address", "nodeType": "ElementaryTypeName", "src": "2464:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "2448:32:7" }, "payable": false, "returnParameters": { "id": 1958, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1957, "name": "", "nodeType": "VariableDeclaration", "scope": 1966, "src": "2526:4:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1956, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2526:4:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2525:6:7" }, "scope": 1987, "src": "2430:156:7", "stateMutability": "view", "superFunction": 2050, "visibility": "public" }, { "body": { "id": 1977, "nodeType": "Block", "src": "2819:39:7", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1973, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1786, "src": "2836:8:7", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 1975, "indexExpression": { "argumentTypes": null, "id": 1974, "name": "owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1968, "src": "2845:5:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2836:15:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1972, "id": 1976, "nodeType": "Return", "src": "2829:22:7" } ] }, "documentation": "@dev Returns number of tokens owned by given address\n @param owner Address of token owner\n @return Balance of owner", "id": 1978, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "balanceOf", "nodeType": "FunctionDefinition", "parameters": { "id": 1969, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1968, "name": "owner", "nodeType": "VariableDeclaration", "scope": 1978, "src": "2749:13:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1967, "name": "address", "nodeType": "ElementaryTypeName", "src": "2749:7:7", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "2748:15:7" }, "payable": false, "returnParameters": { "id": 1972, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1971, "name": "", "nodeType": "VariableDeclaration", "scope": 1978, "src": "2809:4:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1970, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2809:4:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2808:6:7" }, "scope": 1987, "src": "2730:128:7", "stateMutability": "view", "superFunction": 2041, "visibility": "public" }, { "body": { "id": 1985, "nodeType": "Block", "src": "3015:35:7", "statements": [ { "expression": { "argumentTypes": null, "id": 1983, "name": "totalTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1794, "src": "3032:11:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 1982, "id": 1984, "nodeType": "Return", "src": "3025:18:7" } ] }, "documentation": "@dev Returns total supply of tokens\n @return Total supply", "id": 1986, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "totalSupply", "nodeType": "FunctionDefinition", "parameters": { "id": 1979, "nodeType": "ParameterList", "parameters": [], "src": "2957:2:7" }, "payable": false, "returnParameters": { "id": 1982, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1981, "name": "", "nodeType": "VariableDeclaration", "scope": 1986, "src": "3005:4:7", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1980, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3005:4:7", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3004:6:7" }, "scope": 1987, "src": "2937:113:7", "stateMutability": "view", "superFunction": 2055, "visibility": "public" } ], "scope": 1988, "src": "341:2711:7" } ], "src": "0:3053:7" }, "compiler": { "name": "solc", "version": "0.4.23+commit.124ca40d.Emscripten.clang" }, "networks": {}, "schemaVersion": "2.0.0", "updatedAt": "2018-05-07T22:10:45.619Z" }