{ "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": "0x608060405260008080556001805463ffffffff19166201518017905560095534801561002a57600080fd5b5060015460009063ffffffff164281151561004157fe5b06420360085550604080517f49206c6561766520746f207365766572616c206675747572657320286e6f742081527f746f20616c6c29206d792067617264656e206f6620666f726b696e67207061746020808301919091527f68730000000000000000000000000000000000000000000000000000000000008284015282519182900360420182206000548383018290528385015283518084038501815260609093019384905282519093918291908401908083835b602083106101165780518252601f1990920191602091820191016100f7565b51815160209384036101000a600019018019909216911617905260408051929094018290039091206009818155600080549281526003845285812083905590548152600690925292902091909155505060015463ffffffff1690504281151561017b57fe5b6009805460009081526004602090815260408083209590940642039094558154815260058452918220829055600790925290547f6d5257204ebe7d88fd91ae87941cb2dd9d8062b64ae5a2bd2d28ec40b9fbf6df805460018101825592527fd9e659536a2f603b20938d4b8c1783b32b56367744f7b53b49ad35612a31e7ca9091015550610a1c8061020e6000396000f3006080604052600436106100f05763ffffffff7c01000000000000000000000000000000000000000000000000000000006000350416630236b81781146100f55780630614edef1461011f578063176b6f01146101745780631f932d7e146101895780632667404b146101a4578063406edd36146101d357806349469146146101ee5780634dd8aa0514610212578063530230711461022a5780636a6d7965146102585780636ceccf73146102735780638043e7711461028b578063c506d504146102af578063d6dc4edc146102c4578063dc4803d1146102d9578063f36b43cb146102f7578063fda412211461030f575b600080fd5b34801561010157600080fd5b5061010d600435610327565b60408051918252519081900360200190f35b34801561012b57600080fd5b506040805160206004803580820135838102808601850190965280855261010d953695939460249493850192918291850190849080828437509497506103399650505050505050565b34801561018057600080fd5b5061010d61052f565b34801561019557600080fd5b5061010d600435602435610535565b3480156101b057600080fd5b506101bf600435602435610565565b604080519115158252519081900360200190f35b3480156101df57600080fd5b506101bf6004356024356105a1565b3480156101fa57600080fd5b506101bf600160a060020a03600435166024356105e8565b34801561021e57600080fd5b506101bf60043561061c565b34801561023657600080fd5b5061023f61063e565b6040805163ffffffff9092168252519081900360200190f35b34801561026457600080fd5b5061010d60043560243561064a565b34801561027f57600080fd5b5061010d600435610951565b34801561029757600080fd5b506101bf600435600160a060020a0360243516610963565b3480156102bb57600080fd5b5061010d610983565b3480156102d057600080fd5b5061010d610989565b3480156102e557600080fd5b506101bf60043560243560443561098f565b34801561030357600080fd5b5061010d6004356109cc565b34801561031b57600080fd5b5061010d6004356109de565b60046020526000908152604090205481565b600080600083600081518110151561034d57fe5b906020019060200201516040516020018082600160a060020a0316600160a060020a03166c010000000000000000000000000281526014019150506040516020818303038152906040526040518082805190602001908083835b602083106103c65780518252601f1990920191602091820191016103a7565b6001836020036101000a03801982511681845116808217855250505050505090500191505060405180910390209150600190505b83518110156104c15781848281518110151561041257fe5b6020908102919091018101516040805180840194909452600160a060020a039091166c01000000000000000000000000028382015280518084036034018152605490930190819052825190918291908401908083835b602083106104875780518252601f199092019160209182019101610468565b5181516020939093036101000a600019018019909116921691909117905260405192018290039091209450505060019190910190506103fa565b5060005b83518110156105285760008281526002602052604081208551600192908790859081106104ee57fe5b602090810291909101810151600160a060020a03168252810191909152604001600020805460ff19169115159190911790556001016104c5565b5092915050565b60095481565b60076020528160005260406000208181548110151561055057fe5b90600052602060002001600091509150505481565b600154600854600083815260056020526040812054909263ffffffff168086039102909101106105975750600161059b565b5060005b92915050565b60005b8183146105df57600091825260036020526040909120546009549091908214156105da576009548314156105975750600161059b565b6105a4565b50600192915050565b600090815260066020908152604080832054835260028252808320600160a060020a03949094168352929052205460ff1690565b60095460009082148061059b5750506000908152600560205260408120541190565b60015463ffffffff1681565b604080516020808201859052818301849052825180830384018152606090920192839052815160009384938493909282918401908083835b602083106106a15780518252601f199092019160209182019101610682565b5181516020939093036101000a600019018019909116921691909117905260405192018290039091206000549095508514159250610752915050576040805160e560020a62461bcd02815260206004820152602760248201527f6272616e636820686173682073686f756c64206e6f7420626520746865204e5560448201527f4c4c5f4841534800000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600082815260056020526040902054156107b6576040805160e560020a62461bcd02815260206004820152601560248201527f6272616e6368206d757374206e6f742065786973740000000000000000000000604482015290519081900360640190fd5b6009548514806107d25750600085815260056020526040812054115b1515610828576040805160e560020a62461bcd02815260206004820152601860248201527f706172656e74206272616e6368206d7573742065786973740000000000000000604482015290519081900360640190fd5b5060008481526005602052604090205460018054600854919092019163ffffffff168202014210156108ca576040805160e560020a62461bcd02815260206004820152603a60248201527f7468657265206d757374206265206f6e65207765656b2064656c61792062657460448201527f7765656e20706172656e7420616e6420736f6e206272616e6368000000000000606482015290519081900360840190fd5b6000828152600360209081526040808320889055600682528083208790556005825280832084905583835260078252808320805460018101825590845292829020909201849055815184815290810186905281517f51bdc8a48ac6261405a7a60c923b1fae00465f13a9477a6278e851646a349621929181900390910190a1509392505050565b60056020526000908152604090205481565b600260209081526000928352604080842090915290825290205460ff1681565b60085481565b60005481565b6000825b8083146109bf57848114156109ab57600191506109c4565b600090815260036020526040902054610993565b600091505b509392505050565b60036020526000908152604090205481565b600660205260009081526040902054815600a165627a7a7230582018a34bf850bbf29cecc17a30b47c5426f42850acf33fe5c7ef0c28ebcd378cf50029", "deployedBytecode": "0x6080604052600436106100f05763ffffffff7c01000000000000000000000000000000000000000000000000000000006000350416630236b81781146100f55780630614edef1461011f578063176b6f01146101745780631f932d7e146101895780632667404b146101a4578063406edd36146101d357806349469146146101ee5780634dd8aa0514610212578063530230711461022a5780636a6d7965146102585780636ceccf73146102735780638043e7711461028b578063c506d504146102af578063d6dc4edc146102c4578063dc4803d1146102d9578063f36b43cb146102f7578063fda412211461030f575b600080fd5b34801561010157600080fd5b5061010d600435610327565b60408051918252519081900360200190f35b34801561012b57600080fd5b506040805160206004803580820135838102808601850190965280855261010d953695939460249493850192918291850190849080828437509497506103399650505050505050565b34801561018057600080fd5b5061010d61052f565b34801561019557600080fd5b5061010d600435602435610535565b3480156101b057600080fd5b506101bf600435602435610565565b604080519115158252519081900360200190f35b3480156101df57600080fd5b506101bf6004356024356105a1565b3480156101fa57600080fd5b506101bf600160a060020a03600435166024356105e8565b34801561021e57600080fd5b506101bf60043561061c565b34801561023657600080fd5b5061023f61063e565b6040805163ffffffff9092168252519081900360200190f35b34801561026457600080fd5b5061010d60043560243561064a565b34801561027f57600080fd5b5061010d600435610951565b34801561029757600080fd5b506101bf600435600160a060020a0360243516610963565b3480156102bb57600080fd5b5061010d610983565b3480156102d057600080fd5b5061010d610989565b3480156102e557600080fd5b506101bf60043560243560443561098f565b34801561030357600080fd5b5061010d6004356109cc565b34801561031b57600080fd5b5061010d6004356109de565b60046020526000908152604090205481565b600080600083600081518110151561034d57fe5b906020019060200201516040516020018082600160a060020a0316600160a060020a03166c010000000000000000000000000281526014019150506040516020818303038152906040526040518082805190602001908083835b602083106103c65780518252601f1990920191602091820191016103a7565b6001836020036101000a03801982511681845116808217855250505050505090500191505060405180910390209150600190505b83518110156104c15781848281518110151561041257fe5b6020908102919091018101516040805180840194909452600160a060020a039091166c01000000000000000000000000028382015280518084036034018152605490930190819052825190918291908401908083835b602083106104875780518252601f199092019160209182019101610468565b5181516020939093036101000a600019018019909116921691909117905260405192018290039091209450505060019190910190506103fa565b5060005b83518110156105285760008281526002602052604081208551600192908790859081106104ee57fe5b602090810291909101810151600160a060020a03168252810191909152604001600020805460ff19169115159190911790556001016104c5565b5092915050565b60095481565b60076020528160005260406000208181548110151561055057fe5b90600052602060002001600091509150505481565b600154600854600083815260056020526040812054909263ffffffff168086039102909101106105975750600161059b565b5060005b92915050565b60005b8183146105df57600091825260036020526040909120546009549091908214156105da576009548314156105975750600161059b565b6105a4565b50600192915050565b600090815260066020908152604080832054835260028252808320600160a060020a03949094168352929052205460ff1690565b60095460009082148061059b5750506000908152600560205260408120541190565b60015463ffffffff1681565b604080516020808201859052818301849052825180830384018152606090920192839052815160009384938493909282918401908083835b602083106106a15780518252601f199092019160209182019101610682565b5181516020939093036101000a600019018019909116921691909117905260405192018290039091206000549095508514159250610752915050576040805160e560020a62461bcd02815260206004820152602760248201527f6272616e636820686173682073686f756c64206e6f7420626520746865204e5560448201527f4c4c5f4841534800000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b600082815260056020526040902054156107b6576040805160e560020a62461bcd02815260206004820152601560248201527f6272616e6368206d757374206e6f742065786973740000000000000000000000604482015290519081900360640190fd5b6009548514806107d25750600085815260056020526040812054115b1515610828576040805160e560020a62461bcd02815260206004820152601860248201527f706172656e74206272616e6368206d7573742065786973740000000000000000604482015290519081900360640190fd5b5060008481526005602052604090205460018054600854919092019163ffffffff168202014210156108ca576040805160e560020a62461bcd02815260206004820152603a60248201527f7468657265206d757374206265206f6e65207765656b2064656c61792062657460448201527f7765656e20706172656e7420616e6420736f6e206272616e6368000000000000606482015290519081900360840190fd5b6000828152600360209081526040808320889055600682528083208790556005825280832084905583835260078252808320805460018101825590845292829020909201849055815184815290810186905281517f51bdc8a48ac6261405a7a60c923b1fae00465f13a9477a6278e851646a349621929181900390910190a1509392505050565b60056020526000908152604090205481565b600260209081526000928352604080842090915290825290205460ff1681565b60085481565b60005481565b6000825b8083146109bf57848114156109ab57600191506109c4565b600090815260036020526040902054610993565b600091505b509392505050565b60036020526000908152604090205481565b600660205260009081526040902054815600a165627a7a7230582018a34bf850bbf29cecc17a30b47c5426f42850acf33fe5c7ef0c28ebcd378cf50029", "sourceMap": "27:4860:2:-;;;122:29;;;;157:36;;;-1:-1:-1;;157:36:2;188:5;157:36;;;892:42;;941:588;5:2:-1;;;;30:1;27;20:12;5:2;-1:-1;1014:14:2;;1039:25;;1014:14;;1008:3;:20;;;;;;;;1001:3;:28;976:22;:53;-1:-1:-1;1067:79:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1222:9:2;1186:46;;;;;;;;;;;;26:21:-1;;;22:32;;6:49;;1186:46:2;;;;;;;;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:2;;;;;;;;;;;;;1156:17;:77;;;-1:-1:-1;1282:9:2;;1244:35;;;:16;:35;;;;;:47;;;1321:17;;1301:38;;:19;:38;;;;;;:50;;;;-1:-1:-1;;274:1;1411:14:2;;;;-1:-1:-1;1405:3:2;: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:2;;;;;;;-1:-1:-1;27:4860:2;;;;;;", "deployedSourceMap": "27:4860:2:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;444:49;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;444:49:2;;;;;;;;;;;;;;;;;;;;;2875:542;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2875:542:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2875:542:2;;-1:-1:-1;2875:542:2;;-1:-1:-1;;;;;;;2875:542:2;892:42;;8:9:-1;5:2;;;30:1;27;20:12;5:2;892:42:2;;;;683:51;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;683:51:2;;;;;;;4087:257;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4087:257:2;;;;;;;;;;;;;;;;;;;;;;;;;4504:381;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4504:381:2;;;;;;;3423:176;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3423:176:2;-1:-1:-1;;;;;3423:176:2;;;;;;;4350:148;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4350:148:2;;;;;157:36;;8:9:-1;5:2;;;30:1;27;20:12;5:2;157:36:2;;;;;;;;;;;;;;;;;;;;;;;1535:1334;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1535:1334:2;;;;;;;523:46;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;523:46:2;;;;;254:68;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;254:68:2;;;-1:-1:-1;;;;;254:68:2;;;;;799:37;;8:9:-1;5:2;;;30:1;27;20:12;5:2;799:37:2;;;;122:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;122:29:2;;;;3606:475;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3606:475:2;;;;;;;;;359:52;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;359:52:2;;;;;595:54;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;595:54:2;;;;;444:49;;;;;;;;;;;;;:::o;2875:542::-;2953:7;3003:17;3081:6;3050:11;3062:1;3050:14;;;;;;;;;;;;;;;;;;3033:32;;;;;;-1:-1:-1;;;;;3033:32:2;-1:-1:-1;;;;;3033:32:2;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;3033:32:2;;;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:2;;;;;;;;;;;;;;;;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:2;;;;;;;;;;;26:21:-1;;;22:32;;6:49;;3156:43:2;;;;;;;;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:2;;;;;;;;;;;-1:-1:-1;;;274:1;3115:3:2;;;;;-1:-1:-1;3076:135:2;;;-1:-1:-1;3274:1:2;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:2;;;;;;;;;;;-1:-1:-1;3320:47:2;:54;;-1:-1:-1;;3320:54:2;;;;;;;;;;-1:-1:-1;3301:3:2;3265:120;;;-1:-1:-1;3401:9:2;2875:542;-1:-1:-1;;2875:542:2: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:2;4286:11;;4183:154;-1:-1:-1;4332:5:2;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:2;;4682:165;;;4742:17;;4732:27;;4728:119;;;-1:-1:-1;4788:4:2;4781:11;;4728:119;4605:253;;;-1:-1:-1;4874:4:2;4504:381;;;;:::o;3423:176::-;3515:4;3559:27;;;:19;:27;;;;;;;;;3538:49;;:20;:49;;;;;-1:-1:-1;;;;;3538:54:2;;;;;;;;;;;;;;3423:176::o;4350:148::-;4445:17;;4411:4;;4435:27;;;:55;;-1:-1:-1;;4489:1:2;4466:20;;;:12;:20;;;;;;:24;;4350:148::o;157:36::-;;;;;;:::o;1535:1334::-;1676:48;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;6:49;;1676:48:2;;;;;;;;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:2;;;;;;;;;;-1:-1:-1;1757:9:2;1666:59;;-1:-1:-1;1743:23:2;;;;-1:-1:-1;1735:75:2;;-1:-1:-1;;1735:75:2;;;;-1:-1:-1;;;;;1735:75:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1966:24;;;;:12;:24;;;;;;:29;1958:63;;;;;-1:-1:-1;;;;;1958:63:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;2059:17;;2039:37;;;:75;;-1:-1:-1;2113:1:2;2080:30;;;:12;:30;;;;;;:34;2039:75;2031:112;;;;;;;-1:-1:-1;;;;;2031:112:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2242:30:2;;;;: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:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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:2;;;;;;;;;;;;;2796;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;2852:10:2;1535:1334;-1:-1:-1;;;1535:1334:2: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": "/home/josojo/reality/subjectivocracy/contracts/ForkonomicSystem.sol", "ast": { "absolutePath": "/home/josojo/reality/subjectivocracy/contracts/ForkonomicSystem.sol", "exportedSymbols": { "ForkonomicSystem": [ 1313 ] }, "id": 1314, "nodeType": "SourceUnit", "nodes": [ { "id": 898, "literals": [ "solidity", "^", "0.4", ".22" ], "nodeType": "PragmaDirective", "src": "0:24:2" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 1313, "linearizedBaseContracts": [ 1313 ], "name": "ForkonomicSystem", "nodeType": "ContractDefinition", "nodes": [ { "anonymous": false, "documentation": null, "id": 904, "name": "BranchCreated", "nodeType": "EventDefinition", "parameters": { "id": 903, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 900, "indexed": false, "name": "hash", "nodeType": "VariableDeclaration", "scope": 904, "src": "80:12:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 899, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "80:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 902, "indexed": false, "name": "whiteList_id", "nodeType": "VariableDeclaration", "scope": 904, "src": "94:20:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 901, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "94:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "79:36:2" }, "src": "60:56:2" }, { "constant": false, "id": 907, "name": "NULL_HASH", "nodeType": "VariableDeclaration", "scope": 1313, "src": "122:29:2", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 905, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "122:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": { "argumentTypes": null, "hexValue": "", "id": 906, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "149:2:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470", "typeString": "literal_string \"\"" }, "value": "" }, "visibility": "public" }, { "constant": false, "id": 910, "name": "WINDOWTIMESPAN", "nodeType": "VariableDeclaration", "scope": 1313, "src": "157:36:2", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 908, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "157:6:2", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": { "argumentTypes": null, "hexValue": "3836343030", "id": 909, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "188:5:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_86400_by_1", "typeString": "int_const 86400" }, "value": "86400" }, "visibility": "public" }, { "constant": false, "id": 916, "name": "arbitratorWhitelists", "nodeType": "VariableDeclaration", "scope": 1313, "src": "254:68:2", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" }, "typeName": { "id": 915, "keyType": { "id": 911, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "262:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "254:40:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" }, "valueType": { "id": 914, "keyType": { "id": 912, "name": "address", "nodeType": "ElementaryTypeName", "src": "279:7:2", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "271:22:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bool_$", "typeString": "mapping(address => bool)" }, "valueType": { "id": 913, "name": "bool", "nodeType": "ElementaryTypeName", "src": "288:4:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 920, "name": "branchParentHash", "nodeType": "VariableDeclaration", "scope": 1313, "src": "359:52:2", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "typeName": { "id": 919, "keyType": { "id": 917, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "367:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "359:28:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "valueType": { "id": 918, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "379:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 924, "name": "branchTimestamp", "nodeType": "VariableDeclaration", "scope": 1313, "src": "444:49:2", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "typeName": { "id": 923, "keyType": { "id": 921, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "452:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "444:26:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "valueType": { "id": 922, "name": "uint", "nodeType": "ElementaryTypeName", "src": "464:4:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 928, "name": "branchWindow", "nodeType": "VariableDeclaration", "scope": 1313, "src": "523:46:2", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "typeName": { "id": 927, "keyType": { "id": 925, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "531:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "523:26:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "valueType": { "id": 926, "name": "uint", "nodeType": "ElementaryTypeName", "src": "543:4:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 932, "name": "branchArbitratorsID", "nodeType": "VariableDeclaration", "scope": 1313, "src": "595:54:2", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "typeName": { "id": 931, "keyType": { "id": 929, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "603:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "595:27:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "valueType": { "id": 930, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "614:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 937, "name": "windowBranches", "nodeType": "VariableDeclaration", "scope": 1313, "src": "683:51:2", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[])" }, "typeName": { "id": 936, "keyType": { "id": 933, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "691:7:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Mapping", "src": "683:29:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[])" }, "valueType": { "baseType": { "id": 934, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "702:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 935, "length": null, "nodeType": "ArrayTypeName", "src": "702:9:2", "typeDescriptions": { "typeIdentifier": "t_array$_t_bytes32_$dyn_storage_ptr", "typeString": "bytes32[]" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 939, "name": "genesisWindowTimestamp", "nodeType": "VariableDeclaration", "scope": 1313, "src": "799:37:2", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 938, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "799:7:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 942, "name": "genesisBranchHash", "nodeType": "VariableDeclaration", "scope": 1313, "src": "892:42:2", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 940, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "892:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": { "argumentTypes": null, "id": 941, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 907, "src": "925:9:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "public" }, { "body": { "id": 1006, "nodeType": "Block", "src": "966:563:2", "statements": [ { "expression": { "argumentTypes": null, "id": 952, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 945, "name": "genesisWindowTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 939, "src": "976:22:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 951, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 946, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5395, "src": "1001:3:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 949, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 947, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5395, "src": "1008:3:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 948, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 910, "src": "1014:14:2", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "1008:20:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 950, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1007:22:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1001:28:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "976:53:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 953, "nodeType": "ExpressionStatement", "src": "976:53:2" }, { "assignments": [ 955 ], "declarations": [ { "constant": false, "id": 955, "name": "genesisMerkleRoot", "nodeType": "VariableDeclaration", "scope": 1007, "src": "1039:25:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 954, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1039:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 959, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "49206c6561766520746f207365766572616c206675747572657320286e6f7420746f20616c6c29206d792067617264656e206f6620666f726b696e67207061746873", "id": 957, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1077:68:2", "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": 956, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5387, "src": "1067:9:2", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 958, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1067:79:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "1039:107:2" }, { "expression": { "argumentTypes": null, "id": 968, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 960, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 942, "src": "1156:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 964, "name": "genesisMerkleRoot", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 955, "src": "1203:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "id": 965, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 907, "src": "1222:9:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "id": 962, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5380, "src": "1186:3:2", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 963, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1186:16:2", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 966, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1186:46:2", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 961, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5387, "src": "1176:9:2", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 967, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1176:57:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1156:77:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 969, "nodeType": "ExpressionStatement", "src": "1156:77:2" }, { "expression": { "argumentTypes": null, "id": 974, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 970, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 920, "src": "1244:16:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 972, "indexExpression": { "argumentTypes": null, "id": 971, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 942, "src": "1261:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1244:35:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 973, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 907, "src": "1282:9:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1244:47:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 975, "nodeType": "ExpressionStatement", "src": "1244:47:2" }, { "expression": { "argumentTypes": null, "id": 980, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 976, "name": "branchArbitratorsID", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 932, "src": "1301:19:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 978, "indexExpression": { "argumentTypes": null, "id": 977, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 942, "src": "1321:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1301:38:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 979, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 907, "src": "1342:9:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1301:50:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 981, "nodeType": "ExpressionStatement", "src": "1301:50:2" }, { "expression": { "argumentTypes": null, "id": 991, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 982, "name": "branchTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 924, "src": "1361:15:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 984, "indexExpression": { "argumentTypes": null, "id": 983, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 942, "src": "1377:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1361:34:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 990, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 985, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5395, "src": "1398:3:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 988, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 986, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5395, "src": "1405:3:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 987, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 910, "src": "1411:14:2", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "1405:20:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 989, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1404:22:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1398:28:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1361:65:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 992, "nodeType": "ExpressionStatement", "src": "1361:65:2" }, { "expression": { "argumentTypes": null, "id": 997, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 993, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 928, "src": "1436:12:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 995, "indexExpression": { "argumentTypes": null, "id": 994, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 942, "src": "1449:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1436:31:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 996, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1470:1:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1436:35:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 998, "nodeType": "ExpressionStatement", "src": "1436:35:2" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1003, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 942, "src": "1504:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 999, "name": "windowBranches", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 937, "src": "1481:14:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[] storage ref)" } }, "id": 1001, "indexExpression": { "argumentTypes": null, "hexValue": "30", "id": 1000, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1496:1:2", "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:2", "typeDescriptions": { "typeIdentifier": "t_array$_t_bytes32_$dyn_storage", "typeString": "bytes32[] storage ref" } }, "id": 1002, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1481:22:2", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_bytes32_$returns$_t_uint256_$", "typeString": "function (bytes32) returns (uint256)" } }, "id": 1004, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1481:41:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1005, "nodeType": "ExpressionStatement", "src": "1481:41:2" } ] }, "documentation": null, "id": 1007, "implemented": true, "isConstructor": true, "isDeclaredConst": false, "modifiers": [], "name": "", "nodeType": "FunctionDefinition", "parameters": { "id": 943, "nodeType": "ParameterList", "parameters": [], "src": "952:2:2" }, "payable": false, "returnParameters": { "id": 944, "nodeType": "ParameterList", "parameters": [], "src": "966:0:2" }, "scope": 1313, "src": "941:588:2", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 1106, "nodeType": "Block", "src": "1634:1235:2", "statements": [ { "assignments": [ 1017 ], "declarations": [ { "constant": false, "id": 1017, "name": "branchHash", "nodeType": "VariableDeclaration", "scope": 1107, "src": "1645:18:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1016, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1645:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 1025, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1021, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1009, "src": "1693:16:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "id": 1022, "name": "whitelist_id", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1011, "src": "1711:12:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "id": 1019, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5380, "src": "1676:3:2", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 1020, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1676:16:2", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 1023, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1676:48:2", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 1018, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5387, "src": "1666:9:2", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 1024, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1666:59:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "1645:80:2" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 1029, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1027, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1017, "src": "1743:10:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "id": 1028, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 907, "src": "1757:9:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1743:23:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "6272616e636820686173682073686f756c64206e6f7420626520746865204e554c4c5f48415348", "id": 1030, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1768:41:2", "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": 1026, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 5396, 5397 ], "referencedDeclaration": 5397, "src": "1735:7:2", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1031, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1735:75:2", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1032, "nodeType": "ExpressionStatement", "src": "1735:75:2" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1038, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1034, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 928, "src": "1966:12:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 1036, "indexExpression": { "argumentTypes": null, "id": 1035, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1017, "src": "1979:10:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1966:24:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 1037, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1994:1:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1966:29:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "6272616e6368206d757374206e6f74206578697374", "id": 1039, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1997:23:2", "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": 1033, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 5396, 5397 ], "referencedDeclaration": 5397, "src": "1958:7:2", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1040, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1958:63:2", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1041, "nodeType": "ExpressionStatement", "src": "1958:63:2" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 1051, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 1045, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1043, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1009, "src": "2039:16:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 1044, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 942, "src": "2059:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "2039:37:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1050, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1046, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 928, "src": "2080:12:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 1048, "indexExpression": { "argumentTypes": null, "id": 1047, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1009, "src": "2093:16:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2080:30:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 1049, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2113:1:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2080:34:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "2039:75:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "706172656e74206272616e6368206d757374206578697374", "id": 1052, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2116:26:2", "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": 1042, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 5396, 5397 ], "referencedDeclaration": 5397, "src": "2031:7:2", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1053, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2031:112:2", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1054, "nodeType": "ExpressionStatement", "src": "2031:112:2" }, { "assignments": [ 1056 ], "declarations": [ { "constant": false, "id": 1056, "name": "window", "nodeType": "VariableDeclaration", "scope": 1107, "src": "2225:14:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1055, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2225:7:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1062, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1061, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1057, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 928, "src": "2242:12:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 1059, "indexExpression": { "argumentTypes": null, "id": 1058, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1009, "src": "2255:16:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2242:30:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 1060, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2275:1:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2242:34:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2225:51:2" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1070, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1064, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5395, "src": "2294:3:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1069, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1065, "name": "genesisWindowTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 939, "src": "2301:22:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1068, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1066, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 910, "src": "2326:14:2", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 1067, "name": "window", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1056, "src": "2343:6:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2326:23:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2301:48:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2294:55:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "7468657265206d757374206265206f6e65207765656b2064656c6179206265747765656e20706172656e7420616e6420736f6e206272616e6368", "id": 1071, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2351:60:2", "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": 1063, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 5396, 5397 ], "referencedDeclaration": 5397, "src": "2286:7:2", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1072, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2286:126:2", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1073, "nodeType": "ExpressionStatement", "src": "2286:126:2" }, { "expression": { "argumentTypes": null, "id": 1078, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1074, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 920, "src": "2423:16:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 1076, "indexExpression": { "argumentTypes": null, "id": 1075, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1017, "src": "2440:10:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2423:28:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1077, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1009, "src": "2454:16:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "2423:47:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 1079, "nodeType": "ExpressionStatement", "src": "2423:47:2" }, { "expression": { "argumentTypes": null, "id": 1084, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1080, "name": "branchArbitratorsID", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 932, "src": "2480:19:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 1082, "indexExpression": { "argumentTypes": null, "id": 1081, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1017, "src": "2500:10:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2480:31:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1083, "name": "whitelist_id", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1011, "src": "2514:12:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "2480:46:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 1085, "nodeType": "ExpressionStatement", "src": "2480:46:2" }, { "expression": { "argumentTypes": null, "id": 1090, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1086, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 928, "src": "2698:12:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 1088, "indexExpression": { "argumentTypes": null, "id": 1087, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1017, "src": "2711:10:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2698:24:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1089, "name": "window", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1056, "src": "2725:6:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2698:33:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1091, "nodeType": "ExpressionStatement", "src": "2698:33:2" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1096, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1017, "src": "2769:10:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1092, "name": "windowBranches", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 937, "src": "2741:14:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[] storage ref)" } }, "id": 1094, "indexExpression": { "argumentTypes": null, "id": 1093, "name": "window", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1056, "src": "2756:6:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2741:22:2", "typeDescriptions": { "typeIdentifier": "t_array$_t_bytes32_$dyn_storage", "typeString": "bytes32[] storage ref" } }, "id": 1095, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2741:27:2", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_bytes32_$returns$_t_uint256_$", "typeString": "function (bytes32) returns (uint256)" } }, "id": 1097, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2741:39:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1098, "nodeType": "ExpressionStatement", "src": "2741:39:2" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1100, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1017, "src": "2810:10:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "id": 1101, "name": "whitelist_id", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1011, "src": "2822:12:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "id": 1099, "name": "BranchCreated", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 904, "src": "2796:13:2", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_bytes32_$_t_bytes32_$returns$__$", "typeString": "function (bytes32,bytes32)" } }, "id": 1102, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2796:39:2", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1103, "nodeType": "EmitStatement", "src": "2791:44:2" }, { "expression": { "argumentTypes": null, "id": 1104, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1017, "src": "2852:10:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 1015, "id": 1105, "nodeType": "Return", "src": "2845:17:2" } ] }, "documentation": null, "id": 1107, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "createBranch", "nodeType": "FunctionDefinition", "parameters": { "id": 1012, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1009, "name": "parentBranchHash", "nodeType": "VariableDeclaration", "scope": 1107, "src": "1557:24:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1008, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1557:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1011, "name": "whitelist_id", "nodeType": "VariableDeclaration", "scope": 1107, "src": "1583:20:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1010, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1583:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "1556:48:2" }, "payable": false, "returnParameters": { "id": 1015, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1014, "name": "", "nodeType": "VariableDeclaration", "scope": 1107, "src": "1625:7:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1013, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1625:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "1624:9:2" }, "scope": 1313, "src": "1535:1334:2", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 1176, "nodeType": "Block", "src": "2962:455:2", "statements": [ { "assignments": [ 1116 ], "declarations": [ { "constant": false, "id": 1116, "name": "prev_hash", "nodeType": "VariableDeclaration", "scope": 1177, "src": "3003:17:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1115, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3003:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 1125, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1120, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1110, "src": "3050:11:2", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 1122, "indexExpression": { "argumentTypes": null, "hexValue": "30", "id": 1121, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3062:1:2", "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:2", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "expression": { "argumentTypes": null, "id": 1118, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5380, "src": "3033:3:2", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 1119, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3033:16:2", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 1123, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3033:32:2", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 1117, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5387, "src": "3023:9:2", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 1124, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3023:43:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "3003:63:2" }, { "body": { "id": 1149, "nodeType": "Block", "src": "3120:91:2", "statements": [ { "expression": { "argumentTypes": null, "id": 1147, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1137, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1116, "src": "3134:9:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1141, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1116, "src": "3173:9:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1142, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1110, "src": "3184:11:2", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 1144, "indexExpression": { "argumentTypes": null, "id": 1143, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1127, "src": "3196:1:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3184:14:2", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_address", "typeString": "address" } ], "expression": { "argumentTypes": null, "id": 1139, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5380, "src": "3156:3:2", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 1140, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3156:16:2", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 1145, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3156:43:2", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 1138, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5387, "src": "3146:9:2", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 1146, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3146:54:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3134:66:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 1148, "nodeType": "ExpressionStatement", "src": "3134:66:2" } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1133, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1130, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1127, "src": "3091:1:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1131, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1110, "src": "3095:11:2", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 1132, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3095:18:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3091:22:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 1150, "initializationExpression": { "assignments": [ 1127 ], "declarations": [ { "constant": false, "id": 1127, "name": "i", "nodeType": "VariableDeclaration", "scope": 1177, "src": "3081:6:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1126, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3081:4:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1129, "initialValue": { "argumentTypes": null, "hexValue": "31", "id": 1128, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3088:1:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "nodeType": "VariableDeclarationStatement", "src": "3081:8:2" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 1135, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "3115:3:2", "subExpression": { "argumentTypes": null, "id": 1134, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1127, "src": "3115:1:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1136, "nodeType": "ExpressionStatement", "src": "3115:3:2" }, "nodeType": "ForStatement", "src": "3076:135:2" }, { "body": { "id": 1172, "nodeType": "Block", "src": "3306:79:2", "statements": [ { "expression": { "argumentTypes": null, "id": 1170, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1162, "name": "arbitratorWhitelists", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 916, "src": "3320:20:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" } }, "id": 1167, "indexExpression": { "argumentTypes": null, "id": 1163, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1116, "src": "3341:9:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3320:31:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bool_$", "typeString": "mapping(address => bool)" } }, "id": 1168, "indexExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1164, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1110, "src": "3352:11:2", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 1166, "indexExpression": { "argumentTypes": null, "id": 1165, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1127, "src": "3364:1:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3352:14:2", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "3320:47:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "74727565", "id": 1169, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3370:4:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "src": "3320:54:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 1171, "nodeType": "ExpressionStatement", "src": "3320:54:2" } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1158, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1155, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1127, "src": "3277:1:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1156, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1110, "src": "3281:11:2", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 1157, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3281:18:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3277:22:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 1173, "initializationExpression": { "expression": { "argumentTypes": null, "id": 1153, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1151, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1127, "src": "3270:1:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 1152, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3274:1:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3270:5:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1154, "nodeType": "ExpressionStatement", "src": "3270:5:2" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 1160, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "3301:3:2", "subExpression": { "argumentTypes": null, "id": 1159, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1127, "src": "3301:1:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1161, "nodeType": "ExpressionStatement", "src": "3301:3:2" }, "nodeType": "ForStatement", "src": "3265:120:2" }, { "expression": { "argumentTypes": null, "id": 1174, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1116, "src": "3401:9:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 1114, "id": 1175, "nodeType": "Return", "src": "3394:16:2" } ] }, "documentation": null, "id": 1177, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "createArbitratorWhitelist", "nodeType": "FunctionDefinition", "parameters": { "id": 1111, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1110, "name": "arbitrators", "nodeType": "VariableDeclaration", "scope": 1177, "src": "2910:21:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[]" }, "typeName": { "baseType": { "id": 1108, "name": "address", "nodeType": "ElementaryTypeName", "src": "2910:7:2", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 1109, "length": null, "nodeType": "ArrayTypeName", "src": "2910:9:2", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_storage_ptr", "typeString": "address[]" } }, "value": null, "visibility": "internal" } ], "src": "2909:23:2" }, "payable": false, "returnParameters": { "id": 1114, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1113, "name": "", "nodeType": "VariableDeclaration", "scope": 1177, "src": "2953:7:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1112, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "2953:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "2952:9:2" }, "scope": 1313, "src": "2875:542:2", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 1194, "nodeType": "Block", "src": "3521:78:2", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1186, "name": "arbitratorWhitelists", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 916, "src": "3538:20:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" } }, "id": 1190, "indexExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1187, "name": "branchArbitratorsID", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 932, "src": "3559:19:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 1189, "indexExpression": { "argumentTypes": null, "id": 1188, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1181, "src": "3579:6:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3559:27:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3538:49:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bool_$", "typeString": "mapping(address => bool)" } }, "id": 1192, "indexExpression": { "argumentTypes": null, "id": 1191, "name": "arb", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1179, "src": "3588:3:2", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3538:54:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 1185, "id": 1193, "nodeType": "Return", "src": "3531:61:2" } ] }, "documentation": null, "id": 1195, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isArbitratorWhitelisted", "nodeType": "FunctionDefinition", "parameters": { "id": 1182, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1179, "name": "arb", "nodeType": "VariableDeclaration", "scope": 1195, "src": "3456:11:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1178, "name": "address", "nodeType": "ElementaryTypeName", "src": "3456:7:2", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1181, "name": "branch", "nodeType": "VariableDeclaration", "scope": 1195, "src": "3469:14:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1180, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3469:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "3455:29:2" }, "payable": false, "returnParameters": { "id": 1185, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1184, "name": "", "nodeType": "VariableDeclaration", "scope": 1195, "src": "3515:4:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1183, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3515:4:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3514:6:2" }, "scope": 1313, "src": "3423:176:2", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 1231, "nodeType": "Block", "src": "3756:325:2", "statements": [ { "assignments": [ 1207 ], "declarations": [ { "constant": false, "id": 1207, "name": "iterationHash", "nodeType": "VariableDeclaration", "scope": 1232, "src": "3766:21:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1206, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3766:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 1209, "initialValue": { "argumentTypes": null, "id": 1208, "name": "closerToRootHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1199, "src": "3790:16:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "3766:40:2" }, { "body": { "id": 1227, "nodeType": "Block", "src": "3859:194:2", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 1215, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1213, "name": "investigationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1197, "src": "3877:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 1214, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1207, "src": "3898:13:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3877:34:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 1225, "nodeType": "Block", "src": "3963:80:2", "statements": [ { "expression": { "argumentTypes": null, "id": 1223, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1219, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1207, "src": "3981:13:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1220, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 920, "src": "3997:16:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 1222, "indexExpression": { "argumentTypes": null, "id": 1221, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1207, "src": "4014:13:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3997:31:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3981:47:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 1224, "nodeType": "ExpressionStatement", "src": "3981:47:2" } ] }, "id": 1226, "nodeType": "IfStatement", "src": "3873:170:2", "trueBody": { "id": 1218, "nodeType": "Block", "src": "3913:44:2", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 1216, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3938:4:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 1205, "id": 1217, "nodeType": "Return", "src": "3931:11:2" } ] } } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 1212, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1210, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1207, "src": "3823:13:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "id": 1211, "name": "fartherToRootHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1201, "src": "3840:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3823:34:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 1228, "nodeType": "WhileStatement", "src": "3816:237:2" }, { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 1229, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4069:5:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 1205, "id": 1230, "nodeType": "Return", "src": "4062:12:2" } ] }, "documentation": null, "id": 1232, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isBranchInBetweenBranches", "nodeType": "FunctionDefinition", "parameters": { "id": 1202, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1197, "name": "investigationHash", "nodeType": "VariableDeclaration", "scope": 1232, "src": "3641:25:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1196, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3641:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1199, "name": "closerToRootHash", "nodeType": "VariableDeclaration", "scope": 1232, "src": "3668:24:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1198, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3668:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1201, "name": "fartherToRootHash", "nodeType": "VariableDeclaration", "scope": 1232, "src": "3694:25:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1200, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3694:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "3640:80:2" }, "payable": false, "returnParameters": { "id": 1205, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1204, "name": "", "nodeType": "VariableDeclaration", "scope": 1232, "src": "3750:4:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1203, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3750:4:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3749:6:2" }, "scope": 1313, "src": "3606:475:2", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 1257, "nodeType": "Block", "src": "4173:171:2", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1251, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1247, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1245, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1241, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 928, "src": "4187:12:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 1243, "indexExpression": { "argumentTypes": null, "id": 1242, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1236, "src": "4200:6:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4187:20:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 1244, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 910, "src": "4210:14:2", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "4187:37:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 1246, "name": "genesisWindowTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 939, "src": "4227:22:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4187:62:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1250, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1248, "name": "ts", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1234, "src": "4253:2:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 1249, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 910, "src": "4258:14:2", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "4253:19:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4187:85:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 1254, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4332:5:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 1240, "id": 1255, "nodeType": "Return", "src": "4325:12:2" }, "id": 1256, "nodeType": "IfStatement", "src": "4183:154:2", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 1252, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4293:4:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 1240, "id": 1253, "nodeType": "Return", "src": "4286:11:2" } } ] }, "documentation": null, "id": 1258, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isBranchCreatedAfterTS", "nodeType": "FunctionDefinition", "parameters": { "id": 1237, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1234, "name": "ts", "nodeType": "VariableDeclaration", "scope": 1258, "src": "4119:10:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1233, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4119:7:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1236, "name": "branch", "nodeType": "VariableDeclaration", "scope": 1258, "src": "4131:14:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1235, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4131:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "4118:28:2" }, "payable": false, "returnParameters": { "id": 1240, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1239, "name": "", "nodeType": "VariableDeclaration", "scope": 1258, "src": "4167:4:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1238, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4167:4:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4166:6:2" }, "scope": 1313, "src": "4087:257:2", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 1276, "nodeType": "Block", "src": "4417:81:2", "statements": [ { "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 1273, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 1267, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1265, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1260, "src": "4435:6:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 1266, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 942, "src": "4445:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4435:27:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1272, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1268, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 928, "src": "4466:12:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 1270, "indexExpression": { "argumentTypes": null, "id": 1269, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1260, "src": "4479:6:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4466:20:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 1271, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4489:1:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "4466:24:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "4435:55:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 1274, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "4434:57:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 1264, "id": 1275, "nodeType": "Return", "src": "4427:64:2" } ] }, "documentation": null, "id": 1277, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "doesBranchExist", "nodeType": "FunctionDefinition", "parameters": { "id": 1261, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1260, "name": "branch", "nodeType": "VariableDeclaration", "scope": 1277, "src": "4375:14:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1259, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4375:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "4374:16:2" }, "payable": false, "returnParameters": { "id": 1264, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1263, "name": "", "nodeType": "VariableDeclaration", "scope": 1277, "src": "4411:4:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1262, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4411:4:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4410:6:2" }, "scope": 1313, "src": "4350:148:2", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 1311, "nodeType": "Block", "src": "4594:291:2", "statements": [ { "body": { "id": 1307, "nodeType": "Block", "src": "4627:231:2", "statements": [ { "expression": { "argumentTypes": null, "id": 1293, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1289, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1281, "src": "4641:3:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1290, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 920, "src": "4647:16:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 1292, "indexExpression": { "argumentTypes": null, "id": 1291, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1281, "src": "4664:3:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4647:21:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4641:27:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 1294, "nodeType": "ExpressionStatement", "src": "4641:27:2" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 1297, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1295, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1281, "src": "4686:3:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 1296, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 942, "src": "4693:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4686:24:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1306, "nodeType": "IfStatement", "src": "4682:165:2", "trueBody": { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 1300, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1298, "name": "father", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1279, "src": "4732:6:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 1299, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 942, "src": "4742:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4732:27:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 1303, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4842:5:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 1285, "id": 1304, "nodeType": "Return", "src": "4835:12:2" }, "id": 1305, "nodeType": "IfStatement", "src": "4728:119:2", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 1301, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4788:4:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 1285, "id": 1302, "nodeType": "Return", "src": "4781:11:2" } } } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 1288, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1286, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1281, "src": "4612:3:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "id": 1287, "name": "father", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1279, "src": "4619:6:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4612:13:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 1308, "nodeType": "WhileStatement", "src": "4605:253:2" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 1309, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4874:4:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 1285, "id": 1310, "nodeType": "Return", "src": "4867:11:2" } ] }, "documentation": null, "id": 1312, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isFatherOfBranch", "nodeType": "FunctionDefinition", "parameters": { "id": 1282, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1279, "name": "father", "nodeType": "VariableDeclaration", "scope": 1312, "src": "4530:14:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1278, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4530:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1281, "name": "son", "nodeType": "VariableDeclaration", "scope": 1312, "src": "4546:11:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1280, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4546:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "4529:29:2" }, "payable": false, "returnParameters": { "id": 1285, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1284, "name": "", "nodeType": "VariableDeclaration", "scope": 1312, "src": "4588:4:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1283, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4588:4:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4587:6:2" }, "scope": 1313, "src": "4504:381:2", "stateMutability": "view", "superFunction": null, "visibility": "public" } ], "scope": 1314, "src": "27:4860:2" } ], "src": "0:4888:2" }, "legacyAST": { "absolutePath": "/home/josojo/reality/subjectivocracy/contracts/ForkonomicSystem.sol", "exportedSymbols": { "ForkonomicSystem": [ 1313 ] }, "id": 1314, "nodeType": "SourceUnit", "nodes": [ { "id": 898, "literals": [ "solidity", "^", "0.4", ".22" ], "nodeType": "PragmaDirective", "src": "0:24:2" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 1313, "linearizedBaseContracts": [ 1313 ], "name": "ForkonomicSystem", "nodeType": "ContractDefinition", "nodes": [ { "anonymous": false, "documentation": null, "id": 904, "name": "BranchCreated", "nodeType": "EventDefinition", "parameters": { "id": 903, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 900, "indexed": false, "name": "hash", "nodeType": "VariableDeclaration", "scope": 904, "src": "80:12:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 899, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "80:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 902, "indexed": false, "name": "whiteList_id", "nodeType": "VariableDeclaration", "scope": 904, "src": "94:20:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 901, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "94:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "79:36:2" }, "src": "60:56:2" }, { "constant": false, "id": 907, "name": "NULL_HASH", "nodeType": "VariableDeclaration", "scope": 1313, "src": "122:29:2", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 905, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "122:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": { "argumentTypes": null, "hexValue": "", "id": 906, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "149:2:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470", "typeString": "literal_string \"\"" }, "value": "" }, "visibility": "public" }, { "constant": false, "id": 910, "name": "WINDOWTIMESPAN", "nodeType": "VariableDeclaration", "scope": 1313, "src": "157:36:2", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 908, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "157:6:2", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": { "argumentTypes": null, "hexValue": "3836343030", "id": 909, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "188:5:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_86400_by_1", "typeString": "int_const 86400" }, "value": "86400" }, "visibility": "public" }, { "constant": false, "id": 916, "name": "arbitratorWhitelists", "nodeType": "VariableDeclaration", "scope": 1313, "src": "254:68:2", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" }, "typeName": { "id": 915, "keyType": { "id": 911, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "262:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "254:40:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" }, "valueType": { "id": 914, "keyType": { "id": 912, "name": "address", "nodeType": "ElementaryTypeName", "src": "279:7:2", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "271:22:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bool_$", "typeString": "mapping(address => bool)" }, "valueType": { "id": 913, "name": "bool", "nodeType": "ElementaryTypeName", "src": "288:4:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 920, "name": "branchParentHash", "nodeType": "VariableDeclaration", "scope": 1313, "src": "359:52:2", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "typeName": { "id": 919, "keyType": { "id": 917, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "367:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "359:28:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "valueType": { "id": 918, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "379:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 924, "name": "branchTimestamp", "nodeType": "VariableDeclaration", "scope": 1313, "src": "444:49:2", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "typeName": { "id": 923, "keyType": { "id": 921, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "452:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "444:26:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "valueType": { "id": 922, "name": "uint", "nodeType": "ElementaryTypeName", "src": "464:4:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 928, "name": "branchWindow", "nodeType": "VariableDeclaration", "scope": 1313, "src": "523:46:2", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "typeName": { "id": 927, "keyType": { "id": 925, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "531:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "523:26:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" }, "valueType": { "id": 926, "name": "uint", "nodeType": "ElementaryTypeName", "src": "543:4:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 932, "name": "branchArbitratorsID", "nodeType": "VariableDeclaration", "scope": 1313, "src": "595:54:2", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "typeName": { "id": 931, "keyType": { "id": 929, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "603:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Mapping", "src": "595:27:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" }, "valueType": { "id": 930, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "614:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 937, "name": "windowBranches", "nodeType": "VariableDeclaration", "scope": 1313, "src": "683:51:2", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[])" }, "typeName": { "id": 936, "keyType": { "id": 933, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "691:7:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Mapping", "src": "683:29:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[])" }, "valueType": { "baseType": { "id": 934, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "702:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 935, "length": null, "nodeType": "ArrayTypeName", "src": "702:9:2", "typeDescriptions": { "typeIdentifier": "t_array$_t_bytes32_$dyn_storage_ptr", "typeString": "bytes32[]" } } }, "value": null, "visibility": "public" }, { "constant": false, "id": 939, "name": "genesisWindowTimestamp", "nodeType": "VariableDeclaration", "scope": 1313, "src": "799:37:2", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 938, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "799:7:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 942, "name": "genesisBranchHash", "nodeType": "VariableDeclaration", "scope": 1313, "src": "892:42:2", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 940, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "892:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": { "argumentTypes": null, "id": 941, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 907, "src": "925:9:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "visibility": "public" }, { "body": { "id": 1006, "nodeType": "Block", "src": "966:563:2", "statements": [ { "expression": { "argumentTypes": null, "id": 952, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 945, "name": "genesisWindowTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 939, "src": "976:22:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 951, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 946, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5395, "src": "1001:3:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 949, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 947, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5395, "src": "1008:3:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 948, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 910, "src": "1014:14:2", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "1008:20:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 950, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1007:22:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1001:28:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "976:53:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 953, "nodeType": "ExpressionStatement", "src": "976:53:2" }, { "assignments": [ 955 ], "declarations": [ { "constant": false, "id": 955, "name": "genesisMerkleRoot", "nodeType": "VariableDeclaration", "scope": 1007, "src": "1039:25:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 954, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1039:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 959, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "49206c6561766520746f207365766572616c206675747572657320286e6f7420746f20616c6c29206d792067617264656e206f6620666f726b696e67207061746873", "id": 957, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1077:68:2", "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": 956, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5387, "src": "1067:9:2", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 958, "isConstant": false, "isLValue": false, "isPure": true, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1067:79:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "1039:107:2" }, { "expression": { "argumentTypes": null, "id": 968, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 960, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 942, "src": "1156:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 964, "name": "genesisMerkleRoot", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 955, "src": "1203:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "id": 965, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 907, "src": "1222:9:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "id": 962, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5380, "src": "1186:3:2", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 963, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1186:16:2", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 966, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1186:46:2", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 961, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5387, "src": "1176:9:2", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 967, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1176:57:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1156:77:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 969, "nodeType": "ExpressionStatement", "src": "1156:77:2" }, { "expression": { "argumentTypes": null, "id": 974, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 970, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 920, "src": "1244:16:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 972, "indexExpression": { "argumentTypes": null, "id": 971, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 942, "src": "1261:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1244:35:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 973, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 907, "src": "1282:9:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1244:47:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 975, "nodeType": "ExpressionStatement", "src": "1244:47:2" }, { "expression": { "argumentTypes": null, "id": 980, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 976, "name": "branchArbitratorsID", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 932, "src": "1301:19:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 978, "indexExpression": { "argumentTypes": null, "id": 977, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 942, "src": "1321:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1301:38:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 979, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 907, "src": "1342:9:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1301:50:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 981, "nodeType": "ExpressionStatement", "src": "1301:50:2" }, { "expression": { "argumentTypes": null, "id": 991, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 982, "name": "branchTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 924, "src": "1361:15:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 984, "indexExpression": { "argumentTypes": null, "id": 983, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 942, "src": "1377:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1361:34:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 990, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 985, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5395, "src": "1398:3:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 988, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 986, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5395, "src": "1405:3:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 987, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 910, "src": "1411:14:2", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "1405:20:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 989, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1404:22:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1398:28:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1361:65:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 992, "nodeType": "ExpressionStatement", "src": "1361:65:2" }, { "expression": { "argumentTypes": null, "id": 997, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 993, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 928, "src": "1436:12:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 995, "indexExpression": { "argumentTypes": null, "id": 994, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 942, "src": "1449:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "1436:31:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 996, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1470:1:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1436:35:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 998, "nodeType": "ExpressionStatement", "src": "1436:35:2" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1003, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 942, "src": "1504:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 999, "name": "windowBranches", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 937, "src": "1481:14:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[] storage ref)" } }, "id": 1001, "indexExpression": { "argumentTypes": null, "hexValue": "30", "id": 1000, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1496:1:2", "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:2", "typeDescriptions": { "typeIdentifier": "t_array$_t_bytes32_$dyn_storage", "typeString": "bytes32[] storage ref" } }, "id": 1002, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1481:22:2", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_bytes32_$returns$_t_uint256_$", "typeString": "function (bytes32) returns (uint256)" } }, "id": 1004, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1481:41:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1005, "nodeType": "ExpressionStatement", "src": "1481:41:2" } ] }, "documentation": null, "id": 1007, "implemented": true, "isConstructor": true, "isDeclaredConst": false, "modifiers": [], "name": "", "nodeType": "FunctionDefinition", "parameters": { "id": 943, "nodeType": "ParameterList", "parameters": [], "src": "952:2:2" }, "payable": false, "returnParameters": { "id": 944, "nodeType": "ParameterList", "parameters": [], "src": "966:0:2" }, "scope": 1313, "src": "941:588:2", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 1106, "nodeType": "Block", "src": "1634:1235:2", "statements": [ { "assignments": [ 1017 ], "declarations": [ { "constant": false, "id": 1017, "name": "branchHash", "nodeType": "VariableDeclaration", "scope": 1107, "src": "1645:18:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1016, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1645:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 1025, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1021, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1009, "src": "1693:16:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "id": 1022, "name": "whitelist_id", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1011, "src": "1711:12:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "id": 1019, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5380, "src": "1676:3:2", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 1020, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1676:16:2", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 1023, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1676:48:2", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 1018, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5387, "src": "1666:9:2", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 1024, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1666:59:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "1645:80:2" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 1029, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1027, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1017, "src": "1743:10:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "id": 1028, "name": "NULL_HASH", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 907, "src": "1757:9:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "1743:23:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "6272616e636820686173682073686f756c64206e6f7420626520746865204e554c4c5f48415348", "id": 1030, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1768:41:2", "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": 1026, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 5396, 5397 ], "referencedDeclaration": 5397, "src": "1735:7:2", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1031, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1735:75:2", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1032, "nodeType": "ExpressionStatement", "src": "1735:75:2" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1038, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1034, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 928, "src": "1966:12:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 1036, "indexExpression": { "argumentTypes": null, "id": 1035, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1017, "src": "1979:10:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1966:24:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 1037, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1994:1:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1966:29:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "6272616e6368206d757374206e6f74206578697374", "id": 1039, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1997:23:2", "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": 1033, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 5396, 5397 ], "referencedDeclaration": 5397, "src": "1958:7:2", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1040, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1958:63:2", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1041, "nodeType": "ExpressionStatement", "src": "1958:63:2" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 1051, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 1045, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1043, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1009, "src": "2039:16:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 1044, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 942, "src": "2059:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "2039:37:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1050, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1046, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 928, "src": "2080:12:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 1048, "indexExpression": { "argumentTypes": null, "id": 1047, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1009, "src": "2093:16:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2080:30:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 1049, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2113:1:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2080:34:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "2039:75:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "706172656e74206272616e6368206d757374206578697374", "id": 1052, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2116:26:2", "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": 1042, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 5396, 5397 ], "referencedDeclaration": 5397, "src": "2031:7:2", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1053, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2031:112:2", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1054, "nodeType": "ExpressionStatement", "src": "2031:112:2" }, { "assignments": [ 1056 ], "declarations": [ { "constant": false, "id": 1056, "name": "window", "nodeType": "VariableDeclaration", "scope": 1107, "src": "2225:14:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1055, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2225:7:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1062, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1061, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1057, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 928, "src": "2242:12:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 1059, "indexExpression": { "argumentTypes": null, "id": 1058, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1009, "src": "2255:16:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2242:30:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 1060, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2275:1:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2242:34:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2225:51:2" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1070, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1064, "name": "now", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5395, "src": "2294:3:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1069, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1065, "name": "genesisWindowTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 939, "src": "2301:22:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1068, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1066, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 910, "src": "2326:14:2", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 1067, "name": "window", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1056, "src": "2343:6:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2326:23:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2301:48:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2294:55:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "7468657265206d757374206265206f6e65207765656b2064656c6179206265747765656e20706172656e7420616e6420736f6e206272616e6368", "id": 1071, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2351:60:2", "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": 1063, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 5396, 5397 ], "referencedDeclaration": 5397, "src": "2286:7:2", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 1072, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2286:126:2", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1073, "nodeType": "ExpressionStatement", "src": "2286:126:2" }, { "expression": { "argumentTypes": null, "id": 1078, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1074, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 920, "src": "2423:16:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 1076, "indexExpression": { "argumentTypes": null, "id": 1075, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1017, "src": "2440:10:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2423:28:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1077, "name": "parentBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1009, "src": "2454:16:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "2423:47:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 1079, "nodeType": "ExpressionStatement", "src": "2423:47:2" }, { "expression": { "argumentTypes": null, "id": 1084, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1080, "name": "branchArbitratorsID", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 932, "src": "2480:19:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 1082, "indexExpression": { "argumentTypes": null, "id": 1081, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1017, "src": "2500:10:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2480:31:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1083, "name": "whitelist_id", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1011, "src": "2514:12:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "2480:46:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 1085, "nodeType": "ExpressionStatement", "src": "2480:46:2" }, { "expression": { "argumentTypes": null, "id": 1090, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1086, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 928, "src": "2698:12:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 1088, "indexExpression": { "argumentTypes": null, "id": 1087, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1017, "src": "2711:10:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "2698:24:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 1089, "name": "window", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1056, "src": "2725:6:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2698:33:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1091, "nodeType": "ExpressionStatement", "src": "2698:33:2" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1096, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1017, "src": "2769:10:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1092, "name": "windowBranches", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 937, "src": "2741:14:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_uint256_$_t_array$_t_bytes32_$dyn_storage_$", "typeString": "mapping(uint256 => bytes32[] storage ref)" } }, "id": 1094, "indexExpression": { "argumentTypes": null, "id": 1093, "name": "window", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1056, "src": "2756:6:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2741:22:2", "typeDescriptions": { "typeIdentifier": "t_array$_t_bytes32_$dyn_storage", "typeString": "bytes32[] storage ref" } }, "id": 1095, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2741:27:2", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_bytes32_$returns$_t_uint256_$", "typeString": "function (bytes32) returns (uint256)" } }, "id": 1097, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2741:39:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1098, "nodeType": "ExpressionStatement", "src": "2741:39:2" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1100, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1017, "src": "2810:10:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "id": 1101, "name": "whitelist_id", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1011, "src": "2822:12:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } ], "id": 1099, "name": "BranchCreated", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 904, "src": "2796:13:2", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_bytes32_$_t_bytes32_$returns$__$", "typeString": "function (bytes32,bytes32)" } }, "id": 1102, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2796:39:2", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 1103, "nodeType": "EmitStatement", "src": "2791:44:2" }, { "expression": { "argumentTypes": null, "id": 1104, "name": "branchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1017, "src": "2852:10:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 1015, "id": 1105, "nodeType": "Return", "src": "2845:17:2" } ] }, "documentation": null, "id": 1107, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "createBranch", "nodeType": "FunctionDefinition", "parameters": { "id": 1012, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1009, "name": "parentBranchHash", "nodeType": "VariableDeclaration", "scope": 1107, "src": "1557:24:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1008, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1557:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1011, "name": "whitelist_id", "nodeType": "VariableDeclaration", "scope": 1107, "src": "1583:20:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1010, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1583:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "1556:48:2" }, "payable": false, "returnParameters": { "id": 1015, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1014, "name": "", "nodeType": "VariableDeclaration", "scope": 1107, "src": "1625:7:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1013, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "1625:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "1624:9:2" }, "scope": 1313, "src": "1535:1334:2", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 1176, "nodeType": "Block", "src": "2962:455:2", "statements": [ { "assignments": [ 1116 ], "declarations": [ { "constant": false, "id": 1116, "name": "prev_hash", "nodeType": "VariableDeclaration", "scope": 1177, "src": "3003:17:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1115, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3003:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 1125, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1120, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1110, "src": "3050:11:2", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 1122, "indexExpression": { "argumentTypes": null, "hexValue": "30", "id": 1121, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3062:1:2", "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:2", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "expression": { "argumentTypes": null, "id": 1118, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5380, "src": "3033:3:2", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 1119, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3033:16:2", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 1123, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3033:32:2", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 1117, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5387, "src": "3023:9:2", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 1124, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3023:43:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "3003:63:2" }, { "body": { "id": 1149, "nodeType": "Block", "src": "3120:91:2", "statements": [ { "expression": { "argumentTypes": null, "id": 1147, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1137, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1116, "src": "3134:9:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 1141, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1116, "src": "3173:9:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1142, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1110, "src": "3184:11:2", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 1144, "indexExpression": { "argumentTypes": null, "id": 1143, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1127, "src": "3196:1:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3184:14:2", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, { "typeIdentifier": "t_address", "typeString": "address" } ], "expression": { "argumentTypes": null, "id": 1139, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5380, "src": "3156:3:2", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 1140, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3156:16:2", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 1145, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3156:43:2", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 1138, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5387, "src": "3146:9:2", "typeDescriptions": { "typeIdentifier": "t_function_sha3_pure$__$returns$_t_bytes32_$", "typeString": "function () pure returns (bytes32)" } }, "id": 1146, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3146:54:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3134:66:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 1148, "nodeType": "ExpressionStatement", "src": "3134:66:2" } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1133, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1130, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1127, "src": "3091:1:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1131, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1110, "src": "3095:11:2", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 1132, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3095:18:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3091:22:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 1150, "initializationExpression": { "assignments": [ 1127 ], "declarations": [ { "constant": false, "id": 1127, "name": "i", "nodeType": "VariableDeclaration", "scope": 1177, "src": "3081:6:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1126, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3081:4:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 1129, "initialValue": { "argumentTypes": null, "hexValue": "31", "id": 1128, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3088:1:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "nodeType": "VariableDeclarationStatement", "src": "3081:8:2" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 1135, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "3115:3:2", "subExpression": { "argumentTypes": null, "id": 1134, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1127, "src": "3115:1:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1136, "nodeType": "ExpressionStatement", "src": "3115:3:2" }, "nodeType": "ForStatement", "src": "3076:135:2" }, { "body": { "id": 1172, "nodeType": "Block", "src": "3306:79:2", "statements": [ { "expression": { "argumentTypes": null, "id": 1170, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1162, "name": "arbitratorWhitelists", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 916, "src": "3320:20:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" } }, "id": 1167, "indexExpression": { "argumentTypes": null, "id": 1163, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1116, "src": "3341:9:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3320:31:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bool_$", "typeString": "mapping(address => bool)" } }, "id": 1168, "indexExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1164, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1110, "src": "3352:11:2", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 1166, "indexExpression": { "argumentTypes": null, "id": 1165, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1127, "src": "3364:1:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3352:14:2", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "3320:47:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "74727565", "id": 1169, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3370:4:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "src": "3320:54:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 1171, "nodeType": "ExpressionStatement", "src": "3320:54:2" } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1158, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1155, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1127, "src": "3277:1:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 1156, "name": "arbitrators", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1110, "src": "3281:11:2", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[] memory" } }, "id": 1157, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3281:18:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3277:22:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 1173, "initializationExpression": { "expression": { "argumentTypes": null, "id": 1153, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1151, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1127, "src": "3270:1:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 1152, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3274:1:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3270:5:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1154, "nodeType": "ExpressionStatement", "src": "3270:5:2" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 1160, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "3301:3:2", "subExpression": { "argumentTypes": null, "id": 1159, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1127, "src": "3301:1:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 1161, "nodeType": "ExpressionStatement", "src": "3301:3:2" }, "nodeType": "ForStatement", "src": "3265:120:2" }, { "expression": { "argumentTypes": null, "id": 1174, "name": "prev_hash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1116, "src": "3401:9:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 1114, "id": 1175, "nodeType": "Return", "src": "3394:16:2" } ] }, "documentation": null, "id": 1177, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "createArbitratorWhitelist", "nodeType": "FunctionDefinition", "parameters": { "id": 1111, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1110, "name": "arbitrators", "nodeType": "VariableDeclaration", "scope": 1177, "src": "2910:21:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_memory_ptr", "typeString": "address[]" }, "typeName": { "baseType": { "id": 1108, "name": "address", "nodeType": "ElementaryTypeName", "src": "2910:7:2", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "id": 1109, "length": null, "nodeType": "ArrayTypeName", "src": "2910:9:2", "typeDescriptions": { "typeIdentifier": "t_array$_t_address_$dyn_storage_ptr", "typeString": "address[]" } }, "value": null, "visibility": "internal" } ], "src": "2909:23:2" }, "payable": false, "returnParameters": { "id": 1114, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1113, "name": "", "nodeType": "VariableDeclaration", "scope": 1177, "src": "2953:7:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1112, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "2953:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "2952:9:2" }, "scope": 1313, "src": "2875:542:2", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 1194, "nodeType": "Block", "src": "3521:78:2", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1186, "name": "arbitratorWhitelists", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 916, "src": "3538:20:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_mapping$_t_address_$_t_bool_$_$", "typeString": "mapping(bytes32 => mapping(address => bool))" } }, "id": 1190, "indexExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1187, "name": "branchArbitratorsID", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 932, "src": "3559:19:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 1189, "indexExpression": { "argumentTypes": null, "id": 1188, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1181, "src": "3579:6:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3559:27:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3538:49:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_bool_$", "typeString": "mapping(address => bool)" } }, "id": 1192, "indexExpression": { "argumentTypes": null, "id": 1191, "name": "arb", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1179, "src": "3588:3:2", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3538:54:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 1185, "id": 1193, "nodeType": "Return", "src": "3531:61:2" } ] }, "documentation": null, "id": 1195, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isArbitratorWhitelisted", "nodeType": "FunctionDefinition", "parameters": { "id": 1182, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1179, "name": "arb", "nodeType": "VariableDeclaration", "scope": 1195, "src": "3456:11:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 1178, "name": "address", "nodeType": "ElementaryTypeName", "src": "3456:7:2", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1181, "name": "branch", "nodeType": "VariableDeclaration", "scope": 1195, "src": "3469:14:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1180, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3469:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "3455:29:2" }, "payable": false, "returnParameters": { "id": 1185, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1184, "name": "", "nodeType": "VariableDeclaration", "scope": 1195, "src": "3515:4:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1183, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3515:4:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3514:6:2" }, "scope": 1313, "src": "3423:176:2", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 1231, "nodeType": "Block", "src": "3756:325:2", "statements": [ { "assignments": [ 1207 ], "declarations": [ { "constant": false, "id": 1207, "name": "iterationHash", "nodeType": "VariableDeclaration", "scope": 1232, "src": "3766:21:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1206, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3766:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "id": 1209, "initialValue": { "argumentTypes": null, "id": 1208, "name": "closerToRootHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1199, "src": "3790:16:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "VariableDeclarationStatement", "src": "3766:40:2" }, { "body": { "id": 1227, "nodeType": "Block", "src": "3859:194:2", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 1215, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1213, "name": "investigationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1197, "src": "3877:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 1214, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1207, "src": "3898:13:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3877:34:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 1225, "nodeType": "Block", "src": "3963:80:2", "statements": [ { "expression": { "argumentTypes": null, "id": 1223, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1219, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1207, "src": "3981:13:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1220, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 920, "src": "3997:16:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 1222, "indexExpression": { "argumentTypes": null, "id": 1221, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1207, "src": "4014:13:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3997:31:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3981:47:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 1224, "nodeType": "ExpressionStatement", "src": "3981:47:2" } ] }, "id": 1226, "nodeType": "IfStatement", "src": "3873:170:2", "trueBody": { "id": 1218, "nodeType": "Block", "src": "3913:44:2", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 1216, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "3938:4:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 1205, "id": 1217, "nodeType": "Return", "src": "3931:11:2" } ] } } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 1212, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1210, "name": "iterationHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1207, "src": "3823:13:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "id": 1211, "name": "fartherToRootHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1201, "src": "3840:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "3823:34:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 1228, "nodeType": "WhileStatement", "src": "3816:237:2" }, { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 1229, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4069:5:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 1205, "id": 1230, "nodeType": "Return", "src": "4062:12:2" } ] }, "documentation": null, "id": 1232, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isBranchInBetweenBranches", "nodeType": "FunctionDefinition", "parameters": { "id": 1202, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1197, "name": "investigationHash", "nodeType": "VariableDeclaration", "scope": 1232, "src": "3641:25:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1196, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3641:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1199, "name": "closerToRootHash", "nodeType": "VariableDeclaration", "scope": 1232, "src": "3668:24:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1198, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3668:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1201, "name": "fartherToRootHash", "nodeType": "VariableDeclaration", "scope": 1232, "src": "3694:25:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1200, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3694:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "3640:80:2" }, "payable": false, "returnParameters": { "id": 1205, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1204, "name": "", "nodeType": "VariableDeclaration", "scope": 1232, "src": "3750:4:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1203, "name": "bool", "nodeType": "ElementaryTypeName", "src": "3750:4:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "3749:6:2" }, "scope": 1313, "src": "3606:475:2", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 1257, "nodeType": "Block", "src": "4173:171:2", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1251, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1247, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1245, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1241, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 928, "src": "4187:12:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 1243, "indexExpression": { "argumentTypes": null, "id": 1242, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1236, "src": "4200:6:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4187:20:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 1244, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 910, "src": "4210:14:2", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "4187:37:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 1246, "name": "genesisWindowTimestamp", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 939, "src": "4227:22:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4187:62:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1250, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1248, "name": "ts", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1234, "src": "4253:2:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 1249, "name": "WINDOWTIMESPAN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 910, "src": "4258:14:2", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "4253:19:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4187:85:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 1254, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4332:5:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 1240, "id": 1255, "nodeType": "Return", "src": "4325:12:2" }, "id": 1256, "nodeType": "IfStatement", "src": "4183:154:2", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 1252, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4293:4:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 1240, "id": 1253, "nodeType": "Return", "src": "4286:11:2" } } ] }, "documentation": null, "id": 1258, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isBranchCreatedAfterTS", "nodeType": "FunctionDefinition", "parameters": { "id": 1237, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1234, "name": "ts", "nodeType": "VariableDeclaration", "scope": 1258, "src": "4119:10:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 1233, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4119:7:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1236, "name": "branch", "nodeType": "VariableDeclaration", "scope": 1258, "src": "4131:14:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1235, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4131:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "4118:28:2" }, "payable": false, "returnParameters": { "id": 1240, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1239, "name": "", "nodeType": "VariableDeclaration", "scope": 1258, "src": "4167:4:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1238, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4167:4:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4166:6:2" }, "scope": 1313, "src": "4087:257:2", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 1276, "nodeType": "Block", "src": "4417:81:2", "statements": [ { "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 1273, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 1267, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1265, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1260, "src": "4435:6:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 1266, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 942, "src": "4445:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4435:27:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 1272, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1268, "name": "branchWindow", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 928, "src": "4466:12:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_uint256_$", "typeString": "mapping(bytes32 => uint256)" } }, "id": 1270, "indexExpression": { "argumentTypes": null, "id": 1269, "name": "branch", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1260, "src": "4479:6:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4466:20:2", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 1271, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4489:1:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "4466:24:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "4435:55:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 1274, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "4434:57:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "functionReturnParameters": 1264, "id": 1275, "nodeType": "Return", "src": "4427:64:2" } ] }, "documentation": null, "id": 1277, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "doesBranchExist", "nodeType": "FunctionDefinition", "parameters": { "id": 1261, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1260, "name": "branch", "nodeType": "VariableDeclaration", "scope": 1277, "src": "4375:14:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1259, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4375:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "4374:16:2" }, "payable": false, "returnParameters": { "id": 1264, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1263, "name": "", "nodeType": "VariableDeclaration", "scope": 1277, "src": "4411:4:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1262, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4411:4:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4410:6:2" }, "scope": 1313, "src": "4350:148:2", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 1311, "nodeType": "Block", "src": "4594:291:2", "statements": [ { "body": { "id": 1307, "nodeType": "Block", "src": "4627:231:2", "statements": [ { "expression": { "argumentTypes": null, "id": 1293, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 1289, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1281, "src": "4641:3:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 1290, "name": "branchParentHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 920, "src": "4647:16:2", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_bytes32_$_t_bytes32_$", "typeString": "mapping(bytes32 => bytes32)" } }, "id": 1292, "indexExpression": { "argumentTypes": null, "id": 1291, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1281, "src": "4664:3:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4647:21:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4641:27:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "id": 1294, "nodeType": "ExpressionStatement", "src": "4641:27:2" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 1297, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1295, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1281, "src": "4686:3:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 1296, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 942, "src": "4693:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4686:24:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 1306, "nodeType": "IfStatement", "src": "4682:165:2", "trueBody": { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 1300, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1298, "name": "father", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1279, "src": "4732:6:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 1299, "name": "genesisBranchHash", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 942, "src": "4742:17:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4732:27:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "expression": { "argumentTypes": null, "hexValue": "66616c7365", "id": 1303, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4842:5:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, "functionReturnParameters": 1285, "id": 1304, "nodeType": "Return", "src": "4835:12:2" }, "id": 1305, "nodeType": "IfStatement", "src": "4728:119:2", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 1301, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4788:4:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 1285, "id": 1302, "nodeType": "Return", "src": "4781:11:2" } } } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "id": 1288, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 1286, "name": "son", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1281, "src": "4612:3:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "id": 1287, "name": "father", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 1279, "src": "4619:6:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "src": "4612:13:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 1308, "nodeType": "WhileStatement", "src": "4605:253:2" }, { "expression": { "argumentTypes": null, "hexValue": "74727565", "id": 1309, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "4874:4:2", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "functionReturnParameters": 1285, "id": 1310, "nodeType": "Return", "src": "4867:11:2" } ] }, "documentation": null, "id": 1312, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "isFatherOfBranch", "nodeType": "FunctionDefinition", "parameters": { "id": 1282, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1279, "name": "father", "nodeType": "VariableDeclaration", "scope": 1312, "src": "4530:14:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1278, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4530:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 1281, "name": "son", "nodeType": "VariableDeclaration", "scope": 1312, "src": "4546:11:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 1280, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "4546:7:2", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "4529:29:2" }, "payable": false, "returnParameters": { "id": 1285, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 1284, "name": "", "nodeType": "VariableDeclaration", "scope": 1312, "src": "4588:4:2", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 1283, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4588:4:2", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" } ], "src": "4587:6:2" }, "scope": 1313, "src": "4504:381:2", "stateMutability": "view", "superFunction": null, "visibility": "public" } ], "scope": 1314, "src": "27:4860:2" } ], "src": "0:4888:2" }, "compiler": { "name": "solc", "version": "0.4.25+commit.59dbf8f1.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.0.0-beta.1", "updatedAt": "2018-10-27T11:24:32.601Z" }