@netvote/elections-solidity
Version:
Elections Contracts
1,021 lines • 46.1 kB
JSON
{
"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"
}