{ "contractName": "Checkpointing", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.4.24+commit.e67f0147\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"methods\":{},\"title\":\"Checkpointing\"},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"@aragonone/voting-connectors-contract-utils/contracts/Checkpointing.sol\":\"Checkpointing\"},\"evmVersion\":\"byzantium\",\"libraries\":{},\"optimizer\":{\"enabled\":true,\"runs\":10000},\"remappings\":[]},\"sources\":{\"@aragonone/voting-connectors-contract-utils/contracts/Checkpointing.sol\":{\"keccak256\":\"0xb6821c40c370cf6088e640a32adda80a394efbdd33f678e53813875c3ff61f1a\",\"urls\":[\"bzzr://dfeaf443b60d4aff738934d125eea2ca066091453fb1373432d9ab732d12ae5f\"]}},\"version\":1}", "bytecode": "0x604c602c600b82828239805160001a60731460008114601c57601e565bfe5b5030600052607381538281f30073000000000000000000000000000000000000000030146080604052600080fd00a165627a7a72305820e50c3b581461ce49955f3ef53afb7bd4f6e861160333979e21a7c96c0465d2230029", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fd00a165627a7a72305820e50c3b581461ce49955f3ef53afb7bd4f6e861160333979e21a7c96c0465d2230029", "sourceMap": "469:3325:61:-;;132:2:-1;166:7;155:9;146:7;137:37;252:7;246:14;243:1;238:23;232:4;229:33;270:1;265:20;;;;222:63;;265:20;274:9;222:63;;298:9;295:1;288:20;328:4;319:7;311:22;352:7;343;336:24", "deployedSourceMap": "469:3325:61:-;;;;;;;;", "source": "/*\n * SPDX-License-Identitifer: GPL-3.0-or-later\n */\n\npragma solidity ^0.4.24;\n\n\n/**\n * @title Checkpointing\n * @notice Checkpointing library for keeping track of historical values based on an arbitrary time\n * unit (e.g. seconds or block numbers).\n * @dev Inspired by:\n * - MiniMe token (https://github.com/aragon/minime/blob/master/contracts/MiniMeToken.sol)\n * - Staking (https://github.com/aragon/staking/blob/master/contracts/Checkpointing.sol)\n */\nlibrary Checkpointing {\n string private constant ERROR_PAST_CHECKPOINT = \"CHECKPOINT_PAST_CHECKPOINT\";\n\n struct Checkpoint {\n uint64 time;\n uint192 value;\n }\n\n struct History {\n Checkpoint[] history;\n }\n\n function addCheckpoint(History storage _self, uint64 _time, uint192 _value) internal {\n uint256 length = _self.history.length;\n if (length == 0) {\n _self.history.push(Checkpoint(_time, _value));\n } else {\n Checkpoint storage currentCheckpoint = _self.history[length - 1];\n uint256 currentCheckpointTime = uint256(currentCheckpoint.time);\n\n if (_time > currentCheckpointTime) {\n _self.history.push(Checkpoint(_time, _value));\n } else if (_time == currentCheckpointTime) {\n currentCheckpoint.value = _value;\n } else { // ensure list ordering\n revert(ERROR_PAST_CHECKPOINT);\n }\n }\n }\n\n function getValueAt(History storage _self, uint64 _time) internal view returns (uint256) {\n return _getValueAt(_self, _time);\n }\n\n function lastUpdated(History storage _self) internal view returns (uint256) {\n uint256 length = _self.history.length;\n if (length > 0) {\n return uint256(_self.history[length - 1].time);\n }\n\n return 0;\n }\n\n function latestValue(History storage _self) internal view returns (uint256) {\n uint256 length = _self.history.length;\n if (length > 0) {\n return uint256(_self.history[length - 1].value);\n }\n\n return 0;\n }\n\n function _getValueAt(History storage _self, uint64 _time) private view returns (uint256) {\n uint256 length = _self.history.length;\n\n // Short circuit if there's no checkpoints yet\n // Note that this also lets us avoid using SafeMath later on, as we've established that\n // there must be at least one checkpoint\n if (length == 0) {\n return 0;\n }\n\n // Check last checkpoint\n uint256 lastIndex = length - 1;\n Checkpoint storage lastCheckpoint = _self.history[lastIndex];\n if (_time >= lastCheckpoint.time) {\n return uint256(lastCheckpoint.value);\n }\n\n // Check first checkpoint (if not already checked with the above check on last)\n if (length == 1 || _time < _self.history[0].time) {\n return 0;\n }\n\n // Do binary search\n // As we've already checked both ends, we don't need to check the last checkpoint again\n uint256 low = 0;\n uint256 high = lastIndex - 1;\n\n while (high > low) {\n uint256 mid = (high + low + 1) / 2; // average, ceil round\n Checkpoint storage checkpoint = _self.history[mid];\n uint64 midTime = checkpoint.time;\n\n if (_time > midTime) {\n low = mid;\n } else if (_time < midTime) {\n // Note that we don't need SafeMath here because mid must always be greater than 0\n // from the while condition\n high = mid - 1;\n } else {\n // _time == midTime\n return uint256(checkpoint.value);\n }\n }\n\n return uint256(_self.history[low].value);\n }\n}\n", "sourcePath": "@aragonone/voting-connectors-contract-utils/contracts/Checkpointing.sol", "ast": { "absolutePath": "@aragonone/voting-connectors-contract-utils/contracts/Checkpointing.sol", "exportedSymbols": { "Checkpointing": [ 10232 ] }, "id": 10233, "nodeType": "SourceUnit", "nodes": [ { "id": 9927, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "57:24:61" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title Checkpointing\n@notice Checkpointing library for keeping track of historical values based on an arbitrary time\n unit (e.g. seconds or block numbers).\n@dev Inspired by:\n - MiniMe token (https://github.com/aragon/minime/blob/master/contracts/MiniMeToken.sol)\n - Staking (https://github.com/aragon/staking/blob/master/contracts/Checkpointing.sol)", "fullyImplemented": true, "id": 10232, "linearizedBaseContracts": [ 10232 ], "name": "Checkpointing", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "id": 9930, "name": "ERROR_PAST_CHECKPOINT", "nodeType": "VariableDeclaration", "scope": 10232, "src": "497:76:61", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 9928, "name": "string", "nodeType": "ElementaryTypeName", "src": "497:6:61", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "434845434b504f494e545f504153545f434845434b504f494e54", "id": 9929, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "545:28:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_92bba2e8695fe63fce0b2a0814f33f37810c5a6aea118ad40a1cc058bf1df91e", "typeString": "literal_string \"CHECKPOINT_PAST_CHECKPOINT\"" }, "value": "CHECKPOINT_PAST_CHECKPOINT" }, "visibility": "private" }, { "canonicalName": "Checkpointing.Checkpoint", "id": 9935, "members": [ { "constant": false, "id": 9932, "name": "time", "nodeType": "VariableDeclaration", "scope": 9935, "src": "608:11:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9931, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "608:6:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9934, "name": "value", "nodeType": "VariableDeclaration", "scope": 9935, "src": "629:13:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" }, "typeName": { "id": 9933, "name": "uint192", "nodeType": "ElementaryTypeName", "src": "629:7:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } }, "value": null, "visibility": "internal" } ], "name": "Checkpoint", "nodeType": "StructDefinition", "scope": 10232, "src": "580:69:61", "visibility": "public" }, { "canonicalName": "Checkpointing.History", "id": 9939, "members": [ { "constant": false, "id": 9938, "name": "history", "nodeType": "VariableDeclaration", "scope": 9939, "src": "680:20:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage_ptr", "typeString": "struct Checkpointing.Checkpoint[]" }, "typeName": { "baseType": { "contractScope": null, "id": 9936, "name": "Checkpoint", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9935, "src": "680:10:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint" } }, "id": 9937, "length": null, "nodeType": "ArrayTypeName", "src": "680:12:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage_ptr", "typeString": "struct Checkpointing.Checkpoint[]" } }, "value": null, "visibility": "internal" } ], "name": "History", "nodeType": "StructDefinition", "scope": 10232, "src": "655:52:61", "visibility": "public" }, { "body": { "id": 10019, "nodeType": "Block", "src": "798:648:61", "statements": [ { "assignments": [ 9949 ], "declarations": [ { "constant": false, "id": 9949, "name": "length", "nodeType": "VariableDeclaration", "scope": 10020, "src": "808:14:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9948, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "808:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 9953, "initialValue": { "argumentTypes": null, "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 9950, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9941, "src": "825:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 9951, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "825:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 9952, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "825:20:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "808:37:61" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9956, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9954, "name": "length", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9949, "src": "859:6:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 9955, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "869:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "859:11:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 10017, "nodeType": "Block", "src": "948:492:61", "statements": [ { "assignments": [ 9970 ], "declarations": [ { "constant": false, "id": 9970, "name": "currentCheckpoint", "nodeType": "VariableDeclaration", "scope": 10020, "src": "962:36:61", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint" }, "typeName": { "contractScope": null, "id": 9969, "name": "Checkpoint", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9935, "src": "962:10:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint" } }, "value": null, "visibility": "internal" } ], "id": 9977, "initialValue": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 9971, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9941, "src": "1001:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 9972, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "1001:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 9976, "indexExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9975, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9973, "name": "length", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9949, "src": "1015:6:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 9974, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1024:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "1015:10:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1001:25:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage", "typeString": "struct Checkpointing.Checkpoint storage ref" } }, "nodeType": "VariableDeclarationStatement", "src": "962:64:61" }, { "assignments": [ 9979 ], "declarations": [ { "constant": false, "id": 9979, "name": "currentCheckpointTime", "nodeType": "VariableDeclaration", "scope": 10020, "src": "1040:29:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9978, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1040:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 9984, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 9981, "name": "currentCheckpoint", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9970, "src": "1080:17:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint storage pointer" } }, "id": 9982, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "time", "nodeType": "MemberAccess", "referencedDeclaration": 9932, "src": "1080:22:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint64", "typeString": "uint64" } ], "id": 9980, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1072:7:61", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 9983, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1072:31:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1040:63:61" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9987, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9985, "name": "_time", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9943, "src": "1122:5:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 9986, "name": "currentCheckpointTime", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9979, "src": "1130:21:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1122:29:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10002, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10000, "name": "_time", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9943, "src": "1241:5:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 10001, "name": "currentCheckpointTime", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9979, "src": "1250:21:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1241:30:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 10014, "nodeType": "Block", "src": "1344:86:61", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 10011, "name": "ERROR_PAST_CHECKPOINT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9930, "src": "1393:21:61", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 10010, "name": "revert", "nodeType": "Identifier", "overloadedDeclarations": [ 10409, 10410 ], "referencedDeclaration": 10410, "src": "1386:6:61", "typeDescriptions": { "typeIdentifier": "t_function_revert_pure$_t_string_memory_ptr_$returns$__$", "typeString": "function (string memory) pure" } }, "id": 10012, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1386:29:61", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 10013, "nodeType": "ExpressionStatement", "src": "1386:29:61" } ] }, "id": 10015, "nodeType": "IfStatement", "src": "1237:193:61", "trueBody": { "id": 10009, "nodeType": "Block", "src": "1273:65:61", "statements": [ { "expression": { "argumentTypes": null, "id": 10007, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10003, "name": "currentCheckpoint", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9970, "src": "1291:17:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint storage pointer" } }, "id": 10005, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "memberName": "value", "nodeType": "MemberAccess", "referencedDeclaration": 9934, "src": "1291:23:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 10006, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9945, "src": "1317:6:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } }, "src": "1291:32:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } }, "id": 10008, "nodeType": "ExpressionStatement", "src": "1291:32:61" } ] } }, "id": 10016, "nodeType": "IfStatement", "src": "1118:312:61", "trueBody": { "id": 9999, "nodeType": "Block", "src": "1153:78:61", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9994, "name": "_time", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9943, "src": "1201:5:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, { "argumentTypes": null, "id": 9995, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9945, "src": "1208:6:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint64", "typeString": "uint64" }, { "typeIdentifier": "t_uint192", "typeString": "uint192" } ], "id": 9993, "name": "Checkpoint", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9935, "src": "1190:10:61", "typeDescriptions": { "typeIdentifier": "t_type$_t_struct$_Checkpoint_$9935_storage_ptr_$", "typeString": "type(struct Checkpointing.Checkpoint storage pointer)" } }, "id": 9996, "isConstant": false, "isLValue": false, "isPure": false, "kind": "structConstructorCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1190:25:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_memory", "typeString": "struct Checkpointing.Checkpoint memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_struct$_Checkpoint_$9935_memory", "typeString": "struct Checkpointing.Checkpoint memory" } ], "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 9988, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9941, "src": "1171:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 9991, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "1171:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 9992, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1171:18:61", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_struct$_Checkpoint_$9935_storage_$returns$_t_uint256_$", "typeString": "function (struct Checkpointing.Checkpoint storage ref) returns (uint256)" } }, "id": 9997, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1171:45:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 9998, "nodeType": "ExpressionStatement", "src": "1171:45:61" } ] } } ] }, "id": 10018, "nodeType": "IfStatement", "src": "855:585:61", "trueBody": { "id": 9968, "nodeType": "Block", "src": "872:70:61", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9963, "name": "_time", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9943, "src": "916:5:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, { "argumentTypes": null, "id": 9964, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9945, "src": "923:6:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint64", "typeString": "uint64" }, { "typeIdentifier": "t_uint192", "typeString": "uint192" } ], "id": 9962, "name": "Checkpoint", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9935, "src": "905:10:61", "typeDescriptions": { "typeIdentifier": "t_type$_t_struct$_Checkpoint_$9935_storage_ptr_$", "typeString": "type(struct Checkpointing.Checkpoint storage pointer)" } }, "id": 9965, "isConstant": false, "isLValue": false, "isPure": false, "kind": "structConstructorCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "905:25:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_memory", "typeString": "struct Checkpointing.Checkpoint memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_struct$_Checkpoint_$9935_memory", "typeString": "struct Checkpointing.Checkpoint memory" } ], "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 9957, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9941, "src": "886:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 9960, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "886:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 9961, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "886:18:61", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_struct$_Checkpoint_$9935_storage_$returns$_t_uint256_$", "typeString": "function (struct Checkpointing.Checkpoint storage ref) returns (uint256)" } }, "id": 9966, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "886:45:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 9967, "nodeType": "ExpressionStatement", "src": "886:45:61" } ] } } ] }, "documentation": null, "id": 10020, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "addCheckpoint", "nodeType": "FunctionDefinition", "parameters": { "id": 9946, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9941, "name": "_self", "nodeType": "VariableDeclaration", "scope": 10020, "src": "736:21:61", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History" }, "typeName": { "contractScope": null, "id": 9940, "name": "History", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9939, "src": "736:7:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9943, "name": "_time", "nodeType": "VariableDeclaration", "scope": 10020, "src": "759:12:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9942, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "759:6:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9945, "name": "_value", "nodeType": "VariableDeclaration", "scope": 10020, "src": "773:14:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" }, "typeName": { "id": 9944, "name": "uint192", "nodeType": "ElementaryTypeName", "src": "773:7:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } }, "value": null, "visibility": "internal" } ], "src": "735:53:61" }, "payable": false, "returnParameters": { "id": 9947, "nodeType": "ParameterList", "parameters": [], "src": "798:0:61" }, "scope": 10232, "src": "713:733:61", "stateMutability": "nonpayable", "superFunction": null, "visibility": "internal" }, { "body": { "id": 10034, "nodeType": "Block", "src": "1541:49:61", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 10030, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10022, "src": "1570:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, { "argumentTypes": null, "id": 10031, "name": "_time", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10024, "src": "1577:5:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" }, { "typeIdentifier": "t_uint64", "typeString": "uint64" } ], "id": 10029, "name": "_getValueAt", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10231, "src": "1558:11:61", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_struct$_History_$9939_storage_ptr_$_t_uint64_$returns$_t_uint256_$", "typeString": "function (struct Checkpointing.History storage pointer,uint64) view returns (uint256)" } }, "id": 10032, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1558:25:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 10028, "id": 10033, "nodeType": "Return", "src": "1551:32:61" } ] }, "documentation": null, "id": 10035, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "getValueAt", "nodeType": "FunctionDefinition", "parameters": { "id": 10025, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10022, "name": "_self", "nodeType": "VariableDeclaration", "scope": 10035, "src": "1472:21:61", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History" }, "typeName": { "contractScope": null, "id": 10021, "name": "History", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9939, "src": "1472:7:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10024, "name": "_time", "nodeType": "VariableDeclaration", "scope": 10035, "src": "1495:12:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 10023, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1495:6:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1471:37:61" }, "payable": false, "returnParameters": { "id": 10028, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10027, "name": "", "nodeType": "VariableDeclaration", "scope": 10035, "src": "1532:7:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10026, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1532:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1531:9:61" }, "scope": 10232, "src": "1452:138:61", "stateMutability": "view", "superFunction": null, "visibility": "internal" }, { "body": { "id": 10065, "nodeType": "Block", "src": "1672:169:61", "statements": [ { "assignments": [ 10043 ], "declarations": [ { "constant": false, "id": 10043, "name": "length", "nodeType": "VariableDeclaration", "scope": 10066, "src": "1682:14:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10042, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1682:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 10047, "initialValue": { "argumentTypes": null, "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10044, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10037, "src": "1699:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 10045, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "1699:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 10046, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1699:20:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1682:37:61" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10050, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10048, "name": "length", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10043, "src": "1733:6:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 10049, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1742:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1733:10:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 10062, "nodeType": "IfStatement", "src": "1729:87:61", "trueBody": { "id": 10061, "nodeType": "Block", "src": "1745:71:61", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10052, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10037, "src": "1774:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 10053, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "1774:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 10057, "indexExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10056, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10054, "name": "length", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10043, "src": "1788:6:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 10055, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1797:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "1788:10:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1774:25:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage", "typeString": "struct Checkpointing.Checkpoint storage ref" } }, "id": 10058, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "time", "nodeType": "MemberAccess", "referencedDeclaration": 9932, "src": "1774:30:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint64", "typeString": "uint64" } ], "id": 10051, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1766:7:61", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 10059, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1766:39:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 10041, "id": 10060, "nodeType": "Return", "src": "1759:46:61" } ] } }, { "expression": { "argumentTypes": null, "hexValue": "30", "id": 10063, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1833:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 10041, "id": 10064, "nodeType": "Return", "src": "1826:8:61" } ] }, "documentation": null, "id": 10066, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "lastUpdated", "nodeType": "FunctionDefinition", "parameters": { "id": 10038, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10037, "name": "_self", "nodeType": "VariableDeclaration", "scope": 10066, "src": "1617:21:61", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History" }, "typeName": { "contractScope": null, "id": 10036, "name": "History", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9939, "src": "1617:7:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History" } }, "value": null, "visibility": "internal" } ], "src": "1616:23:61" }, "payable": false, "returnParameters": { "id": 10041, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10040, "name": "", "nodeType": "VariableDeclaration", "scope": 10066, "src": "1663:7:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10039, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1663:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1662:9:61" }, "scope": 10232, "src": "1596:245:61", "stateMutability": "view", "superFunction": null, "visibility": "internal" }, { "body": { "id": 10096, "nodeType": "Block", "src": "1923:170:61", "statements": [ { "assignments": [ 10074 ], "declarations": [ { "constant": false, "id": 10074, "name": "length", "nodeType": "VariableDeclaration", "scope": 10097, "src": "1933:14:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10073, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1933:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 10078, "initialValue": { "argumentTypes": null, "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10075, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10068, "src": "1950:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 10076, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "1950:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 10077, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1950:20:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1933:37:61" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10081, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10079, "name": "length", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10074, "src": "1984:6:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 10080, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1993:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1984:10:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 10093, "nodeType": "IfStatement", "src": "1980:88:61", "trueBody": { "id": 10092, "nodeType": "Block", "src": "1996:72:61", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10083, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10068, "src": "2025:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 10084, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "2025:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 10088, "indexExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10087, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10085, "name": "length", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10074, "src": "2039:6:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 10086, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2048:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2039:10:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2025:25:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage", "typeString": "struct Checkpointing.Checkpoint storage ref" } }, "id": 10089, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "value", "nodeType": "MemberAccess", "referencedDeclaration": 9934, "src": "2025:31:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint192", "typeString": "uint192" } ], "id": 10082, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "2017:7:61", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 10090, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2017:40:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 10072, "id": 10091, "nodeType": "Return", "src": "2010:47:61" } ] } }, { "expression": { "argumentTypes": null, "hexValue": "30", "id": 10094, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2085:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 10072, "id": 10095, "nodeType": "Return", "src": "2078:8:61" } ] }, "documentation": null, "id": 10097, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "latestValue", "nodeType": "FunctionDefinition", "parameters": { "id": 10069, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10068, "name": "_self", "nodeType": "VariableDeclaration", "scope": 10097, "src": "1868:21:61", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History" }, "typeName": { "contractScope": null, "id": 10067, "name": "History", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9939, "src": "1868:7:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History" } }, "value": null, "visibility": "internal" } ], "src": "1867:23:61" }, "payable": false, "returnParameters": { "id": 10072, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10071, "name": "", "nodeType": "VariableDeclaration", "scope": 10097, "src": "1914:7:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10070, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1914:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1913:9:61" }, "scope": 10232, "src": "1847:246:61", "stateMutability": "view", "superFunction": null, "visibility": "internal" }, { "body": { "id": 10230, "nodeType": "Block", "src": "2188:1604:61", "statements": [ { "assignments": [ 10107 ], "declarations": [ { "constant": false, "id": 10107, "name": "length", "nodeType": "VariableDeclaration", "scope": 10231, "src": "2198:14:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10106, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2198:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 10111, "initialValue": { "argumentTypes": null, "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10108, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10099, "src": "2215:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 10109, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "2215:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 10110, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2215:20:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2198:37:61" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10114, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10112, "name": "length", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10107, "src": "2450:6:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 10113, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2460:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2450:11:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 10118, "nodeType": "IfStatement", "src": "2446:50:61", "trueBody": { "id": 10117, "nodeType": "Block", "src": "2463:33:61", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 10115, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2484:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 10105, "id": 10116, "nodeType": "Return", "src": "2477:8:61" } ] } }, { "assignments": [ 10120 ], "declarations": [ { "constant": false, "id": 10120, "name": "lastIndex", "nodeType": "VariableDeclaration", "scope": 10231, "src": "2539:17:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10119, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2539:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 10124, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10123, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10121, "name": "length", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10107, "src": "2559:6:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 10122, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2568:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2559:10:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2539:30:61" }, { "assignments": [ 10126 ], "declarations": [ { "constant": false, "id": 10126, "name": "lastCheckpoint", "nodeType": "VariableDeclaration", "scope": 10231, "src": "2579:33:61", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint" }, "typeName": { "contractScope": null, "id": 10125, "name": "Checkpoint", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9935, "src": "2579:10:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint" } }, "value": null, "visibility": "internal" } ], "id": 10131, "initialValue": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10127, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10099, "src": "2615:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 10128, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "2615:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 10130, "indexExpression": { "argumentTypes": null, "id": 10129, "name": "lastIndex", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10120, "src": "2629:9:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2615:24:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage", "typeString": "struct Checkpointing.Checkpoint storage ref" } }, "nodeType": "VariableDeclarationStatement", "src": "2579:60:61" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 10135, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10132, "name": "_time", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10101, "src": "2653:5:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10133, "name": "lastCheckpoint", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10126, "src": "2662:14:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint storage pointer" } }, "id": 10134, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "time", "nodeType": "MemberAccess", "referencedDeclaration": 9932, "src": "2662:19:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "2653:28:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 10142, "nodeType": "IfStatement", "src": "2649:95:61", "trueBody": { "id": 10141, "nodeType": "Block", "src": "2683:61:61", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10137, "name": "lastCheckpoint", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10126, "src": "2712:14:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint storage pointer" } }, "id": 10138, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "value", "nodeType": "MemberAccess", "referencedDeclaration": 9934, "src": "2712:20:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint192", "typeString": "uint192" } ], "id": 10136, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "2704:7:61", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 10139, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2704:29:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 10105, "id": 10140, "nodeType": "Return", "src": "2697:36:61" } ] } }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 10153, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10145, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10143, "name": "length", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10107, "src": "2846:6:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 10144, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2856:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2846:11:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 10152, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10146, "name": "_time", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10101, "src": "2861:5:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10147, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10099, "src": "2869:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 10148, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "2869:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 10150, "indexExpression": { "argumentTypes": null, "hexValue": "30", "id": 10149, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2883:1:61", "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": "2869:16:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage", "typeString": "struct Checkpointing.Checkpoint storage ref" } }, "id": 10151, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "time", "nodeType": "MemberAccess", "referencedDeclaration": 9932, "src": "2869:21:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "2861:29:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "2846:44:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 10157, "nodeType": "IfStatement", "src": "2842:83:61", "trueBody": { "id": 10156, "nodeType": "Block", "src": "2892:33:61", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 10154, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2913:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 10105, "id": 10155, "nodeType": "Return", "src": "2906:8:61" } ] } }, { "assignments": [ 10159 ], "declarations": [ { "constant": false, "id": 10159, "name": "low", "nodeType": "VariableDeclaration", "scope": 10231, "src": "3059:11:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10158, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3059:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 10161, "initialValue": { "argumentTypes": null, "hexValue": "30", "id": 10160, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3073:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "nodeType": "VariableDeclarationStatement", "src": "3059:15:61" }, { "assignments": [ 10163 ], "declarations": [ { "constant": false, "id": 10163, "name": "high", "nodeType": "VariableDeclaration", "scope": 10231, "src": "3084:12:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10162, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3084:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 10167, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10166, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10164, "name": "lastIndex", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10120, "src": "3099:9:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 10165, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3111:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "3099:13:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "3084:28:61" }, { "body": { "id": 10220, "nodeType": "Block", "src": "3142:593:61", "statements": [ { "assignments": [ 10172 ], "declarations": [ { "constant": false, "id": 10172, "name": "mid", "nodeType": "VariableDeclaration", "scope": 10231, "src": "3156:11:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10171, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3156:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 10181, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10180, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10177, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10175, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10173, "name": "high", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10163, "src": "3171:4:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 10174, "name": "low", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10159, "src": "3178:3:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3171:10:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 10176, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3184:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "3171:14:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 10178, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "3170:16:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "hexValue": "32", "id": 10179, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3189:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "src": "3170:20:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "3156:34:61" }, { "assignments": [ 10183 ], "declarations": [ { "constant": false, "id": 10183, "name": "checkpoint", "nodeType": "VariableDeclaration", "scope": 10231, "src": "3227:29:61", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint" }, "typeName": { "contractScope": null, "id": 10182, "name": "Checkpoint", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9935, "src": "3227:10:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint" } }, "value": null, "visibility": "internal" } ], "id": 10188, "initialValue": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10184, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10099, "src": "3259:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 10185, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "3259:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 10187, "indexExpression": { "argumentTypes": null, "id": 10186, "name": "mid", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10172, "src": "3273:3:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3259:18:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage", "typeString": "struct Checkpointing.Checkpoint storage ref" } }, "nodeType": "VariableDeclarationStatement", "src": "3227:50:61" }, { "assignments": [ 10190 ], "declarations": [ { "constant": false, "id": 10190, "name": "midTime", "nodeType": "VariableDeclaration", "scope": 10231, "src": "3291:14:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 10189, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "3291:6:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "id": 10193, "initialValue": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10191, "name": "checkpoint", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10183, "src": "3308:10:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint storage pointer" } }, "id": 10192, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "time", "nodeType": "MemberAccess", "referencedDeclaration": 9932, "src": "3308:15:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "VariableDeclarationStatement", "src": "3291:32:61" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 10196, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10194, "name": "_time", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10101, "src": "3342:5:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 10195, "name": "midTime", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10190, "src": "3350:7:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "3342:15:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 10204, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10202, "name": "_time", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10101, "src": "3411:5:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 10203, "name": "midTime", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10190, "src": "3419:7:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "3411:15:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 10217, "nodeType": "Block", "src": "3624:101:61", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10213, "name": "checkpoint", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10183, "src": "3693:10:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint storage pointer" } }, "id": 10214, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "value", "nodeType": "MemberAccess", "referencedDeclaration": 9934, "src": "3693:16:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint192", "typeString": "uint192" } ], "id": 10212, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3685:7:61", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 10215, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3685:25:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 10105, "id": 10216, "nodeType": "Return", "src": "3678:32:61" } ] }, "id": 10218, "nodeType": "IfStatement", "src": "3407:318:61", "trueBody": { "id": 10211, "nodeType": "Block", "src": "3428:190:61", "statements": [ { "expression": { "argumentTypes": null, "id": 10209, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 10205, "name": "high", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10163, "src": "3589:4:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10208, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10206, "name": "mid", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10172, "src": "3596:3:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 10207, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3602:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "3596:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3589:14:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10210, "nodeType": "ExpressionStatement", "src": "3589:14:61" } ] } }, "id": 10219, "nodeType": "IfStatement", "src": "3338:387:61", "trueBody": { "id": 10201, "nodeType": "Block", "src": "3359:42:61", "statements": [ { "expression": { "argumentTypes": null, "id": 10199, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 10197, "name": "low", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10159, "src": "3377:3:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 10198, "name": "mid", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10172, "src": "3383:3:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3377:9:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10200, "nodeType": "ExpressionStatement", "src": "3377:9:61" } ] } } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10170, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10168, "name": "high", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10163, "src": "3130:4:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 10169, "name": "low", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10159, "src": "3137:3:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3130:10:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 10221, "nodeType": "WhileStatement", "src": "3123:612:61" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10223, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10099, "src": "3760:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 10224, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "3760:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 10226, "indexExpression": { "argumentTypes": null, "id": 10225, "name": "low", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10159, "src": "3774:3:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3760:18:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage", "typeString": "struct Checkpointing.Checkpoint storage ref" } }, "id": 10227, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "value", "nodeType": "MemberAccess", "referencedDeclaration": 9934, "src": "3760:24:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint192", "typeString": "uint192" } ], "id": 10222, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3752:7:61", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 10228, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3752:33:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 10105, "id": 10229, "nodeType": "Return", "src": "3745:40:61" } ] }, "documentation": null, "id": 10231, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "_getValueAt", "nodeType": "FunctionDefinition", "parameters": { "id": 10102, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10099, "name": "_self", "nodeType": "VariableDeclaration", "scope": 10231, "src": "2120:21:61", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History" }, "typeName": { "contractScope": null, "id": 10098, "name": "History", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9939, "src": "2120:7:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10101, "name": "_time", "nodeType": "VariableDeclaration", "scope": 10231, "src": "2143:12:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 10100, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "2143:6:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "2119:37:61" }, "payable": false, "returnParameters": { "id": 10105, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10104, "name": "", "nodeType": "VariableDeclaration", "scope": 10231, "src": "2179:7:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10103, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2179:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2178:9:61" }, "scope": 10232, "src": "2099:1693:61", "stateMutability": "view", "superFunction": null, "visibility": "private" } ], "scope": 10233, "src": "469:3325:61" } ], "src": "57:3738:61" }, "legacyAST": { "absolutePath": "@aragonone/voting-connectors-contract-utils/contracts/Checkpointing.sol", "exportedSymbols": { "Checkpointing": [ 10232 ] }, "id": 10233, "nodeType": "SourceUnit", "nodes": [ { "id": 9927, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "57:24:61" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title Checkpointing\n@notice Checkpointing library for keeping track of historical values based on an arbitrary time\n unit (e.g. seconds or block numbers).\n@dev Inspired by:\n - MiniMe token (https://github.com/aragon/minime/blob/master/contracts/MiniMeToken.sol)\n - Staking (https://github.com/aragon/staking/blob/master/contracts/Checkpointing.sol)", "fullyImplemented": true, "id": 10232, "linearizedBaseContracts": [ 10232 ], "name": "Checkpointing", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "id": 9930, "name": "ERROR_PAST_CHECKPOINT", "nodeType": "VariableDeclaration", "scope": 10232, "src": "497:76:61", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 9928, "name": "string", "nodeType": "ElementaryTypeName", "src": "497:6:61", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "434845434b504f494e545f504153545f434845434b504f494e54", "id": 9929, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "545:28:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_92bba2e8695fe63fce0b2a0814f33f37810c5a6aea118ad40a1cc058bf1df91e", "typeString": "literal_string \"CHECKPOINT_PAST_CHECKPOINT\"" }, "value": "CHECKPOINT_PAST_CHECKPOINT" }, "visibility": "private" }, { "canonicalName": "Checkpointing.Checkpoint", "id": 9935, "members": [ { "constant": false, "id": 9932, "name": "time", "nodeType": "VariableDeclaration", "scope": 9935, "src": "608:11:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9931, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "608:6:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9934, "name": "value", "nodeType": "VariableDeclaration", "scope": 9935, "src": "629:13:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" }, "typeName": { "id": 9933, "name": "uint192", "nodeType": "ElementaryTypeName", "src": "629:7:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } }, "value": null, "visibility": "internal" } ], "name": "Checkpoint", "nodeType": "StructDefinition", "scope": 10232, "src": "580:69:61", "visibility": "public" }, { "canonicalName": "Checkpointing.History", "id": 9939, "members": [ { "constant": false, "id": 9938, "name": "history", "nodeType": "VariableDeclaration", "scope": 9939, "src": "680:20:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage_ptr", "typeString": "struct Checkpointing.Checkpoint[]" }, "typeName": { "baseType": { "contractScope": null, "id": 9936, "name": "Checkpoint", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9935, "src": "680:10:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint" } }, "id": 9937, "length": null, "nodeType": "ArrayTypeName", "src": "680:12:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage_ptr", "typeString": "struct Checkpointing.Checkpoint[]" } }, "value": null, "visibility": "internal" } ], "name": "History", "nodeType": "StructDefinition", "scope": 10232, "src": "655:52:61", "visibility": "public" }, { "body": { "id": 10019, "nodeType": "Block", "src": "798:648:61", "statements": [ { "assignments": [ 9949 ], "declarations": [ { "constant": false, "id": 9949, "name": "length", "nodeType": "VariableDeclaration", "scope": 10020, "src": "808:14:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9948, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "808:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 9953, "initialValue": { "argumentTypes": null, "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 9950, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9941, "src": "825:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 9951, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "825:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 9952, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "825:20:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "808:37:61" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9956, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9954, "name": "length", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9949, "src": "859:6:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 9955, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "869:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "859:11:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 10017, "nodeType": "Block", "src": "948:492:61", "statements": [ { "assignments": [ 9970 ], "declarations": [ { "constant": false, "id": 9970, "name": "currentCheckpoint", "nodeType": "VariableDeclaration", "scope": 10020, "src": "962:36:61", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint" }, "typeName": { "contractScope": null, "id": 9969, "name": "Checkpoint", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9935, "src": "962:10:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint" } }, "value": null, "visibility": "internal" } ], "id": 9977, "initialValue": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 9971, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9941, "src": "1001:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 9972, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "1001:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 9976, "indexExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9975, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9973, "name": "length", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9949, "src": "1015:6:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 9974, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1024:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "1015:10:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1001:25:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage", "typeString": "struct Checkpointing.Checkpoint storage ref" } }, "nodeType": "VariableDeclarationStatement", "src": "962:64:61" }, { "assignments": [ 9979 ], "declarations": [ { "constant": false, "id": 9979, "name": "currentCheckpointTime", "nodeType": "VariableDeclaration", "scope": 10020, "src": "1040:29:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9978, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1040:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 9984, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 9981, "name": "currentCheckpoint", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9970, "src": "1080:17:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint storage pointer" } }, "id": 9982, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "time", "nodeType": "MemberAccess", "referencedDeclaration": 9932, "src": "1080:22:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint64", "typeString": "uint64" } ], "id": 9980, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1072:7:61", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 9983, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1072:31:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1040:63:61" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9987, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9985, "name": "_time", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9943, "src": "1122:5:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 9986, "name": "currentCheckpointTime", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9979, "src": "1130:21:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1122:29:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10002, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10000, "name": "_time", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9943, "src": "1241:5:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 10001, "name": "currentCheckpointTime", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9979, "src": "1250:21:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1241:30:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 10014, "nodeType": "Block", "src": "1344:86:61", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 10011, "name": "ERROR_PAST_CHECKPOINT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9930, "src": "1393:21:61", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 10010, "name": "revert", "nodeType": "Identifier", "overloadedDeclarations": [ 10409, 10410 ], "referencedDeclaration": 10410, "src": "1386:6:61", "typeDescriptions": { "typeIdentifier": "t_function_revert_pure$_t_string_memory_ptr_$returns$__$", "typeString": "function (string memory) pure" } }, "id": 10012, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1386:29:61", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 10013, "nodeType": "ExpressionStatement", "src": "1386:29:61" } ] }, "id": 10015, "nodeType": "IfStatement", "src": "1237:193:61", "trueBody": { "id": 10009, "nodeType": "Block", "src": "1273:65:61", "statements": [ { "expression": { "argumentTypes": null, "id": 10007, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10003, "name": "currentCheckpoint", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9970, "src": "1291:17:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint storage pointer" } }, "id": 10005, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "memberName": "value", "nodeType": "MemberAccess", "referencedDeclaration": 9934, "src": "1291:23:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 10006, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9945, "src": "1317:6:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } }, "src": "1291:32:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } }, "id": 10008, "nodeType": "ExpressionStatement", "src": "1291:32:61" } ] } }, "id": 10016, "nodeType": "IfStatement", "src": "1118:312:61", "trueBody": { "id": 9999, "nodeType": "Block", "src": "1153:78:61", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9994, "name": "_time", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9943, "src": "1201:5:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, { "argumentTypes": null, "id": 9995, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9945, "src": "1208:6:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint64", "typeString": "uint64" }, { "typeIdentifier": "t_uint192", "typeString": "uint192" } ], "id": 9993, "name": "Checkpoint", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9935, "src": "1190:10:61", "typeDescriptions": { "typeIdentifier": "t_type$_t_struct$_Checkpoint_$9935_storage_ptr_$", "typeString": "type(struct Checkpointing.Checkpoint storage pointer)" } }, "id": 9996, "isConstant": false, "isLValue": false, "isPure": false, "kind": "structConstructorCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1190:25:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_memory", "typeString": "struct Checkpointing.Checkpoint memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_struct$_Checkpoint_$9935_memory", "typeString": "struct Checkpointing.Checkpoint memory" } ], "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 9988, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9941, "src": "1171:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 9991, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "1171:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 9992, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1171:18:61", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_struct$_Checkpoint_$9935_storage_$returns$_t_uint256_$", "typeString": "function (struct Checkpointing.Checkpoint storage ref) returns (uint256)" } }, "id": 9997, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1171:45:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 9998, "nodeType": "ExpressionStatement", "src": "1171:45:61" } ] } } ] }, "id": 10018, "nodeType": "IfStatement", "src": "855:585:61", "trueBody": { "id": 9968, "nodeType": "Block", "src": "872:70:61", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9963, "name": "_time", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9943, "src": "916:5:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, { "argumentTypes": null, "id": 9964, "name": "_value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9945, "src": "923:6:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint64", "typeString": "uint64" }, { "typeIdentifier": "t_uint192", "typeString": "uint192" } ], "id": 9962, "name": "Checkpoint", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9935, "src": "905:10:61", "typeDescriptions": { "typeIdentifier": "t_type$_t_struct$_Checkpoint_$9935_storage_ptr_$", "typeString": "type(struct Checkpointing.Checkpoint storage pointer)" } }, "id": 9965, "isConstant": false, "isLValue": false, "isPure": false, "kind": "structConstructorCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "905:25:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_memory", "typeString": "struct Checkpointing.Checkpoint memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_struct$_Checkpoint_$9935_memory", "typeString": "struct Checkpointing.Checkpoint memory" } ], "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 9957, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9941, "src": "886:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 9960, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "886:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 9961, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "886:18:61", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_struct$_Checkpoint_$9935_storage_$returns$_t_uint256_$", "typeString": "function (struct Checkpointing.Checkpoint storage ref) returns (uint256)" } }, "id": 9966, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "886:45:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 9967, "nodeType": "ExpressionStatement", "src": "886:45:61" } ] } } ] }, "documentation": null, "id": 10020, "implemented": true, "isConstructor": false, "isDeclaredConst": false, "modifiers": [], "name": "addCheckpoint", "nodeType": "FunctionDefinition", "parameters": { "id": 9946, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9941, "name": "_self", "nodeType": "VariableDeclaration", "scope": 10020, "src": "736:21:61", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History" }, "typeName": { "contractScope": null, "id": 9940, "name": "History", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9939, "src": "736:7:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9943, "name": "_time", "nodeType": "VariableDeclaration", "scope": 10020, "src": "759:12:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9942, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "759:6:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9945, "name": "_value", "nodeType": "VariableDeclaration", "scope": 10020, "src": "773:14:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" }, "typeName": { "id": 9944, "name": "uint192", "nodeType": "ElementaryTypeName", "src": "773:7:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } }, "value": null, "visibility": "internal" } ], "src": "735:53:61" }, "payable": false, "returnParameters": { "id": 9947, "nodeType": "ParameterList", "parameters": [], "src": "798:0:61" }, "scope": 10232, "src": "713:733:61", "stateMutability": "nonpayable", "superFunction": null, "visibility": "internal" }, { "body": { "id": 10034, "nodeType": "Block", "src": "1541:49:61", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 10030, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10022, "src": "1570:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, { "argumentTypes": null, "id": 10031, "name": "_time", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10024, "src": "1577:5:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" }, { "typeIdentifier": "t_uint64", "typeString": "uint64" } ], "id": 10029, "name": "_getValueAt", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10231, "src": "1558:11:61", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_struct$_History_$9939_storage_ptr_$_t_uint64_$returns$_t_uint256_$", "typeString": "function (struct Checkpointing.History storage pointer,uint64) view returns (uint256)" } }, "id": 10032, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1558:25:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 10028, "id": 10033, "nodeType": "Return", "src": "1551:32:61" } ] }, "documentation": null, "id": 10035, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "getValueAt", "nodeType": "FunctionDefinition", "parameters": { "id": 10025, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10022, "name": "_self", "nodeType": "VariableDeclaration", "scope": 10035, "src": "1472:21:61", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History" }, "typeName": { "contractScope": null, "id": 10021, "name": "History", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9939, "src": "1472:7:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10024, "name": "_time", "nodeType": "VariableDeclaration", "scope": 10035, "src": "1495:12:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 10023, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1495:6:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1471:37:61" }, "payable": false, "returnParameters": { "id": 10028, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10027, "name": "", "nodeType": "VariableDeclaration", "scope": 10035, "src": "1532:7:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10026, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1532:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1531:9:61" }, "scope": 10232, "src": "1452:138:61", "stateMutability": "view", "superFunction": null, "visibility": "internal" }, { "body": { "id": 10065, "nodeType": "Block", "src": "1672:169:61", "statements": [ { "assignments": [ 10043 ], "declarations": [ { "constant": false, "id": 10043, "name": "length", "nodeType": "VariableDeclaration", "scope": 10066, "src": "1682:14:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10042, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1682:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 10047, "initialValue": { "argumentTypes": null, "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10044, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10037, "src": "1699:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 10045, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "1699:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 10046, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1699:20:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1682:37:61" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10050, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10048, "name": "length", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10043, "src": "1733:6:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 10049, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1742:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1733:10:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 10062, "nodeType": "IfStatement", "src": "1729:87:61", "trueBody": { "id": 10061, "nodeType": "Block", "src": "1745:71:61", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10052, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10037, "src": "1774:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 10053, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "1774:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 10057, "indexExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10056, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10054, "name": "length", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10043, "src": "1788:6:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 10055, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1797:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "1788:10:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1774:25:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage", "typeString": "struct Checkpointing.Checkpoint storage ref" } }, "id": 10058, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "time", "nodeType": "MemberAccess", "referencedDeclaration": 9932, "src": "1774:30:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint64", "typeString": "uint64" } ], "id": 10051, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1766:7:61", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 10059, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1766:39:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 10041, "id": 10060, "nodeType": "Return", "src": "1759:46:61" } ] } }, { "expression": { "argumentTypes": null, "hexValue": "30", "id": 10063, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1833:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 10041, "id": 10064, "nodeType": "Return", "src": "1826:8:61" } ] }, "documentation": null, "id": 10066, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "lastUpdated", "nodeType": "FunctionDefinition", "parameters": { "id": 10038, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10037, "name": "_self", "nodeType": "VariableDeclaration", "scope": 10066, "src": "1617:21:61", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History" }, "typeName": { "contractScope": null, "id": 10036, "name": "History", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9939, "src": "1617:7:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History" } }, "value": null, "visibility": "internal" } ], "src": "1616:23:61" }, "payable": false, "returnParameters": { "id": 10041, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10040, "name": "", "nodeType": "VariableDeclaration", "scope": 10066, "src": "1663:7:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10039, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1663:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1662:9:61" }, "scope": 10232, "src": "1596:245:61", "stateMutability": "view", "superFunction": null, "visibility": "internal" }, { "body": { "id": 10096, "nodeType": "Block", "src": "1923:170:61", "statements": [ { "assignments": [ 10074 ], "declarations": [ { "constant": false, "id": 10074, "name": "length", "nodeType": "VariableDeclaration", "scope": 10097, "src": "1933:14:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10073, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1933:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 10078, "initialValue": { "argumentTypes": null, "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10075, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10068, "src": "1950:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 10076, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "1950:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 10077, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1950:20:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1933:37:61" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10081, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10079, "name": "length", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10074, "src": "1984:6:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 10080, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1993:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1984:10:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 10093, "nodeType": "IfStatement", "src": "1980:88:61", "trueBody": { "id": 10092, "nodeType": "Block", "src": "1996:72:61", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10083, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10068, "src": "2025:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 10084, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "2025:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 10088, "indexExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10087, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10085, "name": "length", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10074, "src": "2039:6:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 10086, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2048:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2039:10:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2025:25:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage", "typeString": "struct Checkpointing.Checkpoint storage ref" } }, "id": 10089, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "value", "nodeType": "MemberAccess", "referencedDeclaration": 9934, "src": "2025:31:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint192", "typeString": "uint192" } ], "id": 10082, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "2017:7:61", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 10090, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2017:40:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 10072, "id": 10091, "nodeType": "Return", "src": "2010:47:61" } ] } }, { "expression": { "argumentTypes": null, "hexValue": "30", "id": 10094, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2085:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 10072, "id": 10095, "nodeType": "Return", "src": "2078:8:61" } ] }, "documentation": null, "id": 10097, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "latestValue", "nodeType": "FunctionDefinition", "parameters": { "id": 10069, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10068, "name": "_self", "nodeType": "VariableDeclaration", "scope": 10097, "src": "1868:21:61", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History" }, "typeName": { "contractScope": null, "id": 10067, "name": "History", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9939, "src": "1868:7:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History" } }, "value": null, "visibility": "internal" } ], "src": "1867:23:61" }, "payable": false, "returnParameters": { "id": 10072, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10071, "name": "", "nodeType": "VariableDeclaration", "scope": 10097, "src": "1914:7:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10070, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1914:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1913:9:61" }, "scope": 10232, "src": "1847:246:61", "stateMutability": "view", "superFunction": null, "visibility": "internal" }, { "body": { "id": 10230, "nodeType": "Block", "src": "2188:1604:61", "statements": [ { "assignments": [ 10107 ], "declarations": [ { "constant": false, "id": 10107, "name": "length", "nodeType": "VariableDeclaration", "scope": 10231, "src": "2198:14:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10106, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2198:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 10111, "initialValue": { "argumentTypes": null, "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10108, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10099, "src": "2215:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 10109, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "2215:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 10110, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2215:20:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2198:37:61" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10114, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10112, "name": "length", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10107, "src": "2450:6:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 10113, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2460:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2450:11:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 10118, "nodeType": "IfStatement", "src": "2446:50:61", "trueBody": { "id": 10117, "nodeType": "Block", "src": "2463:33:61", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 10115, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2484:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 10105, "id": 10116, "nodeType": "Return", "src": "2477:8:61" } ] } }, { "assignments": [ 10120 ], "declarations": [ { "constant": false, "id": 10120, "name": "lastIndex", "nodeType": "VariableDeclaration", "scope": 10231, "src": "2539:17:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10119, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2539:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 10124, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10123, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10121, "name": "length", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10107, "src": "2559:6:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 10122, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2568:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2559:10:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2539:30:61" }, { "assignments": [ 10126 ], "declarations": [ { "constant": false, "id": 10126, "name": "lastCheckpoint", "nodeType": "VariableDeclaration", "scope": 10231, "src": "2579:33:61", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint" }, "typeName": { "contractScope": null, "id": 10125, "name": "Checkpoint", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9935, "src": "2579:10:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint" } }, "value": null, "visibility": "internal" } ], "id": 10131, "initialValue": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10127, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10099, "src": "2615:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 10128, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "2615:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 10130, "indexExpression": { "argumentTypes": null, "id": 10129, "name": "lastIndex", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10120, "src": "2629:9:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2615:24:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage", "typeString": "struct Checkpointing.Checkpoint storage ref" } }, "nodeType": "VariableDeclarationStatement", "src": "2579:60:61" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 10135, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10132, "name": "_time", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10101, "src": "2653:5:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10133, "name": "lastCheckpoint", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10126, "src": "2662:14:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint storage pointer" } }, "id": 10134, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "time", "nodeType": "MemberAccess", "referencedDeclaration": 9932, "src": "2662:19:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "2653:28:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 10142, "nodeType": "IfStatement", "src": "2649:95:61", "trueBody": { "id": 10141, "nodeType": "Block", "src": "2683:61:61", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10137, "name": "lastCheckpoint", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10126, "src": "2712:14:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint storage pointer" } }, "id": 10138, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "value", "nodeType": "MemberAccess", "referencedDeclaration": 9934, "src": "2712:20:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint192", "typeString": "uint192" } ], "id": 10136, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "2704:7:61", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 10139, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2704:29:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 10105, "id": 10140, "nodeType": "Return", "src": "2697:36:61" } ] } }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 10153, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10145, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10143, "name": "length", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10107, "src": "2846:6:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 10144, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2856:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "2846:11:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 10152, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10146, "name": "_time", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10101, "src": "2861:5:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10147, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10099, "src": "2869:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 10148, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "2869:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 10150, "indexExpression": { "argumentTypes": null, "hexValue": "30", "id": 10149, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2883:1:61", "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": "2869:16:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage", "typeString": "struct Checkpointing.Checkpoint storage ref" } }, "id": 10151, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "time", "nodeType": "MemberAccess", "referencedDeclaration": 9932, "src": "2869:21:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "2861:29:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "2846:44:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 10157, "nodeType": "IfStatement", "src": "2842:83:61", "trueBody": { "id": 10156, "nodeType": "Block", "src": "2892:33:61", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 10154, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2913:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 10105, "id": 10155, "nodeType": "Return", "src": "2906:8:61" } ] } }, { "assignments": [ 10159 ], "declarations": [ { "constant": false, "id": 10159, "name": "low", "nodeType": "VariableDeclaration", "scope": 10231, "src": "3059:11:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10158, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3059:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 10161, "initialValue": { "argumentTypes": null, "hexValue": "30", "id": 10160, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3073:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "nodeType": "VariableDeclarationStatement", "src": "3059:15:61" }, { "assignments": [ 10163 ], "declarations": [ { "constant": false, "id": 10163, "name": "high", "nodeType": "VariableDeclaration", "scope": 10231, "src": "3084:12:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10162, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3084:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 10167, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10166, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10164, "name": "lastIndex", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10120, "src": "3099:9:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 10165, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3111:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "3099:13:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "3084:28:61" }, { "body": { "id": 10220, "nodeType": "Block", "src": "3142:593:61", "statements": [ { "assignments": [ 10172 ], "declarations": [ { "constant": false, "id": 10172, "name": "mid", "nodeType": "VariableDeclaration", "scope": 10231, "src": "3156:11:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10171, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3156:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 10181, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10180, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10177, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10175, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10173, "name": "high", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10163, "src": "3171:4:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 10174, "name": "low", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10159, "src": "3178:3:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3171:10:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 10176, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3184:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "3171:14:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 10178, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "3170:16:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "hexValue": "32", "id": 10179, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3189:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "src": "3170:20:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "3156:34:61" }, { "assignments": [ 10183 ], "declarations": [ { "constant": false, "id": 10183, "name": "checkpoint", "nodeType": "VariableDeclaration", "scope": 10231, "src": "3227:29:61", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint" }, "typeName": { "contractScope": null, "id": 10182, "name": "Checkpoint", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9935, "src": "3227:10:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint" } }, "value": null, "visibility": "internal" } ], "id": 10188, "initialValue": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10184, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10099, "src": "3259:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 10185, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "3259:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 10187, "indexExpression": { "argumentTypes": null, "id": 10186, "name": "mid", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10172, "src": "3273:3:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3259:18:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage", "typeString": "struct Checkpointing.Checkpoint storage ref" } }, "nodeType": "VariableDeclarationStatement", "src": "3227:50:61" }, { "assignments": [ 10190 ], "declarations": [ { "constant": false, "id": 10190, "name": "midTime", "nodeType": "VariableDeclaration", "scope": 10231, "src": "3291:14:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 10189, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "3291:6:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "id": 10193, "initialValue": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10191, "name": "checkpoint", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10183, "src": "3308:10:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint storage pointer" } }, "id": 10192, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "time", "nodeType": "MemberAccess", "referencedDeclaration": 9932, "src": "3308:15:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "VariableDeclarationStatement", "src": "3291:32:61" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 10196, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10194, "name": "_time", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10101, "src": "3342:5:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 10195, "name": "midTime", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10190, "src": "3350:7:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "3342:15:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 10204, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10202, "name": "_time", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10101, "src": "3411:5:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 10203, "name": "midTime", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10190, "src": "3419:7:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "3411:15:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 10217, "nodeType": "Block", "src": "3624:101:61", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10213, "name": "checkpoint", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10183, "src": "3693:10:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage_ptr", "typeString": "struct Checkpointing.Checkpoint storage pointer" } }, "id": 10214, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "value", "nodeType": "MemberAccess", "referencedDeclaration": 9934, "src": "3693:16:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint192", "typeString": "uint192" } ], "id": 10212, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3685:7:61", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 10215, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3685:25:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 10105, "id": 10216, "nodeType": "Return", "src": "3678:32:61" } ] }, "id": 10218, "nodeType": "IfStatement", "src": "3407:318:61", "trueBody": { "id": 10211, "nodeType": "Block", "src": "3428:190:61", "statements": [ { "expression": { "argumentTypes": null, "id": 10209, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 10205, "name": "high", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10163, "src": "3589:4:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10208, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10206, "name": "mid", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10172, "src": "3596:3:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 10207, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3602:1:61", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "3596:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3589:14:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10210, "nodeType": "ExpressionStatement", "src": "3589:14:61" } ] } }, "id": 10219, "nodeType": "IfStatement", "src": "3338:387:61", "trueBody": { "id": 10201, "nodeType": "Block", "src": "3359:42:61", "statements": [ { "expression": { "argumentTypes": null, "id": 10199, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 10197, "name": "low", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10159, "src": "3377:3:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 10198, "name": "mid", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10172, "src": "3383:3:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3377:9:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 10200, "nodeType": "ExpressionStatement", "src": "3377:9:61" } ] } } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 10170, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 10168, "name": "high", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10163, "src": "3130:4:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 10169, "name": "low", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10159, "src": "3137:3:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3130:10:61", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 10221, "nodeType": "WhileStatement", "src": "3123:612:61" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 10223, "name": "_self", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10099, "src": "3760:5:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History storage pointer" } }, "id": 10224, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "history", "nodeType": "MemberAccess", "referencedDeclaration": 9938, "src": "3760:13:61", "typeDescriptions": { "typeIdentifier": "t_array$_t_struct$_Checkpoint_$9935_storage_$dyn_storage", "typeString": "struct Checkpointing.Checkpoint storage ref[] storage ref" } }, "id": 10226, "indexExpression": { "argumentTypes": null, "id": 10225, "name": "low", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 10159, "src": "3774:3:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3760:18:61", "typeDescriptions": { "typeIdentifier": "t_struct$_Checkpoint_$9935_storage", "typeString": "struct Checkpointing.Checkpoint storage ref" } }, "id": 10227, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "value", "nodeType": "MemberAccess", "referencedDeclaration": 9934, "src": "3760:24:61", "typeDescriptions": { "typeIdentifier": "t_uint192", "typeString": "uint192" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint192", "typeString": "uint192" } ], "id": 10222, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "3752:7:61", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 10228, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3752:33:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 10105, "id": 10229, "nodeType": "Return", "src": "3745:40:61" } ] }, "documentation": null, "id": 10231, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "_getValueAt", "nodeType": "FunctionDefinition", "parameters": { "id": 10102, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10099, "name": "_self", "nodeType": "VariableDeclaration", "scope": 10231, "src": "2120:21:61", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History" }, "typeName": { "contractScope": null, "id": 10098, "name": "History", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9939, "src": "2120:7:61", "typeDescriptions": { "typeIdentifier": "t_struct$_History_$9939_storage_ptr", "typeString": "struct Checkpointing.History" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 10101, "name": "_time", "nodeType": "VariableDeclaration", "scope": 10231, "src": "2143:12:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 10100, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "2143:6:61", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "2119:37:61" }, "payable": false, "returnParameters": { "id": 10105, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10104, "name": "", "nodeType": "VariableDeclaration", "scope": 10231, "src": "2179:7:61", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 10103, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2179:7:61", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2178:9:61" }, "scope": 10232, "src": "2099:1693:61", "stateMutability": "view", "superFunction": null, "visibility": "private" } ], "scope": 10233, "src": "469:3325:61" } ], "src": "57:3738:61" }, "compiler": { "name": "solc", "version": "0.4.24+commit.e67f0147.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.2.0", "updatedAt": "2020-06-07T23:27:00.622Z", "devdoc": { "methods": {}, "title": "Checkpointing" }, "userdoc": { "methods": {} } }