{ "contractName": "ForkonomicSystem", "abi": [ { "constant": true, "inputs": [ { "name": "", "type": "bytes32" } ], "name": "branchTimestamp", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function", "signature": "0x0236b817" }, { "constant": true, "inputs": [], "name": "genesisBranchHash", "outputs": [ { "name": "", "type": "bytes32" } ], "payable": false, "stateMutability": "view", "type": "function", "signature": "0x176b6f01" }, { "constant": true, "inputs": [ { "name": "", "type": "uint256" }, { "name": "", "type": "uint256" } ], "name": "windowBranches", "outputs": [ { "name": "", "type": "bytes32" } ], "payable": false, "stateMutability": "view", "type": "function", "signature": "0x1f932d7e" }, { "constant": true, "inputs": [], "name": "WINDOWTIMESPAN", "outputs": [ { "name": "", "type": "uint32" } ], "payable": false, "stateMutability": "view", "type": "function", "signature": "0x53023071" }, { "constant": true, "inputs": [ { "name": "", "type": "bytes32" } ], "name": "branchWindow", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function", "signature": "0x6ceccf73" }, { "constant": true, "inputs": [ { "name": "", "type": "bytes32" }, { "name": "", "type": "address" } ], "name": "arbitratorWhitelists", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "view", "type": "function", "signature": "0x8043e771" }, { "constant": true, "inputs": [], "name": "genesisWindowTimestamp", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function", "signature": "0xc506d504" }, { "constant": true, "inputs": [], "name": "NULL_HASH", "outputs": [ { "name": "", "type": "bytes32" } ], "payable": false, "stateMutability": "view", "type": "function", "signature": "0xd6dc4edc" }, { "constant": true, "inputs": [ { "name": "", "type": "bytes32" } ], "name": "branchParentHash", "outputs": [ { "name": "", "type": "bytes32" } ], "payable": false, "stateMutability": "view", "type": "function", "signature": "0xf36b43cb" }, { "constant": true, "inputs": [ { "name": "", "type": "bytes32" } ], "name": "branchArbitratorsID", "outputs": [ { "name": "", "type": "bytes32" } ], "payable": false, "stateMutability": "view", "type": "function", "signature": "0xfda41221" }, { "inputs": [], "payable": false, "stateMutability": "nonpayable", "type": "constructor", "signature": "constructor" }, { "anonymous": false, "inputs": [ { "indexed": false, "name": "hash", "type": "bytes32" }, { "indexed": false, "name": "whiteList_id", "type": "bytes32" } ], "name": "BranchCreated", "type": "event", "signature": "0x51bdc8a48ac6261405a7a60c923b1fae00465f13a9477a6278e851646a349621" }, { "constant": false, "inputs": [ { "name": "parentBranchHash", "type": "bytes32" }, { "name": "whitelist_id", "type": "bytes32" } ], "name": "createBranch", "outputs": [ { "name": "", "type": "bytes32" } ], "payable": false, "stateMutability": "nonpayable", "type": "function", "signature": "0x6a6d7965" }, { "constant": false, "inputs": [ { "name": "arbitrators", "type": "address[]" } ], "name": "createArbitratorWhitelist", "outputs": [ { "name": "", "type": "bytes32" } ], "payable": false, "stateMutability": "nonpayable", "type": "function", "signature": "0x0614edef" }, { "constant": true, "inputs": [ { "name": "arb", "type": "address" }, { "name": "branch", "type": "bytes32" } ], "name": "isArbitratorWhitelisted", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "view", "type": "function", "signature": "0x49469146" }, { "constant": true, "inputs": [ { "name": "investigationHash", "type": "bytes32" }, { "name": "closerToRootHash", "type": "bytes32" }, { "name": "fartherToRootHash", "type": "bytes32" } ], "name": "isBranchInBetweenBranches", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "view", "type": "function", "signature": "0xdc4803d1" }, { "constant": true, "inputs": [ { "name": "ts", "type": "uint256" }, { "name": "branch", "type": "bytes32" } ], "name": "isBranchCreatedAfterTS", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "view", "type": "function", "signature": "0x2667404b" }, { "constant": true, "inputs": [ { "name": "branch", "type": "bytes32" } ], "name": "doesBranchExist", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "view", "type": "function", "signature": "0x4dd8aa05" }, { "constant": true, "inputs": [ { "name": "father", "type": "bytes32" }, { "name": "son", "type": "bytes32" } ], "name": "isFatherOfBranch", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "view", "type": "function", "signature": "0x406edd36" } ], "bytecode": "0x608060405260008080556001805463ffffffff19166201518017905560095534801561002a57600080fd5b5060015460009063ffffffff164281151561004157fe5b06420360085550604080517f49206c6561766520746f207365766572616c206675747572657320286e6f742081527f746f20616c6c29206d792067617264656e206f6620666f726b696e67207061746020808301919091527f68730000000000000000000000000000000000000000000000000000000000008284015282519182900360420182206000548383018290528385015283518084038501815260609093019384905282519093918291908401908083835b602083106101165780518252601f1990920191602091820191016100f7565b51815160209384036101000a600019018019909216911617905260408051929094018290039091206009818155600080549281526003845285812083905590548152600690925292902091909155505060015463ffffffff1690504281151561017b57fe5b6009805460009081526004602090815260408083209590940642039094558154815260058452918220829055600790925290547f6d5257204ebe7d88fd91ae87941cb2dd9d8062b64ae5a2bd2d28ec40b9fbf6df805460018101825592527fd9e659536a2f603b20938d4b8c1783b32b56367744f7b53b49ad35612a31e7ca9091015550610a1c8061020e6000396000f3006080604052600436106100f05763ffffffff7c01000000000000000000000000000000000000000000000000000000006000350416630236b81781146100f55780630614edef1461011f578063176b6f01146101745780631f932d7e146101895780632667404b146101a4578063406edd36146101d357806349469146146101ee5780634dd8aa0514610212578063530230711461022a5780636a6d7965146102585780636ceccf73146102735780638043e7711461028b578063c506d504146102af578063d6dc4edc146102c4578063dc4803d1146102d9578063f36b43cb146102f7578063fda412211461030f575b600080fd5b34801561010157600080fd5b5061010d600435610327565b60408051918252519081900360200190f35b34801561012b57600080fd5b506040805160206004803580820135838102808601850190965280855261010d953695939460249493850192918291850190849080828437509497506103399650505050505050565b34801561018057600080fd5b5061010d61052f565b34801561019557600080fd5b5061010d600435602435610535565b3480156101b057600080fd5b506101bf600435602435610565565b604080519115158252519081900360200190f35b3480156101df57600080fd5b506101bf6004356024356105a1565b3480156101fa57600080fd5b506101bf600160a060020a03600435166024356105e8565b34801561021e57600080fd5b506101bf60043561061c565b34801561023657600080fd5b5061023f61063e565b6040805163ffffffff9092168252519081900360200190f35b34801561026457600080fd5b5061010d60043560243561064a565b34801561027f57600080fd5b5061010d600435610951565b34801561029757600080fd5b506101bf600435600160a060020a0360243516610963565b3480156102bb57600080fd5b5061010d610983565b3480156102d057600080fd5b5061010d610989565b3480156102e557600080fd5b506101bf60043560243560443561098f565b34801561030357600080fd5b5061010d6004356109cc565b34801561031b57600080fd5b5061010d6004356109de565b60046020526000908152604090205481565b600080600083600081518110151561034d57fe5b906020019060200201516040516020018082600160a060020a0316600160a060020a03166c010000000000000000000000000281526014019150506040516020818303038152906040526040518082805190602001908083835b602083106103c65780518252601f1990920191602091820191016103a7565b6001836020036101000a03801982511681845116808217855250505050505090500191505060405180910390209150600190505b83518110156104c15781848281518110151561041257fe5b6020908102919091018101516040805180840194909452600160a060020a039091166c01000000000000000000000000028382015280518084036034018152605490930190819052825190918291908401908083835b602083106104875780518252601f199092019160209182019101610468565b5181516020939093036101000a600019018019909116921691909117905260405192018290039091209450505060019190910190506103fa565b5060005b83518110156105285760008281526002602052604081208551600192908790859081106104ee57fe5b602090810291909101810151600160a060020a03168252810191909152604001600020805460ff19169115159190911790556001016104c5565b5092915050565b60095481565b60076020528160005260406000208181548110151561055057fe5b90600052602060002001600091509150505481565b600154600854600083815260056020526040812054909263ffffffff168086039102909101106105975750600161059b565b5060005b92915050565b60005b8183146105df57600091825260036020526040909120546009549091908214156105da576009548314156105975750600161059b565b6105a4565b50600192915050565b600090815260066020908152604080832054835260028252808320600160a060020a03949094168352929052205460ff1690565b60095460009082148061059b5750506000908152600560205260408120541190565b60015463ffffffff1681565b604080516020808201859052818301849052825180830384018152606090920192839052815160009384938493909282918401908083835b602083106106a15780518252601f199092019160209182019101610682565b5181516020939093036101000a600019018019909116921691909117905260405192018290039091206000549095508514159250610752915050576040805160e560020a62461bcd02815260206004820152602760248201527f6272616e636820686173682073686f756c64206e6f7420626520746865204e5560448201527f4c4c5f4841534800000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600082815260056020526040902054156107b6576040805160e560020a62461bcd02815260206004820152601560248201527f6272616e6368206d757374206e6f742065786973740000000000000000000000604482015290519081900360640190fd5b6009548514806107d25750600085815260056020526040812054115b1515610828576040805160e560020a62461bcd02815260206004820152601860248201527f706172656e74206272616e6368206d7573742065786973740000000000000000604482015290519081900360640190fd5b5060008481526005602052604090205460018054600854919092019163ffffffff168202014210156108ca576040805160e560020a62461bcd02815260206004820152603a60248201527f7468657265206d757374206265206f6e65207765656b2064656c61792062657460448201527f7765656e20706172656e7420616e6420736f6e206272616e6368000000000000606482015290519081900360840190fd5b6000828152600360209081526040808320889055600682528083208790556005825280832084905583835260078252808320805460018101825590845292829020909201849055815184815290810186905281517f51bdc8a48ac6261405a7a60c923b1fae00465f13a9477a6278e851646a349621929181900390910190a1509392505050565b60056020526000908152604090205481565b600260209081526000928352604080842090915290825290205460ff1681565b60085481565b60005481565b6000825b8083146109bf57848114156109ab57600191506109c4565b600090815260036020526040902054610993565b600091505b509392505050565b60036020526000908152604090205481565b600660205260009081526040902054815600a165627a7a7230582063d273aa78bfd2078a4bee3fd16630872df881e9fb2ba2bb61f5890f11e6a1940029", "deployedBytecode": "0x6080604052600436106100f05763ffffffff7c01000000000000000000000000000000000000000000000000000000006000350416630236b81781146100f55780630614edef1461011f578063176b6f01146101745780631f932d7e146101895780632667404b146101a4578063406edd36146101d357806349469146146101ee5780634dd8aa0514610212578063530230711461022a5780636a6d7965146102585780636ceccf73146102735780638043e7711461028b578063c506d504146102af578063d6dc4edc146102c4578063dc4803d1146102d9578063f36b43cb146102f7578063fda412211461030f575b600080fd5b34801561010157600080fd5b5061010d600435610327565b60408051918252519081900360200190f35b34801561012b57600080fd5b506040805160206004803580820135838102808601850190965280855261010d953695939460249493850192918291850190849080828437509497506103399650505050505050565b34801561018057600080fd5b5061010d61052f565b34801561019557600080fd5b5061010d600435602435610535565b3480156101b057600080fd5b506101bf600435602435610565565b604080519115158252519081900360200190f35b3480156101df57600080fd5b506101bf6004356024356105a1565b3480156101fa57600080fd5b506101bf600160a060020a03600435166024356105e8565b34801561021e57600080fd5b506101bf60043561061c565b34801561023657600080fd5b5061023f61063e565b6040805163ffffffff9092168252519081900360200190f35b34801561026457600080fd5b5061010d60043560243561064a565b34801561027f57600080fd5b5061010d600435610951565b34801561029757600080fd5b506101bf600435600160a060020a0360243516610963565b3480156102bb57600080fd5b5061010d610983565b3480156102d057600080fd5b5061010d610989565b3480156102e557600080fd5b506101bf60043560243560443561098f565b34801561030357600080fd5b5061010d6004356109cc565b34801561031b57600080fd5b5061010d6004356109de565b60046020526000908152604090205481565b600080600083600081518110151561034d57fe5b906020019060200201516040516020018082600160a060020a0316600160a060020a03166c010000000000000000000000000281526014019150506040516020818303038152906040526040518082805190602001908083835b602083106103c65780518252601f1990920191602091820191016103a7565b6001836020036101000a03801982511681845116808217855250505050505090500191505060405180910390209150600190505b83518110156104c15781848281518110151561041257fe5b6020908102919091018101516040805180840194909452600160a060020a039091166c01000000000000000000000000028382015280518084036034018152605490930190819052825190918291908401908083835b602083106104875780518252601f199092019160209182019101610468565b5181516020939093036101000a600019018019909116921691909117905260405192018290039091209450505060019190910190506103fa565b5060005b83518110156105285760008281526002602052604081208551600192908790859081106104ee57fe5b602090810291909101810151600160a060020a03168252810191909152604001600020805460ff19169115159190911790556001016104c5565b5092915050565b60095481565b60076020528160005260406000208181548110151561055057fe5b90600052602060002001600091509150505481565b600154600854600083815260056020526040812054909263ffffffff168086039102909101106105975750600161059b565b5060005b92915050565b60005b8183146105df57600091825260036020526040909120546009549091908214156105da576009548314156105975750600161059b565b6105a4565b50600192915050565b600090815260066020908152604080832054835260028252808320600160a060020a03949094168352929052205460ff1690565b60095460009082148061059b5750506000908152600560205260408120541190565b60015463ffffffff1681565b604080516020808201859052818301849052825180830384018152606090920192839052815160009384938493909282918401908083835b602083106106a15780518252601f199092019160209182019101610682565b5181516020939093036101000a600019018019909116921691909117905260405192018290039091206000549095508514159250610752915050576040805160e560020a62461bcd02815260206004820152602760248201527f6272616e636820686173682073686f756c64206e6f7420626520746865204e5560448201527f4c4c5f4841534800000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600082815260056020526040902054156107b6576040805160e560020a62461bcd02815260206004820152601560248201527f6272616e6368206d757374206e6f742065786973740000000000000000000000604482015290519081900360640190fd5b6009548514806107d25750600085815260056020526040812054115b1515610828576040805160e560020a62461bcd02815260206004820152601860248201527f706172656e74206272616e6368206d7573742065786973740000000000000000604482015290519081900360640190fd5b5060008481526005602052604090205460018054600854919092019163ffffffff168202014210156108ca576040805160e560020a62461bcd02815260206004820152603a60248201527f7468657265206d757374206265206f6e65207765656b2064656c61792062657460448201527f7765656e20706172656e7420616e6420736f6e206272616e6368000000000000606482015290519081900360840190fd5b6000828152600360209081526040808320889055600682528083208790556005825280832084905583835260078252808320805460018101825590845292829020909201849055815184815290810186905281517f51bdc8a48ac6261405a7a60c923b1fae00465f13a9477a6278e851646a349621929181900390910190a1509392505050565b60056020526000908152604090205481565b600260209081526000928352604080842090915290825290205460ff1681565b60085481565b60005481565b6000825b8083146109bf57848114156109ab57600191506109c4565b600090815260036020526040902054610993565b600091505b509392505050565b60036020526000908152604090205481565b600660205260009081526040902054815600a165627a7a7230582063d273aa78bfd2078a4bee3fd16630872df881e9fb2ba2bb61f5890f11e6a1940029", "sourceMap": "27:4860:14:-;;;122:29;;;;157:36;;;-1:-1:-1;;157:36:14;188:5;157:36;;;892:42;;941:588;5:2:-1;;;;30:1;27;20:12;5:2;-1:-1;1014:14:14;;1039:25;;1014:14;;1008:3;:20;;;;;;;;1001:3;:28;976:22;:53;-1:-1:-1;1067:79:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1222:9:14;1186:46;;;;;;;;;;;;26:21:-1;;;22:32;;6:49;;1186:46:14;;;;;;;;1176:57;;1067:79;;1186:46;;;1176:57;;;;;1186:46;1176:57;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;263:2;259:12;;;254:3;250:22;-1:-1;;246:30;311:9;;295:26;;;340:21;;377:20;365:33;;1176:57:14;;;;;;;;;;;;;1156:17;:77;;;-1:-1:-1;1282:9:14;;1244:35;;;:16;:35;;;;;:47;;;1321:17;;1301:38;;:19;:38;;;;;;:50;;;;-1:-1:-1;;274:1;1411:14:14;;;;-1:-1:-1;1405:3:14;:20;;;;;;;1377:17;;;1361:34;;;;:15;:34;;;;;;;;1405:20;;;;1398:3;:28;1361:65;;;1449:17;;1436:31;;:12;:31;;;;;:35;;;1481:14;:17;;;1504;;1481;27:10:-1;;39:1;23:18;;45:23;;1481:41:14;;;;;;;-1:-1:-1;27:4860:14;;;;;;", "deployedSourceMap": "27:4860:14:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;444:49;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;444:49:14;;;;;;;;;;;;;;;;;;;;;2875:542;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2875:542:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2875:542:14;;-1:-1:-1;2875:542:14;;-1:-1:-1;;;;;;;2875:542:14;892:42;;8:9:-1;5:2;;;30:1;27;20:12;5:2;892:42:14;;;;683:51;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;683:51:14;;;;;;;4087:257;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4087:257:14;;;;;;;;;;;;;;;;;;;;;;;;;4504:381;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4504:381:14;;;;;;;3423:176;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3423:176:14;-1:-1:-1;;;;;3423:176:14;;;;;;;4350:148;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4350:148:14;;;;;157:36;;8:9:-1;5:2;;;30:1;27;20:12;5:2;157:36:14;;;;;;;;;;;;;;;;;;;;;;;1535:1334;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1535:1334:14;;;;;;;523:46;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;523:46:14;;;;;254:68;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;254:68:14;;;-1:-1:-1;;;;;254:68:14;;;;;799:37;;8:9:-1;5:2;;;30:1;27;20:12;5:2;799:37:14;;;;122:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;122:29:14;;;;3606:475;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3606:475:14;;;;;;;;;359:52;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;359:52:14;;;;;595:54;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;595:54:14;;;;;444:49;;;;;;;;;;;;;:::o;2875:542::-;2953:7;3003:17;3081:6;3050:11;3062:1;3050:14;;;;;;;;;;;;;;;;;;3033:32;;;;;;-1:-1:-1;;;;;3033:32:14;-1:-1:-1;;;;;3033:32:14;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;3033:32:14;;;3023:43;;;;;;;;;;;;;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;3023:43:14;;;;;;;;;;;;;;;;3003:63;;3088:1;3081:8;;3076:135;3095:11;:18;3091:1;:22;3076:135;;;3173:9;3184:11;3196:1;3184:14;;;;;;;;;;;;;;;;;;;;;3156:43;;;;;;;;;;-1:-1:-1;;;;;3156:43:14;;;;;;;;;;;26:21:-1;;;22:32;;6:49;;3156:43:14;;;;;;;;3146:54;;3156:43;;;;3146:54;;;;;3156:43;3146:54;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;263:2;259:12;;;;254:3;250:22;-1:-1;;246:30;311:9;;295:26;;;340:21;;377:20;;;;365:33;;3146:54:14;;;;;;;;;;;-1:-1:-1;;;274:1;3115:3:14;;;;;-1:-1:-1;3076:135:14;;;-1:-1:-1;3274:1:14;3265:120;3281:11;:18;3277:1;:22;3265:120;;;3320:31;;;;:20;:31;;;;;3352:14;;3370:4;;3320:31;3352:11;;3364:1;;3352:14;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3320:47:14;;;;;;;;;;;-1:-1:-1;3320:47:14;:54;;-1:-1:-1;;3320:54:14;;;;;;;;;;-1:-1:-1;3301:3:14;3265:120;;;-1:-1:-1;3401:9:14;2875:542;-1:-1:-1;;2875:542:14:o;892:42::-;;;;:::o;683:51::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4087:257::-;4258:14;;4227:22;;4167:4;4187:20;;;:12;:20;;;;;;4167:4;;4258:14;;4253:19;;;4187:37;;:62;;;:85;4183:154;;-1:-1:-1;4293:4:14;4286:11;;4183:154;-1:-1:-1;4332:5:14;4183:154;4087:257;;;;:::o;4504:381::-;4588:4;4605:253;4612:13;;;4605:253;;4647:21;;;;:16;:21;;;;;;;4693:17;;4647:21;;-1:-1:-1;4686:24:14;;4682:165;;;4742:17;;4732:27;;4728:119;;;-1:-1:-1;4788:4:14;4781:11;;4728:119;4605:253;;;-1:-1:-1;4874:4:14;4504:381;;;;:::o;3423:176::-;3515:4;3559:27;;;:19;:27;;;;;;;;;3538:49;;:20;:49;;;;;-1:-1:-1;;;;;3538:54:14;;;;;;;;;;;;;;3423:176::o;4350:148::-;4445:17;;4411:4;;4435:27;;;:55;;-1:-1:-1;;4489:1:14;4466:20;;;:12;:20;;;;;;:24;;4350:148::o;157:36::-;;;;;;:::o;1535:1334::-;1676:48;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;6:49;;1676:48:14;;;;;;;;1666:59;;1625:7;;;;;;1676:48;;;;1666:59;;;;1676:48;1666:59;36:153:-1;66:2;58:11;;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;263:2;259:12;;;;254:3;250:22;-1:-1;;246:30;311:9;;295:26;;;340:21;;377:20;;;;365:33;;1666:59:14;;;;;;;;;;-1:-1:-1;1757:9:14;1666:59;;-1:-1:-1;1743:23:14;;;;-1:-1:-1;1735:75:14;;-1:-1:-1;;1735:75:14;;;;-1:-1:-1;;;;;1735:75:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1966:24;;;;:12;:24;;;;;;:29;1958:63;;;;;-1:-1:-1;;;;;1958:63:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;2059:17;;2039:37;;;:75;;-1:-1:-1;2113:1:14;2080:30;;;:12;:30;;;;;;:34;2039:75;2031:112;;;;;;;-1:-1:-1;;;;;2031:112:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2242:30:14;;;;:12;:30;;;;;;2275:1;2326:14;;2301:22;;2242:34;;;;;2326:14;;:23;;2301:48;2294:3;:55;;2286:126;;;;;-1:-1:-1;;;;;2286:126:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2423:28;;;;:16;:28;;;;;;;;:47;;;2480:19;:31;;;;;:46;;;2698:12;:24;;;;;:33;;;2741:22;;;:14;:22;;;;;27:10:-1;;39:1;23:18;;45:23;;2741:39:14;;;;;;;;;;;;;2796;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2852:10:14;1535:1334;-1:-1:-1;;;1535:1334:14:o;523:46::-;;;;;;;;;;;;;:::o;254:68::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;799:37::-;;;;:::o;122:29::-;;;;:::o;3606:475::-;3750:4;3790:16;3816:237;3823:34;;;3816:237;;3877:34;;;3873:170;;;3938:4;3931:11;;;;3873:170;3997:31;;;;:16;:31;;;;;;3816:237;;;4069:5;4062:12;;3606:475;;;;;;;:::o;359:52::-;;;;;;;;;;;;;:::o;595:54::-;;;;;;;;;;;;;:::o", "source": "pragma solidity ^0.4.22;\n\n\ncontract ForkonomicSystem {\n\n event BranchCreated(bytes32 hash, bytes32 whiteList_id);\n\n bytes32 public NULL_HASH = \"\";\n uint32 public WINDOWTIMESPAN = 86400; \n\n // index_arbitrators => arbitrator => isSelected\n mapping(bytes32=>mapping(address=>bool)) public arbitratorWhitelists;\n // branch => parent_branch\n mapping(bytes32 => bytes32) public branchParentHash;\n // branch => timestamp\n mapping(bytes32 => uint ) public branchTimestamp;\n // branch => window\n mapping(bytes32 => uint ) public branchWindow;\n // branch => id\n mapping(bytes32 => bytes32) public branchArbitratorsID;\n // window => branches[]\n mapping(uint256 => bytes32[]) public windowBranches; // index to easily get all branch hashes for a window\n \n uint256 public genesisWindowTimestamp; // 00:00:00 UTC on the day the contract was mined\n bytes32 public genesisBranchHash=NULL_HASH;\n\n constructor()\n public {\n genesisWindowTimestamp = now - (now % WINDOWTIMESPAN);\n bytes32 genesisMerkleRoot = keccak256(\"I leave to several futures (not to all) my garden of forking paths\");\n genesisBranchHash = keccak256(abi.encodePacked(genesisMerkleRoot, NULL_HASH));\n\n branchParentHash[genesisBranchHash] = NULL_HASH;\n branchArbitratorsID[genesisBranchHash] = NULL_HASH;\n branchTimestamp[genesisBranchHash] = now - (now % WINDOWTIMESPAN);\n branchWindow[genesisBranchHash] = 0;\n windowBranches[0].push(genesisBranchHash);\n }\n\n function createBranch(bytes32 parentBranchHash, bytes32 whitelist_id)\n public returns (bytes32) {\n\n bytes32 branchHash = keccak256(abi.encodePacked(parentBranchHash, whitelist_id));\n require(branchHash != NULL_HASH, \"branch hash should not be the NULL_HASH\");\n\n // Your branch must not yet exist, the parent branch must exist.\n // Check existence by timestamp, all branches have one.\n require(branchWindow[branchHash] == 0, \"branch must not exist\");\n require(parentBranchHash == genesisBranchHash || branchWindow[parentBranchHash] > 0, \"parent branch must exist\");\n\n // The window should be the window after the previous branch.\n uint256 window = branchWindow[parentBranchHash] + 1;\n require(now >= genesisWindowTimestamp + WINDOWTIMESPAN * window, \"there must be one week delay between parent and son branch\");\n\n branchParentHash[branchHash] = parentBranchHash;\n branchArbitratorsID[branchHash] = whitelist_id;\n //Either timestamp or window is not needed in this construction\n //branchTimestamp[branchHash] = genesisWindowTimestamp + WINDOWTIMESPAN * window;\n branchWindow[branchHash] = window;\n windowBranches[window].push(branchHash);\n\n emit BranchCreated(branchHash, whitelist_id);\n return branchHash;\n }\n\n function createArbitratorWhitelist(address[] arbitrators)\n public returns (bytes32) {\n // generate unique id;\n bytes32 prev_hash = keccak256(abi.encodePacked(arbitrators[0]));\n for (uint i=1; i < arbitrators.length; i++) {\n prev_hash = keccak256(abi.encodePacked(prev_hash, arbitrators[i]));\n }\n //set abirtrator address as true \n for (i = 0; i < arbitrators.length; i++) {\n arbitratorWhitelists[prev_hash][arbitrators[i]] = true;\n }\n return prev_hash;\n }\n\n function isArbitratorWhitelisted(address arb, bytes32 branch) \n public constant returns (bool) {\n return arbitratorWhitelists[branchArbitratorsID[branch]][arb];\n }\n \n function isBranchInBetweenBranches(bytes32 investigationHash, bytes32 closerToRootHash, bytes32 fartherToRootHash)\n public constant returns (bool) {\n bytes32 iterationHash = closerToRootHash;\n while (iterationHash != fartherToRootHash) {\n if (investigationHash == iterationHash) {\n return true;\n } else {\n iterationHash = branchParentHash[iterationHash];\n }\n }\n return false;\n }\n\n function isBranchCreatedAfterTS(uint256 ts, bytes32 branch) public view returns(bool) {\n if (branchWindow[branch] * WINDOWTIMESPAN + genesisWindowTimestamp >= ts - WINDOWTIMESPAN)\n return true;\n else \n return false;\n }\n\n function doesBranchExist(bytes32 branch) public view returns(bool) {\n return (branch == genesisBranchHash || branchWindow[branch] > 0);\n }\n\n function isFatherOfBranch(bytes32 father, bytes32 son)\n public constant returns (bool) {\n\n while (son != father) {\n son = branchParentHash[son];\n if (son == genesisBranchHash)\n if (father == genesisBranchHash)\n return true;\n else\n return false;\n }\n return true;\n }\n}\n", "sourcePath": "@josojo/forkonomics-contracts/contracts/ForkonomicSystem.sol", "ast": { "absolutePath": "@josojo/forkonomics-contracts/contracts/ForkonomicSystem.sol", "exportedSymbols": { "ForkonomicSystem": [ 5270 ] }, "id": 5271, "nodeType": "SourceUnit", "nodes": [ { "id": 4855, "literals": [ "solidity", "^", "0.4", ".22" ], "nodeType": "PragmaDirective", "src": "0:24:14" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 5270, "linearizedBaseContracts": [ 5270 ], "name": "ForkonomicSystem", "nodeType": "ContractDefinition", "nodes": [ { "anonymous": false, "documentation": null, "id": 4861, "name": "BranchCreated", "nodeType": "EventDefinition", "parameters": { "id": 4860, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4857, "indexed": false, "name": "hash", "nodeType": "VariableDeclaration", "scope": 4861, "src": "80:12:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 4856, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "80:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 4859, "indexed": false, "name": "whiteList_id", "nodeType": "VariableDeclaration", "scope": 4861, "src": "94:20:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 4858, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "94:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "79:36:14" }, "src": "60:56:14" }, { "constant": false, "id": 4864, "name": "NULL_HASH", "nodeType": "VariableDeclaration", "scope": 5270, "src": "122:29:14", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 4862, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "122:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": { "argumentTypes": null, "hexValue": "", "id": 4863, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "149:2:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470", "typeString": "literal_string \"\"" }, "value": "" }, "visibility": "public" }, { "constant": false, "id": 4867, "name": "WINDOWTIMESPAN", "nodeType": "VariableDeclaration", "scope": 5270, "src": "157:36:14", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 4865, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "157:6:14", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": { "argumentTypes": null, "hexValue": "3836343030", "id": 4866, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "188:5:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_86400_by_1", "typeString": "int_const 86400" }, "value": "86400" }, "visibility": "public" }, { "constant": false, "id": 4873, "name": "arbitratorWhitelists", "nodeType": "VariableDeclaration", "scope": 5270, "src": "254:68:14", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" }, "typeName": { "id": 4872, "keyType": { "id": 4868, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "262:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "254:40:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" }, "valueType": { "id": 4871, "keyType": { "id": 4869, "name": "address", "nodeType": "ElementaryTypeName", "src": "279:7:14", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "271:22:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bool_$", "typeString": "mapping(address => bool)" }, "valueType": { "id": 4870, "name": "bool", "nodeType": "ElementaryTypeName", "src": "288:4:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 4877, "name": "branchParentHash", "nodeType": "VariableDeclaration", "scope": 5270, "src": "359:52:14", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "typeName": { "id": 4876, "keyType": { "id": 4874, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "367:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "359:28:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "valueType": { "id": 4875, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "379:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 4881, "name": "branchTimestamp", "nodeType": "VariableDeclaration", "scope": 5270, "src": "444:49:14", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "typeName": { "id": 4880, "keyType": { "id": 4878, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "452:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "444:26:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "valueType": { "id": 4879, "name": "uint", "nodeType": "ElementaryTypeName", "src": "464:4:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 4885, "name": "branchWindow", "nodeType": "VariableDeclaration", "scope": 5270, "src": "523:46:14", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "typeName": { "id": 4884, "keyType": { "id": 4882, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "531:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "523:26:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "valueType": { "id": 4883, "name": "uint", "nodeType": "ElementaryTypeName", "src": "543:4:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 4889, "name": "branchArbitratorsID", "nodeType": "VariableDeclaration", "scope": 5270, "src": "595:54:14", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "typeName": { "id": 4888, "keyType": { "id": 4886, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "603:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "595:27:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "valueType": { "id": 4887, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "614:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 4894, "name": "windowBranches", "nodeType": "VariableDeclaration", "scope": 5270, "src": "683:51:14", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[])" }, "typeName": { "id": 4893, "keyType": { "id": 4890, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "691:7:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Mapping", "src": "683:29:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[])" }, "valueType": { "baseType": { "id": 4891, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "702:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 4892, "length": null, "nodeType": "ArrayTypeName", "src": "702:9:14", "typeDescriptions": { "typeIdentifier": "t_array$_t_bytes32_$dyn_storage_ptr", "typeString": "bytes32[]" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 4896, "name": "genesisWindowTimestamp", "nodeType": "VariableDeclaration", "scope": 5270, "src": "799:37:14", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4895, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "799:7:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 4899, "name": "genesisBranchHash", "nodeType": "VariableDeclaration", "scope": 5270, "src": "892:42:14", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 4897, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "892:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": { "argumentTypes": null, "id": 4898, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4864, "src": "925:9:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "public" }, { "body": { "id": 4963, "nodeType": "Block", "src": "966:563:14", "statements": [ { "expression": { "argumentTypes": null, "id": 4909, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 4902, "name": "genesisWindowTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4896, "src": "976:22:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4908, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4903, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8525, "src": "1001:3:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4906, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4904, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8525, "src": "1008:3:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 4905, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4867, "src": "1014:14:14", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "1008:20:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 4907, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1007:22:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1001:28:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "976:53:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 4910, "nodeType": "ExpressionStatement", "src": "976:53:14" }, { "assignments": [ 4912 ], "declarations": [ { "constant": false, "id": 4912, "name": "genesisMerkleRoot", "nodeType": "VariableDeclaration", "scope": 4964, "src": "1039:25:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 4911, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1039:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 4916, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "49206c6561766520746f207365766572616c206675747572657320286e6f7420746f20616c6c29206d792067617264656e206f6620666f726b696e67207061746873", "id": 4914, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1077:68:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_3f69b0fd3687e5733a2a3b8e99ee25d0c3e4b74b14c1fcb626afcadebd660345", "typeString": "literal_string \"I leave to several futures (not to all) my garden of forking paths\"" }, "value": "I leave to several futures (not to all) my garden of forking paths" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_stringliteral_3f69b0fd3687e5733a2a3b8e99ee25d0c3e4b74b14c1fcb626afcadebd660345", "typeString": "literal_string \"I leave to several futures (not to all) my garden of forking paths\"" } ], "id": 4913, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8517, "src": "1067:9:14", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 4915, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1067:79:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "1039:107:14" }, { "expression": { "argumentTypes": null, "id": 4925, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 4917, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4899, "src": "1156:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 4921, "name": "genesisMerkleRoot", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4912, "src": "1203:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "id": 4922, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4864, "src": "1222:9:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "id": 4919, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8510, "src": "1186:3:14", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 4920, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1186:16:14", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 4923, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1186:46:14", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 4918, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8517, "src": "1176:9:14", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 4924, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1176:57:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1156:77:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 4926, "nodeType": "ExpressionStatement", "src": "1156:77:14" }, { "expression": { "argumentTypes": null, "id": 4931, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 4927, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4877, "src": "1244:16:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 4929, "indexExpression": { "argumentTypes": null, "id": 4928, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4899, "src": "1261:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1244:35:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 4930, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4864, "src": "1282:9:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1244:47:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 4932, "nodeType": "ExpressionStatement", "src": "1244:47:14" }, { "expression": { "argumentTypes": null, "id": 4937, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 4933, "name": "branchArbitratorsID", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4889, "src": "1301:19:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 4935, "indexExpression": { "argumentTypes": null, "id": 4934, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4899, "src": "1321:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1301:38:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 4936, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4864, "src": "1342:9:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1301:50:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 4938, "nodeType": "ExpressionStatement", "src": "1301:50:14" }, { "expression": { "argumentTypes": null, "id": 4948, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 4939, "name": "branchTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4881, "src": "1361:15:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 4941, "indexExpression": { "argumentTypes": null, "id": 4940, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4899, "src": "1377:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1361:34:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4947, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4942, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8525, "src": "1398:3:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4945, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4943, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8525, "src": "1405:3:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 4944, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4867, "src": "1411:14:14", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "1405:20:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 4946, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1404:22:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1398:28:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1361:65:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 4949, "nodeType": "ExpressionStatement", "src": "1361:65:14" }, { "expression": { "argumentTypes": null, "id": 4954, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 4950, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4885, "src": "1436:12:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 4952, "indexExpression": { "argumentTypes": null, "id": 4951, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4899, "src": "1449:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1436:31:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 4953, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1470:1:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1436:35:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 4955, "nodeType": "ExpressionStatement", "src": "1436:35:14" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 4960, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4899, "src": "1504:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 4956, "name": "windowBranches", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4894, "src": "1481:14:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[] storage ref)" } }, "id": 4958, "indexExpression": { "argumentTypes": null, "hexValue": "30", "id": 4957, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1496:1:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1481:17:14", "typeDescriptions": { "typeIdentifier": "t_array$_t_bytes32_$dyn_storage", "typeString": "bytes32[] storage ref" } }, "id": 4959, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1481:22:14", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_bytes32_$returns$_t_uint256_$", "typeString": "function (bytes32) returns (uint256)" } }, "id": 4961, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1481:41:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 4962, "nodeType": "ExpressionStatement", "src": "1481:41:14" } ] }, "documentation": null, "id": 4964, "implemented": true, "isConstructor": true, "isDeclaredConst": false, "modifiers": [], "name": "", "nodeType": "FunctionDefinition", "parameters": { "id": 4900, "nodeType": "ParameterList", "parameters": [], "src": "952:2:14" }, "payable": false, "returnParameters": { "id": 4901, "nodeType": "ParameterList", "parameters": [], "src": "966:0:14" }, "scope": 5270, "src": "941:588:14", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 5063, "nodeType": "Block", "src": "1634:1235:14", "statements": [ { "assignments": [ 4974 ], "declarations": [ { "constant": false, "id": 4974, "name": "branchHash", "nodeType": "VariableDeclaration", "scope": 5064, "src": "1645:18:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 4973, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1645:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 4982, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 4978, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4966, "src": "1693:16:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "id": 4979, "name": "whitelist_id", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4968, "src": "1711:12:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "id": 4976, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8510, "src": "1676:3:14", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 4977, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1676:16:14", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 4980, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1676:48:14", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 4975, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8517, "src": "1666:9:14", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 4981, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1666:59:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "1645:80:14" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 4986, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4984, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4974, "src": "1743:10:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "id": 4985, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4864, "src": "1757:9:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1743:23:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "6272616e636820686173682073686f756c64206e6f7420626520746865204e554c4c5f48415348", "id": 4987, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1768:41:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_74d7ba7b0d65ec23276c3b47424ecf8fd17ecf9aa3732cdd0954e2ed34d52f20", "typeString": "literal_string \"branch hash should not be the NULL_HASH\"" }, "value": "branch hash should not be the NULL_HASH" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_74d7ba7b0d65ec23276c3b47424ecf8fd17ecf9aa3732cdd0954e2ed34d52f20", "typeString": "literal_string \"branch hash should not be the NULL_HASH\"" } ], "id": 4983, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 8526, 8527 ], "referencedDeclaration": 8527, "src": "1735:7:14", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 4988, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1735:75:14", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 4989, "nodeType": "ExpressionStatement", "src": "1735:75:14" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4995, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 4991, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4885, "src": "1966:12:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 4993, "indexExpression": { "argumentTypes": null, "id": 4992, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4974, "src": "1979:10:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1966:24:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 4994, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1994:1:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1966:29:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "6272616e6368206d757374206e6f74206578697374", "id": 4996, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1997:23:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_25426ba6c6f6bc3baadeea4d3157e6c3ce7a672813957e4f3d001d925e940e92", "typeString": "literal_string \"branch must not exist\"" }, "value": "branch must not exist" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_25426ba6c6f6bc3baadeea4d3157e6c3ce7a672813957e4f3d001d925e940e92", "typeString": "literal_string \"branch must not exist\"" } ], "id": 4990, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 8526, 8527 ], "referencedDeclaration": 8527, "src": "1958:7:14", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 4997, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1958:63:14", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 4998, "nodeType": "ExpressionStatement", "src": "1958:63:14" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 5008, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5002, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5000, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4966, "src": "2039:16:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5001, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4899, "src": "2059:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "2039:37:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5007, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5003, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4885, "src": "2080:12:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5005, "indexExpression": { "argumentTypes": null, "id": 5004, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4966, "src": "2093:16:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2080:30:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 5006, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2113:1:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2080:34:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "2039:75:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "706172656e74206272616e6368206d757374206578697374", "id": 5009, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2116:26:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_a76ac387350220e7500aa496ad424bde3bcad573d323571e27bb56e00a36041c", "typeString": "literal_string \"parent branch must exist\"" }, "value": "parent branch must exist" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_a76ac387350220e7500aa496ad424bde3bcad573d323571e27bb56e00a36041c", "typeString": "literal_string \"parent branch must exist\"" } ], "id": 4999, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 8526, 8527 ], "referencedDeclaration": 8527, "src": "2031:7:14", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 5010, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2031:112:14", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5011, "nodeType": "ExpressionStatement", "src": "2031:112:14" }, { "assignments": [ 5013 ], "declarations": [ { "constant": false, "id": 5013, "name": "window", "nodeType": "VariableDeclaration", "scope": 5064, "src": "2225:14:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5012, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2225:7:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 5019, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5018, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5014, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4885, "src": "2242:12:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5016, "indexExpression": { "argumentTypes": null, "id": 5015, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4966, "src": "2255:16:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2242:30:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 5017, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2275:1:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2242:34:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2225:51:14" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5027, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5021, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8525, "src": "2294:3:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5026, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5022, "name": "genesisWindowTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4896, "src": "2301:22:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5025, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5023, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4867, "src": "2326:14:14", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 5024, "name": "window", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5013, "src": "2343:6:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2326:23:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2301:48:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2294:55:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "7468657265206d757374206265206f6e65207765656b2064656c6179206265747765656e20706172656e7420616e6420736f6e206272616e6368", "id": 5028, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2351:60:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_5c39d408ba20e75c5f54d670ae9e285b16540c0868d8190ed7ff7e9e86b51800", "typeString": "literal_string \"there must be one week delay between parent and son branch\"" }, "value": "there must be one week delay between parent and son branch" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_5c39d408ba20e75c5f54d670ae9e285b16540c0868d8190ed7ff7e9e86b51800", "typeString": "literal_string \"there must be one week delay between parent and son branch\"" } ], "id": 5020, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 8526, 8527 ], "referencedDeclaration": 8527, "src": "2286:7:14", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 5029, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2286:126:14", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5030, "nodeType": "ExpressionStatement", "src": "2286:126:14" }, { "expression": { "argumentTypes": null, "id": 5035, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5031, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4877, "src": "2423:16:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5033, "indexExpression": { "argumentTypes": null, "id": 5032, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4974, "src": "2440:10:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2423:28:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 5034, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4966, "src": "2454:16:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "2423:47:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5036, "nodeType": "ExpressionStatement", "src": "2423:47:14" }, { "expression": { "argumentTypes": null, "id": 5041, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5037, "name": "branchArbitratorsID", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4889, "src": "2480:19:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5039, "indexExpression": { "argumentTypes": null, "id": 5038, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4974, "src": "2500:10:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2480:31:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 5040, "name": "whitelist_id", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4968, "src": "2514:12:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "2480:46:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5042, "nodeType": "ExpressionStatement", "src": "2480:46:14" }, { "expression": { "argumentTypes": null, "id": 5047, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5043, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4885, "src": "2698:12:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5045, "indexExpression": { "argumentTypes": null, "id": 5044, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4974, "src": "2711:10:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2698:24:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 5046, "name": "window", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5013, "src": "2725:6:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2698:33:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5048, "nodeType": "ExpressionStatement", "src": "2698:33:14" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 5053, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4974, "src": "2769:10:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5049, "name": "windowBranches", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4894, "src": "2741:14:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[] storage ref)" } }, "id": 5051, "indexExpression": { "argumentTypes": null, "id": 5050, "name": "window", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5013, "src": "2756:6:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2741:22:14", "typeDescriptions": { "typeIdentifier": "t_array$_t_bytes32_$dyn_storage", "typeString": "bytes32[] storage ref" } }, "id": 5052, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2741:27:14", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_bytes32_$returns$_t_uint256_$", "typeString": "function (bytes32) returns (uint256)" } }, "id": 5054, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2741:39:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5055, "nodeType": "ExpressionStatement", "src": "2741:39:14" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 5057, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4974, "src": "2810:10:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "id": 5058, "name": "whitelist_id", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4968, "src": "2822:12:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "id": 5056, "name": "BranchCreated", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4861, "src": "2796:13:14", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_bytes32_$_t_bytes32_$returns$__$", "typeString": "function (bytes32,bytes32)" } }, "id": 5059, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2796:39:14", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5060, "nodeType": "EmitStatement", "src": "2791:44:14" }, { "expression": { "argumentTypes": null, "id": 5061, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4974, "src": "2852:10:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 4972, "id": 5062, "nodeType": "Return", "src": "2845:17:14" } ] }, "documentation": null, "id": 5064, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "createBranch", "nodeType": "FunctionDefinition", "parameters": { "id": 4969, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4966, "name": "parentBranchHash", "nodeType": "VariableDeclaration", "scope": 5064, "src": "1557:24:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 4965, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1557:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 4968, "name": "whitelist_id", "nodeType": "VariableDeclaration", "scope": 5064, "src": "1583:20:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 4967, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1583:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "1556:48:14" }, "payable": false, "returnParameters": { "id": 4972, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4971, "name": "", "nodeType": "VariableDeclaration", "scope": 5064, "src": "1625:7:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 4970, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1625:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "1624:9:14" }, "scope": 5270, "src": "1535:1334:14", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 5133, "nodeType": "Block", "src": "2962:455:14", "statements": [ { "assignments": [ 5073 ], "declarations": [ { "constant": false, "id": 5073, "name": "prev_hash", "nodeType": "VariableDeclaration", "scope": 5134, "src": "3003:17:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5072, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3003:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 5082, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5077, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5067, "src": "3050:11:14", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 5079, "indexExpression": { "argumentTypes": null, "hexValue": "30", "id": 5078, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3062:1:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3050:14:14", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "expression": { "argumentTypes": null, "id": 5075, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8510, "src": "3033:3:14", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 5076, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3033:16:14", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 5080, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3033:32:14", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 5074, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8517, "src": "3023:9:14", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 5081, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3023:43:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "3003:63:14" }, { "body": { "id": 5106, "nodeType": "Block", "src": "3120:91:14", "statements": [ { "expression": { "argumentTypes": null, "id": 5104, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 5094, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5073, "src": "3134:9:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 5098, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5073, "src": "3173:9:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5099, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5067, "src": "3184:11:14", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 5101, "indexExpression": { "argumentTypes": null, "id": 5100, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5084, "src": "3196:1:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3184:14:14", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_address", "typeString": "address" } ], "expression": { "argumentTypes": null, "id": 5096, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8510, "src": "3156:3:14", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 5097, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3156:16:14", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 5102, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3156:43:14", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 5095, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8517, "src": "3146:9:14", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 5103, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3146:54:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3134:66:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5105, "nodeType": "ExpressionStatement", "src": "3134:66:14" } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5090, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5087, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5084, "src": "3091:1:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 5088, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5067, "src": "3095:11:14", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 5089, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3095:18:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3091:22:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5107, "initializationExpression": { "assignments": [ 5084 ], "declarations": [ { "constant": false, "id": 5084, "name": "i", "nodeType": "VariableDeclaration", "scope": 5134, "src": "3081:6:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5083, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3081:4:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 5086, "initialValue": { "argumentTypes": null, "hexValue": "31", "id": 5085, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3088:1:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "nodeType": "VariableDeclarationStatement", "src": "3081:8:14" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 5092, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "3115:3:14", "subExpression": { "argumentTypes": null, "id": 5091, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5084, "src": "3115:1:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5093, "nodeType": "ExpressionStatement", "src": "3115:3:14" }, "nodeType": "ForStatement", "src": "3076:135:14" }, { "body": { "id": 5129, "nodeType": "Block", "src": "3306:79:14", "statements": [ { "expression": { "argumentTypes": null, "id": 5127, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5119, "name": "arbitratorWhitelists", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4873, "src": "3320:20:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" } }, "id": 5124, "indexExpression": { "argumentTypes": null, "id": 5120, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5073, "src": "3341:9:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3320:31:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bool_$", "typeString": "mapping(address => bool)" } }, "id": 5125, "indexExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5121, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5067, "src": "3352:11:14", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 5123, "indexExpression": { "argumentTypes": null, "id": 5122, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5084, "src": "3364:1:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3352:14:14", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "3320:47:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "74727565", "id": 5126, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3370:4:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "src": "3320:54:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5128, "nodeType": "ExpressionStatement", "src": "3320:54:14" } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5115, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5112, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5084, "src": "3277:1:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 5113, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5067, "src": "3281:11:14", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 5114, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3281:18:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3277:22:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5130, "initializationExpression": { "expression": { "argumentTypes": null, "id": 5110, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 5108, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5084, "src": "3270:1:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 5109, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3274:1:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3270:5:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5111, "nodeType": "ExpressionStatement", "src": "3270:5:14" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 5117, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "3301:3:14", "subExpression": { "argumentTypes": null, "id": 5116, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5084, "src": "3301:1:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5118, "nodeType": "ExpressionStatement", "src": "3301:3:14" }, "nodeType": "ForStatement", "src": "3265:120:14" }, { "expression": { "argumentTypes": null, "id": 5131, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5073, "src": "3401:9:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 5071, "id": 5132, "nodeType": "Return", "src": "3394:16:14" } ] }, "documentation": null, "id": 5134, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "createArbitratorWhitelist", "nodeType": "FunctionDefinition", "parameters": { "id": 5068, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5067, "name": "arbitrators", "nodeType": "VariableDeclaration", "scope": 5134, "src": "2910:21:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[]" }, "typeName": { "baseType": { "id": 5065, "name": "address", "nodeType": "ElementaryTypeName", "src": "2910:7:14", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 5066, "length": null, "nodeType": "ArrayTypeName", "src": "2910:9:14", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_storage_ptr", "typeString": "address[]" } }, "value": null, "visibility": "internal" } ], "src": "2909:23:14" }, "payable": false, "returnParameters": { "id": 5071, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5070, "name": "", "nodeType": "VariableDeclaration", "scope": 5134, "src": "2953:7:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5069, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "2953:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "2952:9:14" }, "scope": 5270, "src": "2875:542:14", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 5151, "nodeType": "Block", "src": "3521:78:14", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5143, "name": "arbitratorWhitelists", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4873, "src": "3538:20:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" } }, "id": 5147, "indexExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5144, "name": "branchArbitratorsID", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4889, "src": "3559:19:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5146, "indexExpression": { "argumentTypes": null, "id": 5145, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5138, "src": "3579:6:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3559:27:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3538:49:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bool_$", "typeString": "mapping(address => bool)" } }, "id": 5149, "indexExpression": { "argumentTypes": null, "id": 5148, "name": "arb", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5136, "src": "3588:3:14", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3538:54:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 5142, "id": 5150, "nodeType": "Return", "src": "3531:61:14" } ] }, "documentation": null, "id": 5152, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isArbitratorWhitelisted", "nodeType": "FunctionDefinition", "parameters": { "id": 5139, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5136, "name": "arb", "nodeType": "VariableDeclaration", "scope": 5152, "src": "3456:11:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 5135, "name": "address", "nodeType": "ElementaryTypeName", "src": "3456:7:14", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5138, "name": "branch", "nodeType": "VariableDeclaration", "scope": 5152, "src": "3469:14:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5137, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3469:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "3455:29:14" }, "payable": false, "returnParameters": { "id": 5142, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5141, "name": "", "nodeType": "VariableDeclaration", "scope": 5152, "src": "3515:4:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 5140, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3515:4:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3514:6:14" }, "scope": 5270, "src": "3423:176:14", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 5188, "nodeType": "Block", "src": "3756:325:14", "statements": [ { "assignments": [ 5164 ], "declarations": [ { "constant": false, "id": 5164, "name": "iterationHash", "nodeType": "VariableDeclaration", "scope": 5189, "src": "3766:21:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5163, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3766:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 5166, "initialValue": { "argumentTypes": null, "id": 5165, "name": "closerToRootHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5156, "src": "3790:16:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "3766:40:14" }, { "body": { "id": 5184, "nodeType": "Block", "src": "3859:194:14", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5172, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5170, "name": "investigationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5154, "src": "3877:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5171, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5164, "src": "3898:13:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3877:34:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 5182, "nodeType": "Block", "src": "3963:80:14", "statements": [ { "expression": { "argumentTypes": null, "id": 5180, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 5176, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5164, "src": "3981:13:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5177, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4877, "src": "3997:16:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5179, "indexExpression": { "argumentTypes": null, "id": 5178, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5164, "src": "4014:13:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3997:31:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3981:47:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5181, "nodeType": "ExpressionStatement", "src": "3981:47:14" } ] }, "id": 5183, "nodeType": "IfStatement", "src": "3873:170:14", "trueBody": { "id": 5175, "nodeType": "Block", "src": "3913:44:14", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 5173, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3938:4:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 5162, "id": 5174, "nodeType": "Return", "src": "3931:11:14" } ] } } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5169, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5167, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5164, "src": "3823:13:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "id": 5168, "name": "fartherToRootHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5158, "src": "3840:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3823:34:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5185, "nodeType": "WhileStatement", "src": "3816:237:14" }, { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 5186, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4069:5:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 5162, "id": 5187, "nodeType": "Return", "src": "4062:12:14" } ] }, "documentation": null, "id": 5189, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isBranchInBetweenBranches", "nodeType": "FunctionDefinition", "parameters": { "id": 5159, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5154, "name": "investigationHash", "nodeType": "VariableDeclaration", "scope": 5189, "src": "3641:25:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5153, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3641:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5156, "name": "closerToRootHash", "nodeType": "VariableDeclaration", "scope": 5189, "src": "3668:24:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5155, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3668:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5158, "name": "fartherToRootHash", "nodeType": "VariableDeclaration", "scope": 5189, "src": "3694:25:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5157, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3694:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "3640:80:14" }, "payable": false, "returnParameters": { "id": 5162, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5161, "name": "", "nodeType": "VariableDeclaration", "scope": 5189, "src": "3750:4:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 5160, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3750:4:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3749:6:14" }, "scope": 5270, "src": "3606:475:14", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 5214, "nodeType": "Block", "src": "4173:171:14", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5208, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5204, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5202, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5198, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4885, "src": "4187:12:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5200, "indexExpression": { "argumentTypes": null, "id": 5199, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5193, "src": "4200:6:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4187:20:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 5201, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4867, "src": "4210:14:14", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "4187:37:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 5203, "name": "genesisWindowTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4896, "src": "4227:22:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4187:62:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5207, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5205, "name": "ts", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5191, "src": "4253:2:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 5206, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4867, "src": "4258:14:14", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "4253:19:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4187:85:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 5211, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4332:5:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 5197, "id": 5212, "nodeType": "Return", "src": "4325:12:14" }, "id": 5213, "nodeType": "IfStatement", "src": "4183:154:14", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 5209, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4293:4:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 5197, "id": 5210, "nodeType": "Return", "src": "4286:11:14" } } ] }, "documentation": null, "id": 5215, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isBranchCreatedAfterTS", "nodeType": "FunctionDefinition", "parameters": { "id": 5194, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5191, "name": "ts", "nodeType": "VariableDeclaration", "scope": 5215, "src": "4119:10:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5190, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4119:7:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5193, "name": "branch", "nodeType": "VariableDeclaration", "scope": 5215, "src": "4131:14:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5192, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4131:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "4118:28:14" }, "payable": false, "returnParameters": { "id": 5197, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5196, "name": "", "nodeType": "VariableDeclaration", "scope": 5215, "src": "4167:4:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 5195, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4167:4:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4166:6:14" }, "scope": 5270, "src": "4087:257:14", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 5233, "nodeType": "Block", "src": "4417:81:14", "statements": [ { "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 5230, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5224, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5222, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5217, "src": "4435:6:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5223, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4899, "src": "4445:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4435:27:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5229, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5225, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4885, "src": "4466:12:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5227, "indexExpression": { "argumentTypes": null, "id": 5226, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5217, "src": "4479:6:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4466:20:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 5228, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4489:1:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "4466:24:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "4435:55:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 5231, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "4434:57:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 5221, "id": 5232, "nodeType": "Return", "src": "4427:64:14" } ] }, "documentation": null, "id": 5234, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "doesBranchExist", "nodeType": "FunctionDefinition", "parameters": { "id": 5218, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5217, "name": "branch", "nodeType": "VariableDeclaration", "scope": 5234, "src": "4375:14:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5216, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4375:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "4374:16:14" }, "payable": false, "returnParameters": { "id": 5221, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5220, "name": "", "nodeType": "VariableDeclaration", "scope": 5234, "src": "4411:4:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 5219, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4411:4:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4410:6:14" }, "scope": 5270, "src": "4350:148:14", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 5268, "nodeType": "Block", "src": "4594:291:14", "statements": [ { "body": { "id": 5264, "nodeType": "Block", "src": "4627:231:14", "statements": [ { "expression": { "argumentTypes": null, "id": 5250, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 5246, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5238, "src": "4641:3:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5247, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4877, "src": "4647:16:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5249, "indexExpression": { "argumentTypes": null, "id": 5248, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5238, "src": "4664:3:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4647:21:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4641:27:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5251, "nodeType": "ExpressionStatement", "src": "4641:27:14" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5254, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5252, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5238, "src": "4686:3:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5253, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4899, "src": "4693:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4686:24:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 5263, "nodeType": "IfStatement", "src": "4682:165:14", "trueBody": { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5257, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5255, "name": "father", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5236, "src": "4732:6:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5256, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4899, "src": "4742:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4732:27:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 5260, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4842:5:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 5242, "id": 5261, "nodeType": "Return", "src": "4835:12:14" }, "id": 5262, "nodeType": "IfStatement", "src": "4728:119:14", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 5258, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4788:4:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 5242, "id": 5259, "nodeType": "Return", "src": "4781:11:14" } } } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5245, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5243, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5238, "src": "4612:3:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "id": 5244, "name": "father", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5236, "src": "4619:6:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4612:13:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5265, "nodeType": "WhileStatement", "src": "4605:253:14" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 5266, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4874:4:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 5242, "id": 5267, "nodeType": "Return", "src": "4867:11:14" } ] }, "documentation": null, "id": 5269, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isFatherOfBranch", "nodeType": "FunctionDefinition", "parameters": { "id": 5239, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5236, "name": "father", "nodeType": "VariableDeclaration", "scope": 5269, "src": "4530:14:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5235, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4530:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5238, "name": "son", "nodeType": "VariableDeclaration", "scope": 5269, "src": "4546:11:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5237, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4546:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "4529:29:14" }, "payable": false, "returnParameters": { "id": 5242, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5241, "name": "", "nodeType": "VariableDeclaration", "scope": 5269, "src": "4588:4:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 5240, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4588:4:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4587:6:14" }, "scope": 5270, "src": "4504:381:14", "stateMutability": "view", "superFunction": null, "visibility": "public" } ], "scope": 5271, "src": "27:4860:14" } ], "src": "0:4888:14" }, "legacyAST": { "absolutePath": "@josojo/forkonomics-contracts/contracts/ForkonomicSystem.sol", "exportedSymbols": { "ForkonomicSystem": [ 5270 ] }, "id": 5271, "nodeType": "SourceUnit", "nodes": [ { "id": 4855, "literals": [ "solidity", "^", "0.4", ".22" ], "nodeType": "PragmaDirective", "src": "0:24:14" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 5270, "linearizedBaseContracts": [ 5270 ], "name": "ForkonomicSystem", "nodeType": "ContractDefinition", "nodes": [ { "anonymous": false, "documentation": null, "id": 4861, "name": "BranchCreated", "nodeType": "EventDefinition", "parameters": { "id": 4860, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4857, "indexed": false, "name": "hash", "nodeType": "VariableDeclaration", "scope": 4861, "src": "80:12:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 4856, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "80:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 4859, "indexed": false, "name": "whiteList_id", "nodeType": "VariableDeclaration", "scope": 4861, "src": "94:20:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 4858, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "94:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "79:36:14" }, "src": "60:56:14" }, { "constant": false, "id": 4864, "name": "NULL_HASH", "nodeType": "VariableDeclaration", "scope": 5270, "src": "122:29:14", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 4862, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "122:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": { "argumentTypes": null, "hexValue": "", "id": 4863, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "149:2:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470", "typeString": "literal_string \"\"" }, "value": "" }, "visibility": "public" }, { "constant": false, "id": 4867, "name": "WINDOWTIMESPAN", "nodeType": "VariableDeclaration", "scope": 5270, "src": "157:36:14", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 4865, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "157:6:14", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": { "argumentTypes": null, "hexValue": "3836343030", "id": 4866, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "188:5:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_86400_by_1", "typeString": "int_const 86400" }, "value": "86400" }, "visibility": "public" }, { "constant": false, "id": 4873, "name": "arbitratorWhitelists", "nodeType": "VariableDeclaration", "scope": 5270, "src": "254:68:14", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" }, "typeName": { "id": 4872, "keyType": { "id": 4868, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "262:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "254:40:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" }, "valueType": { "id": 4871, "keyType": { "id": 4869, "name": "address", "nodeType": "ElementaryTypeName", "src": "279:7:14", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "271:22:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bool_$", "typeString": "mapping(address => bool)" }, "valueType": { "id": 4870, "name": "bool", "nodeType": "ElementaryTypeName", "src": "288:4:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 4877, "name": "branchParentHash", "nodeType": "VariableDeclaration", "scope": 5270, "src": "359:52:14", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "typeName": { "id": 4876, "keyType": { "id": 4874, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "367:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "359:28:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "valueType": { "id": 4875, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "379:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 4881, "name": "branchTimestamp", "nodeType": "VariableDeclaration", "scope": 5270, "src": "444:49:14", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "typeName": { "id": 4880, "keyType": { "id": 4878, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "452:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "444:26:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "valueType": { "id": 4879, "name": "uint", "nodeType": "ElementaryTypeName", "src": "464:4:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 4885, "name": "branchWindow", "nodeType": "VariableDeclaration", "scope": 5270, "src": "523:46:14", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "typeName": { "id": 4884, "keyType": { "id": 4882, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "531:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "523:26:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "valueType": { "id": 4883, "name": "uint", "nodeType": "ElementaryTypeName", "src": "543:4:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 4889, "name": "branchArbitratorsID", "nodeType": "VariableDeclaration", "scope": 5270, "src": "595:54:14", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "typeName": { "id": 4888, "keyType": { "id": 4886, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "603:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "595:27:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "valueType": { "id": 4887, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "614:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 4894, "name": "windowBranches", "nodeType": "VariableDeclaration", "scope": 5270, "src": "683:51:14", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[])" }, "typeName": { "id": 4893, "keyType": { "id": 4890, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "691:7:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Mapping", "src": "683:29:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[])" }, "valueType": { "baseType": { "id": 4891, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "702:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 4892, "length": null, "nodeType": "ArrayTypeName", "src": "702:9:14", "typeDescriptions": { "typeIdentifier": "t_array$_t_bytes32_$dyn_storage_ptr", "typeString": "bytes32[]" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 4896, "name": "genesisWindowTimestamp", "nodeType": "VariableDeclaration", "scope": 5270, "src": "799:37:14", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4895, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "799:7:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 4899, "name": "genesisBranchHash", "nodeType": "VariableDeclaration", "scope": 5270, "src": "892:42:14", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 4897, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "892:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": { "argumentTypes": null, "id": 4898, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4864, "src": "925:9:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "public" }, { "body": { "id": 4963, "nodeType": "Block", "src": "966:563:14", "statements": [ { "expression": { "argumentTypes": null, "id": 4909, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 4902, "name": "genesisWindowTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4896, "src": "976:22:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4908, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4903, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8525, "src": "1001:3:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4906, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4904, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8525, "src": "1008:3:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 4905, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4867, "src": "1014:14:14", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "1008:20:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 4907, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1007:22:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1001:28:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "976:53:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 4910, "nodeType": "ExpressionStatement", "src": "976:53:14" }, { "assignments": [ 4912 ], "declarations": [ { "constant": false, "id": 4912, "name": "genesisMerkleRoot", "nodeType": "VariableDeclaration", "scope": 4964, "src": "1039:25:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 4911, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1039:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 4916, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "49206c6561766520746f207365766572616c206675747572657320286e6f7420746f20616c6c29206d792067617264656e206f6620666f726b696e67207061746873", "id": 4914, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1077:68:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_3f69b0fd3687e5733a2a3b8e99ee25d0c3e4b74b14c1fcb626afcadebd660345", "typeString": "literal_string \"I leave to several futures (not to all) my garden of forking paths\"" }, "value": "I leave to several futures (not to all) my garden of forking paths" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_stringliteral_3f69b0fd3687e5733a2a3b8e99ee25d0c3e4b74b14c1fcb626afcadebd660345", "typeString": "literal_string \"I leave to several futures (not to all) my garden of forking paths\"" } ], "id": 4913, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8517, "src": "1067:9:14", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 4915, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1067:79:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "1039:107:14" }, { "expression": { "argumentTypes": null, "id": 4925, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 4917, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4899, "src": "1156:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 4921, "name": "genesisMerkleRoot", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4912, "src": "1203:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "id": 4922, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4864, "src": "1222:9:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "id": 4919, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8510, "src": "1186:3:14", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 4920, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1186:16:14", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 4923, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1186:46:14", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 4918, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8517, "src": "1176:9:14", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 4924, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1176:57:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1156:77:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 4926, "nodeType": "ExpressionStatement", "src": "1156:77:14" }, { "expression": { "argumentTypes": null, "id": 4931, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 4927, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4877, "src": "1244:16:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 4929, "indexExpression": { "argumentTypes": null, "id": 4928, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4899, "src": "1261:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1244:35:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 4930, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4864, "src": "1282:9:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1244:47:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 4932, "nodeType": "ExpressionStatement", "src": "1244:47:14" }, { "expression": { "argumentTypes": null, "id": 4937, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 4933, "name": "branchArbitratorsID", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4889, "src": "1301:19:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 4935, "indexExpression": { "argumentTypes": null, "id": 4934, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4899, "src": "1321:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1301:38:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 4936, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4864, "src": "1342:9:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1301:50:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 4938, "nodeType": "ExpressionStatement", "src": "1301:50:14" }, { "expression": { "argumentTypes": null, "id": 4948, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 4939, "name": "branchTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4881, "src": "1361:15:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 4941, "indexExpression": { "argumentTypes": null, "id": 4940, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4899, "src": "1377:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1361:34:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4947, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4942, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8525, "src": "1398:3:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4945, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4943, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8525, "src": "1405:3:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 4944, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4867, "src": "1411:14:14", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "1405:20:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 4946, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1404:22:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1398:28:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1361:65:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 4949, "nodeType": "ExpressionStatement", "src": "1361:65:14" }, { "expression": { "argumentTypes": null, "id": 4954, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 4950, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4885, "src": "1436:12:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 4952, "indexExpression": { "argumentTypes": null, "id": 4951, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4899, "src": "1449:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1436:31:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 4953, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1470:1:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1436:35:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 4955, "nodeType": "ExpressionStatement", "src": "1436:35:14" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 4960, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4899, "src": "1504:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 4956, "name": "windowBranches", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4894, "src": "1481:14:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[] storage ref)" } }, "id": 4958, "indexExpression": { "argumentTypes": null, "hexValue": "30", "id": 4957, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1496:1:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1481:17:14", "typeDescriptions": { "typeIdentifier": "t_array$_t_bytes32_$dyn_storage", "typeString": "bytes32[] storage ref" } }, "id": 4959, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1481:22:14", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_bytes32_$returns$_t_uint256_$", "typeString": "function (bytes32) returns (uint256)" } }, "id": 4961, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1481:41:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 4962, "nodeType": "ExpressionStatement", "src": "1481:41:14" } ] }, "documentation": null, "id": 4964, "implemented": true, "isConstructor": true, "isDeclaredConst": false, "modifiers": [], "name": "", "nodeType": "FunctionDefinition", "parameters": { "id": 4900, "nodeType": "ParameterList", "parameters": [], "src": "952:2:14" }, "payable": false, "returnParameters": { "id": 4901, "nodeType": "ParameterList", "parameters": [], "src": "966:0:14" }, "scope": 5270, "src": "941:588:14", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 5063, "nodeType": "Block", "src": "1634:1235:14", "statements": [ { "assignments": [ 4974 ], "declarations": [ { "constant": false, "id": 4974, "name": "branchHash", "nodeType": "VariableDeclaration", "scope": 5064, "src": "1645:18:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 4973, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1645:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 4982, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 4978, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4966, "src": "1693:16:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "id": 4979, "name": "whitelist_id", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4968, "src": "1711:12:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "id": 4976, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8510, "src": "1676:3:14", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 4977, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1676:16:14", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 4980, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1676:48:14", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 4975, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8517, "src": "1666:9:14", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 4981, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1666:59:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "1645:80:14" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 4986, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 4984, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4974, "src": "1743:10:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "id": 4985, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4864, "src": "1757:9:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1743:23:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "6272616e636820686173682073686f756c64206e6f7420626520746865204e554c4c5f48415348", "id": 4987, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1768:41:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_74d7ba7b0d65ec23276c3b47424ecf8fd17ecf9aa3732cdd0954e2ed34d52f20", "typeString": "literal_string \"branch hash should not be the NULL_HASH\"" }, "value": "branch hash should not be the NULL_HASH" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_74d7ba7b0d65ec23276c3b47424ecf8fd17ecf9aa3732cdd0954e2ed34d52f20", "typeString": "literal_string \"branch hash should not be the NULL_HASH\"" } ], "id": 4983, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 8526, 8527 ], "referencedDeclaration": 8527, "src": "1735:7:14", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 4988, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1735:75:14", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 4989, "nodeType": "ExpressionStatement", "src": "1735:75:14" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4995, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 4991, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4885, "src": "1966:12:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 4993, "indexExpression": { "argumentTypes": null, "id": 4992, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4974, "src": "1979:10:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1966:24:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 4994, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1994:1:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1966:29:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "6272616e6368206d757374206e6f74206578697374", "id": 4996, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1997:23:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_25426ba6c6f6bc3baadeea4d3157e6c3ce7a672813957e4f3d001d925e940e92", "typeString": "literal_string \"branch must not exist\"" }, "value": "branch must not exist" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_25426ba6c6f6bc3baadeea4d3157e6c3ce7a672813957e4f3d001d925e940e92", "typeString": "literal_string \"branch must not exist\"" } ], "id": 4990, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 8526, 8527 ], "referencedDeclaration": 8527, "src": "1958:7:14", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 4997, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1958:63:14", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 4998, "nodeType": "ExpressionStatement", "src": "1958:63:14" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 5008, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5002, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5000, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4966, "src": "2039:16:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5001, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4899, "src": "2059:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "2039:37:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5007, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5003, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4885, "src": "2080:12:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5005, "indexExpression": { "argumentTypes": null, "id": 5004, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4966, "src": "2093:16:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2080:30:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 5006, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2113:1:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2080:34:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "2039:75:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "706172656e74206272616e6368206d757374206578697374", "id": 5009, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2116:26:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_a76ac387350220e7500aa496ad424bde3bcad573d323571e27bb56e00a36041c", "typeString": "literal_string \"parent branch must exist\"" }, "value": "parent branch must exist" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_a76ac387350220e7500aa496ad424bde3bcad573d323571e27bb56e00a36041c", "typeString": "literal_string \"parent branch must exist\"" } ], "id": 4999, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 8526, 8527 ], "referencedDeclaration": 8527, "src": "2031:7:14", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 5010, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2031:112:14", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5011, "nodeType": "ExpressionStatement", "src": "2031:112:14" }, { "assignments": [ 5013 ], "declarations": [ { "constant": false, "id": 5013, "name": "window", "nodeType": "VariableDeclaration", "scope": 5064, "src": "2225:14:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5012, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2225:7:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 5019, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5018, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5014, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4885, "src": "2242:12:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5016, "indexExpression": { "argumentTypes": null, "id": 5015, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4966, "src": "2255:16:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2242:30:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 5017, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2275:1:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2242:34:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2225:51:14" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5027, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5021, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8525, "src": "2294:3:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5026, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5022, "name": "genesisWindowTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4896, "src": "2301:22:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5025, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5023, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4867, "src": "2326:14:14", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 5024, "name": "window", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5013, "src": "2343:6:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2326:23:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2301:48:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2294:55:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "7468657265206d757374206265206f6e65207765656b2064656c6179206265747765656e20706172656e7420616e6420736f6e206272616e6368", "id": 5028, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2351:60:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_5c39d408ba20e75c5f54d670ae9e285b16540c0868d8190ed7ff7e9e86b51800", "typeString": "literal_string \"there must be one week delay between parent and son branch\"" }, "value": "there must be one week delay between parent and son branch" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_5c39d408ba20e75c5f54d670ae9e285b16540c0868d8190ed7ff7e9e86b51800", "typeString": "literal_string \"there must be one week delay between parent and son branch\"" } ], "id": 5020, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 8526, 8527 ], "referencedDeclaration": 8527, "src": "2286:7:14", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 5029, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2286:126:14", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5030, "nodeType": "ExpressionStatement", "src": "2286:126:14" }, { "expression": { "argumentTypes": null, "id": 5035, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5031, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4877, "src": "2423:16:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5033, "indexExpression": { "argumentTypes": null, "id": 5032, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4974, "src": "2440:10:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2423:28:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 5034, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4966, "src": "2454:16:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "2423:47:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5036, "nodeType": "ExpressionStatement", "src": "2423:47:14" }, { "expression": { "argumentTypes": null, "id": 5041, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5037, "name": "branchArbitratorsID", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4889, "src": "2480:19:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5039, "indexExpression": { "argumentTypes": null, "id": 5038, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4974, "src": "2500:10:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2480:31:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 5040, "name": "whitelist_id", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4968, "src": "2514:12:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "2480:46:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5042, "nodeType": "ExpressionStatement", "src": "2480:46:14" }, { "expression": { "argumentTypes": null, "id": 5047, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5043, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4885, "src": "2698:12:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5045, "indexExpression": { "argumentTypes": null, "id": 5044, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4974, "src": "2711:10:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2698:24:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 5046, "name": "window", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5013, "src": "2725:6:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2698:33:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5048, "nodeType": "ExpressionStatement", "src": "2698:33:14" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 5053, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4974, "src": "2769:10:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5049, "name": "windowBranches", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4894, "src": "2741:14:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[] storage ref)" } }, "id": 5051, "indexExpression": { "argumentTypes": null, "id": 5050, "name": "window", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5013, "src": "2756:6:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2741:22:14", "typeDescriptions": { "typeIdentifier": "t_array$_t_bytes32_$dyn_storage", "typeString": "bytes32[] storage ref" } }, "id": 5052, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2741:27:14", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_bytes32_$returns$_t_uint256_$", "typeString": "function (bytes32) returns (uint256)" } }, "id": 5054, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2741:39:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5055, "nodeType": "ExpressionStatement", "src": "2741:39:14" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 5057, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4974, "src": "2810:10:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "id": 5058, "name": "whitelist_id", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4968, "src": "2822:12:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "id": 5056, "name": "BranchCreated", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4861, "src": "2796:13:14", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_bytes32_$_t_bytes32_$returns$__$", "typeString": "function (bytes32,bytes32)" } }, "id": 5059, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2796:39:14", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5060, "nodeType": "EmitStatement", "src": "2791:44:14" }, { "expression": { "argumentTypes": null, "id": 5061, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4974, "src": "2852:10:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 4972, "id": 5062, "nodeType": "Return", "src": "2845:17:14" } ] }, "documentation": null, "id": 5064, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "createBranch", "nodeType": "FunctionDefinition", "parameters": { "id": 4969, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4966, "name": "parentBranchHash", "nodeType": "VariableDeclaration", "scope": 5064, "src": "1557:24:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 4965, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1557:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 4968, "name": "whitelist_id", "nodeType": "VariableDeclaration", "scope": 5064, "src": "1583:20:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 4967, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1583:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "1556:48:14" }, "payable": false, "returnParameters": { "id": 4972, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4971, "name": "", "nodeType": "VariableDeclaration", "scope": 5064, "src": "1625:7:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 4970, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1625:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "1624:9:14" }, "scope": 5270, "src": "1535:1334:14", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 5133, "nodeType": "Block", "src": "2962:455:14", "statements": [ { "assignments": [ 5073 ], "declarations": [ { "constant": false, "id": 5073, "name": "prev_hash", "nodeType": "VariableDeclaration", "scope": 5134, "src": "3003:17:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5072, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3003:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 5082, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5077, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5067, "src": "3050:11:14", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 5079, "indexExpression": { "argumentTypes": null, "hexValue": "30", "id": 5078, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3062:1:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3050:14:14", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "expression": { "argumentTypes": null, "id": 5075, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8510, "src": "3033:3:14", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 5076, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3033:16:14", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 5080, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3033:32:14", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 5074, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8517, "src": "3023:9:14", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 5081, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3023:43:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "3003:63:14" }, { "body": { "id": 5106, "nodeType": "Block", "src": "3120:91:14", "statements": [ { "expression": { "argumentTypes": null, "id": 5104, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 5094, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5073, "src": "3134:9:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 5098, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5073, "src": "3173:9:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5099, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5067, "src": "3184:11:14", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 5101, "indexExpression": { "argumentTypes": null, "id": 5100, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5084, "src": "3196:1:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3184:14:14", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_address", "typeString": "address" } ], "expression": { "argumentTypes": null, "id": 5096, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8510, "src": "3156:3:14", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 5097, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3156:16:14", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 5102, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3156:43:14", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 5095, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8517, "src": "3146:9:14", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 5103, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3146:54:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3134:66:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5105, "nodeType": "ExpressionStatement", "src": "3134:66:14" } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5090, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5087, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5084, "src": "3091:1:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 5088, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5067, "src": "3095:11:14", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 5089, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3095:18:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3091:22:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5107, "initializationExpression": { "assignments": [ 5084 ], "declarations": [ { "constant": false, "id": 5084, "name": "i", "nodeType": "VariableDeclaration", "scope": 5134, "src": "3081:6:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5083, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3081:4:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 5086, "initialValue": { "argumentTypes": null, "hexValue": "31", "id": 5085, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3088:1:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "nodeType": "VariableDeclarationStatement", "src": "3081:8:14" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 5092, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "3115:3:14", "subExpression": { "argumentTypes": null, "id": 5091, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5084, "src": "3115:1:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5093, "nodeType": "ExpressionStatement", "src": "3115:3:14" }, "nodeType": "ForStatement", "src": "3076:135:14" }, { "body": { "id": 5129, "nodeType": "Block", "src": "3306:79:14", "statements": [ { "expression": { "argumentTypes": null, "id": 5127, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5119, "name": "arbitratorWhitelists", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4873, "src": "3320:20:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" } }, "id": 5124, "indexExpression": { "argumentTypes": null, "id": 5120, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5073, "src": "3341:9:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3320:31:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bool_$", "typeString": "mapping(address => bool)" } }, "id": 5125, "indexExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5121, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5067, "src": "3352:11:14", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 5123, "indexExpression": { "argumentTypes": null, "id": 5122, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5084, "src": "3364:1:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3352:14:14", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "3320:47:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "74727565", "id": 5126, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3370:4:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "src": "3320:54:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5128, "nodeType": "ExpressionStatement", "src": "3320:54:14" } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5115, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5112, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5084, "src": "3277:1:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 5113, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5067, "src": "3281:11:14", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 5114, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3281:18:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3277:22:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5130, "initializationExpression": { "expression": { "argumentTypes": null, "id": 5110, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 5108, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5084, "src": "3270:1:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 5109, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3274:1:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3270:5:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5111, "nodeType": "ExpressionStatement", "src": "3270:5:14" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 5117, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "3301:3:14", "subExpression": { "argumentTypes": null, "id": 5116, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5084, "src": "3301:1:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5118, "nodeType": "ExpressionStatement", "src": "3301:3:14" }, "nodeType": "ForStatement", "src": "3265:120:14" }, { "expression": { "argumentTypes": null, "id": 5131, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5073, "src": "3401:9:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 5071, "id": 5132, "nodeType": "Return", "src": "3394:16:14" } ] }, "documentation": null, "id": 5134, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "createArbitratorWhitelist", "nodeType": "FunctionDefinition", "parameters": { "id": 5068, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5067, "name": "arbitrators", "nodeType": "VariableDeclaration", "scope": 5134, "src": "2910:21:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[]" }, "typeName": { "baseType": { "id": 5065, "name": "address", "nodeType": "ElementaryTypeName", "src": "2910:7:14", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 5066, "length": null, "nodeType": "ArrayTypeName", "src": "2910:9:14", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_storage_ptr", "typeString": "address[]" } }, "value": null, "visibility": "internal" } ], "src": "2909:23:14" }, "payable": false, "returnParameters": { "id": 5071, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5070, "name": "", "nodeType": "VariableDeclaration", "scope": 5134, "src": "2953:7:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5069, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "2953:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "2952:9:14" }, "scope": 5270, "src": "2875:542:14", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 5151, "nodeType": "Block", "src": "3521:78:14", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5143, "name": "arbitratorWhitelists", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4873, "src": "3538:20:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" } }, "id": 5147, "indexExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5144, "name": "branchArbitratorsID", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4889, "src": "3559:19:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5146, "indexExpression": { "argumentTypes": null, "id": 5145, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5138, "src": "3579:6:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3559:27:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3538:49:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bool_$", "typeString": "mapping(address => bool)" } }, "id": 5149, "indexExpression": { "argumentTypes": null, "id": 5148, "name": "arb", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5136, "src": "3588:3:14", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3538:54:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 5142, "id": 5150, "nodeType": "Return", "src": "3531:61:14" } ] }, "documentation": null, "id": 5152, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isArbitratorWhitelisted", "nodeType": "FunctionDefinition", "parameters": { "id": 5139, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5136, "name": "arb", "nodeType": "VariableDeclaration", "scope": 5152, "src": "3456:11:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 5135, "name": "address", "nodeType": "ElementaryTypeName", "src": "3456:7:14", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5138, "name": "branch", "nodeType": "VariableDeclaration", "scope": 5152, "src": "3469:14:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5137, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3469:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "3455:29:14" }, "payable": false, "returnParameters": { "id": 5142, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5141, "name": "", "nodeType": "VariableDeclaration", "scope": 5152, "src": "3515:4:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 5140, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3515:4:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3514:6:14" }, "scope": 5270, "src": "3423:176:14", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 5188, "nodeType": "Block", "src": "3756:325:14", "statements": [ { "assignments": [ 5164 ], "declarations": [ { "constant": false, "id": 5164, "name": "iterationHash", "nodeType": "VariableDeclaration", "scope": 5189, "src": "3766:21:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5163, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3766:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 5166, "initialValue": { "argumentTypes": null, "id": 5165, "name": "closerToRootHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5156, "src": "3790:16:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "3766:40:14" }, { "body": { "id": 5184, "nodeType": "Block", "src": "3859:194:14", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5172, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5170, "name": "investigationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5154, "src": "3877:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5171, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5164, "src": "3898:13:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3877:34:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 5182, "nodeType": "Block", "src": "3963:80:14", "statements": [ { "expression": { "argumentTypes": null, "id": 5180, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 5176, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5164, "src": "3981:13:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5177, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4877, "src": "3997:16:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5179, "indexExpression": { "argumentTypes": null, "id": 5178, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5164, "src": "4014:13:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3997:31:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3981:47:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5181, "nodeType": "ExpressionStatement", "src": "3981:47:14" } ] }, "id": 5183, "nodeType": "IfStatement", "src": "3873:170:14", "trueBody": { "id": 5175, "nodeType": "Block", "src": "3913:44:14", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 5173, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3938:4:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 5162, "id": 5174, "nodeType": "Return", "src": "3931:11:14" } ] } } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5169, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5167, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5164, "src": "3823:13:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "id": 5168, "name": "fartherToRootHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5158, "src": "3840:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3823:34:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5185, "nodeType": "WhileStatement", "src": "3816:237:14" }, { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 5186, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4069:5:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 5162, "id": 5187, "nodeType": "Return", "src": "4062:12:14" } ] }, "documentation": null, "id": 5189, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isBranchInBetweenBranches", "nodeType": "FunctionDefinition", "parameters": { "id": 5159, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5154, "name": "investigationHash", "nodeType": "VariableDeclaration", "scope": 5189, "src": "3641:25:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5153, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3641:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5156, "name": "closerToRootHash", "nodeType": "VariableDeclaration", "scope": 5189, "src": "3668:24:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5155, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3668:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5158, "name": "fartherToRootHash", "nodeType": "VariableDeclaration", "scope": 5189, "src": "3694:25:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5157, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3694:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "3640:80:14" }, "payable": false, "returnParameters": { "id": 5162, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5161, "name": "", "nodeType": "VariableDeclaration", "scope": 5189, "src": "3750:4:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 5160, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3750:4:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3749:6:14" }, "scope": 5270, "src": "3606:475:14", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 5214, "nodeType": "Block", "src": "4173:171:14", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5208, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5204, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5202, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5198, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4885, "src": "4187:12:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5200, "indexExpression": { "argumentTypes": null, "id": 5199, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5193, "src": "4200:6:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4187:20:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 5201, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4867, "src": "4210:14:14", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "4187:37:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 5203, "name": "genesisWindowTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4896, "src": "4227:22:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4187:62:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5207, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5205, "name": "ts", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5191, "src": "4253:2:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 5206, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4867, "src": "4258:14:14", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "4253:19:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4187:85:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 5211, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4332:5:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 5197, "id": 5212, "nodeType": "Return", "src": "4325:12:14" }, "id": 5213, "nodeType": "IfStatement", "src": "4183:154:14", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 5209, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4293:4:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 5197, "id": 5210, "nodeType": "Return", "src": "4286:11:14" } } ] }, "documentation": null, "id": 5215, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isBranchCreatedAfterTS", "nodeType": "FunctionDefinition", "parameters": { "id": 5194, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5191, "name": "ts", "nodeType": "VariableDeclaration", "scope": 5215, "src": "4119:10:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5190, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4119:7:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5193, "name": "branch", "nodeType": "VariableDeclaration", "scope": 5215, "src": "4131:14:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5192, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4131:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "4118:28:14" }, "payable": false, "returnParameters": { "id": 5197, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5196, "name": "", "nodeType": "VariableDeclaration", "scope": 5215, "src": "4167:4:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 5195, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4167:4:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4166:6:14" }, "scope": 5270, "src": "4087:257:14", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 5233, "nodeType": "Block", "src": "4417:81:14", "statements": [ { "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 5230, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5224, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5222, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5217, "src": "4435:6:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5223, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4899, "src": "4445:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4435:27:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5229, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5225, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4885, "src": "4466:12:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5227, "indexExpression": { "argumentTypes": null, "id": 5226, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5217, "src": "4479:6:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4466:20:14", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 5228, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4489:1:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "4466:24:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "4435:55:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 5231, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "4434:57:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 5221, "id": 5232, "nodeType": "Return", "src": "4427:64:14" } ] }, "documentation": null, "id": 5234, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "doesBranchExist", "nodeType": "FunctionDefinition", "parameters": { "id": 5218, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5217, "name": "branch", "nodeType": "VariableDeclaration", "scope": 5234, "src": "4375:14:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5216, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4375:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "4374:16:14" }, "payable": false, "returnParameters": { "id": 5221, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5220, "name": "", "nodeType": "VariableDeclaration", "scope": 5234, "src": "4411:4:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 5219, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4411:4:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4410:6:14" }, "scope": 5270, "src": "4350:148:14", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 5268, "nodeType": "Block", "src": "4594:291:14", "statements": [ { "body": { "id": 5264, "nodeType": "Block", "src": "4627:231:14", "statements": [ { "expression": { "argumentTypes": null, "id": 5250, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 5246, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5238, "src": "4641:3:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5247, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4877, "src": "4647:16:14", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5249, "indexExpression": { "argumentTypes": null, "id": 5248, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5238, "src": "4664:3:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4647:21:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4641:27:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5251, "nodeType": "ExpressionStatement", "src": "4641:27:14" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5254, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5252, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5238, "src": "4686:3:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5253, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4899, "src": "4693:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4686:24:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 5263, "nodeType": "IfStatement", "src": "4682:165:14", "trueBody": { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5257, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5255, "name": "father", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5236, "src": "4732:6:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5256, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4899, "src": "4742:17:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4732:27:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 5260, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4842:5:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 5242, "id": 5261, "nodeType": "Return", "src": "4835:12:14" }, "id": 5262, "nodeType": "IfStatement", "src": "4728:119:14", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 5258, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4788:4:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 5242, "id": 5259, "nodeType": "Return", "src": "4781:11:14" } } } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5245, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5243, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5238, "src": "4612:3:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "id": 5244, "name": "father", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5236, "src": "4619:6:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4612:13:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5265, "nodeType": "WhileStatement", "src": "4605:253:14" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 5266, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4874:4:14", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 5242, "id": 5267, "nodeType": "Return", "src": "4867:11:14" } ] }, "documentation": null, "id": 5269, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isFatherOfBranch", "nodeType": "FunctionDefinition", "parameters": { "id": 5239, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5236, "name": "father", "nodeType": "VariableDeclaration", "scope": 5269, "src": "4530:14:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5235, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4530:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5238, "name": "son", "nodeType": "VariableDeclaration", "scope": 5269, "src": "4546:11:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5237, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4546:7:14", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "4529:29:14" }, "payable": false, "returnParameters": { "id": 5242, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5241, "name": "", "nodeType": "VariableDeclaration", "scope": 5269, "src": "4588:4:14", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 5240, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4588:4:14", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4587:6:14" }, "scope": 5270, "src": "4504:381:14", "stateMutability": "view", "superFunction": null, "visibility": "public" } ], "scope": 5271, "src": "27:4860:14" } ], "src": "0:4888:14" }, "compiler": { "name": "solc", "version": "0.4.25+commit.59dbf8f1.Emscripten.clang" }, "networks": { "1541950306998": { "events": {}, "links": {}, "address": "0x2A7cE79821eb5B3A602be4D17F841eCF3A99300A", "transactionHash": "0x4059747fd436d691e99f3ddc246796e4fc6048fdc489ab3cec287a815eb4a88b" } }, "schemaVersion": "3.0.0-beta.1", "updatedAt": "2018-11-11T16:31:32.510Z" }