{ "contractName": "PolyTokenFaucet", "abi": [ { "constant": true, "inputs": [], "name": "name", "outputs": [ { "name": "", "type": "string" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "decimals", "outputs": [ { "name": "", "type": "uint8" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "symbol", "outputs": [ { "name": "", "type": "string" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "_from", "type": "address" }, { "indexed": true, "name": "_to", "type": "address" }, { "indexed": false, "name": "_value", "type": "uint256" } ], "name": "Transfer", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "_owner", "type": "address" }, { "indexed": true, "name": "_spender", "type": "address" }, { "indexed": false, "name": "_value", "type": "uint256" } ], "name": "Approval", "type": "event" }, { "constant": false, "inputs": [ { "name": "_amount", "type": "uint256" }, { "name": "_recipient", "type": "address" } ], "name": "getTokens", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "_to", "type": "address" }, { "name": "_value", "type": "uint256" } ], "name": "transfer", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "_from", "type": "address" }, { "name": "_to", "type": "address" }, { "name": "_value", "type": "uint256" } ], "name": "transferFrom", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": true, "inputs": [ { "name": "_owner", "type": "address" } ], "name": "balanceOf", "outputs": [ { "name": "balance", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": false, "inputs": [ { "name": "_spender", "type": "address" }, { "name": "_value", "type": "uint256" } ], "name": "approve", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": true, "inputs": [ { "name": "_owner", "type": "address" }, { "name": "_spender", "type": "address" } ], "name": "allowance", "outputs": [ { "name": "remaining", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "totalSupply", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": false, "inputs": [ { "name": "_spender", "type": "address" }, { "name": "_addedValue", "type": "uint256" } ], "name": "increaseApproval", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "_spender", "type": "address" }, { "name": "_subtractedValue", "type": "uint256" } ], "name": "decreaseApproval", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" } ], "bytecode": "0x620f424060005560c0604052601060808190527f506f6c796d617468204e6574776f726b0000000000000000000000000000000060a090815261004591600191906100aa565b506002805460ff191660121790556040805180820190915260048082527f504f4c59000000000000000000000000000000000000000000000000000000006020909201918252610097916003916100aa565b503480156100a457600080fd5b50610145565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106100eb57805160ff1916838001178555610118565b82800160010185558215610118579182015b828111156101185782518255916020019190600101906100fd565b50610124929150610128565b5090565b61014291905b80821115610124576000815560010161012e565b90565b6108f3806101546000396000f3006080604052600436106100b95763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100be578063095ea7b31461014857806318160ddd1461018057806323b872dd146101a75780632570e31e146101d1578063313ce567146101f5578063661884631461022057806370a082311461024457806395d89b4114610265578063a9059cbb1461027a578063d73dd6231461029e578063dd62ed3e146102c2575b600080fd5b3480156100ca57600080fd5b506100d36102e9565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561010d5781810151838201526020016100f5565b50505050905090810190601f16801561013a5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015457600080fd5b5061016c600160a060020a0360043516602435610376565b604080519115158252519081900360200190f35b34801561018c57600080fd5b506101956103dc565b60408051918252519081900360200190f35b3480156101b357600080fd5b5061016c600160a060020a03600435811690602435166044356103e2565b3480156101dd57600080fd5b5061016c600435600160a060020a036024351661055b565b34801561020157600080fd5b5061020a6105bf565b6040805160ff9092168252519081900360200190f35b34801561022c57600080fd5b5061016c600160a060020a03600435166024356105c8565b34801561025057600080fd5b50610195600160a060020a03600435166106b8565b34801561027157600080fd5b506100d36106d3565b34801561028657600080fd5b5061016c600160a060020a036004351660243561072e565b3480156102aa57600080fd5b5061016c600160a060020a03600435166024356107de565b3480156102ce57600080fd5b50610195600160a060020a0360043581169060243516610877565b60018054604080516020600284861615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561036e5780601f106103435761010080835404028352916020019161036e565b820191906000526020600020905b81548152906001019060200180831161035157829003601f168201915b505050505081565b336000818152600560209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b60005490565b6000600160a060020a03831615156103f957600080fd5b600160a060020a03841660009081526004602052604090205482111561041e57600080fd5b600160a060020a038416600090815260056020908152604080832033845290915290205482111561044e57600080fd5b600160a060020a038416600090815260046020526040902054610477908363ffffffff6108a216565b600160a060020a0380861660009081526004602052604080822093909355908516815220546104ac908363ffffffff6108b416565b600160a060020a0380851660009081526004602090815260408083209490945591871681526005825282812033825290915220546104f0908363ffffffff6108a216565b600160a060020a03808616600081815260056020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b600160a060020a03811660008181526004602090815260408083208054870190558254860183558051868152905192939284927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef928290030190a350600192915050565b60025460ff1681565b336000908152600560209081526040808320600160a060020a03861684529091528120548083111561061d57336000908152600560209081526040808320600160a060020a0388168452909152812055610652565b61062d818463ffffffff6108a216565b336000908152600560209081526040808320600160a060020a03891684529091529020555b336000818152600560209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b600160a060020a031660009081526004602052604090205490565b6003805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561036e5780601f106103435761010080835404028352916020019161036e565b3360009081526004602052604081205461074e908363ffffffff6108a216565b3360009081526004602052604080822092909255600160a060020a03851681522054610780908363ffffffff6108b416565b600160a060020a0384166000818152600460209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b336000908152600560209081526040808320600160a060020a0386168452909152812054610812908363ffffffff6108b416565b336000818152600560209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600160a060020a03918216600090815260056020908152604080832093909416825291909152205490565b6000828211156108ae57fe5b50900390565b818101828110156108c157fe5b929150505600a165627a7a723058201bb57ea1302fb3f6ca130e04deece65646acfda3291448e4ab04307564660d2a0029", "deployedBytecode": "0x6080604052600436106100b95763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100be578063095ea7b31461014857806318160ddd1461018057806323b872dd146101a75780632570e31e146101d1578063313ce567146101f5578063661884631461022057806370a082311461024457806395d89b4114610265578063a9059cbb1461027a578063d73dd6231461029e578063dd62ed3e146102c2575b600080fd5b3480156100ca57600080fd5b506100d36102e9565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561010d5781810151838201526020016100f5565b50505050905090810190601f16801561013a5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015457600080fd5b5061016c600160a060020a0360043516602435610376565b604080519115158252519081900360200190f35b34801561018c57600080fd5b506101956103dc565b60408051918252519081900360200190f35b3480156101b357600080fd5b5061016c600160a060020a03600435811690602435166044356103e2565b3480156101dd57600080fd5b5061016c600435600160a060020a036024351661055b565b34801561020157600080fd5b5061020a6105bf565b6040805160ff9092168252519081900360200190f35b34801561022c57600080fd5b5061016c600160a060020a03600435166024356105c8565b34801561025057600080fd5b50610195600160a060020a03600435166106b8565b34801561027157600080fd5b506100d36106d3565b34801561028657600080fd5b5061016c600160a060020a036004351660243561072e565b3480156102aa57600080fd5b5061016c600160a060020a03600435166024356107de565b3480156102ce57600080fd5b50610195600160a060020a0360043581169060243516610877565b60018054604080516020600284861615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561036e5780601f106103435761010080835404028352916020019161036e565b820191906000526020600020905b81548152906001019060200180831161035157829003601f168201915b505050505081565b336000818152600560209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b60005490565b6000600160a060020a03831615156103f957600080fd5b600160a060020a03841660009081526004602052604090205482111561041e57600080fd5b600160a060020a038416600090815260056020908152604080832033845290915290205482111561044e57600080fd5b600160a060020a038416600090815260046020526040902054610477908363ffffffff6108a216565b600160a060020a0380861660009081526004602052604080822093909355908516815220546104ac908363ffffffff6108b416565b600160a060020a0380851660009081526004602090815260408083209490945591871681526005825282812033825290915220546104f0908363ffffffff6108a216565b600160a060020a03808616600081815260056020908152604080832033845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060019392505050565b600160a060020a03811660008181526004602090815260408083208054870190558254860183558051868152905192939284927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef928290030190a350600192915050565b60025460ff1681565b336000908152600560209081526040808320600160a060020a03861684529091528120548083111561061d57336000908152600560209081526040808320600160a060020a0388168452909152812055610652565b61062d818463ffffffff6108a216565b336000908152600560209081526040808320600160a060020a03891684529091529020555b336000818152600560209081526040808320600160a060020a0389168085529083529281902054815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060019392505050565b600160a060020a031660009081526004602052604090205490565b6003805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561036e5780601f106103435761010080835404028352916020019161036e565b3360009081526004602052604081205461074e908363ffffffff6108a216565b3360009081526004602052604080822092909255600160a060020a03851681522054610780908363ffffffff6108b416565b600160a060020a0384166000818152600460209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b336000908152600560209081526040808320600160a060020a0386168452909152812054610812908363ffffffff6108b416565b336000818152600560209081526040808320600160a060020a0389168085529083529281902085905580519485525191937f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929081900390910190a350600192915050565b600160a060020a03918216600090815260056020908152604080832093909416825291909152205490565b6000828211156108ae57fe5b50900390565b818101828110156108c157fe5b929150505600a165627a7a723058201bb57ea1302fb3f6ca130e04deece65646acfda3291448e4ab04307564660d2a0029", "sourceMap": "290:7:27:-;267:30;;303:39;203:5055;303:39;;203:5055;303:39;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1;348:26:27;;;-1:-1:-1;;348:26:27;372:2;348:26;;;380:29;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;203:5055;8:9:-1;5:2;;;30:1;27;20:12;5:2;203:5055:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;203:5055:27;;;-1:-1:-1;203:5055:27;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;", "deployedSourceMap": "203:5055:27:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;303:39;;8:9:-1;5:2;;;30:1;27;20:12;5:2;303:39:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;303:39:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2907:202;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2907:202:27;-1:-1:-1;;;;;2907:202:27;;;;;;;;;;;;;;;;;;;;;;;;;3478:89;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3478:89:27;;;;;;;;;;;;;;;;;;;;1820:478;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1820:478:27;-1:-1:-1;;;;;1820:478:27;;;;;;;;;;;;743:236;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;743:236:27;;;-1:-1:-1;;;;;743:236:27;;;;;348:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;348:26:27;;;;;;;;;;;;;;;;;;;;;;;4830:425;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4830:425:27;-1:-1:-1;;;;;4830:425:27;;;;;;;2493:113;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2493:113:27;-1:-1:-1;;;;;2493:113:27;;;;;380:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;380:29:27;;;;1227:261;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1227:261:27;-1:-1:-1;;;;;1227:261:27;;;;;;;4039:329;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4039:329:27;-1:-1:-1;;;;;4039:329:27;;;;;;;3330:142;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3330:142:27;-1:-1:-1;;;;;3330:142:27;;;;;;;;;;303:39;;;;;;;;;;;;;;;-1:-1:-1;;303:39:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2907:202::-;2998:10;2974:4;2990:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;2990:29:27;;;;;;;;;;;:38;;;3043;;;;;;;2974:4;;2990:29;;2998:10;;3043:38;;;;;;;;-1:-1:-1;3098:4:27;2907:202;;;;:::o;3478:89::-;3522:7;3548:12;3478:89;:::o;1820:478::-;1902:4;-1:-1:-1;;;;;1926:17:27;;;;1918:26;;;;;;-1:-1:-1;;;;;1972:15:27;;;;;;:8;:15;;;;;;1962:25;;;1954:34;;;;;;-1:-1:-1;;;;;2016:14:27;;;;;;:7;:14;;;;;;;;2031:10;2016:26;;;;;;;;2006:36;;;1998:45;;;;;;-1:-1:-1;;;;;2072:15:27;;;;;;:8;:15;;;;;;:27;;2092:6;2072:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;2054:15:27;;;;;;;:8;:15;;;;;;:45;;;;2125:13;;;;;;;:25;;2143:6;2125:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;2109:13:27;;;;;;;:8;:13;;;;;;;;:41;;;;2189:14;;;;;:7;:14;;;;;2204:10;2189:26;;;;;;;:38;;2220:6;2189:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;2160:14:27;;;;;;;:7;:14;;;;;;;;2175:10;2160:26;;;;;;;;:67;;;;2242:28;;;;;;;;;;;2160:14;;2242:28;;;;;;;;;;;-1:-1:-1;2287:4:27;1820:478;;;;;:::o;743:236::-;-1:-1:-1;;;;;831:20:27;;815:4;831:20;;;:8;:20;;;;;;;;:31;;;;;;872:23;;;;;;910:41;;;;;;;815:4;;831:20;815:4;;910:41;;;;;;;;-1:-1:-1;968:4:27;743:236;;;;:::o;348:26::-;;;;;;:::o;4830:425::-;4971:10;4933:4;4963:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;4963:29:27;;;;;;;;;;5002:27;;;4998:164;;;5047:10;5071:1;5039:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;5039:29:27;;;;;;;;;:33;4998:164;;;5125:30;:8;5138:16;5125:30;:12;:30;:::i;:::-;5101:10;5093:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;5093:29:27;;;;;;;;;:62;4998:164;5181:10;5203:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;5172:61:27;;5203:29;;;;;;;;;;;5172:61;;;;;;;;;5181:10;5172:61;;;;;;;;;;;-1:-1:-1;5246:4:27;;4830:425;-1:-1:-1;;;4830:425:27:o;2493:113::-;-1:-1:-1;;;;;2583:16:27;2549:15;2583:16;;;:8;:16;;;;;;;2493:113::o;380:29::-;;;;;;;;;;;;;;;-1:-1:-1;;380:29:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1227:261;1338:10;1290:4;1329:20;;;:8;:20;;;;;;:32;;1354:6;1329:32;:24;:32;:::i;:::-;1315:10;1306:20;;;;:8;:20;;;;;;:55;;;;-1:-1:-1;;;;;1387:13:27;;;;;;:25;;1405:6;1387:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;1371:13:27;;;;;;:8;:13;;;;;;;;;:41;;;;1427:33;;;;;;;1371:13;;1436:10;;1427:33;;;;;;;;;;-1:-1:-1;1477:4:27;1227:261;;;;:::o;4039:329::-;4225:10;4155:4;4217:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;4217:29:27;;;;;;;;;;:46;;4251:11;4217:46;:33;:46;:::i;:::-;4183:10;4175:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;4175:29:27;;;;;;;;;;;;:89;;;4279:61;;;;;;4175:29;;4279:61;;;;;;;;;;;-1:-1:-1;4357:4:27;4039:329;;;;:::o;3330:142::-;-1:-1:-1;;;;;3440:15:27;;;3404:17;3440:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;3330:142::o;1042:110:63:-;1100:7;1122:6;;;;1115:14;;;;-1:-1:-1;1142:5:63;;;1042:110::o;1214:123::-;1293:5;;;1311:6;;;;1304:14;;;;1214:123;;;;:::o", "source": "pragma solidity ^0.4.24;\n\nimport \"openzeppelin-solidity/contracts/math/SafeMath.sol\";\n\n/*\n POLY token faucet is only used on testnet for testing purposes\n !!!! NOT INTENDED TO BE USED ON MAINNET !!!\n*/\n\ncontract PolyTokenFaucet {\n\n using SafeMath for uint256;\n uint256 totalSupply_ = 1000000;\n string public name = \"Polymath Network\";\n uint8 public decimals = 18;\n string public symbol = \"POLY\";\n\n mapping(address => uint256) balances;\n mapping(address => mapping(address => uint256)) allowed;\n\n event Transfer(address indexed _from, address indexed _to, uint256 _value);\n event Approval(address indexed _owner, address indexed _spender, uint256 _value);\n\n /* Token faucet - Not part of the ERC20 standard */\n function getTokens(uint256 _amount, address _recipient) public returns (bool) {\n balances[_recipient] += _amount;\n totalSupply_ += _amount;\n emit Transfer(address(0), _recipient, _amount);\n return true;\n }\n\n /**\n * @notice send `_value` token to `_to` from `msg.sender`\n * @param _to The address of the recipient\n * @param _value The amount of token to be transferred\n * @return Whether the transfer was successful or not\n */\n function transfer(address _to, uint256 _value) public returns (bool) {\n balances[msg.sender] = balances[msg.sender].sub(_value);\n balances[_to] = balances[_to].add(_value);\n emit Transfer(msg.sender, _to, _value);\n return true;\n }\n\n /**\n * @notice send `_value` token to `_to` from `_from` on the condition it is approved by `_from`\n * @param _from The address of the sender\n * @param _to The address of the recipient\n * @param _value The amount of token to be transferred\n * @return Whether the transfer was successful or not\n */\n function transferFrom(address _from, address _to, uint256 _value) public returns (bool) {\n require(_to != address(0));\n require(_value <= balances[_from]);\n require(_value <= allowed[_from][msg.sender]);\n\n balances[_from] = balances[_from].sub(_value);\n balances[_to] = balances[_to].add(_value);\n allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_value);\n emit Transfer(_from, _to, _value);\n return true;\n }\n\n /**\n * @notice `balanceOf` function to get the balance of token holders\n * @param _owner The address from which the balance will be retrieved\n * @return The balance\n */\n function balanceOf(address _owner) public view returns (uint256 balance) {\n return balances[_owner];\n }\n\n /**\n * @notice `msg.sender` approves `_spender` to spend `_value` tokens\n * @param _spender The address of the account able to transfer the tokens\n * @param _value The amount of tokens to be approved for transfer\n * @return Whether the approval was successful or not\n */\n function approve(address _spender, uint256 _value) public returns (bool) {\n allowed[msg.sender][_spender] = _value;\n emit Approval(msg.sender, _spender, _value);\n return true;\n }\n\n /**\n * @param _owner The address of the account owning tokens\n * @param _spender The address of the account able to transfer the tokens\n * @return Amount of remaining tokens allowed to spent\n */\n function allowance(address _owner, address _spender) public view returns (uint256 remaining) {\n return allowed[_owner][_spender];\n }\n\n function totalSupply() public view returns (uint256) {\n return totalSupply_;\n }\n\n /**\n * @dev Increase the amount of tokens that an owner allowed to a spender.\n * approve should be called when allowed[_spender] == 0. To increment\n * allowed value is better to use this function to avoid 2 calls (and wait until\n * the first transaction is mined)\n * From MonolithDAO Token.sol\n * @param _spender The address which will spend the funds.\n * @param _addedValue The amount of tokens to increase the allowance by.\n */\n function increaseApproval(\n address _spender,\n uint _addedValue\n )\n public\n returns (bool)\n {\n allowed[msg.sender][_spender] = (\n allowed[msg.sender][_spender].add(_addedValue));\n emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);\n return true;\n }\n\n /**\n * @dev Decrease the amount of tokens that an owner allowed to a spender.\n *\n * approve should be called when allowed[_spender] == 0. To decrement\n * allowed value is better to use this function to avoid 2 calls (and wait until\n * the first transaction is mined)\n * From MonolithDAO Token.sol\n * @param _spender The address which will spend the funds.\n * @param _subtractedValue The amount of tokens to decrease the allowance by.\n */\n function decreaseApproval(\n address _spender,\n uint _subtractedValue\n )\n public\n returns (bool)\n {\n uint oldValue = allowed[msg.sender][_spender];\n if (_subtractedValue > oldValue) {\n allowed[msg.sender][_spender] = 0;\n } else {\n allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);\n }\n emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);\n return true;\n }\n\n}\n", "sourcePath": "/Users/satyamagrawal/Repositories/testing-package/polymath-core/contracts/mocks/PolyTokenFaucet.sol", "ast": { "absolutePath": "/Users/satyamagrawal/Repositories/testing-package/polymath-core/contracts/mocks/PolyTokenFaucet.sol", "exportedSymbols": { "PolyTokenFaucet": [ 10954 ] }, "id": 10955, "nodeType": "SourceUnit", "nodes": [ { "id": 10586, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "0:24:27" }, { "absolutePath": "openzeppelin-solidity/contracts/math/SafeMath.sol", "file": "openzeppelin-solidity/contracts/math/SafeMath.sol", "id": 10587, "nodeType": "ImportDirective", "scope": 10955, "sourceUnit": 22579, "src": "26:59:27", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 10954, "linearizedBaseContracts": [ 10954 ], "name": "PolyTokenFaucet", "nodeType": "ContractDefinition", "nodes": [ { "id": 10590, "libraryName": { "contractScope": null, "id": 10588, "name": "SafeMath", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 22578, "src": "241:8:27", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMath_$22578", "typeString": "library SafeMath" } }, "nodeType": "UsingForDirective", "src": "235:27:27", "typeName": { "id": 10589, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "254:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, { "constant": false, "id": 10593, "name": "totalSupply_", "nodeType": "VariableDeclaration", "scope": 10954, "src": "267:30:27", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10591, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "267:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": { "argumentTypes": null, "hexValue": "31303030303030", "id": 10592, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "290:7:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1000000_by_1", "typeString": "int_const 1000000" }, "value": "1000000" }, "visibility": "internal" }, { "constant": false, "id": 10596, "name": "name", "nodeType": "VariableDeclaration", "scope": 10954, "src": "303:39:27", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_storage", "typeString": "string" }, "typeName": { "id": 10594, "name": "string", "nodeType": "ElementaryTypeName", "src": "303:6:27", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "506f6c796d617468204e6574776f726b", "id": 10595, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "324:18:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_ef4a097a85a9a840cfdc6d16f5785efbe22b97a07f481b8f8cbf0fff17defe50", "typeString": "literal_string \"Polymath Network\"" }, "value": "Polymath Network" }, "visibility": "public" }, { "constant": false, "id": 10599, "name": "decimals", "nodeType": "VariableDeclaration", "scope": 10954, "src": "348:26:27", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 10597, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "348:5:27", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": { "argumentTypes": null, "hexValue": "3138", "id": 10598, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "372:2:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_18_by_1", "typeString": "int_const 18" }, "value": "18" }, "visibility": "public" }, { "constant": false, "id": 10602, "name": "symbol", "nodeType": "VariableDeclaration", "scope": 10954, "src": "380:29:27", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_storage", "typeString": "string" }, "typeName": { "id": 10600, "name": "string", "nodeType": "ElementaryTypeName", "src": "380:6:27", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "504f4c59", "id": 10601, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "403:6:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_42e9b9ff2964f66d264e07a2cd4c5234a8c8c5adbfc54101bd50b0744fcd261f", "typeString": "literal_string \"POLY\"" }, "value": "POLY" }, "visibility": "public" }, { "constant": false, "id": 10606, "name": "balances", "nodeType": "VariableDeclaration", "scope": 10954, "src": "416:36:27", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "typeName": { "id": 10605, "keyType": { "id": 10603, "name": "address", "nodeType": "ElementaryTypeName", "src": "424:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "416:27:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "valueType": { "id": 10604, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "435:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10612, "name": "allowed", "nodeType": "VariableDeclaration", "scope": 10954, "src": "458:55:27", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" }, "typeName": { "id": 10611, "keyType": { "id": 10607, "name": "address", "nodeType": "ElementaryTypeName", "src": "466:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "458:47:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" }, "valueType": { "id": 10610, "keyType": { "id": 10608, "name": "address", "nodeType": "ElementaryTypeName", "src": "485:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "477:27:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "valueType": { "id": 10609, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "496:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } } }, "value": null, "visibility": "internal" }, { "anonymous": false, "documentation": null, "id": 10620, "name": "Transfer", "nodeType": "EventDefinition", "parameters": { "id": 10619, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10614, "indexed": true, "name": "_from", "nodeType": "VariableDeclaration", "scope": 10620, "src": "535:21:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10613, "name": "address", "nodeType": "ElementaryTypeName", "src": "535:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10616, "indexed": true, "name": "_to", "nodeType": "VariableDeclaration", "scope": 10620, "src": "558:19:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10615, "name": "address", "nodeType": "ElementaryTypeName", "src": "558:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10618, "indexed": false, "name": "_value", "nodeType": "VariableDeclaration", "scope": 10620, "src": "579:14:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10617, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "579:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "534:60:27" }, "src": "520:75:27" }, { "anonymous": false, "documentation": null, "id": 10628, "name": "Approval", "nodeType": "EventDefinition", "parameters": { "id": 10627, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10622, "indexed": true, "name": "_owner", "nodeType": "VariableDeclaration", "scope": 10628, "src": "615:22:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10621, "name": "address", "nodeType": "ElementaryTypeName", "src": "615:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10624, "indexed": true, "name": "_spender", "nodeType": "VariableDeclaration", "scope": 10628, "src": "639:24:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10623, "name": "address", "nodeType": "ElementaryTypeName", "src": "639:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10626, "indexed": false, "name": "_value", "nodeType": "VariableDeclaration", "scope": 10628, "src": "665:14:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10625, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "665:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "614:66:27" }, "src": "600:81:27" }, { "body": { "id": 10657, "nodeType": "Block", "src": "821:158:27", "statements": [ { "expression": { "argumentTypes": null, "id": 10641, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10637, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "831:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10639, "indexExpression": { "argumentTypes": null, "id": 10638, "name": "_recipient", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10632, "src": "840:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "831:20:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "id": 10640, "name": "_amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10630, "src": "855:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "831:31:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10642, "nodeType": "ExpressionStatement", "src": "831:31:27" }, { "expression": { "argumentTypes": null, "id": 10645, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 10643, "name": "totalSupply_", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10593, "src": "872:12:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "id": 10644, "name": "_amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10630, "src": "888:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "872:23:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10646, "nodeType": "ExpressionStatement", "src": "872:23:27" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 10649, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "927:1:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 10648, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "919:7:27", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 10650, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "919:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 10651, "name": "_recipient", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10632, "src": "931:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 10652, "name": "_amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10630, "src": "943:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 10647, "name": "Transfer", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10620, "src": "910:8:27", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 10653, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "910:41:27", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 10654, "nodeType": "EmitStatement", "src": "905:46:27" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 10655, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "968:4:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 10636, "id": 10656, "nodeType": "Return", "src": "961:11:27" } ] }, "documentation": null, "id": 10658, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "getTokens", "nodeType": "FunctionDefinition", "parameters": { "id": 10633, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10630, "name": "_amount", "nodeType": "VariableDeclaration", "scope": 10658, "src": "762:15:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10629, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "762:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10632, "name": "_recipient", "nodeType": "VariableDeclaration", "scope": 10658, "src": "779:18:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10631, "name": "address", "nodeType": "ElementaryTypeName", "src": "779:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "761:37:27" }, "payable": false, "returnParameters": { "id": 10636, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10635, "name": "", "nodeType": "VariableDeclaration", "scope": 10658, "src": "815:4:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 10634, "name": "bool", "nodeType": "ElementaryTypeName", "src": "815:4:27", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "814:6:27" }, "scope": 10954, "src": "743:236:27", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 10700, "nodeType": "Block", "src": "1296:192:27", "statements": [ { "expression": { "argumentTypes": null, "id": 10678, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10667, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "1306:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10670, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10668, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "1315:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10669, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1315:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1306:20:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 10676, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10662, "src": "1354:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10671, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "1329:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10674, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10672, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "1338:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10673, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1338:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1329:20:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10675, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 22553, "src": "1329:24:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 10677, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1329:32:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1306:55:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10679, "nodeType": "ExpressionStatement", "src": "1306:55:27" }, { "expression": { "argumentTypes": null, "id": 10689, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10680, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "1371:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10682, "indexExpression": { "argumentTypes": null, "id": 10681, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10660, "src": "1380:3:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1371:13:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 10687, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10662, "src": "1405:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10683, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "1387:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10685, "indexExpression": { "argumentTypes": null, "id": 10684, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10660, "src": "1396:3:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1387:13:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10686, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 22577, "src": "1387:17:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 10688, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1387:25:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1371:41:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10690, "nodeType": "ExpressionStatement", "src": "1371:41:27" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10692, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "1436:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10693, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1436:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 10694, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10660, "src": "1448:3:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 10695, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10662, "src": "1453:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 10691, "name": "Transfer", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10620, "src": "1427:8:27", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 10696, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1427:33:27", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 10697, "nodeType": "EmitStatement", "src": "1422:38:27" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 10698, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1477:4:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 10666, "id": 10699, "nodeType": "Return", "src": "1470:11:27" } ] }, "documentation": "@notice send `_value` token to `_to` from `msg.sender`\n@param _to The address of the recipient\n@param _value The amount of token to be transferred\n@return Whether the transfer was successful or not", "id": 10701, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "transfer", "nodeType": "FunctionDefinition", "parameters": { "id": 10663, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10660, "name": "_to", "nodeType": "VariableDeclaration", "scope": 10701, "src": "1245:11:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10659, "name": "address", "nodeType": "ElementaryTypeName", "src": "1245:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10662, "name": "_value", "nodeType": "VariableDeclaration", "scope": 10701, "src": "1258:14:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10661, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1258:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1244:29:27" }, "payable": false, "returnParameters": { "id": 10666, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10665, "name": "", "nodeType": "VariableDeclaration", "scope": 10701, "src": "1290:4:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 10664, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1290:4:27", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "1289:6:27" }, "scope": 10954, "src": "1227:261:27", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 10786, "nodeType": "Block", "src": "1908:390:27", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 10717, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10713, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10705, "src": "1926:3:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 10715, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1941:1:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 10714, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1933:7:27", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 10716, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1933:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "1926:17:27", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 10712, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 23134, 23135 ], "referencedDeclaration": 23134, "src": "1918:7:27", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 10718, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1918:26:27", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 10719, "nodeType": "ExpressionStatement", "src": "1918:26:27" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10725, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10721, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10707, "src": "1962:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10722, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "1972:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10724, "indexExpression": { "argumentTypes": null, "id": 10723, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10703, "src": "1981:5:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1972:15:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1962:25:27", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 10720, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 23134, 23135 ], "referencedDeclaration": 23134, "src": "1954:7:27", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 10726, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1954:34:27", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 10727, "nodeType": "ExpressionStatement", "src": "1954:34:27" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10736, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10729, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10707, "src": "2006:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10730, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "2016:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10732, "indexExpression": { "argumentTypes": null, "id": 10731, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10703, "src": "2024:5:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2016:14:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10735, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10733, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "2031:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10734, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2031:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2016:26:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2006:36:27", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 10728, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 23134, 23135 ], "referencedDeclaration": 23134, "src": "1998:7:27", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 10737, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1998:45:27", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 10738, "nodeType": "ExpressionStatement", "src": "1998:45:27" }, { "expression": { "argumentTypes": null, "id": 10748, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10739, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "2054:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10741, "indexExpression": { "argumentTypes": null, "id": 10740, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10703, "src": "2063:5:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2054:15:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 10746, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10707, "src": "2092:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10742, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "2072:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10744, "indexExpression": { "argumentTypes": null, "id": 10743, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10703, "src": "2081:5:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2072:15:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10745, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 22553, "src": "2072:19:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 10747, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2072:27:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2054:45:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10749, "nodeType": "ExpressionStatement", "src": "2054:45:27" }, { "expression": { "argumentTypes": null, "id": 10759, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10750, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "2109:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10752, "indexExpression": { "argumentTypes": null, "id": 10751, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10705, "src": "2118:3:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2109:13:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 10757, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10707, "src": "2143:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10753, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "2125:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10755, "indexExpression": { "argumentTypes": null, "id": 10754, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10705, "src": "2134:3:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2125:13:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10756, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 22577, "src": "2125:17:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 10758, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2125:25:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2109:41:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10760, "nodeType": "ExpressionStatement", "src": "2109:41:27" }, { "expression": { "argumentTypes": null, "id": 10776, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10761, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "2160:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10765, "indexExpression": { "argumentTypes": null, "id": 10762, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10703, "src": "2168:5:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2160:14:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10766, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10763, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "2175:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10764, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2175:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2160:26:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 10774, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10707, "src": "2220:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10767, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "2189:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10769, "indexExpression": { "argumentTypes": null, "id": 10768, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10703, "src": "2197:5:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2189:14:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10772, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10770, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "2204:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10771, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2204:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2189:26:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10773, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 22553, "src": "2189:30:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 10775, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2189:38:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2160:67:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10777, "nodeType": "ExpressionStatement", "src": "2160:67:27" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 10779, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10703, "src": "2251:5:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 10780, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10705, "src": "2258:3:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 10781, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10707, "src": "2263:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 10778, "name": "Transfer", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10620, "src": "2242:8:27", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 10782, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2242:28:27", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 10783, "nodeType": "EmitStatement", "src": "2237:33:27" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 10784, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2287:4:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 10711, "id": 10785, "nodeType": "Return", "src": "2280:11:27" } ] }, "documentation": "@notice send `_value` token to `_to` from `_from` on the condition it is approved by `_from`\n@param _from The address of the sender\n@param _to The address of the recipient\n@param _value The amount of token to be transferred\n@return Whether the transfer was successful or not", "id": 10787, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "transferFrom", "nodeType": "FunctionDefinition", "parameters": { "id": 10708, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10703, "name": "_from", "nodeType": "VariableDeclaration", "scope": 10787, "src": "1842:13:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10702, "name": "address", "nodeType": "ElementaryTypeName", "src": "1842:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10705, "name": "_to", "nodeType": "VariableDeclaration", "scope": 10787, "src": "1857:11:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10704, "name": "address", "nodeType": "ElementaryTypeName", "src": "1857:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10707, "name": "_value", "nodeType": "VariableDeclaration", "scope": 10787, "src": "1870:14:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10706, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1870:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1841:44:27" }, "payable": false, "returnParameters": { "id": 10711, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10710, "name": "", "nodeType": "VariableDeclaration", "scope": 10787, "src": "1902:4:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 10709, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1902:4:27", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "1901:6:27" }, "scope": 10954, "src": "1820:478:27", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 10798, "nodeType": "Block", "src": "2566:40:27", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10794, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "2583:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10796, "indexExpression": { "argumentTypes": null, "id": 10795, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10789, "src": "2592:6:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2583:16:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 10793, "id": 10797, "nodeType": "Return", "src": "2576:23:27" } ] }, "documentation": "@notice `balanceOf` function to get the balance of token holders\n@param _owner The address from which the balance will be retrieved\n@return The balance", "id": 10799, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "balanceOf", "nodeType": "FunctionDefinition", "parameters": { "id": 10790, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10789, "name": "_owner", "nodeType": "VariableDeclaration", "scope": 10799, "src": "2512:14:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10788, "name": "address", "nodeType": "ElementaryTypeName", "src": "2512:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "2511:16:27" }, "payable": false, "returnParameters": { "id": 10793, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10792, "name": "balance", "nodeType": "VariableDeclaration", "scope": 10799, "src": "2549:15:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10791, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2549:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2548:17:27" }, "scope": 10954, "src": "2493:113:27", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 10826, "nodeType": "Block", "src": "2980:129:27", "statements": [ { "expression": { "argumentTypes": null, "id": 10815, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10808, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "2990:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10812, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10809, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "2998:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10810, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2998:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2990:19:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10813, "indexExpression": { "argumentTypes": null, "id": 10811, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10801, "src": "3010:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2990:29:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 10814, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10803, "src": "3022:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2990:38:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10816, "nodeType": "ExpressionStatement", "src": "2990:38:27" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10818, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "3052:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10819, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3052:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 10820, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10801, "src": "3064:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 10821, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10803, "src": "3074:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 10817, "name": "Approval", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10628, "src": "3043:8:27", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 10822, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3043:38:27", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 10823, "nodeType": "EmitStatement", "src": "3038:43:27" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 10824, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3098:4:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 10807, "id": 10825, "nodeType": "Return", "src": "3091:11:27" } ] }, "documentation": "@notice `msg.sender` approves `_spender` to spend `_value` tokens\n@param _spender The address of the account able to transfer the tokens\n@param _value The amount of tokens to be approved for transfer\n@return Whether the approval was successful or not", "id": 10827, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "approve", "nodeType": "FunctionDefinition", "parameters": { "id": 10804, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10801, "name": "_spender", "nodeType": "VariableDeclaration", "scope": 10827, "src": "2924:16:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10800, "name": "address", "nodeType": "ElementaryTypeName", "src": "2924:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10803, "name": "_value", "nodeType": "VariableDeclaration", "scope": 10827, "src": "2942:14:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10802, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2942:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2923:34:27" }, "payable": false, "returnParameters": { "id": 10807, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10806, "name": "", "nodeType": "VariableDeclaration", "scope": 10827, "src": "2974:4:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 10805, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2974:4:27", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "2973:6:27" }, "scope": 10954, "src": "2907:202:27", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 10842, "nodeType": "Block", "src": "3423:49:27", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10836, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "3440:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10838, "indexExpression": { "argumentTypes": null, "id": 10837, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10829, "src": "3448:6:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3440:15:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10840, "indexExpression": { "argumentTypes": null, "id": 10839, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10831, "src": "3456:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3440:25:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 10835, "id": 10841, "nodeType": "Return", "src": "3433:32:27" } ] }, "documentation": "@param _owner The address of the account owning tokens\n@param _spender The address of the account able to transfer the tokens\n@return Amount of remaining tokens allowed to spent", "id": 10843, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "allowance", "nodeType": "FunctionDefinition", "parameters": { "id": 10832, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10829, "name": "_owner", "nodeType": "VariableDeclaration", "scope": 10843, "src": "3349:14:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10828, "name": "address", "nodeType": "ElementaryTypeName", "src": "3349:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10831, "name": "_spender", "nodeType": "VariableDeclaration", "scope": 10843, "src": "3365:16:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10830, "name": "address", "nodeType": "ElementaryTypeName", "src": "3365:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "3348:34:27" }, "payable": false, "returnParameters": { "id": 10835, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10834, "name": "remaining", "nodeType": "VariableDeclaration", "scope": 10843, "src": "3404:17:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10833, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3404:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3403:19:27" }, "scope": 10954, "src": "3330:142:27", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 10850, "nodeType": "Block", "src": "3531:36:27", "statements": [ { "expression": { "argumentTypes": null, "id": 10848, "name": "totalSupply_", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10593, "src": "3548:12:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 10847, "id": 10849, "nodeType": "Return", "src": "3541:19:27" } ] }, "documentation": null, "id": 10851, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "totalSupply", "nodeType": "FunctionDefinition", "parameters": { "id": 10844, "nodeType": "ParameterList", "parameters": [], "src": "3498:2:27" }, "payable": false, "returnParameters": { "id": 10847, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10846, "name": "", "nodeType": "VariableDeclaration", "scope": 10851, "src": "3522:7:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10845, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3522:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3521:9:27" }, "scope": 10954, "src": "3478:89:27", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 10892, "nodeType": "Block", "src": "4165:203:27", "statements": [ { "expression": { "argumentTypes": null, "id": 10876, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10860, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "4175:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10864, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10861, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "4183:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10862, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "4183:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4175:19:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10865, "indexExpression": { "argumentTypes": null, "id": 10863, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10853, "src": "4195:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "4175:29:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "components": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 10873, "name": "_addedValue", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10855, "src": "4251:11:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10866, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "4217:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10869, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10867, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "4225:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10868, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "4225:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4217:19:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10871, "indexExpression": { "argumentTypes": null, "id": 10870, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10853, "src": "4237:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4217:29:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10872, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 22577, "src": "4217:33:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 10874, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4217:46:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 10875, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "4207:57:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4175:89:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10877, "nodeType": "ExpressionStatement", "src": "4175:89:27" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10879, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "4288:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10880, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "4288:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 10881, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10853, "src": "4300:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10882, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "4310:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10885, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10883, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "4318:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10884, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "4318:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4310:19:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10887, "indexExpression": { "argumentTypes": null, "id": 10886, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10853, "src": "4330:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4310:29:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 10878, "name": "Approval", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10628, "src": "4279:8:27", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 10888, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4279:61:27", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 10889, "nodeType": "EmitStatement", "src": "4274:66:27" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 10890, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4357:4:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 10859, "id": 10891, "nodeType": "Return", "src": "4350:11:27" } ] }, "documentation": "@dev Increase the amount of tokens that an owner allowed to a spender.\napprove should be called when allowed[_spender] == 0. To increment\nallowed value is better to use this function to avoid 2 calls (and wait until\nthe first transaction is mined)\nFrom MonolithDAO Token.sol\n@param _spender The address which will spend the funds.\n@param _addedValue The amount of tokens to increase the allowance by.", "id": 10893, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "increaseApproval", "nodeType": "FunctionDefinition", "parameters": { "id": 10856, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10853, "name": "_spender", "nodeType": "VariableDeclaration", "scope": 10893, "src": "4074:16:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10852, "name": "address", "nodeType": "ElementaryTypeName", "src": "4074:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10855, "name": "_addedValue", "nodeType": "VariableDeclaration", "scope": 10893, "src": "4100:16:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10854, "name": "uint", "nodeType": "ElementaryTypeName", "src": "4100:4:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4064:58:27" }, "payable": false, "returnParameters": { "id": 10859, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10858, "name": "", "nodeType": "VariableDeclaration", "scope": 10893, "src": "4155:4:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 10857, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4155:4:27", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4154:6:27" }, "scope": 10954, "src": "4039:329:27", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 10952, "nodeType": "Block", "src": "4941:314:27", "statements": [ { "assignments": [ 10903 ], "declarations": [ { "constant": false, "id": 10903, "name": "oldValue", "nodeType": "VariableDeclaration", "scope": 10953, "src": "4947:13:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10902, "name": "uint", "nodeType": "ElementaryTypeName", "src": "4947:4:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 10910, "initialValue": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10904, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "4963:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10907, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10905, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "4971:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10906, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "4971:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4963:19:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10909, "indexExpression": { "argumentTypes": null, "id": 10908, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10895, "src": "4983:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4963:29:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "4947:45:27" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10913, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10911, "name": "_subtractedValue", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10897, "src": "5002:16:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 10912, "name": "oldValue", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10903, "src": "5021:8:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5002:27:27", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 10936, "nodeType": "Block", "src": "5085:77:27", "statements": [ { "expression": { "argumentTypes": null, "id": 10934, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10924, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "5093:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10928, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10925, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "5101:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10926, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "5101:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "5093:19:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10929, "indexExpression": { "argumentTypes": null, "id": 10927, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10895, "src": "5113:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "5093:29:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 10932, "name": "_subtractedValue", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10897, "src": "5138:16:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 10930, "name": "oldValue", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10903, "src": "5125:8:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10931, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 22553, "src": "5125:12:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 10933, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5125:30:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5093:62:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10935, "nodeType": "ExpressionStatement", "src": "5093:62:27" } ] }, "id": 10937, "nodeType": "IfStatement", "src": "4998:164:27", "trueBody": { "id": 10923, "nodeType": "Block", "src": "5031:48:27", "statements": [ { "expression": { "argumentTypes": null, "id": 10921, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10914, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "5039:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10918, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10915, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "5047:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10916, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "5047:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "5039:19:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10919, "indexExpression": { "argumentTypes": null, "id": 10917, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10895, "src": "5059:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "5039:29:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 10920, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "5071:1:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "5039:33:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10922, "nodeType": "ExpressionStatement", "src": "5039:33:27" } ] } }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10939, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "5181:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10940, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "5181:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 10941, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10895, "src": "5193:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10942, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "5203:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10945, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10943, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "5211:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10944, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "5211:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "5203:19:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10947, "indexExpression": { "argumentTypes": null, "id": 10946, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10895, "src": "5223:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "5203:29:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 10938, "name": "Approval", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10628, "src": "5172:8:27", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 10948, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5172:61:27", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 10949, "nodeType": "EmitStatement", "src": "5167:66:27" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 10950, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "5246:4:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 10901, "id": 10951, "nodeType": "Return", "src": "5239:11:27" } ] }, "documentation": "@dev Decrease the amount of tokens that an owner allowed to a spender.\n * approve should be called when allowed[_spender] == 0. To decrement\nallowed value is better to use this function to avoid 2 calls (and wait until\nthe first transaction is mined)\nFrom MonolithDAO Token.sol\n@param _spender The address which will spend the funds.\n@param _subtractedValue The amount of tokens to decrease the allowance by.", "id": 10953, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "decreaseApproval", "nodeType": "FunctionDefinition", "parameters": { "id": 10898, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10895, "name": "_spender", "nodeType": "VariableDeclaration", "scope": 10953, "src": "4861:16:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10894, "name": "address", "nodeType": "ElementaryTypeName", "src": "4861:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10897, "name": "_subtractedValue", "nodeType": "VariableDeclaration", "scope": 10953, "src": "4883:21:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10896, "name": "uint", "nodeType": "ElementaryTypeName", "src": "4883:4:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4855:53:27" }, "payable": false, "returnParameters": { "id": 10901, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10900, "name": "", "nodeType": "VariableDeclaration", "scope": 10953, "src": "4933:4:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 10899, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4933:4:27", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4932:6:27" }, "scope": 10954, "src": "4830:425:27", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" } ], "scope": 10955, "src": "203:5055:27" } ], "src": "0:5259:27" }, "legacyAST": { "absolutePath": "/Users/satyamagrawal/Repositories/testing-package/polymath-core/contracts/mocks/PolyTokenFaucet.sol", "exportedSymbols": { "PolyTokenFaucet": [ 10954 ] }, "id": 10955, "nodeType": "SourceUnit", "nodes": [ { "id": 10586, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "0:24:27" }, { "absolutePath": "openzeppelin-solidity/contracts/math/SafeMath.sol", "file": "openzeppelin-solidity/contracts/math/SafeMath.sol", "id": 10587, "nodeType": "ImportDirective", "scope": 10955, "sourceUnit": 22579, "src": "26:59:27", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 10954, "linearizedBaseContracts": [ 10954 ], "name": "PolyTokenFaucet", "nodeType": "ContractDefinition", "nodes": [ { "id": 10590, "libraryName": { "contractScope": null, "id": 10588, "name": "SafeMath", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 22578, "src": "241:8:27", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMath_$22578", "typeString": "library SafeMath" } }, "nodeType": "UsingForDirective", "src": "235:27:27", "typeName": { "id": 10589, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "254:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, { "constant": false, "id": 10593, "name": "totalSupply_", "nodeType": "VariableDeclaration", "scope": 10954, "src": "267:30:27", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10591, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "267:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": { "argumentTypes": null, "hexValue": "31303030303030", "id": 10592, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "290:7:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1000000_by_1", "typeString": "int_const 1000000" }, "value": "1000000" }, "visibility": "internal" }, { "constant": false, "id": 10596, "name": "name", "nodeType": "VariableDeclaration", "scope": 10954, "src": "303:39:27", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_storage", "typeString": "string" }, "typeName": { "id": 10594, "name": "string", "nodeType": "ElementaryTypeName", "src": "303:6:27", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "506f6c796d617468204e6574776f726b", "id": 10595, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "324:18:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_ef4a097a85a9a840cfdc6d16f5785efbe22b97a07f481b8f8cbf0fff17defe50", "typeString": "literal_string \"Polymath Network\"" }, "value": "Polymath Network" }, "visibility": "public" }, { "constant": false, "id": 10599, "name": "decimals", "nodeType": "VariableDeclaration", "scope": 10954, "src": "348:26:27", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 10597, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "348:5:27", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": { "argumentTypes": null, "hexValue": "3138", "id": 10598, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "372:2:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_18_by_1", "typeString": "int_const 18" }, "value": "18" }, "visibility": "public" }, { "constant": false, "id": 10602, "name": "symbol", "nodeType": "VariableDeclaration", "scope": 10954, "src": "380:29:27", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_storage", "typeString": "string" }, "typeName": { "id": 10600, "name": "string", "nodeType": "ElementaryTypeName", "src": "380:6:27", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "504f4c59", "id": 10601, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "403:6:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_42e9b9ff2964f66d264e07a2cd4c5234a8c8c5adbfc54101bd50b0744fcd261f", "typeString": "literal_string \"POLY\"" }, "value": "POLY" }, "visibility": "public" }, { "constant": false, "id": 10606, "name": "balances", "nodeType": "VariableDeclaration", "scope": 10954, "src": "416:36:27", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "typeName": { "id": 10605, "keyType": { "id": 10603, "name": "address", "nodeType": "ElementaryTypeName", "src": "424:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "416:27:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "valueType": { "id": 10604, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "435:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10612, "name": "allowed", "nodeType": "VariableDeclaration", "scope": 10954, "src": "458:55:27", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" }, "typeName": { "id": 10611, "keyType": { "id": 10607, "name": "address", "nodeType": "ElementaryTypeName", "src": "466:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "458:47:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" }, "valueType": { "id": 10610, "keyType": { "id": 10608, "name": "address", "nodeType": "ElementaryTypeName", "src": "485:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "477:27:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" }, "valueType": { "id": 10609, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "496:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } } }, "value": null, "visibility": "internal" }, { "anonymous": false, "documentation": null, "id": 10620, "name": "Transfer", "nodeType": "EventDefinition", "parameters": { "id": 10619, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10614, "indexed": true, "name": "_from", "nodeType": "VariableDeclaration", "scope": 10620, "src": "535:21:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10613, "name": "address", "nodeType": "ElementaryTypeName", "src": "535:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10616, "indexed": true, "name": "_to", "nodeType": "VariableDeclaration", "scope": 10620, "src": "558:19:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10615, "name": "address", "nodeType": "ElementaryTypeName", "src": "558:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10618, "indexed": false, "name": "_value", "nodeType": "VariableDeclaration", "scope": 10620, "src": "579:14:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10617, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "579:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "534:60:27" }, "src": "520:75:27" }, { "anonymous": false, "documentation": null, "id": 10628, "name": "Approval", "nodeType": "EventDefinition", "parameters": { "id": 10627, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10622, "indexed": true, "name": "_owner", "nodeType": "VariableDeclaration", "scope": 10628, "src": "615:22:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10621, "name": "address", "nodeType": "ElementaryTypeName", "src": "615:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10624, "indexed": true, "name": "_spender", "nodeType": "VariableDeclaration", "scope": 10628, "src": "639:24:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10623, "name": "address", "nodeType": "ElementaryTypeName", "src": "639:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10626, "indexed": false, "name": "_value", "nodeType": "VariableDeclaration", "scope": 10628, "src": "665:14:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10625, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "665:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "614:66:27" }, "src": "600:81:27" }, { "body": { "id": 10657, "nodeType": "Block", "src": "821:158:27", "statements": [ { "expression": { "argumentTypes": null, "id": 10641, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10637, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "831:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10639, "indexExpression": { "argumentTypes": null, "id": 10638, "name": "_recipient", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10632, "src": "840:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "831:20:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "id": 10640, "name": "_amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10630, "src": "855:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "831:31:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10642, "nodeType": "ExpressionStatement", "src": "831:31:27" }, { "expression": { "argumentTypes": null, "id": 10645, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 10643, "name": "totalSupply_", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10593, "src": "872:12:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "id": 10644, "name": "_amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10630, "src": "888:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "872:23:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10646, "nodeType": "ExpressionStatement", "src": "872:23:27" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 10649, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "927:1:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 10648, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "919:7:27", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 10650, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "919:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 10651, "name": "_recipient", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10632, "src": "931:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 10652, "name": "_amount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10630, "src": "943:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 10647, "name": "Transfer", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10620, "src": "910:8:27", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 10653, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "910:41:27", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 10654, "nodeType": "EmitStatement", "src": "905:46:27" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 10655, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "968:4:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 10636, "id": 10656, "nodeType": "Return", "src": "961:11:27" } ] }, "documentation": null, "id": 10658, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "getTokens", "nodeType": "FunctionDefinition", "parameters": { "id": 10633, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10630, "name": "_amount", "nodeType": "VariableDeclaration", "scope": 10658, "src": "762:15:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10629, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "762:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10632, "name": "_recipient", "nodeType": "VariableDeclaration", "scope": 10658, "src": "779:18:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10631, "name": "address", "nodeType": "ElementaryTypeName", "src": "779:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "761:37:27" }, "payable": false, "returnParameters": { "id": 10636, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10635, "name": "", "nodeType": "VariableDeclaration", "scope": 10658, "src": "815:4:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 10634, "name": "bool", "nodeType": "ElementaryTypeName", "src": "815:4:27", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "814:6:27" }, "scope": 10954, "src": "743:236:27", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 10700, "nodeType": "Block", "src": "1296:192:27", "statements": [ { "expression": { "argumentTypes": null, "id": 10678, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10667, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "1306:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10670, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10668, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "1315:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10669, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1315:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1306:20:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 10676, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10662, "src": "1354:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10671, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "1329:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10674, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10672, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "1338:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10673, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1338:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1329:20:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10675, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 22553, "src": "1329:24:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 10677, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1329:32:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1306:55:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10679, "nodeType": "ExpressionStatement", "src": "1306:55:27" }, { "expression": { "argumentTypes": null, "id": 10689, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10680, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "1371:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10682, "indexExpression": { "argumentTypes": null, "id": 10681, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10660, "src": "1380:3:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1371:13:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 10687, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10662, "src": "1405:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10683, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "1387:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10685, "indexExpression": { "argumentTypes": null, "id": 10684, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10660, "src": "1396:3:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1387:13:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10686, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 22577, "src": "1387:17:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 10688, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1387:25:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1371:41:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10690, "nodeType": "ExpressionStatement", "src": "1371:41:27" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10692, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "1436:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10693, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1436:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 10694, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10660, "src": "1448:3:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 10695, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10662, "src": "1453:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 10691, "name": "Transfer", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10620, "src": "1427:8:27", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 10696, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1427:33:27", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 10697, "nodeType": "EmitStatement", "src": "1422:38:27" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 10698, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1477:4:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 10666, "id": 10699, "nodeType": "Return", "src": "1470:11:27" } ] }, "documentation": "@notice send `_value` token to `_to` from `msg.sender`\n@param _to The address of the recipient\n@param _value The amount of token to be transferred\n@return Whether the transfer was successful or not", "id": 10701, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "transfer", "nodeType": "FunctionDefinition", "parameters": { "id": 10663, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10660, "name": "_to", "nodeType": "VariableDeclaration", "scope": 10701, "src": "1245:11:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10659, "name": "address", "nodeType": "ElementaryTypeName", "src": "1245:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10662, "name": "_value", "nodeType": "VariableDeclaration", "scope": 10701, "src": "1258:14:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10661, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1258:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1244:29:27" }, "payable": false, "returnParameters": { "id": 10666, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10665, "name": "", "nodeType": "VariableDeclaration", "scope": 10701, "src": "1290:4:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 10664, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1290:4:27", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "1289:6:27" }, "scope": 10954, "src": "1227:261:27", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 10786, "nodeType": "Block", "src": "1908:390:27", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 10717, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10713, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10705, "src": "1926:3:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 10715, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1941:1:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 10714, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1933:7:27", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 10716, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1933:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "src": "1926:17:27", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 10712, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 23134, 23135 ], "referencedDeclaration": 23134, "src": "1918:7:27", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 10718, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1918:26:27", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 10719, "nodeType": "ExpressionStatement", "src": "1918:26:27" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10725, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10721, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10707, "src": "1962:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10722, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "1972:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10724, "indexExpression": { "argumentTypes": null, "id": 10723, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10703, "src": "1981:5:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1972:15:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1962:25:27", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 10720, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 23134, 23135 ], "referencedDeclaration": 23134, "src": "1954:7:27", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 10726, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1954:34:27", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 10727, "nodeType": "ExpressionStatement", "src": "1954:34:27" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10736, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10729, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10707, "src": "2006:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10730, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "2016:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10732, "indexExpression": { "argumentTypes": null, "id": 10731, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10703, "src": "2024:5:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2016:14:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10735, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10733, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "2031:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10734, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2031:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2016:26:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2006:36:27", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 10728, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 23134, 23135 ], "referencedDeclaration": 23134, "src": "1998:7:27", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 10737, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1998:45:27", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 10738, "nodeType": "ExpressionStatement", "src": "1998:45:27" }, { "expression": { "argumentTypes": null, "id": 10748, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10739, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "2054:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10741, "indexExpression": { "argumentTypes": null, "id": 10740, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10703, "src": "2063:5:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2054:15:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 10746, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10707, "src": "2092:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10742, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "2072:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10744, "indexExpression": { "argumentTypes": null, "id": 10743, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10703, "src": "2081:5:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2072:15:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10745, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 22553, "src": "2072:19:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 10747, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2072:27:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2054:45:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10749, "nodeType": "ExpressionStatement", "src": "2054:45:27" }, { "expression": { "argumentTypes": null, "id": 10759, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10750, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "2109:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10752, "indexExpression": { "argumentTypes": null, "id": 10751, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10705, "src": "2118:3:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2109:13:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 10757, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10707, "src": "2143:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10753, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "2125:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10755, "indexExpression": { "argumentTypes": null, "id": 10754, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10705, "src": "2134:3:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2125:13:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10756, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 22577, "src": "2125:17:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 10758, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2125:25:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2109:41:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10760, "nodeType": "ExpressionStatement", "src": "2109:41:27" }, { "expression": { "argumentTypes": null, "id": 10776, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10761, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "2160:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10765, "indexExpression": { "argumentTypes": null, "id": 10762, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10703, "src": "2168:5:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2160:14:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10766, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10763, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "2175:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10764, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2175:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2160:26:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 10774, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10707, "src": "2220:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10767, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "2189:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10769, "indexExpression": { "argumentTypes": null, "id": 10768, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10703, "src": "2197:5:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2189:14:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10772, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10770, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "2204:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10771, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2204:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2189:26:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10773, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 22553, "src": "2189:30:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 10775, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2189:38:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2160:67:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10777, "nodeType": "ExpressionStatement", "src": "2160:67:27" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 10779, "name": "_from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10703, "src": "2251:5:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 10780, "name": "_to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10705, "src": "2258:3:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 10781, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10707, "src": "2263:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 10778, "name": "Transfer", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10620, "src": "2242:8:27", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 10782, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2242:28:27", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 10783, "nodeType": "EmitStatement", "src": "2237:33:27" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 10784, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2287:4:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 10711, "id": 10785, "nodeType": "Return", "src": "2280:11:27" } ] }, "documentation": "@notice send `_value` token to `_to` from `_from` on the condition it is approved by `_from`\n@param _from The address of the sender\n@param _to The address of the recipient\n@param _value The amount of token to be transferred\n@return Whether the transfer was successful or not", "id": 10787, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "transferFrom", "nodeType": "FunctionDefinition", "parameters": { "id": 10708, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10703, "name": "_from", "nodeType": "VariableDeclaration", "scope": 10787, "src": "1842:13:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10702, "name": "address", "nodeType": "ElementaryTypeName", "src": "1842:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10705, "name": "_to", "nodeType": "VariableDeclaration", "scope": 10787, "src": "1857:11:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10704, "name": "address", "nodeType": "ElementaryTypeName", "src": "1857:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10707, "name": "_value", "nodeType": "VariableDeclaration", "scope": 10787, "src": "1870:14:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10706, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1870:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1841:44:27" }, "payable": false, "returnParameters": { "id": 10711, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10710, "name": "", "nodeType": "VariableDeclaration", "scope": 10787, "src": "1902:4:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 10709, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1902:4:27", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "1901:6:27" }, "scope": 10954, "src": "1820:478:27", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 10798, "nodeType": "Block", "src": "2566:40:27", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10794, "name": "balances", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10606, "src": "2583:8:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10796, "indexExpression": { "argumentTypes": null, "id": 10795, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10789, "src": "2592:6:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2583:16:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 10793, "id": 10797, "nodeType": "Return", "src": "2576:23:27" } ] }, "documentation": "@notice `balanceOf` function to get the balance of token holders\n@param _owner The address from which the balance will be retrieved\n@return The balance", "id": 10799, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "balanceOf", "nodeType": "FunctionDefinition", "parameters": { "id": 10790, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10789, "name": "_owner", "nodeType": "VariableDeclaration", "scope": 10799, "src": "2512:14:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10788, "name": "address", "nodeType": "ElementaryTypeName", "src": "2512:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "2511:16:27" }, "payable": false, "returnParameters": { "id": 10793, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10792, "name": "balance", "nodeType": "VariableDeclaration", "scope": 10799, "src": "2549:15:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10791, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2549:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2548:17:27" }, "scope": 10954, "src": "2493:113:27", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 10826, "nodeType": "Block", "src": "2980:129:27", "statements": [ { "expression": { "argumentTypes": null, "id": 10815, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10808, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "2990:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10812, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10809, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "2998:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10810, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2998:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2990:19:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10813, "indexExpression": { "argumentTypes": null, "id": 10811, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10801, "src": "3010:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2990:29:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 10814, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10803, "src": "3022:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2990:38:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10816, "nodeType": "ExpressionStatement", "src": "2990:38:27" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10818, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "3052:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10819, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3052:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 10820, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10801, "src": "3064:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 10821, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10803, "src": "3074:6:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 10817, "name": "Approval", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10628, "src": "3043:8:27", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 10822, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3043:38:27", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 10823, "nodeType": "EmitStatement", "src": "3038:43:27" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 10824, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3098:4:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 10807, "id": 10825, "nodeType": "Return", "src": "3091:11:27" } ] }, "documentation": "@notice `msg.sender` approves `_spender` to spend `_value` tokens\n@param _spender The address of the account able to transfer the tokens\n@param _value The amount of tokens to be approved for transfer\n@return Whether the approval was successful or not", "id": 10827, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "approve", "nodeType": "FunctionDefinition", "parameters": { "id": 10804, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10801, "name": "_spender", "nodeType": "VariableDeclaration", "scope": 10827, "src": "2924:16:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10800, "name": "address", "nodeType": "ElementaryTypeName", "src": "2924:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10803, "name": "_value", "nodeType": "VariableDeclaration", "scope": 10827, "src": "2942:14:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10802, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2942:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2923:34:27" }, "payable": false, "returnParameters": { "id": 10807, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10806, "name": "", "nodeType": "VariableDeclaration", "scope": 10827, "src": "2974:4:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 10805, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2974:4:27", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "2973:6:27" }, "scope": 10954, "src": "2907:202:27", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 10842, "nodeType": "Block", "src": "3423:49:27", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10836, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "3440:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10838, "indexExpression": { "argumentTypes": null, "id": 10837, "name": "_owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10829, "src": "3448:6:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3440:15:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10840, "indexExpression": { "argumentTypes": null, "id": 10839, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10831, "src": "3456:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3440:25:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 10835, "id": 10841, "nodeType": "Return", "src": "3433:32:27" } ] }, "documentation": "@param _owner The address of the account owning tokens\n@param _spender The address of the account able to transfer the tokens\n@return Amount of remaining tokens allowed to spent", "id": 10843, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "allowance", "nodeType": "FunctionDefinition", "parameters": { "id": 10832, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10829, "name": "_owner", "nodeType": "VariableDeclaration", "scope": 10843, "src": "3349:14:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10828, "name": "address", "nodeType": "ElementaryTypeName", "src": "3349:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10831, "name": "_spender", "nodeType": "VariableDeclaration", "scope": 10843, "src": "3365:16:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10830, "name": "address", "nodeType": "ElementaryTypeName", "src": "3365:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "3348:34:27" }, "payable": false, "returnParameters": { "id": 10835, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10834, "name": "remaining", "nodeType": "VariableDeclaration", "scope": 10843, "src": "3404:17:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10833, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3404:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3403:19:27" }, "scope": 10954, "src": "3330:142:27", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 10850, "nodeType": "Block", "src": "3531:36:27", "statements": [ { "expression": { "argumentTypes": null, "id": 10848, "name": "totalSupply_", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10593, "src": "3548:12:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 10847, "id": 10849, "nodeType": "Return", "src": "3541:19:27" } ] }, "documentation": null, "id": 10851, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "totalSupply", "nodeType": "FunctionDefinition", "parameters": { "id": 10844, "nodeType": "ParameterList", "parameters": [], "src": "3498:2:27" }, "payable": false, "returnParameters": { "id": 10847, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10846, "name": "", "nodeType": "VariableDeclaration", "scope": 10851, "src": "3522:7:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10845, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3522:7:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3521:9:27" }, "scope": 10954, "src": "3478:89:27", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 10892, "nodeType": "Block", "src": "4165:203:27", "statements": [ { "expression": { "argumentTypes": null, "id": 10876, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10860, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "4175:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10864, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10861, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "4183:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10862, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "4183:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4175:19:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10865, "indexExpression": { "argumentTypes": null, "id": 10863, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10853, "src": "4195:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "4175:29:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "components": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 10873, "name": "_addedValue", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10855, "src": "4251:11:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10866, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "4217:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10869, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10867, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "4225:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10868, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "4225:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4217:19:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10871, "indexExpression": { "argumentTypes": null, "id": 10870, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10853, "src": "4237:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4217:29:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10872, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 22577, "src": "4217:33:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 10874, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4217:46:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 10875, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "4207:57:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4175:89:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10877, "nodeType": "ExpressionStatement", "src": "4175:89:27" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10879, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "4288:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10880, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "4288:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 10881, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10853, "src": "4300:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10882, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "4310:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10885, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10883, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "4318:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10884, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "4318:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4310:19:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10887, "indexExpression": { "argumentTypes": null, "id": 10886, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10853, "src": "4330:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4310:29:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 10878, "name": "Approval", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10628, "src": "4279:8:27", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 10888, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4279:61:27", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 10889, "nodeType": "EmitStatement", "src": "4274:66:27" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 10890, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4357:4:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 10859, "id": 10891, "nodeType": "Return", "src": "4350:11:27" } ] }, "documentation": "@dev Increase the amount of tokens that an owner allowed to a spender.\napprove should be called when allowed[_spender] == 0. To increment\nallowed value is better to use this function to avoid 2 calls (and wait until\nthe first transaction is mined)\nFrom MonolithDAO Token.sol\n@param _spender The address which will spend the funds.\n@param _addedValue The amount of tokens to increase the allowance by.", "id": 10893, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "increaseApproval", "nodeType": "FunctionDefinition", "parameters": { "id": 10856, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10853, "name": "_spender", "nodeType": "VariableDeclaration", "scope": 10893, "src": "4074:16:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10852, "name": "address", "nodeType": "ElementaryTypeName", "src": "4074:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10855, "name": "_addedValue", "nodeType": "VariableDeclaration", "scope": 10893, "src": "4100:16:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10854, "name": "uint", "nodeType": "ElementaryTypeName", "src": "4100:4:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4064:58:27" }, "payable": false, "returnParameters": { "id": 10859, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10858, "name": "", "nodeType": "VariableDeclaration", "scope": 10893, "src": "4155:4:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 10857, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4155:4:27", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4154:6:27" }, "scope": 10954, "src": "4039:329:27", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 10952, "nodeType": "Block", "src": "4941:314:27", "statements": [ { "assignments": [ 10903 ], "declarations": [ { "constant": false, "id": 10903, "name": "oldValue", "nodeType": "VariableDeclaration", "scope": 10953, "src": "4947:13:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10902, "name": "uint", "nodeType": "ElementaryTypeName", "src": "4947:4:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 10910, "initialValue": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10904, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "4963:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10907, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10905, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "4971:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10906, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "4971:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4963:19:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10909, "indexExpression": { "argumentTypes": null, "id": 10908, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10895, "src": "4983:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4963:29:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "4947:45:27" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10913, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10911, "name": "_subtractedValue", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10897, "src": "5002:16:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 10912, "name": "oldValue", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10903, "src": "5021:8:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5002:27:27", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 10936, "nodeType": "Block", "src": "5085:77:27", "statements": [ { "expression": { "argumentTypes": null, "id": 10934, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10924, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "5093:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10928, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10925, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "5101:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10926, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "5101:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "5093:19:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10929, "indexExpression": { "argumentTypes": null, "id": 10927, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10895, "src": "5113:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "5093:29:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 10932, "name": "_subtractedValue", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10897, "src": "5138:16:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 10930, "name": "oldValue", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10903, "src": "5125:8:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10931, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 22553, "src": "5125:12:27", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 10933, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5125:30:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5093:62:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10935, "nodeType": "ExpressionStatement", "src": "5093:62:27" } ] }, "id": 10937, "nodeType": "IfStatement", "src": "4998:164:27", "trueBody": { "id": 10923, "nodeType": "Block", "src": "5031:48:27", "statements": [ { "expression": { "argumentTypes": null, "id": 10921, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10914, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "5039:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10918, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10915, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "5047:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10916, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "5047:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "5039:19:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10919, "indexExpression": { "argumentTypes": null, "id": 10917, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10895, "src": "5059:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "5039:29:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 10920, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "5071:1:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "5039:33:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10922, "nodeType": "ExpressionStatement", "src": "5039:33:27" } ] } }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10939, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "5181:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10940, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "5181:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 10941, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10895, "src": "5193:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 10942, "name": "allowed", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10612, "src": "5203:7:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_mapping$_t_address_$_t_uint256_$_$", "typeString": "mapping(address => mapping(address => uint256))" } }, "id": 10945, "indexExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10943, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 23131, "src": "5211:3:27", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 10944, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "5211:10:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "5203:19:27", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_uint256_$", "typeString": "mapping(address => uint256)" } }, "id": 10947, "indexExpression": { "argumentTypes": null, "id": 10946, "name": "_spender", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10895, "src": "5223:8:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "5203:29:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 10938, "name": "Approval", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10628, "src": "5172:8:27", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 10948, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5172:61:27", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 10949, "nodeType": "EmitStatement", "src": "5167:66:27" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 10950, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "5246:4:27", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 10901, "id": 10951, "nodeType": "Return", "src": "5239:11:27" } ] }, "documentation": "@dev Decrease the amount of tokens that an owner allowed to a spender.\n * approve should be called when allowed[_spender] == 0. To decrement\nallowed value is better to use this function to avoid 2 calls (and wait until\nthe first transaction is mined)\nFrom MonolithDAO Token.sol\n@param _spender The address which will spend the funds.\n@param _subtractedValue The amount of tokens to decrease the allowance by.", "id": 10953, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "decreaseApproval", "nodeType": "FunctionDefinition", "parameters": { "id": 10898, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10895, "name": "_spender", "nodeType": "VariableDeclaration", "scope": 10953, "src": "4861:16:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10894, "name": "address", "nodeType": "ElementaryTypeName", "src": "4861:7:27", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10897, "name": "_subtractedValue", "nodeType": "VariableDeclaration", "scope": 10953, "src": "4883:21:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10896, "name": "uint", "nodeType": "ElementaryTypeName", "src": "4883:4:27", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4855:53:27" }, "payable": false, "returnParameters": { "id": 10901, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10900, "name": "", "nodeType": "VariableDeclaration", "scope": 10953, "src": "4933:4:27", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 10899, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4933:4:27", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4932:6:27" }, "scope": 10954, "src": "4830:425:27", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" } ], "scope": 10955, "src": "203:5055:27" } ], "src": "0:5259:27" }, "compiler": { "name": "solc", "version": "0.4.24+commit.e67f0147.Emscripten.clang" }, "networks": { "15": { "events": {}, "links": {}, "address": "0x16b0b64700440466450868ca977003c3b90ad69b", "transactionHash": "0xdd71813f6c3359b7b18e3678724454f7cfa3762197a250c8545ef96e69daa9a7" } }, "schemaVersion": "2.0.1", "updatedAt": "2018-08-21T09:48:28.948Z" }