{ "contractName": "ForkonomicSystem", "abi": [ { "constant": true, "inputs": [ { "name": "", "type": "bytes32" } ], "name": "branchTimestamp", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "genesisBranchHash", "outputs": [ { "name": "", "type": "bytes32" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "", "type": "uint256" }, { "name": "", "type": "uint256" } ], "name": "windowBranches", "outputs": [ { "name": "", "type": "bytes32" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "WINDOWTIMESPAN", "outputs": [ { "name": "", "type": "uint32" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "", "type": "bytes32" } ], "name": "branchWindow", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "", "type": "bytes32" }, { "name": "", "type": "address" } ], "name": "arbitratorWhitelists", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "genesisWindowTimestamp", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "NULL_HASH", "outputs": [ { "name": "", "type": "bytes32" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "", "type": "bytes32" } ], "name": "branchParentHash", "outputs": [ { "name": "", "type": "bytes32" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "", "type": "bytes32" } ], "name": "branchArbitratorsID", "outputs": [ { "name": "", "type": "bytes32" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "inputs": [], "payable": false, "stateMutability": "nonpayable", "type": "constructor" }, { "anonymous": false, "inputs": [ { "indexed": false, "name": "hash", "type": "bytes32" }, { "indexed": false, "name": "whiteList_id", "type": "bytes32" } ], "name": "BranchCreated", "type": "event" }, { "constant": false, "inputs": [ { "name": "parentBranchHash", "type": "bytes32" }, { "name": "whitelist_id", "type": "bytes32" } ], "name": "createBranch", "outputs": [ { "name": "", "type": "bytes32" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "arbitrators", "type": "address[]" } ], "name": "createArbitratorWhitelist", "outputs": [ { "name": "", "type": "bytes32" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": true, "inputs": [ { "name": "arb", "type": "address" }, { "name": "branch", "type": "bytes32" } ], "name": "isArbitratorWhitelisted", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "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" }, { "constant": true, "inputs": [ { "name": "ts", "type": "uint256" }, { "name": "branch", "type": "bytes32" } ], "name": "isBranchCreatedAfterTS", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "branch", "type": "bytes32" } ], "name": "doesBranchExist", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "father", "type": "bytes32" }, { "name": "son", "type": "bytes32" } ], "name": "isFatherOfBranch", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "view", "type": "function" } ], "bytecode": "0x608060405260008080556001805463ffffffff19166201518017905560095534801561002a57600080fd5b5060015460009063ffffffff164281151561004157fe5b06420360085550604080517f49206c6561766520746f207365766572616c206675747572657320286e6f742081527f746f20616c6c29206d792067617264656e206f6620666f726b696e67207061746020808301919091527f68730000000000000000000000000000000000000000000000000000000000008284015282519182900360420182206000548383018290528385015283518084038501815260609093019384905282519093918291908401908083835b602083106101165780518252601f1990920191602091820191016100f7565b51815160209384036101000a600019018019909216911617905260408051929094018290039091206009818155600080549281526003845285812083905590548152600690925292902091909155505060015463ffffffff1690504281151561017b57fe5b6009805460009081526004602090815260408083209590940642039094558154815260058452918220829055600790925290547f6d5257204ebe7d88fd91ae87941cb2dd9d8062b64ae5a2bd2d28ec40b9fbf6df805460018101825592527fd9e659536a2f603b20938d4b8c1783b32b56367744f7b53b49ad35612a31e7ca9091015550610a1c8061020e6000396000f3006080604052600436106100f05763ffffffff7c01000000000000000000000000000000000000000000000000000000006000350416630236b81781146100f55780630614edef1461011f578063176b6f01146101745780631f932d7e146101895780632667404b146101a4578063406edd36146101d357806349469146146101ee5780634dd8aa0514610212578063530230711461022a5780636a6d7965146102585780636ceccf73146102735780638043e7711461028b578063c506d504146102af578063d6dc4edc146102c4578063dc4803d1146102d9578063f36b43cb146102f7578063fda412211461030f575b600080fd5b34801561010157600080fd5b5061010d600435610327565b60408051918252519081900360200190f35b34801561012b57600080fd5b506040805160206004803580820135838102808601850190965280855261010d953695939460249493850192918291850190849080828437509497506103399650505050505050565b34801561018057600080fd5b5061010d61052f565b34801561019557600080fd5b5061010d600435602435610535565b3480156101b057600080fd5b506101bf600435602435610565565b604080519115158252519081900360200190f35b3480156101df57600080fd5b506101bf6004356024356105a1565b3480156101fa57600080fd5b506101bf600160a060020a03600435166024356105e8565b34801561021e57600080fd5b506101bf60043561061c565b34801561023657600080fd5b5061023f61063e565b6040805163ffffffff9092168252519081900360200190f35b34801561026457600080fd5b5061010d60043560243561064a565b34801561027f57600080fd5b5061010d600435610951565b34801561029757600080fd5b506101bf600435600160a060020a0360243516610963565b3480156102bb57600080fd5b5061010d610983565b3480156102d057600080fd5b5061010d610989565b3480156102e557600080fd5b506101bf60043560243560443561098f565b34801561030357600080fd5b5061010d6004356109cc565b34801561031b57600080fd5b5061010d6004356109de565b60046020526000908152604090205481565b600080600083600081518110151561034d57fe5b906020019060200201516040516020018082600160a060020a0316600160a060020a03166c010000000000000000000000000281526014019150506040516020818303038152906040526040518082805190602001908083835b602083106103c65780518252601f1990920191602091820191016103a7565b6001836020036101000a03801982511681845116808217855250505050505090500191505060405180910390209150600190505b83518110156104c15781848281518110151561041257fe5b6020908102919091018101516040805180840194909452600160a060020a039091166c01000000000000000000000000028382015280518084036034018152605490930190819052825190918291908401908083835b602083106104875780518252601f199092019160209182019101610468565b5181516020939093036101000a600019018019909116921691909117905260405192018290039091209450505060019190910190506103fa565b5060005b83518110156105285760008281526002602052604081208551600192908790859081106104ee57fe5b602090810291909101810151600160a060020a03168252810191909152604001600020805460ff19169115159190911790556001016104c5565b5092915050565b60095481565b60076020528160005260406000208181548110151561055057fe5b90600052602060002001600091509150505481565b600154600854600083815260056020526040812054909263ffffffff168086039102909101106105975750600161059b565b5060005b92915050565b60005b8183146105df57600091825260036020526040909120546009549091908214156105da576009548314156105975750600161059b565b6105a4565b50600192915050565b600090815260066020908152604080832054835260028252808320600160a060020a03949094168352929052205460ff1690565b60095460009082148061059b5750506000908152600560205260408120541190565b60015463ffffffff1681565b604080516020808201859052818301849052825180830384018152606090920192839052815160009384938493909282918401908083835b602083106106a15780518252601f199092019160209182019101610682565b5181516020939093036101000a600019018019909116921691909117905260405192018290039091206000549095508514159250610752915050576040805160e560020a62461bcd02815260206004820152602760248201527f6272616e636820686173682073686f756c64206e6f7420626520746865204e5560448201527f4c4c5f4841534800000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600082815260056020526040902054156107b6576040805160e560020a62461bcd02815260206004820152601560248201527f6272616e6368206d757374206e6f742065786973740000000000000000000000604482015290519081900360640190fd5b6009548514806107d25750600085815260056020526040812054115b1515610828576040805160e560020a62461bcd02815260206004820152601860248201527f706172656e74206272616e6368206d7573742065786973740000000000000000604482015290519081900360640190fd5b5060008481526005602052604090205460018054600854919092019163ffffffff168202014210156108ca576040805160e560020a62461bcd02815260206004820152603a60248201527f7468657265206d757374206265206f6e65207765656b2064656c61792062657460448201527f7765656e20706172656e7420616e6420736f6e206272616e6368000000000000606482015290519081900360840190fd5b6000828152600360209081526040808320889055600682528083208790556005825280832084905583835260078252808320805460018101825590845292829020909201849055815184815290810186905281517f51bdc8a48ac6261405a7a60c923b1fae00465f13a9477a6278e851646a349621929181900390910190a1509392505050565b60056020526000908152604090205481565b600260209081526000928352604080842090915290825290205460ff1681565b60085481565b60005481565b6000825b8083146109bf57848114156109ab57600191506109c4565b600090815260036020526040902054610993565b600091505b509392505050565b60036020526000908152604090205481565b600660205260009081526040902054815600a165627a7a7230582063d273aa78bfd2078a4bee3fd16630872df881e9fb2ba2bb61f5890f11e6a1940029", "deployedBytecode": "0x6080604052600436106100f05763ffffffff7c01000000000000000000000000000000000000000000000000000000006000350416630236b81781146100f55780630614edef1461011f578063176b6f01146101745780631f932d7e146101895780632667404b146101a4578063406edd36146101d357806349469146146101ee5780634dd8aa0514610212578063530230711461022a5780636a6d7965146102585780636ceccf73146102735780638043e7711461028b578063c506d504146102af578063d6dc4edc146102c4578063dc4803d1146102d9578063f36b43cb146102f7578063fda412211461030f575b600080fd5b34801561010157600080fd5b5061010d600435610327565b60408051918252519081900360200190f35b34801561012b57600080fd5b506040805160206004803580820135838102808601850190965280855261010d953695939460249493850192918291850190849080828437509497506103399650505050505050565b34801561018057600080fd5b5061010d61052f565b34801561019557600080fd5b5061010d600435602435610535565b3480156101b057600080fd5b506101bf600435602435610565565b604080519115158252519081900360200190f35b3480156101df57600080fd5b506101bf6004356024356105a1565b3480156101fa57600080fd5b506101bf600160a060020a03600435166024356105e8565b34801561021e57600080fd5b506101bf60043561061c565b34801561023657600080fd5b5061023f61063e565b6040805163ffffffff9092168252519081900360200190f35b34801561026457600080fd5b5061010d60043560243561064a565b34801561027f57600080fd5b5061010d600435610951565b34801561029757600080fd5b506101bf600435600160a060020a0360243516610963565b3480156102bb57600080fd5b5061010d610983565b3480156102d057600080fd5b5061010d610989565b3480156102e557600080fd5b506101bf60043560243560443561098f565b34801561030357600080fd5b5061010d6004356109cc565b34801561031b57600080fd5b5061010d6004356109de565b60046020526000908152604090205481565b600080600083600081518110151561034d57fe5b906020019060200201516040516020018082600160a060020a0316600160a060020a03166c010000000000000000000000000281526014019150506040516020818303038152906040526040518082805190602001908083835b602083106103c65780518252601f1990920191602091820191016103a7565b6001836020036101000a03801982511681845116808217855250505050505090500191505060405180910390209150600190505b83518110156104c15781848281518110151561041257fe5b6020908102919091018101516040805180840194909452600160a060020a039091166c01000000000000000000000000028382015280518084036034018152605490930190819052825190918291908401908083835b602083106104875780518252601f199092019160209182019101610468565b5181516020939093036101000a600019018019909116921691909117905260405192018290039091209450505060019190910190506103fa565b5060005b83518110156105285760008281526002602052604081208551600192908790859081106104ee57fe5b602090810291909101810151600160a060020a03168252810191909152604001600020805460ff19169115159190911790556001016104c5565b5092915050565b60095481565b60076020528160005260406000208181548110151561055057fe5b90600052602060002001600091509150505481565b600154600854600083815260056020526040812054909263ffffffff168086039102909101106105975750600161059b565b5060005b92915050565b60005b8183146105df57600091825260036020526040909120546009549091908214156105da576009548314156105975750600161059b565b6105a4565b50600192915050565b600090815260066020908152604080832054835260028252808320600160a060020a03949094168352929052205460ff1690565b60095460009082148061059b5750506000908152600560205260408120541190565b60015463ffffffff1681565b604080516020808201859052818301849052825180830384018152606090920192839052815160009384938493909282918401908083835b602083106106a15780518252601f199092019160209182019101610682565b5181516020939093036101000a600019018019909116921691909117905260405192018290039091206000549095508514159250610752915050576040805160e560020a62461bcd02815260206004820152602760248201527f6272616e636820686173682073686f756c64206e6f7420626520746865204e5560448201527f4c4c5f4841534800000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600082815260056020526040902054156107b6576040805160e560020a62461bcd02815260206004820152601560248201527f6272616e6368206d757374206e6f742065786973740000000000000000000000604482015290519081900360640190fd5b6009548514806107d25750600085815260056020526040812054115b1515610828576040805160e560020a62461bcd02815260206004820152601860248201527f706172656e74206272616e6368206d7573742065786973740000000000000000604482015290519081900360640190fd5b5060008481526005602052604090205460018054600854919092019163ffffffff168202014210156108ca576040805160e560020a62461bcd02815260206004820152603a60248201527f7468657265206d757374206265206f6e65207765656b2064656c61792062657460448201527f7765656e20706172656e7420616e6420736f6e206272616e6368000000000000606482015290519081900360840190fd5b6000828152600360209081526040808320889055600682528083208790556005825280832084905583835260078252808320805460018101825590845292829020909201849055815184815290810186905281517f51bdc8a48ac6261405a7a60c923b1fae00465f13a9477a6278e851646a349621929181900390910190a1509392505050565b60056020526000908152604090205481565b600260209081526000928352604080842090915290825290205460ff1681565b60085481565b60005481565b6000825b8083146109bf57848114156109ab57600191506109c4565b600090815260036020526040902054610993565b600091505b509392505050565b60036020526000908152604090205481565b600660205260009081526040902054815600a165627a7a7230582063d273aa78bfd2078a4bee3fd16630872df881e9fb2ba2bb61f5890f11e6a1940029", "sourceMap": "27:4860:18:-;;;122:29;;;;157:36;;;-1:-1:-1;;157:36:18;188:5;157:36;;;892:42;;941:588;5:2:-1;;;;30:1;27;20:12;5:2;-1:-1;1014:14:18;;1039:25;;1014:14;;1008:3;:20;;;;;;;;1001:3;:28;976:22;:53;-1:-1:-1;1067:79:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1222:9:18;1186:46;;;;;;;;;;;;26:21:-1;;;22:32;;6:49;;1186:46:18;;;;;;;;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:18;;;;;;;;;;;;;1156:17;:77;;;-1:-1:-1;1282:9:18;;1244:35;;;:16;:35;;;;;:47;;;1321:17;;1301:38;;:19;:38;;;;;;:50;;;;-1:-1:-1;;274:1;1411:14:18;;;;-1:-1:-1;1405:3:18;: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:18;;;;;;;-1:-1:-1;27:4860:18;;;;;;", "deployedSourceMap": "27:4860:18:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;444:49;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;444:49:18;;;;;;;;;;;;;;;;;;;;;2875:542;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2875:542:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2875:542:18;;-1:-1:-1;2875:542:18;;-1:-1:-1;;;;;;;2875:542:18;892:42;;8:9:-1;5:2;;;30:1;27;20:12;5:2;892:42:18;;;;683:51;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;683:51:18;;;;;;;4087:257;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4087:257:18;;;;;;;;;;;;;;;;;;;;;;;;;4504:381;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4504:381:18;;;;;;;3423:176;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3423:176:18;-1:-1:-1;;;;;3423:176:18;;;;;;;4350:148;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4350:148:18;;;;;157:36;;8:9:-1;5:2;;;30:1;27;20:12;5:2;157:36:18;;;;;;;;;;;;;;;;;;;;;;;1535:1334;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1535:1334:18;;;;;;;523:46;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;523:46:18;;;;;254:68;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;254:68:18;;;-1:-1:-1;;;;;254:68:18;;;;;799:37;;8:9:-1;5:2;;;30:1;27;20:12;5:2;799:37:18;;;;122:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;122:29:18;;;;3606:475;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3606:475:18;;;;;;;;;359:52;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;359:52:18;;;;;595:54;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;595:54:18;;;;;444:49;;;;;;;;;;;;;:::o;2875:542::-;2953:7;3003:17;3081:6;3050:11;3062:1;3050:14;;;;;;;;;;;;;;;;;;3033:32;;;;;;-1:-1:-1;;;;;3033:32:18;-1:-1:-1;;;;;3033:32:18;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;3033:32:18;;;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:18;;;;;;;;;;;;;;;;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:18;;;;;;;;;;;26:21:-1;;;22:32;;6:49;;3156:43:18;;;;;;;;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:18;;;;;;;;;;;-1:-1:-1;;;274:1;3115:3:18;;;;;-1:-1:-1;3076:135:18;;;-1:-1:-1;3274:1:18;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:18;;;;;;;;;;;-1:-1:-1;3320:47:18;:54;;-1:-1:-1;;3320:54:18;;;;;;;;;;-1:-1:-1;3301:3:18;3265:120;;;-1:-1:-1;3401:9:18;2875:542;-1:-1:-1;;2875:542:18: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:18;4286:11;;4183:154;-1:-1:-1;4332:5:18;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:18;;4682:165;;;4742:17;;4732:27;;4728:119;;;-1:-1:-1;4788:4:18;4781:11;;4728:119;4605:253;;;-1:-1:-1;4874:4:18;4504:381;;;;:::o;3423:176::-;3515:4;3559:27;;;:19;:27;;;;;;;;;3538:49;;:20;:49;;;;;-1:-1:-1;;;;;3538:54:18;;;;;;;;;;;;;;3423:176::o;4350:148::-;4445:17;;4411:4;;4435:27;;;:55;;-1:-1:-1;;4489:1:18;4466:20;;;:12;:20;;;;;;:24;;4350:148::o;157:36::-;;;;;;:::o;1535:1334::-;1676:48;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;6:49;;1676:48:18;;;;;;;;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:18;;;;;;;;;;-1:-1:-1;1757:9:18;1666:59;;-1:-1:-1;1743:23:18;;;;-1:-1:-1;1735:75:18;;-1:-1:-1;;1735:75:18;;;;-1:-1:-1;;;;;1735:75:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1966:24;;;;:12;:24;;;;;;:29;1958:63;;;;;-1:-1:-1;;;;;1958:63:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;2059:17;;2039:37;;;:75;;-1:-1:-1;2113:1:18;2080:30;;;:12;:30;;;;;;:34;2039:75;2031:112;;;;;;;-1:-1:-1;;;;;2031:112:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2242:30:18;;;;: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:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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:18;;;;;;;;;;;;;2796;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2852:10:18;1535:1334;-1:-1:-1;;;1535:1334:18: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": [ 5927 ] }, "id": 5928, "nodeType": "SourceUnit", "nodes": [ { "id": 5512, "literals": [ "solidity", "^", "0.4", ".22" ], "nodeType": "PragmaDirective", "src": "0:24:18" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 5927, "linearizedBaseContracts": [ 5927 ], "name": "ForkonomicSystem", "nodeType": "ContractDefinition", "nodes": [ { "anonymous": false, "documentation": null, "id": 5518, "name": "BranchCreated", "nodeType": "EventDefinition", "parameters": { "id": 5517, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5514, "indexed": false, "name": "hash", "nodeType": "VariableDeclaration", "scope": 5518, "src": "80:12:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5513, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "80:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5516, "indexed": false, "name": "whiteList_id", "nodeType": "VariableDeclaration", "scope": 5518, "src": "94:20:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5515, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "94:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "79:36:18" }, "src": "60:56:18" }, { "constant": false, "id": 5521, "name": "NULL_HASH", "nodeType": "VariableDeclaration", "scope": 5927, "src": "122:29:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5519, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "122:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": { "argumentTypes": null, "hexValue": "", "id": 5520, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "149:2:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470", "typeString": "literal_string \"\"" }, "value": "" }, "visibility": "public" }, { "constant": false, "id": 5524, "name": "WINDOWTIMESPAN", "nodeType": "VariableDeclaration", "scope": 5927, "src": "157:36:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 5522, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "157:6:18", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": { "argumentTypes": null, "hexValue": "3836343030", "id": 5523, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "188:5:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_86400_by_1", "typeString": "int_const 86400" }, "value": "86400" }, "visibility": "public" }, { "constant": false, "id": 5530, "name": "arbitratorWhitelists", "nodeType": "VariableDeclaration", "scope": 5927, "src": "254:68:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" }, "typeName": { "id": 5529, "keyType": { "id": 5525, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "262:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "254:40:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" }, "valueType": { "id": 5528, "keyType": { "id": 5526, "name": "address", "nodeType": "ElementaryTypeName", "src": "279:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "271:22:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bool_$", "typeString": "mapping(address => bool)" }, "valueType": { "id": 5527, "name": "bool", "nodeType": "ElementaryTypeName", "src": "288:4:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 5534, "name": "branchParentHash", "nodeType": "VariableDeclaration", "scope": 5927, "src": "359:52:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "typeName": { "id": 5533, "keyType": { "id": 5531, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "367:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "359:28:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "valueType": { "id": 5532, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "379:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 5538, "name": "branchTimestamp", "nodeType": "VariableDeclaration", "scope": 5927, "src": "444:49:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "typeName": { "id": 5537, "keyType": { "id": 5535, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "452:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "444:26:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "valueType": { "id": 5536, "name": "uint", "nodeType": "ElementaryTypeName", "src": "464:4:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 5542, "name": "branchWindow", "nodeType": "VariableDeclaration", "scope": 5927, "src": "523:46:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "typeName": { "id": 5541, "keyType": { "id": 5539, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "531:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "523:26:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "valueType": { "id": 5540, "name": "uint", "nodeType": "ElementaryTypeName", "src": "543:4:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 5546, "name": "branchArbitratorsID", "nodeType": "VariableDeclaration", "scope": 5927, "src": "595:54:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "typeName": { "id": 5545, "keyType": { "id": 5543, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "603:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "595:27:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "valueType": { "id": 5544, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "614:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 5551, "name": "windowBranches", "nodeType": "VariableDeclaration", "scope": 5927, "src": "683:51:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[])" }, "typeName": { "id": 5550, "keyType": { "id": 5547, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "691:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Mapping", "src": "683:29:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[])" }, "valueType": { "baseType": { "id": 5548, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "702:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5549, "length": null, "nodeType": "ArrayTypeName", "src": "702:9:18", "typeDescriptions": { "typeIdentifier": "t_array$_t_bytes32_$dyn_storage_ptr", "typeString": "bytes32[]" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 5553, "name": "genesisWindowTimestamp", "nodeType": "VariableDeclaration", "scope": 5927, "src": "799:37:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5552, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "799:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 5556, "name": "genesisBranchHash", "nodeType": "VariableDeclaration", "scope": 5927, "src": "892:42:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5554, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "892:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": { "argumentTypes": null, "id": 5555, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5521, "src": "925:9:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "public" }, { "body": { "id": 5620, "nodeType": "Block", "src": "966:563:18", "statements": [ { "expression": { "argumentTypes": null, "id": 5566, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 5559, "name": "genesisWindowTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5553, "src": "976:22:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5565, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5560, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9182, "src": "1001:3:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5563, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5561, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9182, "src": "1008:3:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 5562, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5524, "src": "1014:14:18", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "1008:20:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 5564, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1007:22:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1001:28:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "976:53:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5567, "nodeType": "ExpressionStatement", "src": "976:53:18" }, { "assignments": [ 5569 ], "declarations": [ { "constant": false, "id": 5569, "name": "genesisMerkleRoot", "nodeType": "VariableDeclaration", "scope": 5621, "src": "1039:25:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5568, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1039:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 5573, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "49206c6561766520746f207365766572616c206675747572657320286e6f7420746f20616c6c29206d792067617264656e206f6620666f726b696e67207061746873", "id": 5571, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1077:68:18", "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": 5570, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9174, "src": "1067:9:18", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 5572, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1067:79:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "1039:107:18" }, { "expression": { "argumentTypes": null, "id": 5582, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 5574, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5556, "src": "1156:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 5578, "name": "genesisMerkleRoot", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5569, "src": "1203:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "id": 5579, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5521, "src": "1222:9:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "id": 5576, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9167, "src": "1186:3:18", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 5577, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1186:16:18", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 5580, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1186:46:18", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 5575, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9174, "src": "1176:9:18", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 5581, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1176:57:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1156:77:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5583, "nodeType": "ExpressionStatement", "src": "1156:77:18" }, { "expression": { "argumentTypes": null, "id": 5588, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5584, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5534, "src": "1244:16:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5586, "indexExpression": { "argumentTypes": null, "id": 5585, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5556, "src": "1261:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1244:35:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 5587, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5521, "src": "1282:9:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1244:47:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5589, "nodeType": "ExpressionStatement", "src": "1244:47:18" }, { "expression": { "argumentTypes": null, "id": 5594, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5590, "name": "branchArbitratorsID", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5546, "src": "1301:19:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5592, "indexExpression": { "argumentTypes": null, "id": 5591, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5556, "src": "1321:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1301:38:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 5593, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5521, "src": "1342:9:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1301:50:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5595, "nodeType": "ExpressionStatement", "src": "1301:50:18" }, { "expression": { "argumentTypes": null, "id": 5605, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5596, "name": "branchTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5538, "src": "1361:15:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5598, "indexExpression": { "argumentTypes": null, "id": 5597, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5556, "src": "1377:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1361:34:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5604, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5599, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9182, "src": "1398:3:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5602, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5600, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9182, "src": "1405:3:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 5601, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5524, "src": "1411:14:18", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "1405:20:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 5603, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1404:22:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1398:28:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1361:65:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5606, "nodeType": "ExpressionStatement", "src": "1361:65:18" }, { "expression": { "argumentTypes": null, "id": 5611, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5607, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5542, "src": "1436:12:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5609, "indexExpression": { "argumentTypes": null, "id": 5608, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5556, "src": "1449:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1436:31:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 5610, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1470:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1436:35:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5612, "nodeType": "ExpressionStatement", "src": "1436:35:18" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 5617, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5556, "src": "1504:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5613, "name": "windowBranches", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5551, "src": "1481:14:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[] storage ref)" } }, "id": 5615, "indexExpression": { "argumentTypes": null, "hexValue": "30", "id": 5614, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1496:1:18", "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:18", "typeDescriptions": { "typeIdentifier": "t_array$_t_bytes32_$dyn_storage", "typeString": "bytes32[] storage ref" } }, "id": 5616, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1481:22:18", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_bytes32_$returns$_t_uint256_$", "typeString": "function (bytes32) returns (uint256)" } }, "id": 5618, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1481:41:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5619, "nodeType": "ExpressionStatement", "src": "1481:41:18" } ] }, "documentation": null, "id": 5621, "implemented": true, "isConstructor": true, "isDeclaredConst": false, "modifiers": [], "name": "", "nodeType": "FunctionDefinition", "parameters": { "id": 5557, "nodeType": "ParameterList", "parameters": [], "src": "952:2:18" }, "payable": false, "returnParameters": { "id": 5558, "nodeType": "ParameterList", "parameters": [], "src": "966:0:18" }, "scope": 5927, "src": "941:588:18", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 5720, "nodeType": "Block", "src": "1634:1235:18", "statements": [ { "assignments": [ 5631 ], "declarations": [ { "constant": false, "id": 5631, "name": "branchHash", "nodeType": "VariableDeclaration", "scope": 5721, "src": "1645:18:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5630, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1645:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 5639, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 5635, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5623, "src": "1693:16:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "id": 5636, "name": "whitelist_id", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5625, "src": "1711:12:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "id": 5633, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9167, "src": "1676:3:18", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 5634, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1676:16:18", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 5637, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1676:48:18", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 5632, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9174, "src": "1666:9:18", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 5638, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1666:59:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "1645:80:18" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5643, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5641, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5631, "src": "1743:10:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "id": 5642, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5521, "src": "1757:9:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1743:23:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "6272616e636820686173682073686f756c64206e6f7420626520746865204e554c4c5f48415348", "id": 5644, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1768:41:18", "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": 5640, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 9183, 9184 ], "referencedDeclaration": 9184, "src": "1735:7:18", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 5645, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1735:75:18", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5646, "nodeType": "ExpressionStatement", "src": "1735:75:18" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5652, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5648, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5542, "src": "1966:12:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5650, "indexExpression": { "argumentTypes": null, "id": 5649, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5631, "src": "1979:10:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1966:24:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 5651, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1994:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1966:29:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "6272616e6368206d757374206e6f74206578697374", "id": 5653, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1997:23:18", "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": 5647, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 9183, 9184 ], "referencedDeclaration": 9184, "src": "1958:7:18", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 5654, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1958:63:18", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5655, "nodeType": "ExpressionStatement", "src": "1958:63:18" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 5665, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5659, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5657, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5623, "src": "2039:16:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5658, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5556, "src": "2059:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "2039:37:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5664, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5660, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5542, "src": "2080:12:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5662, "indexExpression": { "argumentTypes": null, "id": 5661, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5623, "src": "2093:16:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2080:30:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 5663, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2113:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2080:34:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "2039:75:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "706172656e74206272616e6368206d757374206578697374", "id": 5666, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2116:26:18", "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": 5656, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 9183, 9184 ], "referencedDeclaration": 9184, "src": "2031:7:18", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 5667, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2031:112:18", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5668, "nodeType": "ExpressionStatement", "src": "2031:112:18" }, { "assignments": [ 5670 ], "declarations": [ { "constant": false, "id": 5670, "name": "window", "nodeType": "VariableDeclaration", "scope": 5721, "src": "2225:14:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5669, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2225:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 5676, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5675, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5671, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5542, "src": "2242:12:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5673, "indexExpression": { "argumentTypes": null, "id": 5672, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5623, "src": "2255:16:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2242:30:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 5674, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2275:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2242:34:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2225:51:18" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5684, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5678, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9182, "src": "2294:3:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5683, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5679, "name": "genesisWindowTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5553, "src": "2301:22:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5682, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5680, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5524, "src": "2326:14:18", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 5681, "name": "window", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5670, "src": "2343:6:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2326:23:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2301:48:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2294:55:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "7468657265206d757374206265206f6e65207765656b2064656c6179206265747765656e20706172656e7420616e6420736f6e206272616e6368", "id": 5685, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2351:60:18", "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": 5677, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 9183, 9184 ], "referencedDeclaration": 9184, "src": "2286:7:18", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 5686, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2286:126:18", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5687, "nodeType": "ExpressionStatement", "src": "2286:126:18" }, { "expression": { "argumentTypes": null, "id": 5692, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5688, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5534, "src": "2423:16:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5690, "indexExpression": { "argumentTypes": null, "id": 5689, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5631, "src": "2440:10:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2423:28:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 5691, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5623, "src": "2454:16:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "2423:47:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5693, "nodeType": "ExpressionStatement", "src": "2423:47:18" }, { "expression": { "argumentTypes": null, "id": 5698, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5694, "name": "branchArbitratorsID", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5546, "src": "2480:19:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5696, "indexExpression": { "argumentTypes": null, "id": 5695, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5631, "src": "2500:10:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2480:31:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 5697, "name": "whitelist_id", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5625, "src": "2514:12:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "2480:46:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5699, "nodeType": "ExpressionStatement", "src": "2480:46:18" }, { "expression": { "argumentTypes": null, "id": 5704, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5700, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5542, "src": "2698:12:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5702, "indexExpression": { "argumentTypes": null, "id": 5701, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5631, "src": "2711:10:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2698:24:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 5703, "name": "window", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5670, "src": "2725:6:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2698:33:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5705, "nodeType": "ExpressionStatement", "src": "2698:33:18" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 5710, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5631, "src": "2769:10:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5706, "name": "windowBranches", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5551, "src": "2741:14:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[] storage ref)" } }, "id": 5708, "indexExpression": { "argumentTypes": null, "id": 5707, "name": "window", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5670, "src": "2756:6:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2741:22:18", "typeDescriptions": { "typeIdentifier": "t_array$_t_bytes32_$dyn_storage", "typeString": "bytes32[] storage ref" } }, "id": 5709, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2741:27:18", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_bytes32_$returns$_t_uint256_$", "typeString": "function (bytes32) returns (uint256)" } }, "id": 5711, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2741:39:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5712, "nodeType": "ExpressionStatement", "src": "2741:39:18" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 5714, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5631, "src": "2810:10:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "id": 5715, "name": "whitelist_id", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5625, "src": "2822:12:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "id": 5713, "name": "BranchCreated", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5518, "src": "2796:13:18", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_bytes32_$_t_bytes32_$returns$__$", "typeString": "function (bytes32,bytes32)" } }, "id": 5716, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2796:39:18", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5717, "nodeType": "EmitStatement", "src": "2791:44:18" }, { "expression": { "argumentTypes": null, "id": 5718, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5631, "src": "2852:10:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 5629, "id": 5719, "nodeType": "Return", "src": "2845:17:18" } ] }, "documentation": null, "id": 5721, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "createBranch", "nodeType": "FunctionDefinition", "parameters": { "id": 5626, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5623, "name": "parentBranchHash", "nodeType": "VariableDeclaration", "scope": 5721, "src": "1557:24:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5622, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1557:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5625, "name": "whitelist_id", "nodeType": "VariableDeclaration", "scope": 5721, "src": "1583:20:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5624, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1583:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "1556:48:18" }, "payable": false, "returnParameters": { "id": 5629, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5628, "name": "", "nodeType": "VariableDeclaration", "scope": 5721, "src": "1625:7:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5627, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1625:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "1624:9:18" }, "scope": 5927, "src": "1535:1334:18", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 5790, "nodeType": "Block", "src": "2962:455:18", "statements": [ { "assignments": [ 5730 ], "declarations": [ { "constant": false, "id": 5730, "name": "prev_hash", "nodeType": "VariableDeclaration", "scope": 5791, "src": "3003:17:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5729, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3003:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 5739, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5734, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5724, "src": "3050:11:18", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 5736, "indexExpression": { "argumentTypes": null, "hexValue": "30", "id": 5735, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3062:1:18", "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:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "expression": { "argumentTypes": null, "id": 5732, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9167, "src": "3033:3:18", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 5733, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3033:16:18", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 5737, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3033:32:18", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 5731, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9174, "src": "3023:9:18", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 5738, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3023:43:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "3003:63:18" }, { "body": { "id": 5763, "nodeType": "Block", "src": "3120:91:18", "statements": [ { "expression": { "argumentTypes": null, "id": 5761, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 5751, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5730, "src": "3134:9:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 5755, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5730, "src": "3173:9:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5756, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5724, "src": "3184:11:18", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 5758, "indexExpression": { "argumentTypes": null, "id": 5757, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5741, "src": "3196:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3184:14:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_address", "typeString": "address" } ], "expression": { "argumentTypes": null, "id": 5753, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9167, "src": "3156:3:18", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 5754, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3156:16:18", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 5759, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3156:43:18", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 5752, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9174, "src": "3146:9:18", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 5760, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3146:54:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3134:66:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5762, "nodeType": "ExpressionStatement", "src": "3134:66:18" } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5747, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5744, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5741, "src": "3091:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 5745, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5724, "src": "3095:11:18", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 5746, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3095:18:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3091:22:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5764, "initializationExpression": { "assignments": [ 5741 ], "declarations": [ { "constant": false, "id": 5741, "name": "i", "nodeType": "VariableDeclaration", "scope": 5791, "src": "3081:6:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5740, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3081:4:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 5743, "initialValue": { "argumentTypes": null, "hexValue": "31", "id": 5742, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3088:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "nodeType": "VariableDeclarationStatement", "src": "3081:8:18" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 5749, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "3115:3:18", "subExpression": { "argumentTypes": null, "id": 5748, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5741, "src": "3115:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5750, "nodeType": "ExpressionStatement", "src": "3115:3:18" }, "nodeType": "ForStatement", "src": "3076:135:18" }, { "body": { "id": 5786, "nodeType": "Block", "src": "3306:79:18", "statements": [ { "expression": { "argumentTypes": null, "id": 5784, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5776, "name": "arbitratorWhitelists", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5530, "src": "3320:20:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" } }, "id": 5781, "indexExpression": { "argumentTypes": null, "id": 5777, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5730, "src": "3341:9:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3320:31:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bool_$", "typeString": "mapping(address => bool)" } }, "id": 5782, "indexExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5778, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5724, "src": "3352:11:18", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 5780, "indexExpression": { "argumentTypes": null, "id": 5779, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5741, "src": "3364:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3352:14:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "3320:47:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "74727565", "id": 5783, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3370:4:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "src": "3320:54:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5785, "nodeType": "ExpressionStatement", "src": "3320:54:18" } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5772, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5769, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5741, "src": "3277:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 5770, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5724, "src": "3281:11:18", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 5771, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3281:18:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3277:22:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5787, "initializationExpression": { "expression": { "argumentTypes": null, "id": 5767, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 5765, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5741, "src": "3270:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 5766, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3274:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3270:5:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5768, "nodeType": "ExpressionStatement", "src": "3270:5:18" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 5774, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "3301:3:18", "subExpression": { "argumentTypes": null, "id": 5773, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5741, "src": "3301:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5775, "nodeType": "ExpressionStatement", "src": "3301:3:18" }, "nodeType": "ForStatement", "src": "3265:120:18" }, { "expression": { "argumentTypes": null, "id": 5788, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5730, "src": "3401:9:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 5728, "id": 5789, "nodeType": "Return", "src": "3394:16:18" } ] }, "documentation": null, "id": 5791, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "createArbitratorWhitelist", "nodeType": "FunctionDefinition", "parameters": { "id": 5725, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5724, "name": "arbitrators", "nodeType": "VariableDeclaration", "scope": 5791, "src": "2910:21:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[]" }, "typeName": { "baseType": { "id": 5722, "name": "address", "nodeType": "ElementaryTypeName", "src": "2910:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 5723, "length": null, "nodeType": "ArrayTypeName", "src": "2910:9:18", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_storage_ptr", "typeString": "address[]" } }, "value": null, "visibility": "internal" } ], "src": "2909:23:18" }, "payable": false, "returnParameters": { "id": 5728, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5727, "name": "", "nodeType": "VariableDeclaration", "scope": 5791, "src": "2953:7:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5726, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "2953:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "2952:9:18" }, "scope": 5927, "src": "2875:542:18", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 5808, "nodeType": "Block", "src": "3521:78:18", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5800, "name": "arbitratorWhitelists", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5530, "src": "3538:20:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" } }, "id": 5804, "indexExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5801, "name": "branchArbitratorsID", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5546, "src": "3559:19:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5803, "indexExpression": { "argumentTypes": null, "id": 5802, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5795, "src": "3579:6:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3559:27:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3538:49:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bool_$", "typeString": "mapping(address => bool)" } }, "id": 5806, "indexExpression": { "argumentTypes": null, "id": 5805, "name": "arb", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5793, "src": "3588:3:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3538:54:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 5799, "id": 5807, "nodeType": "Return", "src": "3531:61:18" } ] }, "documentation": null, "id": 5809, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isArbitratorWhitelisted", "nodeType": "FunctionDefinition", "parameters": { "id": 5796, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5793, "name": "arb", "nodeType": "VariableDeclaration", "scope": 5809, "src": "3456:11:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 5792, "name": "address", "nodeType": "ElementaryTypeName", "src": "3456:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5795, "name": "branch", "nodeType": "VariableDeclaration", "scope": 5809, "src": "3469:14:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5794, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3469:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "3455:29:18" }, "payable": false, "returnParameters": { "id": 5799, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5798, "name": "", "nodeType": "VariableDeclaration", "scope": 5809, "src": "3515:4:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 5797, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3515:4:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3514:6:18" }, "scope": 5927, "src": "3423:176:18", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 5845, "nodeType": "Block", "src": "3756:325:18", "statements": [ { "assignments": [ 5821 ], "declarations": [ { "constant": false, "id": 5821, "name": "iterationHash", "nodeType": "VariableDeclaration", "scope": 5846, "src": "3766:21:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5820, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3766:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 5823, "initialValue": { "argumentTypes": null, "id": 5822, "name": "closerToRootHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5813, "src": "3790:16:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "3766:40:18" }, { "body": { "id": 5841, "nodeType": "Block", "src": "3859:194:18", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5829, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5827, "name": "investigationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5811, "src": "3877:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5828, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5821, "src": "3898:13:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3877:34:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 5839, "nodeType": "Block", "src": "3963:80:18", "statements": [ { "expression": { "argumentTypes": null, "id": 5837, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 5833, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5821, "src": "3981:13:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5834, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5534, "src": "3997:16:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5836, "indexExpression": { "argumentTypes": null, "id": 5835, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5821, "src": "4014:13:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3997:31:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3981:47:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5838, "nodeType": "ExpressionStatement", "src": "3981:47:18" } ] }, "id": 5840, "nodeType": "IfStatement", "src": "3873:170:18", "trueBody": { "id": 5832, "nodeType": "Block", "src": "3913:44:18", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 5830, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3938:4:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 5819, "id": 5831, "nodeType": "Return", "src": "3931:11:18" } ] } } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5826, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5824, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5821, "src": "3823:13:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "id": 5825, "name": "fartherToRootHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5815, "src": "3840:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3823:34:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5842, "nodeType": "WhileStatement", "src": "3816:237:18" }, { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 5843, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4069:5:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 5819, "id": 5844, "nodeType": "Return", "src": "4062:12:18" } ] }, "documentation": null, "id": 5846, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isBranchInBetweenBranches", "nodeType": "FunctionDefinition", "parameters": { "id": 5816, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5811, "name": "investigationHash", "nodeType": "VariableDeclaration", "scope": 5846, "src": "3641:25:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5810, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3641:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5813, "name": "closerToRootHash", "nodeType": "VariableDeclaration", "scope": 5846, "src": "3668:24:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5812, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3668:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5815, "name": "fartherToRootHash", "nodeType": "VariableDeclaration", "scope": 5846, "src": "3694:25:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5814, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3694:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "3640:80:18" }, "payable": false, "returnParameters": { "id": 5819, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5818, "name": "", "nodeType": "VariableDeclaration", "scope": 5846, "src": "3750:4:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 5817, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3750:4:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3749:6:18" }, "scope": 5927, "src": "3606:475:18", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 5871, "nodeType": "Block", "src": "4173:171:18", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5865, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5861, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5859, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5855, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5542, "src": "4187:12:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5857, "indexExpression": { "argumentTypes": null, "id": 5856, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5850, "src": "4200:6:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4187:20:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 5858, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5524, "src": "4210:14:18", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "4187:37:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 5860, "name": "genesisWindowTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5553, "src": "4227:22:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4187:62:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5864, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5862, "name": "ts", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5848, "src": "4253:2:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 5863, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5524, "src": "4258:14:18", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "4253:19:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4187:85:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 5868, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4332:5:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 5854, "id": 5869, "nodeType": "Return", "src": "4325:12:18" }, "id": 5870, "nodeType": "IfStatement", "src": "4183:154:18", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 5866, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4293:4:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 5854, "id": 5867, "nodeType": "Return", "src": "4286:11:18" } } ] }, "documentation": null, "id": 5872, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isBranchCreatedAfterTS", "nodeType": "FunctionDefinition", "parameters": { "id": 5851, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5848, "name": "ts", "nodeType": "VariableDeclaration", "scope": 5872, "src": "4119:10:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5847, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4119:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5850, "name": "branch", "nodeType": "VariableDeclaration", "scope": 5872, "src": "4131:14:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5849, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4131:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "4118:28:18" }, "payable": false, "returnParameters": { "id": 5854, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5853, "name": "", "nodeType": "VariableDeclaration", "scope": 5872, "src": "4167:4:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 5852, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4167:4:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4166:6:18" }, "scope": 5927, "src": "4087:257:18", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 5890, "nodeType": "Block", "src": "4417:81:18", "statements": [ { "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 5887, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5881, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5879, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5874, "src": "4435:6:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5880, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5556, "src": "4445:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4435:27:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5886, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5882, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5542, "src": "4466:12:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5884, "indexExpression": { "argumentTypes": null, "id": 5883, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5874, "src": "4479:6:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4466:20:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 5885, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4489:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "4466:24:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "4435:55:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 5888, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "4434:57:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 5878, "id": 5889, "nodeType": "Return", "src": "4427:64:18" } ] }, "documentation": null, "id": 5891, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "doesBranchExist", "nodeType": "FunctionDefinition", "parameters": { "id": 5875, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5874, "name": "branch", "nodeType": "VariableDeclaration", "scope": 5891, "src": "4375:14:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5873, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4375:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "4374:16:18" }, "payable": false, "returnParameters": { "id": 5878, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5877, "name": "", "nodeType": "VariableDeclaration", "scope": 5891, "src": "4411:4:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 5876, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4411:4:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4410:6:18" }, "scope": 5927, "src": "4350:148:18", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 5925, "nodeType": "Block", "src": "4594:291:18", "statements": [ { "body": { "id": 5921, "nodeType": "Block", "src": "4627:231:18", "statements": [ { "expression": { "argumentTypes": null, "id": 5907, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 5903, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5895, "src": "4641:3:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5904, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5534, "src": "4647:16:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5906, "indexExpression": { "argumentTypes": null, "id": 5905, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5895, "src": "4664:3:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4647:21:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4641:27:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5908, "nodeType": "ExpressionStatement", "src": "4641:27:18" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5911, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5909, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5895, "src": "4686:3:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5910, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5556, "src": "4693:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4686:24:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 5920, "nodeType": "IfStatement", "src": "4682:165:18", "trueBody": { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5914, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5912, "name": "father", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5893, "src": "4732:6:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5913, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5556, "src": "4742:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4732:27:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 5917, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4842:5:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 5899, "id": 5918, "nodeType": "Return", "src": "4835:12:18" }, "id": 5919, "nodeType": "IfStatement", "src": "4728:119:18", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 5915, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4788:4:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 5899, "id": 5916, "nodeType": "Return", "src": "4781:11:18" } } } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5902, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5900, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5895, "src": "4612:3:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "id": 5901, "name": "father", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5893, "src": "4619:6:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4612:13:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5922, "nodeType": "WhileStatement", "src": "4605:253:18" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 5923, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4874:4:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 5899, "id": 5924, "nodeType": "Return", "src": "4867:11:18" } ] }, "documentation": null, "id": 5926, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isFatherOfBranch", "nodeType": "FunctionDefinition", "parameters": { "id": 5896, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5893, "name": "father", "nodeType": "VariableDeclaration", "scope": 5926, "src": "4530:14:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5892, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4530:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5895, "name": "son", "nodeType": "VariableDeclaration", "scope": 5926, "src": "4546:11:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5894, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4546:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "4529:29:18" }, "payable": false, "returnParameters": { "id": 5899, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5898, "name": "", "nodeType": "VariableDeclaration", "scope": 5926, "src": "4588:4:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 5897, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4588:4:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4587:6:18" }, "scope": 5927, "src": "4504:381:18", "stateMutability": "view", "superFunction": null, "visibility": "public" } ], "scope": 5928, "src": "27:4860:18" } ], "src": "0:4888:18" }, "legacyAST": { "absolutePath": "@josojo/forkonomics-contracts/contracts/ForkonomicSystem.sol", "exportedSymbols": { "ForkonomicSystem": [ 5927 ] }, "id": 5928, "nodeType": "SourceUnit", "nodes": [ { "id": 5512, "literals": [ "solidity", "^", "0.4", ".22" ], "nodeType": "PragmaDirective", "src": "0:24:18" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 5927, "linearizedBaseContracts": [ 5927 ], "name": "ForkonomicSystem", "nodeType": "ContractDefinition", "nodes": [ { "anonymous": false, "documentation": null, "id": 5518, "name": "BranchCreated", "nodeType": "EventDefinition", "parameters": { "id": 5517, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5514, "indexed": false, "name": "hash", "nodeType": "VariableDeclaration", "scope": 5518, "src": "80:12:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5513, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "80:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5516, "indexed": false, "name": "whiteList_id", "nodeType": "VariableDeclaration", "scope": 5518, "src": "94:20:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5515, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "94:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "79:36:18" }, "src": "60:56:18" }, { "constant": false, "id": 5521, "name": "NULL_HASH", "nodeType": "VariableDeclaration", "scope": 5927, "src": "122:29:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5519, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "122:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": { "argumentTypes": null, "hexValue": "", "id": 5520, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "149:2:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470", "typeString": "literal_string \"\"" }, "value": "" }, "visibility": "public" }, { "constant": false, "id": 5524, "name": "WINDOWTIMESPAN", "nodeType": "VariableDeclaration", "scope": 5927, "src": "157:36:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 5522, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "157:6:18", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": { "argumentTypes": null, "hexValue": "3836343030", "id": 5523, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "188:5:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_86400_by_1", "typeString": "int_const 86400" }, "value": "86400" }, "visibility": "public" }, { "constant": false, "id": 5530, "name": "arbitratorWhitelists", "nodeType": "VariableDeclaration", "scope": 5927, "src": "254:68:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" }, "typeName": { "id": 5529, "keyType": { "id": 5525, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "262:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "254:40:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" }, "valueType": { "id": 5528, "keyType": { "id": 5526, "name": "address", "nodeType": "ElementaryTypeName", "src": "279:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "271:22:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bool_$", "typeString": "mapping(address => bool)" }, "valueType": { "id": 5527, "name": "bool", "nodeType": "ElementaryTypeName", "src": "288:4:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 5534, "name": "branchParentHash", "nodeType": "VariableDeclaration", "scope": 5927, "src": "359:52:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "typeName": { "id": 5533, "keyType": { "id": 5531, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "367:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "359:28:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "valueType": { "id": 5532, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "379:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 5538, "name": "branchTimestamp", "nodeType": "VariableDeclaration", "scope": 5927, "src": "444:49:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "typeName": { "id": 5537, "keyType": { "id": 5535, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "452:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "444:26:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "valueType": { "id": 5536, "name": "uint", "nodeType": "ElementaryTypeName", "src": "464:4:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 5542, "name": "branchWindow", "nodeType": "VariableDeclaration", "scope": 5927, "src": "523:46:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "typeName": { "id": 5541, "keyType": { "id": 5539, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "531:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "523:26:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "valueType": { "id": 5540, "name": "uint", "nodeType": "ElementaryTypeName", "src": "543:4:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 5546, "name": "branchArbitratorsID", "nodeType": "VariableDeclaration", "scope": 5927, "src": "595:54:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "typeName": { "id": 5545, "keyType": { "id": 5543, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "603:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "595:27:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "valueType": { "id": 5544, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "614:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 5551, "name": "windowBranches", "nodeType": "VariableDeclaration", "scope": 5927, "src": "683:51:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[])" }, "typeName": { "id": 5550, "keyType": { "id": 5547, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "691:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Mapping", "src": "683:29:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[])" }, "valueType": { "baseType": { "id": 5548, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "702:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5549, "length": null, "nodeType": "ArrayTypeName", "src": "702:9:18", "typeDescriptions": { "typeIdentifier": "t_array$_t_bytes32_$dyn_storage_ptr", "typeString": "bytes32[]" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 5553, "name": "genesisWindowTimestamp", "nodeType": "VariableDeclaration", "scope": 5927, "src": "799:37:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5552, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "799:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 5556, "name": "genesisBranchHash", "nodeType": "VariableDeclaration", "scope": 5927, "src": "892:42:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5554, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "892:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": { "argumentTypes": null, "id": 5555, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5521, "src": "925:9:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "public" }, { "body": { "id": 5620, "nodeType": "Block", "src": "966:563:18", "statements": [ { "expression": { "argumentTypes": null, "id": 5566, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 5559, "name": "genesisWindowTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5553, "src": "976:22:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5565, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5560, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9182, "src": "1001:3:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5563, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5561, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9182, "src": "1008:3:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 5562, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5524, "src": "1014:14:18", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "1008:20:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 5564, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1007:22:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1001:28:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "976:53:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5567, "nodeType": "ExpressionStatement", "src": "976:53:18" }, { "assignments": [ 5569 ], "declarations": [ { "constant": false, "id": 5569, "name": "genesisMerkleRoot", "nodeType": "VariableDeclaration", "scope": 5621, "src": "1039:25:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5568, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1039:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 5573, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "49206c6561766520746f207365766572616c206675747572657320286e6f7420746f20616c6c29206d792067617264656e206f6620666f726b696e67207061746873", "id": 5571, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1077:68:18", "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": 5570, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9174, "src": "1067:9:18", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 5572, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1067:79:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "1039:107:18" }, { "expression": { "argumentTypes": null, "id": 5582, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 5574, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5556, "src": "1156:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 5578, "name": "genesisMerkleRoot", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5569, "src": "1203:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "id": 5579, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5521, "src": "1222:9:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "id": 5576, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9167, "src": "1186:3:18", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 5577, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1186:16:18", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 5580, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1186:46:18", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 5575, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9174, "src": "1176:9:18", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 5581, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1176:57:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1156:77:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5583, "nodeType": "ExpressionStatement", "src": "1156:77:18" }, { "expression": { "argumentTypes": null, "id": 5588, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5584, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5534, "src": "1244:16:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5586, "indexExpression": { "argumentTypes": null, "id": 5585, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5556, "src": "1261:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1244:35:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 5587, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5521, "src": "1282:9:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1244:47:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5589, "nodeType": "ExpressionStatement", "src": "1244:47:18" }, { "expression": { "argumentTypes": null, "id": 5594, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5590, "name": "branchArbitratorsID", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5546, "src": "1301:19:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5592, "indexExpression": { "argumentTypes": null, "id": 5591, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5556, "src": "1321:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1301:38:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 5593, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5521, "src": "1342:9:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1301:50:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5595, "nodeType": "ExpressionStatement", "src": "1301:50:18" }, { "expression": { "argumentTypes": null, "id": 5605, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5596, "name": "branchTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5538, "src": "1361:15:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5598, "indexExpression": { "argumentTypes": null, "id": 5597, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5556, "src": "1377:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1361:34:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5604, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5599, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9182, "src": "1398:3:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5602, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5600, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9182, "src": "1405:3:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 5601, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5524, "src": "1411:14:18", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "1405:20:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 5603, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1404:22:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1398:28:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1361:65:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5606, "nodeType": "ExpressionStatement", "src": "1361:65:18" }, { "expression": { "argumentTypes": null, "id": 5611, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5607, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5542, "src": "1436:12:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5609, "indexExpression": { "argumentTypes": null, "id": 5608, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5556, "src": "1449:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1436:31:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 5610, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1470:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1436:35:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5612, "nodeType": "ExpressionStatement", "src": "1436:35:18" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 5617, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5556, "src": "1504:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5613, "name": "windowBranches", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5551, "src": "1481:14:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[] storage ref)" } }, "id": 5615, "indexExpression": { "argumentTypes": null, "hexValue": "30", "id": 5614, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1496:1:18", "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:18", "typeDescriptions": { "typeIdentifier": "t_array$_t_bytes32_$dyn_storage", "typeString": "bytes32[] storage ref" } }, "id": 5616, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1481:22:18", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_bytes32_$returns$_t_uint256_$", "typeString": "function (bytes32) returns (uint256)" } }, "id": 5618, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1481:41:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5619, "nodeType": "ExpressionStatement", "src": "1481:41:18" } ] }, "documentation": null, "id": 5621, "implemented": true, "isConstructor": true, "isDeclaredConst": false, "modifiers": [], "name": "", "nodeType": "FunctionDefinition", "parameters": { "id": 5557, "nodeType": "ParameterList", "parameters": [], "src": "952:2:18" }, "payable": false, "returnParameters": { "id": 5558, "nodeType": "ParameterList", "parameters": [], "src": "966:0:18" }, "scope": 5927, "src": "941:588:18", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 5720, "nodeType": "Block", "src": "1634:1235:18", "statements": [ { "assignments": [ 5631 ], "declarations": [ { "constant": false, "id": 5631, "name": "branchHash", "nodeType": "VariableDeclaration", "scope": 5721, "src": "1645:18:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5630, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1645:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 5639, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 5635, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5623, "src": "1693:16:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "id": 5636, "name": "whitelist_id", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5625, "src": "1711:12:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "id": 5633, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9167, "src": "1676:3:18", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 5634, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1676:16:18", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 5637, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1676:48:18", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 5632, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9174, "src": "1666:9:18", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 5638, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1666:59:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "1645:80:18" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5643, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5641, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5631, "src": "1743:10:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "id": 5642, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5521, "src": "1757:9:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1743:23:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "6272616e636820686173682073686f756c64206e6f7420626520746865204e554c4c5f48415348", "id": 5644, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1768:41:18", "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": 5640, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 9183, 9184 ], "referencedDeclaration": 9184, "src": "1735:7:18", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 5645, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1735:75:18", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5646, "nodeType": "ExpressionStatement", "src": "1735:75:18" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5652, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5648, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5542, "src": "1966:12:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5650, "indexExpression": { "argumentTypes": null, "id": 5649, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5631, "src": "1979:10:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1966:24:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 5651, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1994:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1966:29:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "6272616e6368206d757374206e6f74206578697374", "id": 5653, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1997:23:18", "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": 5647, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 9183, 9184 ], "referencedDeclaration": 9184, "src": "1958:7:18", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 5654, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1958:63:18", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5655, "nodeType": "ExpressionStatement", "src": "1958:63:18" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 5665, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5659, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5657, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5623, "src": "2039:16:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5658, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5556, "src": "2059:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "2039:37:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5664, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5660, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5542, "src": "2080:12:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5662, "indexExpression": { "argumentTypes": null, "id": 5661, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5623, "src": "2093:16:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2080:30:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 5663, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2113:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2080:34:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "2039:75:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "706172656e74206272616e6368206d757374206578697374", "id": 5666, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2116:26:18", "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": 5656, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 9183, 9184 ], "referencedDeclaration": 9184, "src": "2031:7:18", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 5667, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2031:112:18", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5668, "nodeType": "ExpressionStatement", "src": "2031:112:18" }, { "assignments": [ 5670 ], "declarations": [ { "constant": false, "id": 5670, "name": "window", "nodeType": "VariableDeclaration", "scope": 5721, "src": "2225:14:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5669, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2225:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 5676, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5675, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5671, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5542, "src": "2242:12:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5673, "indexExpression": { "argumentTypes": null, "id": 5672, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5623, "src": "2255:16:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2242:30:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 5674, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2275:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2242:34:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2225:51:18" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5684, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5678, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9182, "src": "2294:3:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5683, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5679, "name": "genesisWindowTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5553, "src": "2301:22:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5682, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5680, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5524, "src": "2326:14:18", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 5681, "name": "window", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5670, "src": "2343:6:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2326:23:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2301:48:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2294:55:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "7468657265206d757374206265206f6e65207765656b2064656c6179206265747765656e20706172656e7420616e6420736f6e206272616e6368", "id": 5685, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2351:60:18", "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": 5677, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 9183, 9184 ], "referencedDeclaration": 9184, "src": "2286:7:18", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 5686, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2286:126:18", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5687, "nodeType": "ExpressionStatement", "src": "2286:126:18" }, { "expression": { "argumentTypes": null, "id": 5692, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5688, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5534, "src": "2423:16:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5690, "indexExpression": { "argumentTypes": null, "id": 5689, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5631, "src": "2440:10:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2423:28:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 5691, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5623, "src": "2454:16:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "2423:47:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5693, "nodeType": "ExpressionStatement", "src": "2423:47:18" }, { "expression": { "argumentTypes": null, "id": 5698, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5694, "name": "branchArbitratorsID", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5546, "src": "2480:19:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5696, "indexExpression": { "argumentTypes": null, "id": 5695, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5631, "src": "2500:10:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2480:31:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 5697, "name": "whitelist_id", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5625, "src": "2514:12:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "2480:46:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5699, "nodeType": "ExpressionStatement", "src": "2480:46:18" }, { "expression": { "argumentTypes": null, "id": 5704, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5700, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5542, "src": "2698:12:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5702, "indexExpression": { "argumentTypes": null, "id": 5701, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5631, "src": "2711:10:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2698:24:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 5703, "name": "window", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5670, "src": "2725:6:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2698:33:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5705, "nodeType": "ExpressionStatement", "src": "2698:33:18" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 5710, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5631, "src": "2769:10:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5706, "name": "windowBranches", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5551, "src": "2741:14:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[] storage ref)" } }, "id": 5708, "indexExpression": { "argumentTypes": null, "id": 5707, "name": "window", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5670, "src": "2756:6:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2741:22:18", "typeDescriptions": { "typeIdentifier": "t_array$_t_bytes32_$dyn_storage", "typeString": "bytes32[] storage ref" } }, "id": 5709, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2741:27:18", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_bytes32_$returns$_t_uint256_$", "typeString": "function (bytes32) returns (uint256)" } }, "id": 5711, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2741:39:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5712, "nodeType": "ExpressionStatement", "src": "2741:39:18" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 5714, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5631, "src": "2810:10:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "id": 5715, "name": "whitelist_id", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5625, "src": "2822:12:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "id": 5713, "name": "BranchCreated", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5518, "src": "2796:13:18", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_bytes32_$_t_bytes32_$returns$__$", "typeString": "function (bytes32,bytes32)" } }, "id": 5716, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2796:39:18", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5717, "nodeType": "EmitStatement", "src": "2791:44:18" }, { "expression": { "argumentTypes": null, "id": 5718, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5631, "src": "2852:10:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 5629, "id": 5719, "nodeType": "Return", "src": "2845:17:18" } ] }, "documentation": null, "id": 5721, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "createBranch", "nodeType": "FunctionDefinition", "parameters": { "id": 5626, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5623, "name": "parentBranchHash", "nodeType": "VariableDeclaration", "scope": 5721, "src": "1557:24:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5622, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1557:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5625, "name": "whitelist_id", "nodeType": "VariableDeclaration", "scope": 5721, "src": "1583:20:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5624, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1583:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "1556:48:18" }, "payable": false, "returnParameters": { "id": 5629, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5628, "name": "", "nodeType": "VariableDeclaration", "scope": 5721, "src": "1625:7:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5627, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1625:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "1624:9:18" }, "scope": 5927, "src": "1535:1334:18", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 5790, "nodeType": "Block", "src": "2962:455:18", "statements": [ { "assignments": [ 5730 ], "declarations": [ { "constant": false, "id": 5730, "name": "prev_hash", "nodeType": "VariableDeclaration", "scope": 5791, "src": "3003:17:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5729, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3003:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 5739, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5734, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5724, "src": "3050:11:18", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 5736, "indexExpression": { "argumentTypes": null, "hexValue": "30", "id": 5735, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3062:1:18", "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:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "expression": { "argumentTypes": null, "id": 5732, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9167, "src": "3033:3:18", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 5733, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3033:16:18", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 5737, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3033:32:18", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 5731, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9174, "src": "3023:9:18", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 5738, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3023:43:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "3003:63:18" }, { "body": { "id": 5763, "nodeType": "Block", "src": "3120:91:18", "statements": [ { "expression": { "argumentTypes": null, "id": 5761, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 5751, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5730, "src": "3134:9:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 5755, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5730, "src": "3173:9:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5756, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5724, "src": "3184:11:18", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 5758, "indexExpression": { "argumentTypes": null, "id": 5757, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5741, "src": "3196:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3184:14:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_address", "typeString": "address" } ], "expression": { "argumentTypes": null, "id": 5753, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9167, "src": "3156:3:18", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 5754, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3156:16:18", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 5759, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3156:43:18", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 5752, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9174, "src": "3146:9:18", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 5760, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3146:54:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3134:66:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5762, "nodeType": "ExpressionStatement", "src": "3134:66:18" } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5747, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5744, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5741, "src": "3091:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 5745, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5724, "src": "3095:11:18", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 5746, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3095:18:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3091:22:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5764, "initializationExpression": { "assignments": [ 5741 ], "declarations": [ { "constant": false, "id": 5741, "name": "i", "nodeType": "VariableDeclaration", "scope": 5791, "src": "3081:6:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5740, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3081:4:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 5743, "initialValue": { "argumentTypes": null, "hexValue": "31", "id": 5742, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3088:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "nodeType": "VariableDeclarationStatement", "src": "3081:8:18" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 5749, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "3115:3:18", "subExpression": { "argumentTypes": null, "id": 5748, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5741, "src": "3115:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5750, "nodeType": "ExpressionStatement", "src": "3115:3:18" }, "nodeType": "ForStatement", "src": "3076:135:18" }, { "body": { "id": 5786, "nodeType": "Block", "src": "3306:79:18", "statements": [ { "expression": { "argumentTypes": null, "id": 5784, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5776, "name": "arbitratorWhitelists", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5530, "src": "3320:20:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" } }, "id": 5781, "indexExpression": { "argumentTypes": null, "id": 5777, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5730, "src": "3341:9:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3320:31:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bool_$", "typeString": "mapping(address => bool)" } }, "id": 5782, "indexExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5778, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5724, "src": "3352:11:18", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 5780, "indexExpression": { "argumentTypes": null, "id": 5779, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5741, "src": "3364:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3352:14:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "3320:47:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "74727565", "id": 5783, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3370:4:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "src": "3320:54:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5785, "nodeType": "ExpressionStatement", "src": "3320:54:18" } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5772, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5769, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5741, "src": "3277:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 5770, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5724, "src": "3281:11:18", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 5771, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3281:18:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3277:22:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5787, "initializationExpression": { "expression": { "argumentTypes": null, "id": 5767, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 5765, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5741, "src": "3270:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 5766, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3274:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3270:5:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5768, "nodeType": "ExpressionStatement", "src": "3270:5:18" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 5774, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "3301:3:18", "subExpression": { "argumentTypes": null, "id": 5773, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5741, "src": "3301:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 5775, "nodeType": "ExpressionStatement", "src": "3301:3:18" }, "nodeType": "ForStatement", "src": "3265:120:18" }, { "expression": { "argumentTypes": null, "id": 5788, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5730, "src": "3401:9:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 5728, "id": 5789, "nodeType": "Return", "src": "3394:16:18" } ] }, "documentation": null, "id": 5791, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "createArbitratorWhitelist", "nodeType": "FunctionDefinition", "parameters": { "id": 5725, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5724, "name": "arbitrators", "nodeType": "VariableDeclaration", "scope": 5791, "src": "2910:21:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[]" }, "typeName": { "baseType": { "id": 5722, "name": "address", "nodeType": "ElementaryTypeName", "src": "2910:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 5723, "length": null, "nodeType": "ArrayTypeName", "src": "2910:9:18", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_storage_ptr", "typeString": "address[]" } }, "value": null, "visibility": "internal" } ], "src": "2909:23:18" }, "payable": false, "returnParameters": { "id": 5728, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5727, "name": "", "nodeType": "VariableDeclaration", "scope": 5791, "src": "2953:7:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5726, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "2953:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "2952:9:18" }, "scope": 5927, "src": "2875:542:18", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 5808, "nodeType": "Block", "src": "3521:78:18", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5800, "name": "arbitratorWhitelists", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5530, "src": "3538:20:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" } }, "id": 5804, "indexExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5801, "name": "branchArbitratorsID", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5546, "src": "3559:19:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5803, "indexExpression": { "argumentTypes": null, "id": 5802, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5795, "src": "3579:6:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3559:27:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3538:49:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bool_$", "typeString": "mapping(address => bool)" } }, "id": 5806, "indexExpression": { "argumentTypes": null, "id": 5805, "name": "arb", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5793, "src": "3588:3:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3538:54:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 5799, "id": 5807, "nodeType": "Return", "src": "3531:61:18" } ] }, "documentation": null, "id": 5809, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isArbitratorWhitelisted", "nodeType": "FunctionDefinition", "parameters": { "id": 5796, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5793, "name": "arb", "nodeType": "VariableDeclaration", "scope": 5809, "src": "3456:11:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 5792, "name": "address", "nodeType": "ElementaryTypeName", "src": "3456:7:18", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5795, "name": "branch", "nodeType": "VariableDeclaration", "scope": 5809, "src": "3469:14:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5794, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3469:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "3455:29:18" }, "payable": false, "returnParameters": { "id": 5799, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5798, "name": "", "nodeType": "VariableDeclaration", "scope": 5809, "src": "3515:4:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 5797, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3515:4:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3514:6:18" }, "scope": 5927, "src": "3423:176:18", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 5845, "nodeType": "Block", "src": "3756:325:18", "statements": [ { "assignments": [ 5821 ], "declarations": [ { "constant": false, "id": 5821, "name": "iterationHash", "nodeType": "VariableDeclaration", "scope": 5846, "src": "3766:21:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5820, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3766:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 5823, "initialValue": { "argumentTypes": null, "id": 5822, "name": "closerToRootHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5813, "src": "3790:16:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "3766:40:18" }, { "body": { "id": 5841, "nodeType": "Block", "src": "3859:194:18", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5829, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5827, "name": "investigationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5811, "src": "3877:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5828, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5821, "src": "3898:13:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3877:34:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 5839, "nodeType": "Block", "src": "3963:80:18", "statements": [ { "expression": { "argumentTypes": null, "id": 5837, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 5833, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5821, "src": "3981:13:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5834, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5534, "src": "3997:16:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5836, "indexExpression": { "argumentTypes": null, "id": 5835, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5821, "src": "4014:13:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3997:31:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3981:47:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5838, "nodeType": "ExpressionStatement", "src": "3981:47:18" } ] }, "id": 5840, "nodeType": "IfStatement", "src": "3873:170:18", "trueBody": { "id": 5832, "nodeType": "Block", "src": "3913:44:18", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 5830, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3938:4:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 5819, "id": 5831, "nodeType": "Return", "src": "3931:11:18" } ] } } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5826, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5824, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5821, "src": "3823:13:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "id": 5825, "name": "fartherToRootHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5815, "src": "3840:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3823:34:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5842, "nodeType": "WhileStatement", "src": "3816:237:18" }, { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 5843, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4069:5:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 5819, "id": 5844, "nodeType": "Return", "src": "4062:12:18" } ] }, "documentation": null, "id": 5846, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isBranchInBetweenBranches", "nodeType": "FunctionDefinition", "parameters": { "id": 5816, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5811, "name": "investigationHash", "nodeType": "VariableDeclaration", "scope": 5846, "src": "3641:25:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5810, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3641:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5813, "name": "closerToRootHash", "nodeType": "VariableDeclaration", "scope": 5846, "src": "3668:24:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5812, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3668:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5815, "name": "fartherToRootHash", "nodeType": "VariableDeclaration", "scope": 5846, "src": "3694:25:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5814, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3694:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "3640:80:18" }, "payable": false, "returnParameters": { "id": 5819, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5818, "name": "", "nodeType": "VariableDeclaration", "scope": 5846, "src": "3750:4:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 5817, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3750:4:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3749:6:18" }, "scope": 5927, "src": "3606:475:18", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 5871, "nodeType": "Block", "src": "4173:171:18", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5865, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5861, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5859, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5855, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5542, "src": "4187:12:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5857, "indexExpression": { "argumentTypes": null, "id": 5856, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5850, "src": "4200:6:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4187:20:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 5858, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5524, "src": "4210:14:18", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "4187:37:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 5860, "name": "genesisWindowTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5553, "src": "4227:22:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4187:62:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5864, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5862, "name": "ts", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5848, "src": "4253:2:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 5863, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5524, "src": "4258:14:18", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "4253:19:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4187:85:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 5868, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4332:5:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 5854, "id": 5869, "nodeType": "Return", "src": "4325:12:18" }, "id": 5870, "nodeType": "IfStatement", "src": "4183:154:18", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 5866, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4293:4:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 5854, "id": 5867, "nodeType": "Return", "src": "4286:11:18" } } ] }, "documentation": null, "id": 5872, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isBranchCreatedAfterTS", "nodeType": "FunctionDefinition", "parameters": { "id": 5851, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5848, "name": "ts", "nodeType": "VariableDeclaration", "scope": 5872, "src": "4119:10:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5847, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4119:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5850, "name": "branch", "nodeType": "VariableDeclaration", "scope": 5872, "src": "4131:14:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5849, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4131:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "4118:28:18" }, "payable": false, "returnParameters": { "id": 5854, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5853, "name": "", "nodeType": "VariableDeclaration", "scope": 5872, "src": "4167:4:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 5852, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4167:4:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4166:6:18" }, "scope": 5927, "src": "4087:257:18", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 5890, "nodeType": "Block", "src": "4417:81:18", "statements": [ { "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 5887, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5881, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5879, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5874, "src": "4435:6:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5880, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5556, "src": "4445:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4435:27:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5886, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5882, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5542, "src": "4466:12:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 5884, "indexExpression": { "argumentTypes": null, "id": 5883, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5874, "src": "4479:6:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4466:20:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 5885, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4489:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "4466:24:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "4435:55:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 5888, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "4434:57:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 5878, "id": 5889, "nodeType": "Return", "src": "4427:64:18" } ] }, "documentation": null, "id": 5891, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "doesBranchExist", "nodeType": "FunctionDefinition", "parameters": { "id": 5875, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5874, "name": "branch", "nodeType": "VariableDeclaration", "scope": 5891, "src": "4375:14:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5873, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4375:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "4374:16:18" }, "payable": false, "returnParameters": { "id": 5878, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5877, "name": "", "nodeType": "VariableDeclaration", "scope": 5891, "src": "4411:4:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 5876, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4411:4:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4410:6:18" }, "scope": 5927, "src": "4350:148:18", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 5925, "nodeType": "Block", "src": "4594:291:18", "statements": [ { "body": { "id": 5921, "nodeType": "Block", "src": "4627:231:18", "statements": [ { "expression": { "argumentTypes": null, "id": 5907, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 5903, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5895, "src": "4641:3:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 5904, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5534, "src": "4647:16:18", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 5906, "indexExpression": { "argumentTypes": null, "id": 5905, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5895, "src": "4664:3:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4647:21:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4641:27:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 5908, "nodeType": "ExpressionStatement", "src": "4641:27:18" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5911, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5909, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5895, "src": "4686:3:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5910, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5556, "src": "4693:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4686:24:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 5920, "nodeType": "IfStatement", "src": "4682:165:18", "trueBody": { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5914, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5912, "name": "father", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5893, "src": "4732:6:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 5913, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5556, "src": "4742:17:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4732:27:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 5917, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4842:5:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 5899, "id": 5918, "nodeType": "Return", "src": "4835:12:18" }, "id": 5919, "nodeType": "IfStatement", "src": "4728:119:18", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 5915, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4788:4:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 5899, "id": 5916, "nodeType": "Return", "src": "4781:11:18" } } } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 5902, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 5900, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5895, "src": "4612:3:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "id": 5901, "name": "father", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5893, "src": "4619:6:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4612:13:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5922, "nodeType": "WhileStatement", "src": "4605:253:18" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 5923, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4874:4:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 5899, "id": 5924, "nodeType": "Return", "src": "4867:11:18" } ] }, "documentation": null, "id": 5926, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isFatherOfBranch", "nodeType": "FunctionDefinition", "parameters": { "id": 5896, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5893, "name": "father", "nodeType": "VariableDeclaration", "scope": 5926, "src": "4530:14:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5892, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4530:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 5895, "name": "son", "nodeType": "VariableDeclaration", "scope": 5926, "src": "4546:11:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 5894, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4546:7:18", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "4529:29:18" }, "payable": false, "returnParameters": { "id": 5899, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5898, "name": "", "nodeType": "VariableDeclaration", "scope": 5926, "src": "4588:4:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 5897, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4588:4:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4587:6:18" }, "scope": 5927, "src": "4504:381:18", "stateMutability": "view", "superFunction": null, "visibility": "public" } ], "scope": 5928, "src": "27:4860:18" } ], "src": "0:4888:18" }, "compiler": { "name": "solc", "version": "0.4.25+commit.59dbf8f1.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.0.0-beta.1", "updatedAt": "2018-10-27T21:23:29.109Z" }