etherscan-api-e
Version:
API to etherscan with a simple interface
1 lines • 26.7 kB
JSON
{"contracts":{"DualIndex":{"assembly":{".code":[{"begin":0,"end":21,"name":"PUSH","value":"60"},{"begin":0,"end":21,"name":"PUSH","value":"40"},{"begin":0,"end":21,"name":"MSTORE"},{"begin":0,"end":21,"name":"PUSH #[$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":0,"end":21,"name":"DUP1"},{"begin":0,"end":21,"name":"PUSH [$]","value":"0000000000000000000000000000000000000000000000000000000000000000"},{"begin":0,"end":21,"name":"PUSH","value":"0"},{"begin":0,"end":21,"name":"CODECOPY"},{"begin":0,"end":21,"name":"PUSH","value":"0"},{"begin":0,"end":21,"name":"RETURN"}],".data":{"0":{".code":[{"begin":0,"end":21,"name":"PUSH","value":"60"},{"begin":0,"end":21,"name":"PUSH","value":"40"},{"begin":0,"end":21,"name":"MSTORE"},{"begin":0,"end":21,"name":"PUSH [tag]","value":"2"},{"begin":0,"end":21,"name":"JUMP"},{"begin":0,"end":21,"name":"tag","value":"2"},{"begin":0,"end":21,"name":"JUMPDEST"},{"begin":0,"end":21,"name":"STOP"}]}}},"bytecode":"6060604052600a8060106000396000f360606040526008565b00","functionHashes":{},"gasEstimates":{"creation":[39,2000],"external":{},"internal":{}},"interface":"[]\n","opcodes":"PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0xA DUP1 PUSH1 0x10 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN PUSH1 0x60 PUSH1 0x40 MSTORE PUSH1 0x8 JUMP JUMPDEST STOP ","runtimeBytecode":"60606040526008565b00","solidity_interface":"contract DualIndex{}","srcmap":"0:21:3:-;;;;;;;;;","srcmap-runtime":"0:21:3:-;;;;;;"}},"formal":{"why3":"\n\nmodule UInt256\n\tuse import mach.int.Unsigned\n\ttype uint256\n\tconstant max_uint256: int = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff\n\tclone export mach.int.Unsigned with\n\t\ttype t = uint256,\n\t\tconstant max = max_uint256\nend\n \nmodule Contract_DualIndex\n\tuse import int.Int\n\tuse import ref.Ref\n\tuse import map.Map\n\tuse import array.Array\n\tuse import int.ComputerDivision\n\tuse import mach.int.Unsigned\n\tuse import UInt256\n\texception Revert\n\texception Return\n\ttype state = ()\n\ttype account = {\n\t\tmutable balance: uint256;\n\t\tstorage: state\n\t}\n\tval external_call (this: account): bool\n\t\tensures { result = false -> this = (old this) }\n\t\twrites { this }\nend\n\n"},"sourceList":["Coin","CoinReg","Config","DualIndex.sol","NameReg","coin","configUser","mortal","named","owned","service","std"],"sources":{"Coin":{"AST":{"children":[{"attributes":{"name":"Coin"},"children":[{"attributes":{"const":true,"name":"isApprovedFor","public":true},"children":[{"children":[{"attributes":{"name":"_target"},"children":[{"attributes":{"name":"address"},"id":5608420,"name":"ElementaryTypeName","src":"37:7:0"},{"attributes":{"name":"_proxy"},"children":[{"attributes":{"name":"address"},"id":5608588,"name":"ElementaryTypeName","src":"53:7:0"}],"id":5608676,"name":"VariableDeclaration","src":"53:14:0"},{"children":[{"attributes":{"name":"_r"},"children":[{"attributes":{"name":"bool"},"id":5608860,"name":"ElementaryTypeName","src":"85:4:0"}],"id":5608948,"name":"VariableDeclaration","src":"85:7:0"},{"children":[],"id":5609084,"name":"Block","src":"93:2:0"}],"id":5609028,"name":"ParameterList","src":"84:9:0"},{"attributes":{"const":true,"name":"isApproved","public":true},"children":[{"children":[{"attributes":{"name":"_proxy"},"children":[{"attributes":{"name":"address"},"id":5609300,"name":"ElementaryTypeName","src":"115:7:0"}],"id":5609388,"name":"VariableDeclaration","src":"115:14:0"},{"children":[{"attributes":{"name":"_r"},"children":[{"attributes":{"name":"bool"},"id":5609524,"name":"ElementaryTypeName","src":"147:4:0"}],"id":5609612,"name":"VariableDeclaration","src":"147:7:0"},{"children":[],"id":5609748,"name":"Block","src":"155:2:0"}],"id":5609692,"name":"ParameterList","src":"146:9:0"},{"attributes":{"const":false,"name":"sendCoinFrom","public":true},"children":[{"children":[{"attributes":{"name":"_from"},"children":[{"attributes":{"name":"address"},"id":5609988,"name":"ElementaryTypeName","src":"179:7:0"},{"attributes":{"name":"_val"},"children":[{"attributes":{"name":"uint256"},"id":5610156,"name":"ElementaryTypeName","src":"193:7:0"},{"attributes":{"name":"_to"},"children":[{"attributes":{"name":"address"},"id":5610348,"name":"ElementaryTypeName","src":"206:7:0"}],"id":5610436,"name":"VariableDeclaration","src":"206:11:0"},{"children":[],"id":5610644,"name":"ParameterList","src":"218:0:0"},{"children":[],"id":5610700,"name":"Block","src":"218:2:0"}],"id":5610244,"name":"VariableDeclaration","src":"193:12:0"},{"attributes":{"const":true,"name":"coinBalanceOf","public":true},"children":[{"children":[{"attributes":{"name":"_a"},"children":[{"attributes":{"name":"address"},"id":5610916,"name":"ElementaryTypeName","src":"243:7:0"}],"id":5611004,"name":"VariableDeclaration","src":"243:10:0"},{"children":[{"attributes":{"name":"_r"},"children":[{"attributes":{"name":"uint256"},"id":5611140,"name":"ElementaryTypeName","src":"271:7:0"}],"id":5611228,"name":"VariableDeclaration","src":"271:10:0"},{"children":[],"id":5611364,"name":"Block","src":"282:2:0"}],"id":5611308,"name":"ParameterList","src":"270:12:0"},{"attributes":{"const":false,"name":"sendCoin","public":true},"children":[{"children":[{"attributes":{"name":"_val"},"children":[{"attributes":{"name":"uint256"},"id":5611580,"name":"ElementaryTypeName","src":"302:7:0"},{"attributes":{"name":"_to"},"children":[{"attributes":{"name":"address"},"id":5611748,"name":"ElementaryTypeName","src":"315:7:0"}],"id":5611836,"name":"VariableDeclaration","src":"315:11:0"},{"children":[],"id":5612020,"name":"ParameterList","src":"327:0:0"},{"children":[],"id":5612076,"name":"Block","src":"327:2:0"}],"id":5611668,"name":"VariableDeclaration","src":"302:12:0"},{"attributes":{"const":true,"name":"coinBalance","public":true},"children":[{"children":[],"id":5612332,"name":"ParameterList","src":"349:2:0"},{"children":[{"attributes":{"name":"_r"},"children":[{"attributes":{"name":"uint256"},"id":5612388,"name":"ElementaryTypeName","src":"368:7:0"}],"id":5612476,"name":"VariableDeclaration","src":"368:10:0"},{"children":[],"id":5612612,"name":"Block","src":"379:2:0"}],"id":5612556,"name":"ParameterList","src":"367:12:0"},{"attributes":{"const":false,"name":"approve","public":true},"children":[{"children":[{"attributes":{"name":"_a"},"children":[{"attributes":{"name":"address"},"id":5612828,"name":"ElementaryTypeName","src":"398:7:0"}],"id":5612916,"name":"VariableDeclaration","src":"398:10:0"},{"children":[],"id":5613068,"name":"ParameterList","src":"409:0:0"},{"children":[],"id":5613124,"name":"Block","src":"409:2:0"}],"id":5612996,"name":"ParameterList","src":"397:12:0"}],"id":5613188,"name":"Function","src":"381:30:0"}],"id":5612676,"name":"Function","src":"329:52:0"}],"id":5611940,"name":"ParameterList","src":"301:26:0"}],"id":5612140,"name":"Function","src":"284:45:0"}],"id":5611084,"name":"ParameterList","src":"242:12:0"}],"id":5611428,"name":"Function","src":"220:64:0"}],"id":5610076,"name":"VariableDeclaration","src":"179:13:0"}],"id":5610556,"name":"ParameterList","src":"178:40:0"}],"id":5610764,"name":"Function","src":"157:63:0"}],"id":5609468,"name":"ParameterList","src":"114:16:0"}],"id":5609812,"name":"Function","src":"95:62:0"}],"id":5608508,"name":"VariableDeclaration","src":"37:15:0"}],"id":5608780,"name":"ParameterList","src":"36:32:0"}],"id":5609148,"name":"Function","src":"14:81:0"}],"id":5613308,"name":"Contract","src":"0:412:0"}],"name":"root"}},"CoinReg":{"AST":{"children":[{"attributes":{"name":"CoinReg"},"children":[{"attributes":{"const":true,"name":"count","public":true},"children":[{"children":[],"id":5613652,"name":"ParameterList","src":"31:2:1"},{"children":[{"attributes":{"name":"r"},"children":[{"attributes":{"name":"uint256"},"id":5613708,"name":"ElementaryTypeName","src":"50:7:1"}],"id":5613796,"name":"VariableDeclaration","src":"50:9:1"},{"children":[],"id":5613948,"name":"Block","src":"60:2:1"}],"id":5613876,"name":"ParameterList","src":"49:11:1"},{"attributes":{"const":true,"name":"info","public":true},"children":[{"children":[{"attributes":{"name":"i"},"children":[{"attributes":{"name":"uint256"},"id":5614164,"name":"ElementaryTypeName","src":"76:7:1"}],"id":5614252,"name":"VariableDeclaration","src":"76:9:1"},{"children":[{"attributes":{"name":"addr"},"children":[{"attributes":{"name":"address"},"id":5614420,"name":"ElementaryTypeName","src":"103:7:1"},{"attributes":{"name":"name"},"children":[{"attributes":{"name":"bytes3"},"id":5614588,"name":"ElementaryTypeName","src":"116:6:1"},{"attributes":{"name":"denom"},"children":[{"attributes":{"name":"uint256"},"id":5614780,"name":"ElementaryTypeName","src":"128:7:1"}],"id":5614868,"name":"VariableDeclaration","src":"128:13:1"},{"children":[],"id":5615076,"name":"Block","src":"142:2:1"}],"id":5614676,"name":"VariableDeclaration","src":"116:11:1"},{"attributes":{"const":false,"name":"register","public":true},"children":[{"children":[{"attributes":{"name":"name"},"children":[{"attributes":{"name":"bytes3"},"id":5615260,"name":"ElementaryTypeName","src":"162:6:1"},{"attributes":{"name":"denom"},"children":[{"attributes":{"name":"uint256"},"id":5615428,"name":"ElementaryTypeName","src":"174:7:1"}],"id":5615516,"name":"VariableDeclaration","src":"174:13:1"},{"children":[],"id":5615700,"name":"ParameterList","src":"188:0:1"},{"children":[],"id":5615756,"name":"Block","src":"188:2:1"}],"id":5615348,"name":"VariableDeclaration","src":"162:11:1"},{"attributes":{"const":false,"name":"unregister","public":true},"children":[{"children":[],"id":5616012,"name":"ParameterList","src":"209:2:1"},{"children":[],"id":5616068,"name":"ParameterList","src":"211:0:1"},{"children":[],"id":5616124,"name":"Block","src":"211:2:1"}],"id":5616188,"name":"Function","src":"190:23:1"}],"id":5615620,"name":"ParameterList","src":"161:27:1"}],"id":5615820,"name":"Function","src":"144:46:1"}],"id":5614508,"name":"VariableDeclaration","src":"103:12:1"}],"id":5614988,"name":"ParameterList","src":"102:40:1"}],"id":5614348,"name":"ParameterList","src":"75:11:1"}],"id":5615140,"name":"Function","src":"62:82:1"}],"id":5614012,"name":"Function","src":"17:45:1"}],"id":5616308,"name":"Contract","src":"0:214:1"}],"name":"root"}},"Config":{"AST":{"children":[{"attributes":{"name":"Config"},"children":[{"attributes":{"const":true,"name":"lookup","public":true},"children":[{"children":[{"attributes":{"name":"service"},"children":[{"attributes":{"name":"uint256"},"id":5616644,"name":"ElementaryTypeName","src":"32:7:2"}],"id":5616732,"name":"VariableDeclaration","src":"32:15:2"},{"children":[{"attributes":{"name":"a"},"children":[{"attributes":{"name":"address"},"id":5616868,"name":"ElementaryTypeName","src":"65:7:2"}],"id":5616956,"name":"VariableDeclaration","src":"65:9:2"},{"children":[],"id":5617092,"name":"Block","src":"75:2:2"}],"id":5617036,"name":"ParameterList","src":"64:11:2"},{"attributes":{"const":false,"name":"kill","public":true},"children":[{"children":[],"id":5617308,"name":"ParameterList","src":"90:2:2"},{"children":[],"id":5617364,"name":"ParameterList","src":"92:0:2"},{"children":[],"id":5617420,"name":"Block","src":"92:2:2"}],"id":5617484,"name":"Function","src":"77:17:2"},{"attributes":{"const":false,"name":"unregister","public":true},"children":[{"children":[{"attributes":{"name":"id"},"children":[{"attributes":{"name":"uint256"},"id":5617660,"name":"ElementaryTypeName","src":"114:7:2"}],"id":5617748,"name":"VariableDeclaration","src":"114:10:2"},{"children":[],"id":5617900,"name":"ParameterList","src":"125:0:2"},{"children":[],"id":5617956,"name":"Block","src":"125:2:2"}],"id":5617828,"name":"ParameterList","src":"113:12:2"},{"attributes":{"const":false,"name":"register","public":true},"children":[{"children":[{"attributes":{"name":"id"},"children":[{"attributes":{"name":"uint256"},"id":5618212,"name":"ElementaryTypeName","src":"145:7:2"},{"attributes":{"name":"service"},"children":[{"attributes":{"name":"address"},"id":5618380,"name":"ElementaryTypeName","src":"156:7:2"}],"id":5618468,"name":"VariableDeclaration","src":"156:15:2"},{"children":[],"id":5618628,"name":"ParameterList","src":"172:0:2"},{"children":[],"id":5618684,"name":"Block","src":"172:2:2"}],"id":5618300,"name":"VariableDeclaration","src":"145:10:2"}],"id":5618548,"name":"ParameterList","src":"144:28:2"}],"id":5618748,"name":"Function","src":"127:47:2"}],"id":5618020,"name":"Function","src":"94:33:2"}],"id":5616812,"name":"ParameterList","src":"31:17:2"}],"id":5617156,"name":"Function","src":"16:61:2"}],"id":5618868,"name":"Contract","src":"0:175:2"}],"name":"root"}},"DualIndex.sol":{"AST":{"children":[{"attributes":{"name":"DualIndex"},"children":[],"id":5619172,"name":"Contract","src":"0:21:3"}],"name":"root"}},"NameReg":{"AST":{"children":[{"attributes":{"name":"NameReg"},"children":[{"attributes":{"const":false,"name":"register","public":true},"children":[{"children":[{"attributes":{"name":"name"},"children":[{"attributes":{"name":"bytes32"},"id":5619588,"name":"ElementaryTypeName","src":"35:7:4"}],"id":5619676,"name":"VariableDeclaration","src":"35:12:4"},{"children":[],"id":5619828,"name":"ParameterList","src":"48:0:4"},{"children":[],"id":5619884,"name":"Block","src":"48:2:4"}],"id":5619756,"name":"ParameterList","src":"34:14:4"},{"attributes":{"const":true,"name":"addressOf","public":true},"children":[{"children":[{"attributes":{"name":"name"},"children":[{"attributes":{"name":"bytes32"},"id":5620100,"name":"ElementaryTypeName","src":"69:7:4"}],"id":5620188,"name":"VariableDeclaration","src":"69:12:4"},{"children":[{"attributes":{"name":"addr"},"children":[{"attributes":{"name":"address"},"id":5620356,"name":"ElementaryTypeName","src":"99:7:4"}],"id":5620444,"name":"VariableDeclaration","src":"99:12:4"},{"children":[],"id":5620596,"name":"Block","src":"112:2:4"}],"id":5620524,"name":"ParameterList","src":"98:14:4"},{"attributes":{"const":false,"name":"unregister","public":true},"children":[{"children":[],"id":5620836,"name":"ParameterList","src":"133:2:4"},{"children":[],"id":5620892,"name":"ParameterList","src":"135:0:4"},{"children":[],"id":5620948,"name":"Block","src":"135:2:4"}],"id":5621012,"name":"Function","src":"114:23:4"},{"attributes":{"const":true,"name":"nameOf","public":true},"children":[{"children":[{"attributes":{"name":"addr"},"children":[{"attributes":{"name":"address"},"id":5621204,"name":"ElementaryTypeName","src":"153:7:4"}],"id":5621292,"name":"VariableDeclaration","src":"153:12:4"},{"children":[{"attributes":{"name":"name"},"children":[{"attributes":{"name":"bytes32"},"id":5621428,"name":"ElementaryTypeName","src":"183:7:4"}],"id":5621516,"name":"VariableDeclaration","src":"183:12:4"},{"children":[],"id":5621652,"name":"Block","src":"196:2:4"}],"id":5621596,"name":"ParameterList","src":"182:14:4"}],"id":5621372,"name":"ParameterList","src":"152:14:4"}],"id":5621716,"name":"Function","src":"137:61:4"}],"id":5620284,"name":"ParameterList","src":"68:14:4"}],"id":5620660,"name":"Function","src":"50:64:4"}],"id":5619948,"name":"Function","src":"17:33:4"}],"id":5621836,"name":"Contract","src":"0:199:4"}],"name":"root"}},"coin":{"AST":{"children":[{"attributes":{"file":"CoinReg"},"id":5622212,"name":"Import","src":"0:17:5"},{"attributes":{"file":"Config"},"id":5622356,"name":"Import","src":"17:16:5"},{"attributes":{"file":"configUser"},"id":5622500,"name":"Import","src":"33:20:5"},{"attributes":{"name":"coin"},"children":[{"attributes":{"name":"configUser"},"id":5622652,"name":"UserDefinedTypeName","src":"70:10:5"},{"attributes":{"const":false,"name":"coin","public":true},"children":[{"children":[{"attributes":{"name":"name"},"children":[{"attributes":{"name":"bytes3"},"id":5622804,"name":"ElementaryTypeName","src":"95:6:5"},{"attributes":{"name":"denom"},"children":[{"attributes":{"name":"uint"},"id":5622988,"name":"ElementaryTypeName","src":"108:4:5"}],"id":5623076,"name":"VariableDeclaration","src":"108:10:5"},{"children":[],"id":5623260,"name":"ParameterList","src":"120:0:5"},{"children":[{"children":[{"attributes":{"type":"Unknown","type_conversion":"0"},"children":[{"attributes":{"member_name":"register","type":"Unknown"},"children":[{"attributes":{"type":"Unknown","type_conversion":"0"},"children":[{"attributes":{"type":"Unknown","value":"CoinReg"},"id":5623348,"name":"Identifier","src":"121:7:5"},{"attributes":{"type":"Unknown","type_conversion":"0"},"children":[{"attributes":{"member_name":"lookup","type":"Unknown"},"children":[{"attributes":{"type":"Unknown","type_conversion":"0"},"children":[{"attributes":{"type":"Unknown","value":"Config"},"id":5623428,"name":"Identifier","src":"129:6:5"},{"attributes":{"type":"Unknown","type_conversion":"0"},"children":[{"attributes":{"type":"Unknown","value":"configAddr"},"id":5623508,"name":"Identifier","src":"136:10:5"}],"id":5623556,"name":"FunctionCall","src":"136:12:5"}],"id":5623628,"name":"FunctionCall","src":"129:20:5"}],"id":5623732,"name":"MemberAccess","src":"129:27:5"},{"attributes":{"string":"null","type":"Unknown","value":"3"},"id":5623820,"name":"Literal","src":"157:1:5"}],"id":5623876,"name":"FunctionCall","src":"129:30:5"}],"id":5623964,"name":"FunctionCall","src":"121:39:5"}],"id":5624084,"name":"MemberAccess","src":"121:48:5"},{"attributes":{"type":"Unknown","value":"name"},"id":5624172,"name":"Identifier","src":"170:4:5"},{"attributes":{"type":"Unknown","value":"denom"},"id":5624252,"name":"Identifier","src":"176:5:5"}],"id":5624324,"name":"FunctionCall","src":"121:61:5"}],"id":5624420,"name":"ExpressionStatement","src":"121:61:5"}],"id":5624476,"name":"Block","src":"120:64:5"}],"id":5622892,"name":"VariableDeclaration","src":"95:11:5"}],"id":5623180,"name":"ParameterList","src":"94:25:5"}],"id":5624540,"name":"Function","src":"81:103:5"}],"id":5624660,"name":"Contract","src":"53:132:5"}],"name":"root"}},"configUser":{"AST":{"children":[{"attributes":{"name":"configUser"},"children":[{"attributes":{"const":true,"name":"configAddr","public":true},"children":[{"children":[],"id":5625108,"name":"ParameterList","src":"39:2:6"},{"children":[{"attributes":{"name":"a"},"children":[{"attributes":{"name":"address"},"id":5625164,"name":"ElementaryTypeName","src":"58:7:6"}],"id":5625252,"name":"VariableDeclaration","src":"58:9:6"},{"children":[{"children":[{"attributes":{"string":"null","type":"Unknown","value":"0xc6d9d2cd449a754c494264e1809c50e34d64562b"},"id":5625612,"name":"Literal","src":"77:42:6"}],"id":5625668,"name":"Return","src":"70:49:6"}],"id":5625724,"name":"Block","src":"68:53:6"}],"id":5625332,"name":"ParameterList","src":"57:11:6"}],"id":5625804,"name":"Function","src":"20:101:6"}],"id":5625924,"name":"Contract","src":"0:122:6"}],"name":"root"}},"mortal":{"AST":{"children":[{"attributes":{"file":"owned"},"id":5626292,"name":"Import","src":"0:15:7"},{"attributes":{"name":"mortal"},"children":[{"attributes":{"name":"owned"},"id":5626452,"name":"UserDefinedTypeName","src":"34:5:7"},{"attributes":{"const":false,"name":"kill","public":true},"children":[{"children":[],"id":5626604,"name":"ParameterList","src":"54:2:7"},{"children":[],"id":5626660,"name":"ParameterList","src":"57:0:7"},{"children":[{"children":[{"attributes":{"operator":"==","type":"Unknown"},"children":[{"attributes":{"member_name":"sender","type":"Unknown"},"children":[{"attributes":{"type":"Unknown","value":"msg"},"id":5626748,"name":"Identifier","src":"63:3:7"}],"id":5626828,"name":"MemberAccess","src":"63:10:7"},{"attributes":{"type":"Unknown","value":"owner"},"id":5626916,"name":"Identifier","src":"77:5:7"}],"id":5626964,"name":"BinaryOperation","src":"63:19:7"},{"children":[{"attributes":{"type":"Unknown","type_conversion":"0"},"children":[{"attributes":{"type":"Unknown","value":"suicide"},"id":5627060,"name":"Identifier","src":"84:7:7"},{"attributes":{"type":"Unknown","value":"owner"},"id":5627140,"name":"Identifier","src":"92:5:7"}],"id":5627188,"name":"FunctionCall","src":"84:14:7"}],"id":5627276,"name":"ExpressionStatement","src":"84:14:7"}],"id":5627332,"name":"IfStatement","src":"59:39:7"}],"id":5627404,"name":"Block","src":"57:44:7"}],"id":5627484,"name":"Function","src":"41:60:7"}],"id":5627604,"name":"Contract","src":"15:87:7"}],"name":"root"}},"named":{"AST":{"children":[{"attributes":{"file":"Config"},"id":5628012,"name":"Import","src":"0:16:8"},{"attributes":{"file":"NameReg"},"id":5628156,"name":"Import","src":"16:17:8"},{"attributes":{"file":"configUser"},"id":5628300,"name":"Import","src":"33:20:8"},{"attributes":{"name":"named"},"children":[{"attributes":{"name":"configUser"},"id":5628452,"name":"UserDefinedTypeName","src":"71:10:8"},{"attributes":{"const":false,"name":"named","public":true},"children":[{"children":[{"attributes":{"name":"name"},"children":[{"attributes":{"name":"bytes32"},"id":5628604,"name":"ElementaryTypeName","src":"98:7:8"}],"id":5628692,"name":"VariableDeclaration","src":"98:12:8"},{"children":[],"id":5628860,"name":"ParameterList","src":"112:0:8"},{"children":[{"children":[{"attributes":{"type":"Unknown","type_conversion":"0"},"children":[{"attributes":{"member_name":"register","type":"Unknown"},"children":[{"attributes":{"type":"Unknown","type_conversion":"0"},"children":[{"attributes":{"type":"Unknown","value":"NameReg"},"id":5628948,"name":"Identifier","src":"113:7:8"},{"attributes":{"type":"Unknown","type_conversion":"0"},"children":[{"attributes":{"member_name":"lookup","type":"Unknown"},"children":[{"attributes":{"type":"Unknown","type_conversion":"0"},"children":[{"attributes":{"type":"Unknown","value":"Config"},"id":5629028,"name":"Identifier","src":"121:6:8"},{"attributes":{"type":"Unknown","type_conversion":"0"},"children":[{"attributes":{"type":"Unknown","value":"configAddr"},"id":5629108,"name":"Identifier","src":"128:10:8"}],"id":5629156,"name":"FunctionCall","src":"128:12:8"}],"id":5629228,"name":"FunctionCall","src":"121:20:8"}],"id":5629348,"name":"MemberAccess","src":"121:27:8"},{"attributes":{"string":"null","type":"Unknown","value":"1"},"id":5629436,"name":"Literal","src":"149:1:8"}],"id":5629492,"name":"FunctionCall","src":"121:30:8"}],"id":5629580,"name":"FunctionCall","src":"113:39:8"}],"id":5629700,"name":"MemberAccess","src":"113:48:8"},{"attributes":{"type":"Unknown","value":"name"},"id":5629788,"name":"Identifier","src":"162:4:8"}],"id":5629836,"name":"FunctionCall","src":"113:54:8"}],"id":5629924,"name":"ExpressionStatement","src":"113:54:8"}],"id":5629980,"name":"Block","src":"112:57:8"}],"id":5628788,"name":"ParameterList","src":"97:14:8"}],"id":5630060,"name":"Function","src":"83:86:8"}],"id":5630180,"name":"Contract","src":"53:117:8"}],"name":"root"}},"owned":{"AST":{"children":[{"attributes":{"name":"owned"},"children":[{"attributes":{"const":false,"name":"owned","public":true},"children":[{"children":[],"id":5630628,"name":"ParameterList","src":"29:2:9"},{"children":[],"id":5630684,"name":"ParameterList","src":"31:0:9"},{"children":[{"children":[{"attributes":{"operator":"=","type":"Unknown"},"children":[{"attributes":{"type":"Unknown","value":"owner"},"id":5630772,"name":"Identifier","src":"32:5:9"},{"attributes":{"member_name":"sender","type":"Unknown"},"children":[{"attributes":{"type":"Unknown","value":"msg"},"id":5630852,"name":"Identifier","src":"40:3:9"}],"id":5630932,"name":"MemberAccess","src":"40:10:9"}],"id":5630988,"name":"Assignment","src":"32:18:9"}],"id":5631052,"name":"ExpressionStatement","src":"32:18:9"}],"id":5631108,"name":"Block","src":"31:21:9"}],"id":5631172,"name":"Function","src":"15:37:9"},{"children":[],"id":5631324,"name":"ParameterList","src":"70:2:9"},{"children":[{"children":[{"attributes":{"operator":"==","type":"Unknown"},"children":[{"attributes":{"member_name":"sender","type":"Unknown"},"children":[{"attributes":{"type":"Unknown","value":"msg"},"id":5631412,"name":"Identifier","src":"76:3:9"}],"id":5631492,"name":"MemberAccess","src":"76:10:9"},{"attributes":{"type":"Unknown","value":"owner"},"id":5631580,"name":"Identifier","src":"88:5:9"}],"id":5631628,"name":"BinaryOperation","src":"76:17:9"}],"id":5631740,"name":"IfStatement","src":"73:22:9"}],"id":5631828,"name":"Block","src":"72:24:9"},{"attributes":{"name":"owner"},"children":[{"attributes":{"name":"address"},"id":5632036,"name":"ElementaryTypeName","src":"96:7:9"}],"id":5632124,"name":"VariableDeclaration","src":"96:13:9"}],"id":5632244,"name":"Contract","src":"0:111:9"}],"name":"root"}},"service":{"AST":{"children":[{"attributes":{"file":"Config"},"id":5632572,"name":"Import","src":"0:16:10"},{"attributes":{"file":"configUser"},"id":5632716,"name":"Import","src":"16:20:10"},{"attributes":{"name":"service"},"children":[{"attributes":{"name":"configUser"},"id":5632828,"name":"UserDefinedTypeName","src":"56:10:10"},{"attributes":{"const":false,"name":"service","public":true},"children":[{"children":[{"attributes":{"name":"_n"},"children":[{"attributes":{"name":"uint"},"id":5632996,"name":"ElementaryTypeName","src":"84:4:10"}],"id":5633084,"name":"VariableDeclaration","src":"84:7:10"},{"children":[],"id":5633252,"name":"ParameterList","src":"92:0:10"},{"children":[{"children":[{"attributes":{"type":"Unknown","type_conversion":"0"},"children":[{"attributes":{"member_name":"register","type":"Unknown"},"children":[{"attributes":{"type":"Unknown","type_conversion":"0"},"children":[{"attributes":{"type":"Unknown","value":"Config"},"id":5633340,"name":"Identifier","src":"93:6:10"},{"attributes":{"type":"Unknown","type_conversion":"0"},"children":[{"attributes":{"type":"Unknown","value":"configAddr"},"id":5633420,"name":"Identifier","src":"100:10:10"}],"id":5633468,"name":"FunctionCall","src":"100:12:10"}],"id":5633540,"name":"FunctionCall","src":"93:20:10"}],"id":5633660,"name":"MemberAccess","src":"93:29:10"},{"attributes":{"type":"Unknown","value":"_n"},"id":5633748,"name":"Identifier","src":"123:2:10"},{"attributes":{"type":"Unknown","value":"this"},"id":5633828,"name":"Identifier","src":"127:4:10"}],"id":5633900,"name":"FunctionCall","src":"93:39:10"}],"id":5633996,"name":"ExpressionStatement","src":"93:39:10"}],"id":5634052,"name":"Block","src":"92:42:10"}],"id":5633180,"name":"ParameterList","src":"83:9:10"}],"id":5634116,"name":"Function","src":"67:67:10"}],"id":5634236,"name":"Contract","src":"36:99:10"}],"name":"root"}},"std":{"AST":{"children":[{"attributes":{"file":"owned"},"id":5634660,"name":"Import","src":"0:15:11"},{"attributes":{"file":"mortal"},"id":5634804,"name":"Import","src":"15:16:11"},{"attributes":{"file":"Config"},"id":5634972,"name":"Import","src":"31:16:11"},{"attributes":{"file":"configUser"},"id":5635156,"name":"Import","src":"47:20:11"},{"attributes":{"file":"NameReg"},"id":5635300,"name":"Import","src":"67:17:11"},{"attributes":{"file":"named"},"id":5635484,"name":"Import","src":"84:15:11"}],"name":"root"}}}}