{ "contractName": "BurnableToken", "abi": [ { "constant": false, "inputs": [ { "name": "_spender", "type": "address" }, { "name": "_value", "type": "uint256" } ], "name": "approve", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": true, "inputs": [], "name": "totalSupply", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": false, "inputs": [ { "name": "_from", "type": "address" }, { "name": "_to", "type": "address" }, { "name": "_value", "type": "uint256" } ], "name": "transferFrom", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "_value", "type": "uint256" } ], "name": "burn", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "_spender", "type": "address" }, { "name": "_subtractedValue", "type": "uint256" } ], "name": "decreaseApproval", "outputs": [ { "name": "success", "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": "_to", "type": "address" }, { "name": "_value", "type": "uint256" } ], "name": "transfer", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "_spender", "type": "address" }, { "name": "_addedValue", "type": "uint256" } ], "name": "increaseApproval", "outputs": [ { "name": "success", "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" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "burner", "type": "address" }, { "indexed": false, "name": "value", "type": "uint256" } ], "name": "Burn", "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" }, { "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" } ], "bytecode": "0x6060604052341561000f57600080fd5b6107308061001e6000396000f3006060604052600436106100985763ffffffff7c0100000000000000000000000000000000000000000000000000000000600035041663095ea7b3811461009d57806318160ddd146100d357806323b872dd146100f857806342966c6814610120578063661884631461013857806370a082311461015a578063a9059cbb14610179578063d73dd6231461019b578063dd62ed3e146101bd575b600080fd5b34156100a857600080fd5b6100bf600160a060020a03600435166024356101e2565b604051901515815260200160405180910390f35b34156100de57600080fd5b6100e661024e565b60405190815260200160405180910390f35b341561010357600080fd5b6100bf600160a060020a0360043581169060243516604435610254565b341561012b57600080fd5b61013660043561037e565b005b341561014357600080fd5b6100bf600160a060020a0360043516602435610422565b341561016557600080fd5b6100e6600160a060020a036004351661051c565b341561018457600080fd5b6100bf600160a060020a0360043516602435610537565b34156101a657600080fd5b6100bf600160a060020a036004351660243561060d565b34156101c857600080fd5b6100e6600160a060020a03600435811690602435166106b1565b600160a060020a03338116600081815260026020908152604080832094871680845294909152808220859055909291907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259085905190815260200160405180910390a350600192915050565b60005481565b600080600160a060020a038416151561026c57600080fd5b50600160a060020a038085166000818152600260209081526040808320339095168352938152838220549282526001905291909120546102b2908463ffffffff6106dc16565b600160a060020a0380871660009081526001602052604080822093909355908616815220546102e7908463ffffffff6106ee16565b600160a060020a038516600090815260016020526040902055610310818463ffffffff6106dc16565b600160a060020a03808716600081815260026020908152604080832033861684529091529081902093909355908616917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9086905190815260200160405180910390a3506001949350505050565b600080821161038c57600080fd5b5033600160a060020a0381166000908152600160205260409020546103b190836106dc565b600160a060020a038216600090815260016020526040812091909155546103de908363ffffffff6106dc16565b600055600160a060020a0381167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca58360405190815260200160405180910390a25050565b600160a060020a0333811660009081526002602090815260408083209386168352929052908120548083111561047f57600160a060020a0333811660009081526002602090815260408083209388168352929052908120556104b6565b61048f818463ffffffff6106dc16565b600160a060020a033381166000908152600260209081526040808320938916835292905220555b600160a060020a0333811660008181526002602090815260408083209489168084529490915290819020547f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925915190815260200160405180910390a35060019392505050565b600160a060020a031660009081526001602052604090205490565b6000600160a060020a038316151561054e57600080fd5b600160a060020a033316600090815260016020526040902054610577908363ffffffff6106dc16565b600160a060020a0333811660009081526001602052604080822093909355908516815220546105ac908363ffffffff6106ee16565b600160a060020a0380851660008181526001602052604090819020939093559133909116907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9085905190815260200160405180910390a350600192915050565b600160a060020a033381166000908152600260209081526040808320938616835292905290812054610645908363ffffffff6106ee16565b600160a060020a0333811660008181526002602090815260408083209489168084529490915290819020849055919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591905190815260200160405180910390a350600192915050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b6000828211156106e857fe5b50900390565b6000828201838110156106fd57fe5b93925050505600a165627a7a72305820cdb61f0c3318ec3c53ae6c3085df84c044580256f4a3e8a2b435619f7eacad610029", "deployedBytecode": "0x6060604052600436106100985763ffffffff7c0100000000000000000000000000000000000000000000000000000000600035041663095ea7b3811461009d57806318160ddd146100d357806323b872dd146100f857806342966c6814610120578063661884631461013857806370a082311461015a578063a9059cbb14610179578063d73dd6231461019b578063dd62ed3e146101bd575b600080fd5b34156100a857600080fd5b6100bf600160a060020a03600435166024356101e2565b604051901515815260200160405180910390f35b34156100de57600080fd5b6100e661024e565b60405190815260200160405180910390f35b341561010357600080fd5b6100bf600160a060020a0360043581169060243516604435610254565b341561012b57600080fd5b61013660043561037e565b005b341561014357600080fd5b6100bf600160a060020a0360043516602435610422565b341561016557600080fd5b6100e6600160a060020a036004351661051c565b341561018457600080fd5b6100bf600160a060020a0360043516602435610537565b34156101a657600080fd5b6100bf600160a060020a036004351660243561060d565b34156101c857600080fd5b6100e6600160a060020a03600435811690602435166106b1565b600160a060020a03338116600081815260026020908152604080832094871680845294909152808220859055909291907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259085905190815260200160405180910390a350600192915050565b60005481565b600080600160a060020a038416151561026c57600080fd5b50600160a060020a038085166000818152600260209081526040808320339095168352938152838220549282526001905291909120546102b2908463ffffffff6106dc16565b600160a060020a0380871660009081526001602052604080822093909355908616815220546102e7908463ffffffff6106ee16565b600160a060020a038516600090815260016020526040902055610310818463ffffffff6106dc16565b600160a060020a03808716600081815260026020908152604080832033861684529091529081902093909355908616917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9086905190815260200160405180910390a3506001949350505050565b600080821161038c57600080fd5b5033600160a060020a0381166000908152600160205260409020546103b190836106dc565b600160a060020a038216600090815260016020526040812091909155546103de908363ffffffff6106dc16565b600055600160a060020a0381167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca58360405190815260200160405180910390a25050565b600160a060020a0333811660009081526002602090815260408083209386168352929052908120548083111561047f57600160a060020a0333811660009081526002602090815260408083209388168352929052908120556104b6565b61048f818463ffffffff6106dc16565b600160a060020a033381166000908152600260209081526040808320938916835292905220555b600160a060020a0333811660008181526002602090815260408083209489168084529490915290819020547f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925915190815260200160405180910390a35060019392505050565b600160a060020a031660009081526001602052604090205490565b6000600160a060020a038316151561054e57600080fd5b600160a060020a033316600090815260016020526040902054610577908363ffffffff6106dc16565b600160a060020a0333811660009081526001602052604080822093909355908516815220546105ac908363ffffffff6106ee16565b600160a060020a0380851660008181526001602052604090819020939093559133909116907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9085905190815260200160405180910390a350600192915050565b600160a060020a033381166000908152600260209081526040808320938616835292905290812054610645908363ffffffff6106ee16565b600160a060020a0333811660008181526002602090815260408083209489168084529490915290819020849055919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591905190815260200160405180910390a350600192915050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b6000828211156106e857fe5b50900390565b6000828201838110156106fd57fe5b93925050505600a165627a7a72305820cdb61f0c3318ec3c53ae6c3085df84c044580256f4a3e8a2b435619f7eacad610029", "sourceMap": "149:468:23:-;;;;;;;;;;;;;;;;;", "deployedSourceMap": "149:468:23:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1884:183:27;;;;;;;;;;-1:-1:-1;;;;;1884:183:27;;;;;;;;;;;;;;;;;;;;;;;;179:26:25;;;;;;;;;;;;;;;;;;;;;;;;;;;728:533:27;;;;;;;;;;-1:-1:-1;;;;;728:533:27;;;;;;;;;;;;370:245:23;;;;;;;;;;;;;;;;3033:404:27;;;;;;;;;;-1:-1:-1;;;;;3033:404:27;;;;;;;973:111:22;;;;;;;;;;-1:-1:-1;;;;;973:111:22;;;;;437:334;;;;;;;;;;-1:-1:-1;;;;;437:334:22;;;;;;;2766:263:27;;;;;;;;;;-1:-1:-1;;;;;2766:263:27;;;;;;;2386:140;;;;;;;;;;-1:-1:-1;;;;;2386:140:27;;;;;;;;;;1884:183;-1:-1:-1;;;;;1971:10:27;1963:19;;1951:4;1963:19;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;;:38;;;1951:4;;1963:29;:19;2007:38;;1995:6;;2007:38;;;;;;;;;;;;;-1:-1:-1;2058:4:27;1884:183;;;;:::o;179:26:25:-;;;;:::o;728:533:27:-;810:4;;-1:-1:-1;;;;;830:17:27;;;;822:26;;;;;;-1:-1:-1;;;;;;876:14:27;;;;;;;:7;:14;;;;;;;;891:10;876:26;;;;;;;;;;;;1074:15;;;:8;:15;;;;;;;:27;;1094:6;1074:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;1056:15:27;;;;;;;:8;:15;;;;;;:45;;;;1123:13;;;;;;;:25;;1141:6;1123:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;1107:13:27;;;;;;:8;:13;;;;;:41;1183:22;:10;1198:6;1183:22;:14;:22;:::i;:::-;-1:-1:-1;;;;;1154:14:27;;;;;;;:7;:14;;;;;;;;1169:10;1154:26;;;;;;;;;;;:51;;;;1211:28;;;;;;1232:6;;1211:28;;;;;;;;;;;;;-1:-1:-1;1252:4:27;;728:533;-1:-1:-1;;;;728:533:27:o;370:245:23:-;447:14;425:10;;;417:19;;;;;;-1:-1:-1;464:10:23;-1:-1:-1;;;;;503:16:23;;;;;;:8;:16;;;;;;:28;;524:6;503:20;:28::i;:::-;-1:-1:-1;;;;;484:16:23;;;;;;:8;:16;;;;;:47;;;;555:11;:23;;571:6;555:23;:15;:23;:::i;:::-;541:11;:37;-1:-1:-1;;;;;588:20:23;;;601:6;588:20;;;;;;;;;;;;;;370:245;;:::o;3033:404:27:-;-1:-1:-1;;;;;3158:10:27;3150:19;;3114:12;3150:19;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;3189:27;;;3185:164;;;-1:-1:-1;;;;;3234:10:27;3226:19;;3258:1;3226:19;;;:7;:19;;;;;;;;:29;;;;;;;;;;;:33;3185:164;;;3312:30;:8;3325:16;3312:30;:12;:30;:::i;:::-;-1:-1:-1;;;;;3288:10:27;3280:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;:62;3185:164;-1:-1:-1;;;;;3363:10:27;3354:61;;3385:19;;;;:7;:19;;;;;;;;3354:61;;;3385:29;;;;;;;;;;;;3354:61;;;;;;;;;;;;;;;-1:-1:-1;3428:4:27;;3033:404;-1:-1:-1;;;3033:404:27:o;973:111:22:-;-1:-1:-1;;;;;1063:16:22;1033:15;1063:16;;;:8;:16;;;;;;;973:111::o;437:334::-;500:4;-1:-1:-1;;;;;520:17:22;;;;512:26;;;;;;-1:-1:-1;;;;;640:10:22;631:20;;;;;:8;:20;;;;;;:32;;656:6;631:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;617:10:22;608:20;;;;;;:8;:20;;;;;;:55;;;;685:13;;;;;;;:25;;703:6;685:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;669:13:22;;;;;;;:8;:13;;;;;;;:41;;;;:13;725:10;716:33;;;;;;742:6;;716:33;;;;;;;;;;;;;-1:-1:-1;762:4:22;437:334;;;;:::o;2766:263:27:-;-1:-1:-1;;;;;2902:10:27;2894:19;;2842:12;2894:19;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;:46;;2928:11;2894:46;:33;:46;:::i;:::-;-1:-1:-1;;;;;2870:10:27;2862:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;;;:78;;;:29;;:19;;2946:61;;2862:78;2946:61;;;;;;;;;;;;;-1:-1:-1;3020:4:27;2766:263;;;;:::o;2386:140::-;-1:-1:-1;;;;;2496:15:27;;;2464:17;2496:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;2386:140::o;562:114:20:-;624:7;646:6;;;;639:14;;;;-1:-1:-1;666:5:20;;;562:114::o;680:133::-;742:7;769:5;;;787:6;;;;780:14;;;;807:1;680:133;-1:-1:-1;;;680:133:20:o", "source": "pragma solidity ^0.4.13;\n\nimport './StandardToken.sol';\n\n/**\n * @title Burnable Token\n * @dev Token that can be irreversibly burned (destroyed).\n */\ncontract BurnableToken is StandardToken {\n\n event Burn(address indexed burner, uint256 value);\n\n /**\n * @dev Burns a specific amount of tokens.\n * @param _value The amount of token to be burned.\n */\n function burn(uint256 _value) public {\n require(_value > 0);\n\n address burner = msg.sender;\n balances[burner] = balances[burner].sub(_value);\n totalSupply = totalSupply.sub(_value);\n Burn(burner, _value);\n }\n}\n", "sourcePath": "zeppelin-solidity/contracts/token/BurnableToken.sol", "ast": { "attributes": { "absolutePath": "zeppelin-solidity/contracts/token/BurnableToken.sol", "exportedSymbols": { "BurnableToken": [ 2832 ] } }, "children": [ { "attributes": { "literals": [ "solidity", "^", "0.4", ".13" ] }, "id": 2782, "name": "PragmaDirective", "src": "0:24:23" }, { "attributes": { "SourceUnit": 3227, "absolutePath": "zeppelin-solidity/contracts/token/StandardToken.sol", "file": "./StandardToken.sol", "scope": 2833, "symbolAliases": [ null ], "unitAlias": "" }, "id": 2783, "name": "ImportDirective", "src": "26:29:23" }, { "attributes": { "contractDependencies": [ 2780, 2875, 2904, 3226 ], "contractKind": "contract", "documentation": "@title Burnable Token\n@dev Token that can be irreversibly burned (destroyed).", "fullyImplemented": true, "linearizedBaseContracts": [ 2832, 3226, 2780, 2875, 2904 ], "name": "BurnableToken", "scope": 2833 }, "children": [ { "attributes": { "arguments": [ null ] }, "children": [ { "attributes": { "contractScope": null, "name": "StandardToken", "referencedDeclaration": 3226, "type": "contract StandardToken" }, "id": 2784, "name": "UserDefinedTypeName", "src": "175:13:23" } ], "id": 2785, "name": "InheritanceSpecifier", "src": "175:13:23" }, { "attributes": { "anonymous": false, "name": "Burn" }, "children": [ { "children": [ { "attributes": { "constant": false, "indexed": true, "name": "burner", "scope": 2791, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "type": "address" }, "id": 2786, "name": "ElementaryTypeName", "src": "207:7:23" } ], "id": 2787, "name": "VariableDeclaration", "src": "207:22:23" }, { "attributes": { "constant": false, "indexed": false, "name": "value", "scope": 2791, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 2788, "name": "ElementaryTypeName", "src": "231:7:23" } ], "id": 2789, "name": "VariableDeclaration", "src": "231:13:23" } ], "id": 2790, "name": "ParameterList", "src": "206:39:23" } ], "id": 2791, "name": "EventDefinition", "src": "196:50:23" }, { "attributes": { "constant": false, "implemented": true, "isConstructor": false, "modifiers": [ null ], "name": "burn", "payable": false, "scope": 2832, "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "_value", "scope": 2831, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 2792, "name": "ElementaryTypeName", "src": "384:7:23" } ], "id": 2793, "name": "VariableDeclaration", "src": "384:14:23" } ], "id": 2794, "name": "ParameterList", "src": "383:16:23" }, { "attributes": { "parameters": [ null ] }, "children": [], "id": 2795, "name": "ParameterList", "src": "407:0:23" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 3241, "type": "function (bool) pure", "value": "require" }, "id": 2796, "name": "Identifier", "src": "417:7:23" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2793, "type": "uint256", "value": "_value" }, "id": 2797, "name": "Identifier", "src": "425:6:23" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 2798, "name": "Literal", "src": "434:1:23" } ], "id": 2799, "name": "BinaryOperation", "src": "425:10:23" } ], "id": 2800, "name": "FunctionCall", "src": "417:19:23" } ], "id": 2801, "name": "ExpressionStatement", "src": "417:19:23" }, { "attributes": { "assignments": [ 2803 ] }, "children": [ { "attributes": { "constant": false, "name": "burner", "scope": 2831, "stateVariable": false, "storageLocation": "default", "type": "address", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "address", "type": "address" }, "id": 2802, "name": "ElementaryTypeName", "src": "447:7:23" } ], "id": 2803, "name": "VariableDeclaration", "src": "447:14:23" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sender", "referencedDeclaration": null, "type": "address" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3238, "type": "msg", "value": "msg" }, "id": 2804, "name": "Identifier", "src": "464:3:23" } ], "id": 2805, "name": "MemberAccess", "src": "464:10:23" } ], "id": 2806, "name": "VariableDeclarationStatement", "src": "447:27:23" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2716, "type": "mapping(address => uint256)", "value": "balances" }, "id": 2807, "name": "Identifier", "src": "484:8:23" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2803, "type": "address", "value": "burner" }, "id": 2808, "name": "Identifier", "src": "493:6:23" } ], "id": 2809, "name": "IndexAccess", "src": "484:16:23" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sub", "referencedDeclaration": 2622, "type": "function (uint256,uint256) view returns (uint256)" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2716, "type": "mapping(address => uint256)", "value": "balances" }, "id": 2810, "name": "Identifier", "src": "503:8:23" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2803, "type": "address", "value": "burner" }, "id": 2811, "name": "Identifier", "src": "512:6:23" } ], "id": 2812, "name": "IndexAccess", "src": "503:16:23" } ], "id": 2813, "name": "MemberAccess", "src": "503:20:23" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2793, "type": "uint256", "value": "_value" }, "id": 2814, "name": "Identifier", "src": "524:6:23" } ], "id": 2815, "name": "FunctionCall", "src": "503:28:23" } ], "id": 2816, "name": "Assignment", "src": "484:47:23" } ], "id": 2817, "name": "ExpressionStatement", "src": "484:47:23" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2879, "type": "uint256", "value": "totalSupply" }, "id": 2818, "name": "Identifier", "src": "541:11:23" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sub", "referencedDeclaration": 2622, "type": "function (uint256,uint256) view returns (uint256)" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2879, "type": "uint256", "value": "totalSupply" }, "id": 2819, "name": "Identifier", "src": "555:11:23" } ], "id": 2820, "name": "MemberAccess", "src": "555:15:23" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2793, "type": "uint256", "value": "_value" }, "id": 2821, "name": "Identifier", "src": "571:6:23" } ], "id": 2822, "name": "FunctionCall", "src": "555:23:23" } ], "id": 2823, "name": "Assignment", "src": "541:37:23" } ], "id": 2824, "name": "ExpressionStatement", "src": "541:37:23" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 2791, "type": "function (address,uint256)", "value": "Burn" }, "id": 2825, "name": "Identifier", "src": "588:4:23" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2803, "type": "address", "value": "burner" }, "id": 2826, "name": "Identifier", "src": "593:6:23" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2793, "type": "uint256", "value": "_value" }, "id": 2827, "name": "Identifier", "src": "601:6:23" } ], "id": 2828, "name": "FunctionCall", "src": "588:20:23" } ], "id": 2829, "name": "ExpressionStatement", "src": "588:20:23" } ], "id": 2830, "name": "Block", "src": "407:208:23" } ], "id": 2831, "name": "FunctionDefinition", "src": "370:245:23" } ], "id": 2832, "name": "ContractDefinition", "src": "149:468:23" } ], "id": 2833, "name": "SourceUnit", "src": "0:618:23" }, "compiler": { "name": "solc", "version": "0.4.18+commit.9cf6e910.Emscripten.clang" }, "networks": {}, "schemaVersion": "1.0.1", "updatedAt": "2018-03-26T15:46:12.496Z" }