{ "fileName": "ERC20Snapshot.sol", "contractName": "ERC20Snapshot", "source": "// SPDX-License-Identifier: MIT\n\npragma solidity ^0.7.0;\n\nimport \"../../math/SafeMath.sol\";\nimport \"../../utils/Arrays.sol\";\nimport \"../../utils/Counters.sol\";\nimport \"./ERC20.sol\";\n\n/**\n * @dev This contract extends an ERC20 token with a snapshot mechanism. When a snapshot is created, the balances and\n * total supply at the time are recorded for later access.\n *\n * This can be used to safely create mechanisms based on token balances such as trustless dividends or weighted voting.\n * In naive implementations it's possible to perform a \"double spend\" attack by reusing the same balance from different\n * accounts. By using snapshots to calculate dividends or voting power, those attacks no longer apply. It can also be\n * used to create an efficient ERC20 forking mechanism.\n *\n * Snapshots are created by the internal {_snapshot} function, which will emit the {Snapshot} event and return a\n * snapshot id. To get the total supply at the time of a snapshot, call the function {totalSupplyAt} with the snapshot\n * id. To get the balance of an account at the time of a snapshot, call the {balanceOfAt} function with the snapshot id\n * and the account address.\n *\n * ==== Gas Costs\n *\n * Snapshots are efficient. Snapshot creation is _O(1)_. Retrieval of balances or total supply from a snapshot is _O(log\n * n)_ in the number of snapshots that have been created, although _n_ for a specific account will generally be much\n * smaller since identical balances in subsequent snapshots are stored as a single entry.\n *\n * There is a constant overhead for normal ERC20 transfers due to the additional snapshot bookkeeping. This overhead is\n * only significant for the first transfer that immediately follows a snapshot for a particular account. Subsequent\n * transfers will have normal cost until the next snapshot, and so on.\n */\nabstract contract ERC20Snapshot is ERC20 {\n // Inspired by Jordi Baylina's MiniMeToken to record historical balances:\n // https://github.com/Giveth/minimd/blob/ea04d950eea153a04c51fa510b068b9dded390cb/contracts/MiniMeToken.sol\n\n using SafeMath for uint256;\n using Arrays for uint256[];\n using Counters for Counters.Counter;\n\n // Snapshotted values have arrays of ids and the value corresponding to that id. These could be an array of a\n // Snapshot struct, but that would impede usage of functions that work on an array.\n struct Snapshots {\n uint256[] ids;\n uint256[] values;\n }\n\n mapping (address => Snapshots) private _accountBalanceSnapshots;\n Snapshots private _totalSupplySnapshots;\n\n // Snapshot ids increase monotonically, with the first value being 1. An id of 0 is invalid.\n Counters.Counter private _currentSnapshotId;\n\n /**\n * @dev Emitted by {_snapshot} when a snapshot identified by `id` is created.\n */\n event Snapshot(uint256 id);\n\n /**\n * @dev Creates a new snapshot and returns its snapshot id.\n *\n * Emits a {Snapshot} event that contains the same id.\n *\n * {_snapshot} is `internal` and you have to decide how to expose it externally. Its usage may be restricted to a\n * set of accounts, for example using {AccessControl}, or it may be open to the public.\n *\n * [WARNING]\n * ====\n * While an open way of calling {_snapshot} is required for certain trust minimization mechanisms such as forking,\n * you must consider that it can potentially be used by attackers in two ways.\n *\n * First, it can be used to increase the cost of retrieval of values from snapshots, although it will grow\n * logarithmically thus rendering this attack ineffective in the long term. Second, it can be used to target\n * specific accounts and increase the cost of ERC20 transfers for them, in the ways specified in the Gas Costs\n * section above.\n *\n * We haven't measured the actual numbers; if this is something you're interested in please reach out to us.\n * ====\n */\n function _snapshot() internal virtual returns (uint256) {\n _currentSnapshotId.increment();\n\n uint256 currentId = _currentSnapshotId.current();\n emit Snapshot(currentId);\n return currentId;\n }\n\n /**\n * @dev Retrieves the balance of `account` at the time `snapshotId` was created.\n */\n function balanceOfAt(address account, uint256 snapshotId) public view returns (uint256) {\n (bool snapshotted, uint256 value) = _valueAt(snapshotId, _accountBalanceSnapshots[account]);\n\n return snapshotted ? value : balanceOf(account);\n }\n\n /**\n * @dev Retrieves the total supply at the time `snapshotId` was created.\n */\n function totalSupplyAt(uint256 snapshotId) public view returns(uint256) {\n (bool snapshotted, uint256 value) = _valueAt(snapshotId, _totalSupplySnapshots);\n\n return snapshotted ? value : totalSupply();\n }\n\n // _transfer, _mint and _burn are the only functions where the balances are modified, so it is there that the\n // snapshots are updated. Note that the update happens _before_ the balance change, with the pre-modified value.\n // The same is true for the total supply and _mint and _burn.\n function _transfer(address from, address to, uint256 value) internal virtual override {\n _updateAccountSnapshot(from);\n _updateAccountSnapshot(to);\n\n super._transfer(from, to, value);\n }\n\n function _mint(address account, uint256 value) internal virtual override {\n _updateAccountSnapshot(account);\n _updateTotalSupplySnapshot();\n\n super._mint(account, value);\n }\n\n function _burn(address account, uint256 value) internal virtual override {\n _updateAccountSnapshot(account);\n _updateTotalSupplySnapshot();\n\n super._burn(account, value);\n }\n\n function _valueAt(uint256 snapshotId, Snapshots storage snapshots)\n private view returns (bool, uint256)\n {\n require(snapshotId > 0, \"ERC20Snapshot: id is 0\");\n // solhint-disable-next-line max-line-length\n require(snapshotId <= _currentSnapshotId.current(), \"ERC20Snapshot: nonexistent id\");\n\n // When a valid snapshot is queried, there are three possibilities:\n // a) The queried value was not modified after the snapshot was taken. Therefore, a snapshot entry was never\n // created for this id, and all stored snapshot ids are smaller than the requested one. The value that corresponds\n // to this id is the current one.\n // b) The queried value was modified after the snapshot was taken. Therefore, there will be an entry with the\n // requested id, and its value is the one to return.\n // c) More snapshots were created after the requested one, and the queried value was later modified. There will be\n // no entry for the requested id: the value that corresponds to it is that of the smallest snapshot id that is\n // larger than the requested one.\n //\n // In summary, we need to find an element in an array, returning the index of the smallest value that is larger if\n // it is not found, unless said value doesn't exist (e.g. when all values are smaller). Arrays.findUpperBound does\n // exactly this.\n\n uint256 index = snapshots.ids.findUpperBound(snapshotId);\n\n if (index == snapshots.ids.length) {\n return (false, 0);\n } else {\n return (true, snapshots.values[index]);\n }\n }\n\n function _updateAccountSnapshot(address account) private {\n _updateSnapshot(_accountBalanceSnapshots[account], balanceOf(account));\n }\n\n function _updateTotalSupplySnapshot() private {\n _updateSnapshot(_totalSupplySnapshots, totalSupply());\n }\n\n function _updateSnapshot(Snapshots storage snapshots, uint256 currentValue) private {\n uint256 currentId = _currentSnapshotId.current();\n if (_lastSnapshotId(snapshots.ids) < currentId) {\n snapshots.ids.push(currentId);\n snapshots.values.push(currentValue);\n }\n }\n\n function _lastSnapshotId(uint256[] storage ids) private view returns (uint256) {\n if (ids.length == 0) {\n return 0;\n } else {\n return ids[ids.length - 1];\n }\n }\n}\n", "sourcePath": "contracts/token/ERC20/ERC20Snapshot.sol", "sourceMap": "", "deployedSourceMap": "", "abi": [ { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "owner", "type": "address" }, { "indexed": true, "internalType": "address", "name": "spender", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "value", "type": "uint256" } ], "name": "Approval", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "uint256", "name": "id", "type": "uint256" } ], "name": "Snapshot", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "from", "type": "address" }, { "indexed": true, "internalType": "address", "name": "to", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "value", "type": "uint256" } ], "name": "Transfer", "type": "event" }, { "inputs": [ { "internalType": "address", "name": "owner", "type": "address" }, { "internalType": "address", "name": "spender", "type": "address" } ], "name": "allowance", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "spender", "type": "address" }, { "internalType": "uint256", "name": "amount", "type": "uint256" } ], "name": "approve", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "account", "type": "address" } ], "name": "balanceOf", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "account", "type": "address" }, { "internalType": "uint256", "name": "snapshotId", "type": "uint256" } ], "name": "balanceOfAt", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "decimals", "outputs": [ { "internalType": "uint8", "name": "", "type": "uint8" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "spender", "type": "address" }, { "internalType": "uint256", "name": "subtractedValue", "type": "uint256" } ], "name": "decreaseAllowance", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "spender", "type": "address" }, { "internalType": "uint256", "name": "addedValue", "type": "uint256" } ], "name": "increaseAllowance", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "name", "outputs": [ { "internalType": "string", "name": "", "type": "string" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "symbol", "outputs": [ { "internalType": "string", "name": "", "type": "string" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "totalSupply", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "uint256", "name": "snapshotId", "type": "uint256" } ], "name": "totalSupplyAt", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "recipient", "type": "address" }, { "internalType": "uint256", "name": "amount", "type": "uint256" } ], "name": "transfer", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "sender", "type": "address" }, { "internalType": "address", "name": "recipient", "type": "address" }, { "internalType": "uint256", "name": "amount", "type": "uint256" } ], "name": "transferFrom", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" } ], "ast": { "absolutePath": "contracts/token/ERC20/ERC20Snapshot.sol", "exportedSymbols": { "ERC20Snapshot": [ 9701 ] }, "id": 9702, "license": "MIT", "nodeType": "SourceUnit", "nodes": [ { "id": 9370, "literals": [ "solidity", "^", "0.7", ".0" ], "nodeType": "PragmaDirective", "src": "33:23:88" }, { "absolutePath": "contracts/math/SafeMath.sol", "file": "../../math/SafeMath.sol", "id": 9371, "nodeType": "ImportDirective", "scope": 9702, "sourceUnit": 2422, "src": "58:33:88", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "contracts/utils/Arrays.sol", "file": "../../utils/Arrays.sol", "id": 9372, "nodeType": "ImportDirective", "scope": 9702, "sourceUnit": 12897, "src": "92:32:88", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "contracts/utils/Counters.sol", "file": "../../utils/Counters.sol", "id": 9373, "nodeType": "ImportDirective", "scope": 9702, "sourceUnit": 12947, "src": "125:34:88", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "contracts/token/ERC20/ERC20.sol", "file": "./ERC20.sol", "id": 9374, "nodeType": "ImportDirective", "scope": 9702, "sourceUnit": 9195, "src": "160:21:88", "symbolAliases": [], "unitAlias": "" }, { "abstract": true, "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 9376, "name": "ERC20", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9194, "src": "1864:5:88", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$9194", "typeString": "contract ERC20" } }, "id": 9377, "nodeType": "InheritanceSpecifier", "src": "1864:5:88" } ], "contractDependencies": [ 22, 9194, 9779 ], "contractKind": "contract", "documentation": { "id": 9375, "nodeType": "StructuredDocumentation", "src": "183:1645:88", "text": " @dev This contract extends an ERC20 token with a snapshot mechanism. When a snapshot is created, the balances and\n total supply at the time are recorded for later access.\n This can be used to safely create mechanisms based on token balances such as trustless dividends or weighted voting.\n In naive implementations it's possible to perform a \"double spend\" attack by reusing the same balance from different\n accounts. By using snapshots to calculate dividends or voting power, those attacks no longer apply. It can also be\n used to create an efficient ERC20 forking mechanism.\n Snapshots are created by the internal {_snapshot} function, which will emit the {Snapshot} event and return a\n snapshot id. To get the total supply at the time of a snapshot, call the function {totalSupplyAt} with the snapshot\n id. To get the balance of an account at the time of a snapshot, call the {balanceOfAt} function with the snapshot id\n and the account address.\n ==== Gas Costs\n Snapshots are efficient. Snapshot creation is _O(1)_. Retrieval of balances or total supply from a snapshot is _O(log\n n)_ in the number of snapshots that have been created, although _n_ for a specific account will generally be much\n smaller since identical balances in subsequent snapshots are stored as a single entry.\n There is a constant overhead for normal ERC20 transfers due to the additional snapshot bookkeeping. This overhead is\n only significant for the first transfer that immediately follows a snapshot for a particular account. Subsequent\n transfers will have normal cost until the next snapshot, and so on." }, "fullyImplemented": false, "id": 9701, "linearizedBaseContracts": [ 9701, 9194, 9779, 22 ], "name": "ERC20Snapshot", "nodeType": "ContractDefinition", "nodes": [ { "id": 9380, "libraryName": { "contractScope": null, "id": 9378, "name": "SafeMath", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 2421, "src": "2073:8:88", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMath_$2421", "typeString": "library SafeMath" } }, "nodeType": "UsingForDirective", "src": "2067:27:88", "typeName": { "id": 9379, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2086:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, { "id": 9384, "libraryName": { "contractScope": null, "id": 9381, "name": "Arrays", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 12896, "src": "2105:6:88", "typeDescriptions": { "typeIdentifier": "t_contract$_Arrays_$12896", "typeString": "library Arrays" } }, "nodeType": "UsingForDirective", "src": "2099:27:88", "typeName": { "baseType": { "id": 9382, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2116:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 9383, "length": null, "nodeType": "ArrayTypeName", "src": "2116:9:88", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } } }, { "id": 9387, "libraryName": { "contractScope": null, "id": 9385, "name": "Counters", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 12946, "src": "2137:8:88", "typeDescriptions": { "typeIdentifier": "t_contract$_Counters_$12946", "typeString": "library Counters" } }, "nodeType": "UsingForDirective", "src": "2131:36:88", "typeName": { "contractScope": null, "id": 9386, "name": "Counters.Counter", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 12906, "src": "2150:16:88", "typeDescriptions": { "typeIdentifier": "t_struct$_Counter_$12906_storage_ptr", "typeString": "struct Counters.Counter" } } }, { "canonicalName": "ERC20Snapshot.Snapshots", "id": 9394, "members": [ { "constant": false, "id": 9390, "mutability": "mutable", "name": "ids", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9394, "src": "2402:13:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" }, "typeName": { "baseType": { "id": 9388, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2402:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 9389, "length": null, "nodeType": "ArrayTypeName", "src": "2402:9:88", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9393, "mutability": "mutable", "name": "values", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9394, "src": "2425:16:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" }, "typeName": { "baseType": { "id": 9391, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2425:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 9392, "length": null, "nodeType": "ArrayTypeName", "src": "2425:9:88", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } }, "value": null, "visibility": "internal" } ], "name": "Snapshots", "nodeType": "StructDefinition", "scope": 9701, "src": "2375:73:88", "visibility": "public" }, { "constant": false, "id": 9398, "mutability": "mutable", "name": "_accountBalanceSnapshots", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9701, "src": "2454:63:88", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_struct$_Snapshots_$9394_storage_$", "typeString": "mapping(address => struct ERC20Snapshot.Snapshots)" }, "typeName": { "id": 9397, "keyType": { "id": 9395, "name": "address", "nodeType": "ElementaryTypeName", "src": "2463:7:88", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "Mapping", "src": "2454:30:88", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_struct$_Snapshots_$9394_storage_$", "typeString": "mapping(address => struct ERC20Snapshot.Snapshots)" }, "valueType": { "contractScope": null, "id": 9396, "name": "Snapshots", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9394, "src": "2474:9:88", "typeDescriptions": { "typeIdentifier": "t_struct$_Snapshots_$9394_storage_ptr", "typeString": "struct ERC20Snapshot.Snapshots" } } }, "value": null, "visibility": "private" }, { "constant": false, "id": 9400, "mutability": "mutable", "name": "_totalSupplySnapshots", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9701, "src": "2523:39:88", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_struct$_Snapshots_$9394_storage", "typeString": "struct ERC20Snapshot.Snapshots" }, "typeName": { "contractScope": null, "id": 9399, "name": "Snapshots", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9394, "src": "2523:9:88", "typeDescriptions": { "typeIdentifier": "t_struct$_Snapshots_$9394_storage_ptr", "typeString": "struct ERC20Snapshot.Snapshots" } }, "value": null, "visibility": "private" }, { "constant": false, "id": 9402, "mutability": "mutable", "name": "_currentSnapshotId", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9701, "src": "2666:43:88", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_struct$_Counter_$12906_storage", "typeString": "struct Counters.Counter" }, "typeName": { "contractScope": null, "id": 9401, "name": "Counters.Counter", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 12906, "src": "2666:16:88", "typeDescriptions": { "typeIdentifier": "t_struct$_Counter_$12906_storage_ptr", "typeString": "struct Counters.Counter" } }, "value": null, "visibility": "private" }, { "anonymous": false, "documentation": { "id": 9403, "nodeType": "StructuredDocumentation", "src": "2716:93:88", "text": " @dev Emitted by {_snapshot} when a snapshot identified by `id` is created." }, "id": 9407, "name": "Snapshot", "nodeType": "EventDefinition", "parameters": { "id": 9406, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9405, "indexed": false, "mutability": "mutable", "name": "id", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9407, "src": "2829:10:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9404, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2829:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2828:12:88" }, "src": "2814:27:88" }, { "body": { "id": 9430, "nodeType": "Block", "src": "4004:166:88", "statements": [ { "expression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "id": 9413, "name": "_currentSnapshotId", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9402, "src": "4014:18:88", "typeDescriptions": { "typeIdentifier": "t_struct$_Counter_$12906_storage", "typeString": "struct Counters.Counter storage ref" } }, "id": 9415, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "increment", "nodeType": "MemberAccess", "referencedDeclaration": 12929, "src": "4014:28:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_struct$_Counter_$12906_storage_ptr_$returns$__$bound_to$_t_struct$_Counter_$12906_storage_ptr_$", "typeString": "function (struct Counters.Counter storage pointer)" } }, "id": 9416, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4014:30:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9417, "nodeType": "ExpressionStatement", "src": "4014:30:88" }, { "assignments": [ 9419 ], "declarations": [ { "constant": false, "id": 9419, "mutability": "mutable", "name": "currentId", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9430, "src": "4055:17:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9418, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4055:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 9423, "initialValue": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "id": 9420, "name": "_currentSnapshotId", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9402, "src": "4075:18:88", "typeDescriptions": { "typeIdentifier": "t_struct$_Counter_$12906_storage", "typeString": "struct Counters.Counter storage ref" } }, "id": 9421, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "current", "nodeType": "MemberAccess", "referencedDeclaration": 12917, "src": "4075:26:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_struct$_Counter_$12906_storage_ptr_$returns$_t_uint256_$bound_to$_t_struct$_Counter_$12906_storage_ptr_$", "typeString": "function (struct Counters.Counter storage pointer) view returns (uint256)" } }, "id": 9422, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4075:28:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "4055:48:88" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9425, "name": "currentId", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9419, "src": "4127:9:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 9424, "name": "Snapshot", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9407, "src": "4118:8:88", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_uint256_$returns$__$", "typeString": "function (uint256)" } }, "id": 9426, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4118:19:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9427, "nodeType": "EmitStatement", "src": "4113:24:88" }, { "expression": { "argumentTypes": null, "id": 9428, "name": "currentId", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9419, "src": "4154:9:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 9412, "id": 9429, "nodeType": "Return", "src": "4147:16:88" } ] }, "documentation": { "id": 9408, "nodeType": "StructuredDocumentation", "src": "2847:1096:88", "text": " @dev Creates a new snapshot and returns its snapshot id.\n Emits a {Snapshot} event that contains the same id.\n {_snapshot} is `internal` and you have to decide how to expose it externally. Its usage may be restricted to a\n set of accounts, for example using {AccessControl}, or it may be open to the public.\n [WARNING]\n ====\n While an open way of calling {_snapshot} is required for certain trust minimization mechanisms such as forking,\n you must consider that it can potentially be used by attackers in two ways.\n First, it can be used to increase the cost of retrieval of values from snapshots, although it will grow\n logarithmically thus rendering this attack ineffective in the long term. Second, it can be used to target\n specific accounts and increase the cost of ERC20 transfers for them, in the ways specified in the Gas Costs\n section above.\n We haven't measured the actual numbers; if this is something you're interested in please reach out to us.\n ====" }, "id": 9431, "implemented": true, "kind": "function", "modifiers": [], "name": "_snapshot", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 9409, "nodeType": "ParameterList", "parameters": [], "src": "3966:2:88" }, "returnParameters": { "id": 9412, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9411, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9431, "src": "3995:7:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9410, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3995:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3994:9:88" }, "scope": 9701, "src": "3948:222:88", "stateMutability": "nonpayable", "virtual": true, "visibility": "internal" }, { "body": { "id": 9459, "nodeType": "Block", "src": "4365:166:88", "statements": [ { "assignments": [ 9442, 9444 ], "declarations": [ { "constant": false, "id": 9442, "mutability": "mutable", "name": "snapshotted", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9459, "src": "4376:16:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 9441, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4376:4:88", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9444, "mutability": "mutable", "name": "value", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9459, "src": "4394:13:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9443, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4394:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 9451, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9446, "name": "snapshotId", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9436, "src": "4420:10:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 9447, "name": "_accountBalanceSnapshots", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9398, "src": "4432:24:88", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_struct$_Snapshots_$9394_storage_$", "typeString": "mapping(address => struct ERC20Snapshot.Snapshots storage ref)" } }, "id": 9449, "indexExpression": { "argumentTypes": null, "id": 9448, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9434, "src": "4457:7:88", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "4432:33:88", "typeDescriptions": { "typeIdentifier": "t_struct$_Snapshots_$9394_storage", "typeString": "struct ERC20Snapshot.Snapshots storage ref" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_struct$_Snapshots_$9394_storage", "typeString": "struct ERC20Snapshot.Snapshots storage ref" } ], "id": 9445, "name": "_valueAt", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9612, "src": "4411:8:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_uint256_$_t_struct$_Snapshots_$9394_storage_ptr_$returns$_t_bool_$_t_uint256_$", "typeString": "function (uint256,struct ERC20Snapshot.Snapshots storage pointer) view returns (bool,uint256)" } }, "id": 9450, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4411:55:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "nodeType": "VariableDeclarationStatement", "src": "4375:91:88" }, { "expression": { "argumentTypes": null, "condition": { "argumentTypes": null, "id": 9452, "name": "snapshotted", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9442, "src": "4484:11:88", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9455, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9434, "src": "4516:7:88", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 9454, "name": "balanceOf", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8794, "src": "4506:9:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_address_$returns$_t_uint256_$", "typeString": "function (address) view returns (uint256)" } }, "id": 9456, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4506:18:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 9457, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "Conditional", "src": "4484:40:88", "trueExpression": { "argumentTypes": null, "id": 9453, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9444, "src": "4498:5:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 9440, "id": 9458, "nodeType": "Return", "src": "4477:47:88" } ] }, "documentation": { "id": 9432, "nodeType": "StructuredDocumentation", "src": "4176:96:88", "text": " @dev Retrieves the balance of `account` at the time `snapshotId` was created." }, "functionSelector": "4ee2cd7e", "id": 9460, "implemented": true, "kind": "function", "modifiers": [], "name": "balanceOfAt", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 9437, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9434, "mutability": "mutable", "name": "account", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9460, "src": "4298:15:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 9433, "name": "address", "nodeType": "ElementaryTypeName", "src": "4298:7:88", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9436, "mutability": "mutable", "name": "snapshotId", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9460, "src": "4315:18:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9435, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4315:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4297:37:88" }, "returnParameters": { "id": 9440, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9439, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9460, "src": "4356:7:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9438, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4356:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4355:9:88" }, "scope": 9701, "src": "4277:254:88", "stateMutability": "view", "virtual": false, "visibility": "public" }, { "body": { "id": 9483, "nodeType": "Block", "src": "4702:149:88", "statements": [ { "assignments": [ 9469, 9471 ], "declarations": [ { "constant": false, "id": 9469, "mutability": "mutable", "name": "snapshotted", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9483, "src": "4713:16:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 9468, "name": "bool", "nodeType": "ElementaryTypeName", "src": "4713:4:88", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9471, "mutability": "mutable", "name": "value", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9483, "src": "4731:13:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9470, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4731:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 9476, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9473, "name": "snapshotId", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9463, "src": "4757:10:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 9474, "name": "_totalSupplySnapshots", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9400, "src": "4769:21:88", "typeDescriptions": { "typeIdentifier": "t_struct$_Snapshots_$9394_storage", "typeString": "struct ERC20Snapshot.Snapshots storage ref" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_struct$_Snapshots_$9394_storage", "typeString": "struct ERC20Snapshot.Snapshots storage ref" } ], "id": 9472, "name": "_valueAt", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9612, "src": "4748:8:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_uint256_$_t_struct$_Snapshots_$9394_storage_ptr_$returns$_t_bool_$_t_uint256_$", "typeString": "function (uint256,struct ERC20Snapshot.Snapshots storage pointer) view returns (bool,uint256)" } }, "id": 9475, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4748:43:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "nodeType": "VariableDeclarationStatement", "src": "4712:79:88" }, { "expression": { "argumentTypes": null, "condition": { "argumentTypes": null, "id": 9477, "name": "snapshotted", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9469, "src": "4809:11:88", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 9479, "name": "totalSupply", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8780, "src": "4831:11:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 9480, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4831:13:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 9481, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "Conditional", "src": "4809:35:88", "trueExpression": { "argumentTypes": null, "id": 9478, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9471, "src": "4823:5:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 9467, "id": 9482, "nodeType": "Return", "src": "4802:42:88" } ] }, "documentation": { "id": 9461, "nodeType": "StructuredDocumentation", "src": "4537:88:88", "text": " @dev Retrieves the total supply at the time `snapshotId` was created." }, "functionSelector": "981b24d0", "id": 9484, "implemented": true, "kind": "function", "modifiers": [], "name": "totalSupplyAt", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 9464, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9463, "mutability": "mutable", "name": "snapshotId", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9484, "src": "4653:18:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9462, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4653:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4652:20:88" }, "returnParameters": { "id": 9467, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9466, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9484, "src": "4693:7:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9465, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4693:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4692:9:88" }, "scope": 9701, "src": "4630:221:88", "stateMutability": "view", "virtual": false, "visibility": "public" }, { "baseFunctions": [ 9015 ], "body": { "id": 9510, "nodeType": "Block", "src": "5240:124:88", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9495, "name": "from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9486, "src": "5273:4:88", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 9494, "name": "_updateAccountSnapshot", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9627, "src": "5250:22:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$returns$__$", "typeString": "function (address)" } }, "id": 9496, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5250:28:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9497, "nodeType": "ExpressionStatement", "src": "5250:28:88" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9499, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9488, "src": "5311:2:88", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 9498, "name": "_updateAccountSnapshot", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9627, "src": "5288:22:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$returns$__$", "typeString": "function (address)" } }, "id": 9500, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5288:26:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9501, "nodeType": "ExpressionStatement", "src": "5288:26:88" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9505, "name": "from", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9486, "src": "5341:4:88", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 9506, "name": "to", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9488, "src": "5347:2:88", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 9507, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9490, "src": "5351:5:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 9502, "name": "super", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -25, "src": "5325:5:88", "typeDescriptions": { "typeIdentifier": "t_super$_ERC20Snapshot_$9701", "typeString": "contract super ERC20Snapshot" } }, "id": 9504, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "_transfer", "nodeType": "MemberAccess", "referencedDeclaration": 9015, "src": "5325:15:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,address,uint256)" } }, "id": 9508, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5325:32:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9509, "nodeType": "ExpressionStatement", "src": "5325:32:88" } ] }, "documentation": null, "id": 9511, "implemented": true, "kind": "function", "modifiers": [], "name": "_transfer", "nodeType": "FunctionDefinition", "overrides": { "id": 9492, "nodeType": "OverrideSpecifier", "overrides": [], "src": "5231:8:88" }, "parameters": { "id": 9491, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9486, "mutability": "mutable", "name": "from", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9511, "src": "5173:12:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 9485, "name": "address", "nodeType": "ElementaryTypeName", "src": "5173:7:88", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9488, "mutability": "mutable", "name": "to", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9511, "src": "5187:10:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 9487, "name": "address", "nodeType": "ElementaryTypeName", "src": "5187:7:88", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9490, "mutability": "mutable", "name": "value", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9511, "src": "5199:13:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9489, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5199:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "5172:41:88" }, "returnParameters": { "id": 9493, "nodeType": "ParameterList", "parameters": [], "src": "5240:0:88" }, "scope": 9701, "src": "5154:210:88", "stateMutability": "nonpayable", "virtual": true, "visibility": "internal" }, { "baseFunctions": [ 9070 ], "body": { "id": 9533, "nodeType": "Block", "src": "5443:124:88", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9520, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9513, "src": "5476:7:88", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 9519, "name": "_updateAccountSnapshot", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9627, "src": "5453:22:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$returns$__$", "typeString": "function (address)" } }, "id": 9521, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5453:31:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9522, "nodeType": "ExpressionStatement", "src": "5453:31:88" }, { "expression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 9523, "name": "_updateTotalSupplySnapshot", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9637, "src": "5494:26:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$__$returns$__$", "typeString": "function ()" } }, "id": 9524, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5494:28:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9525, "nodeType": "ExpressionStatement", "src": "5494:28:88" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9529, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9513, "src": "5545:7:88", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 9530, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9515, "src": "5554:5:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 9526, "name": "super", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -25, "src": "5533:5:88", "typeDescriptions": { "typeIdentifier": "t_super$_ERC20Snapshot_$9701", "typeString": "contract super ERC20Snapshot" } }, "id": 9528, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "_mint", "nodeType": "MemberAccess", "referencedDeclaration": 9070, "src": "5533:11:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 9531, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5533:27:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9532, "nodeType": "ExpressionStatement", "src": "5533:27:88" } ] }, "documentation": null, "id": 9534, "implemented": true, "kind": "function", "modifiers": [], "name": "_mint", "nodeType": "FunctionDefinition", "overrides": { "id": 9517, "nodeType": "OverrideSpecifier", "overrides": [], "src": "5434:8:88" }, "parameters": { "id": 9516, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9513, "mutability": "mutable", "name": "account", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9534, "src": "5385:15:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 9512, "name": "address", "nodeType": "ElementaryTypeName", "src": "5385:7:88", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9515, "mutability": "mutable", "name": "value", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9534, "src": "5402:13:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9514, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5402:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "5384:32:88" }, "returnParameters": { "id": 9518, "nodeType": "ParameterList", "parameters": [], "src": "5443:0:88" }, "scope": 9701, "src": "5370:197:88", "stateMutability": "nonpayable", "virtual": true, "visibility": "internal" }, { "baseFunctions": [ 9126 ], "body": { "id": 9556, "nodeType": "Block", "src": "5646:124:88", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9543, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9536, "src": "5679:7:88", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 9542, "name": "_updateAccountSnapshot", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9627, "src": "5656:22:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$returns$__$", "typeString": "function (address)" } }, "id": 9544, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5656:31:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9545, "nodeType": "ExpressionStatement", "src": "5656:31:88" }, { "expression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 9546, "name": "_updateTotalSupplySnapshot", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9637, "src": "5697:26:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$__$returns$__$", "typeString": "function ()" } }, "id": 9547, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5697:28:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9548, "nodeType": "ExpressionStatement", "src": "5697:28:88" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9552, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9536, "src": "5748:7:88", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 9553, "name": "value", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9538, "src": "5757:5:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 9549, "name": "super", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -25, "src": "5736:5:88", "typeDescriptions": { "typeIdentifier": "t_super$_ERC20Snapshot_$9701", "typeString": "contract super ERC20Snapshot" } }, "id": 9551, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "_burn", "nodeType": "MemberAccess", "referencedDeclaration": 9126, "src": "5736:11:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 9554, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5736:27:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9555, "nodeType": "ExpressionStatement", "src": "5736:27:88" } ] }, "documentation": null, "id": 9557, "implemented": true, "kind": "function", "modifiers": [], "name": "_burn", "nodeType": "FunctionDefinition", "overrides": { "id": 9540, "nodeType": "OverrideSpecifier", "overrides": [], "src": "5637:8:88" }, "parameters": { "id": 9539, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9536, "mutability": "mutable", "name": "account", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9557, "src": "5588:15:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 9535, "name": "address", "nodeType": "ElementaryTypeName", "src": "5588:7:88", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9538, "mutability": "mutable", "name": "value", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9557, "src": "5605:13:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9537, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5605:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "5587:32:88" }, "returnParameters": { "id": 9541, "nodeType": "ParameterList", "parameters": [], "src": "5646:0:88" }, "scope": 9701, "src": "5573:197:88", "stateMutability": "nonpayable", "virtual": true, "visibility": "internal" }, { "body": { "id": 9611, "nodeType": "Block", "src": "5892:1548:88", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9571, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9569, "name": "snapshotId", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9559, "src": "5910:10:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 9570, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "5923:1:88", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "5910:14:88", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "4552433230536e617073686f743a2069642069732030", "id": 9572, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "5926:24:88", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_d85a3cdc203c5cdc6dda93c12cd017145671a0ed9058a16c7aa00b8398a4a8e6", "typeString": "literal_string \"ERC20Snapshot: id is 0\"" }, "value": "ERC20Snapshot: id is 0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_d85a3cdc203c5cdc6dda93c12cd017145671a0ed9058a16c7aa00b8398a4a8e6", "typeString": "literal_string \"ERC20Snapshot: id is 0\"" } ], "id": 9568, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "5902:7:88", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9573, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5902:49:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9574, "nodeType": "ExpressionStatement", "src": "5902:49:88" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9580, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9576, "name": "snapshotId", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9559, "src": "6022:10:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "id": 9577, "name": "_currentSnapshotId", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9402, "src": "6036:18:88", "typeDescriptions": { "typeIdentifier": "t_struct$_Counter_$12906_storage", "typeString": "struct Counters.Counter storage ref" } }, "id": 9578, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "current", "nodeType": "MemberAccess", "referencedDeclaration": 12917, "src": "6036:26:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_struct$_Counter_$12906_storage_ptr_$returns$_t_uint256_$bound_to$_t_struct$_Counter_$12906_storage_ptr_$", "typeString": "function (struct Counters.Counter storage pointer) view returns (uint256)" } }, "id": 9579, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6036:28:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6022:42:88", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "4552433230536e617073686f743a206e6f6e6578697374656e74206964", "id": 9581, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "6066:31:88", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_031e0835d070e7bbd2c8dcce466eadb8c6b9fd22432b0357ab8c37bd9a385940", "typeString": "literal_string \"ERC20Snapshot: nonexistent id\"" }, "value": "ERC20Snapshot: nonexistent id" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_031e0835d070e7bbd2c8dcce466eadb8c6b9fd22432b0357ab8c37bd9a385940", "typeString": "literal_string \"ERC20Snapshot: nonexistent id\"" } ], "id": 9575, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "6014:7:88", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9582, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6014:84:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9583, "nodeType": "ExpressionStatement", "src": "6014:84:88" }, { "assignments": [ 9585 ], "declarations": [ { "constant": false, "id": 9585, "mutability": "mutable", "name": "index", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9611, "src": "7221:13:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9584, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "7221:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 9591, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9589, "name": "snapshotId", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9559, "src": "7266:10:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 9586, "name": "snapshots", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9561, "src": "7237:9:88", "typeDescriptions": { "typeIdentifier": "t_struct$_Snapshots_$9394_storage_ptr", "typeString": "struct ERC20Snapshot.Snapshots storage pointer" } }, "id": 9587, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "ids", "nodeType": "MemberAccess", "referencedDeclaration": 9390, "src": "7237:13:88", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage", "typeString": "uint256[] storage ref" } }, "id": 9588, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "findUpperBound", "nodeType": "MemberAccess", "referencedDeclaration": 12895, "src": "7237:28:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_array$_t_uint256_$dyn_storage_ptr_$_t_uint256_$returns$_t_uint256_$bound_to$_t_array$_t_uint256_$dyn_storage_ptr_$", "typeString": "function (uint256[] storage pointer,uint256) view returns (uint256)" } }, "id": 9590, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "7237:40:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "7221:56:88" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9596, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9592, "name": "index", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9585, "src": "7292:5:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 9593, "name": "snapshots", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9561, "src": "7301:9:88", "typeDescriptions": { "typeIdentifier": "t_struct$_Snapshots_$9394_storage_ptr", "typeString": "struct ERC20Snapshot.Snapshots storage pointer" } }, "id": 9594, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "ids", "nodeType": "MemberAccess", "referencedDeclaration": 9390, "src": "7301:13:88", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage", "typeString": "uint256[] storage ref" } }, "id": 9595, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "7301:20:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "7292:29:88", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 9609, "nodeType": "Block", "src": "7371:63:88", "statements": [ { "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "hexValue": "74727565", "id": 9602, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "7393:4:88", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 9603, "name": "snapshots", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9561, "src": "7399:9:88", "typeDescriptions": { "typeIdentifier": "t_struct$_Snapshots_$9394_storage_ptr", "typeString": "struct ERC20Snapshot.Snapshots storage pointer" } }, "id": 9604, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "values", "nodeType": "MemberAccess", "referencedDeclaration": 9393, "src": "7399:16:88", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage", "typeString": "uint256[] storage ref" } }, "id": 9606, "indexExpression": { "argumentTypes": null, "id": 9605, "name": "index", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9585, "src": "7416:5:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "7399:23:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 9607, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "7392:31:88", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 9567, "id": 9608, "nodeType": "Return", "src": "7385:38:88" } ] }, "id": 9610, "nodeType": "IfStatement", "src": "7288:146:88", "trueBody": { "id": 9601, "nodeType": "Block", "src": "7323:42:88", "statements": [ { "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "hexValue": "66616c7365", "id": 9597, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "7345:5:88", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "argumentTypes": null, "hexValue": "30", "id": 9598, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "7352:1:88", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 9599, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "7344:10:88", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 9567, "id": 9600, "nodeType": "Return", "src": "7337:17:88" } ] } } ] }, "documentation": null, "id": 9612, "implemented": true, "kind": "function", "modifiers": [], "name": "_valueAt", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 9562, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9559, "mutability": "mutable", "name": "snapshotId", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9612, "src": "5794:18:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9558, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5794:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9561, "mutability": "mutable", "name": "snapshots", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9612, "src": "5814:27:88", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_Snapshots_$9394_storage_ptr", "typeString": "struct ERC20Snapshot.Snapshots" }, "typeName": { "contractScope": null, "id": 9560, "name": "Snapshots", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9394, "src": "5814:9:88", "typeDescriptions": { "typeIdentifier": "t_struct$_Snapshots_$9394_storage_ptr", "typeString": "struct ERC20Snapshot.Snapshots" } }, "value": null, "visibility": "internal" } ], "src": "5793:49:88" }, "returnParameters": { "id": 9567, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9564, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9612, "src": "5873:4:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 9563, "name": "bool", "nodeType": "ElementaryTypeName", "src": "5873:4:88", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9566, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9612, "src": "5879:7:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9565, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5879:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "5872:15:88" }, "scope": 9701, "src": "5776:1664:88", "stateMutability": "view", "virtual": false, "visibility": "private" }, { "body": { "id": 9626, "nodeType": "Block", "src": "7503:87:88", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 9618, "name": "_accountBalanceSnapshots", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9398, "src": "7529:24:88", "typeDescriptions": { "typeIdentifier": "t_mapping$_t_address_$_t_struct$_Snapshots_$9394_storage_$", "typeString": "mapping(address => struct ERC20Snapshot.Snapshots storage ref)" } }, "id": 9620, "indexExpression": { "argumentTypes": null, "id": 9619, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9614, "src": "7554:7:88", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "7529:33:88", "typeDescriptions": { "typeIdentifier": "t_struct$_Snapshots_$9394_storage", "typeString": "struct ERC20Snapshot.Snapshots storage ref" } }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9622, "name": "account", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9614, "src": "7574:7:88", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 9621, "name": "balanceOf", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8794, "src": "7564:9:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_address_$returns$_t_uint256_$", "typeString": "function (address) view returns (uint256)" } }, "id": 9623, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "7564:18:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_struct$_Snapshots_$9394_storage", "typeString": "struct ERC20Snapshot.Snapshots storage ref" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 9617, "name": "_updateSnapshot", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9675, "src": "7513:15:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_struct$_Snapshots_$9394_storage_ptr_$_t_uint256_$returns$__$", "typeString": "function (struct ERC20Snapshot.Snapshots storage pointer,uint256)" } }, "id": 9624, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "7513:70:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9625, "nodeType": "ExpressionStatement", "src": "7513:70:88" } ] }, "documentation": null, "id": 9627, "implemented": true, "kind": "function", "modifiers": [], "name": "_updateAccountSnapshot", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 9615, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9614, "mutability": "mutable", "name": "account", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9627, "src": "7478:15:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 9613, "name": "address", "nodeType": "ElementaryTypeName", "src": "7478:7:88", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "7477:17:88" }, "returnParameters": { "id": 9616, "nodeType": "ParameterList", "parameters": [], "src": "7503:0:88" }, "scope": 9701, "src": "7446:144:88", "stateMutability": "nonpayable", "virtual": false, "visibility": "private" }, { "body": { "id": 9636, "nodeType": "Block", "src": "7642:70:88", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9631, "name": "_totalSupplySnapshots", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9400, "src": "7668:21:88", "typeDescriptions": { "typeIdentifier": "t_struct$_Snapshots_$9394_storage", "typeString": "struct ERC20Snapshot.Snapshots storage ref" } }, { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "id": 9632, "name": "totalSupply", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8780, "src": "7691:11:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$__$returns$_t_uint256_$", "typeString": "function () view returns (uint256)" } }, "id": 9633, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "7691:13:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_struct$_Snapshots_$9394_storage", "typeString": "struct ERC20Snapshot.Snapshots storage ref" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 9630, "name": "_updateSnapshot", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9675, "src": "7652:15:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_nonpayable$_t_struct$_Snapshots_$9394_storage_ptr_$_t_uint256_$returns$__$", "typeString": "function (struct ERC20Snapshot.Snapshots storage pointer,uint256)" } }, "id": 9634, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "7652:53:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9635, "nodeType": "ExpressionStatement", "src": "7652:53:88" } ] }, "documentation": null, "id": 9637, "implemented": true, "kind": "function", "modifiers": [], "name": "_updateTotalSupplySnapshot", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 9628, "nodeType": "ParameterList", "parameters": [], "src": "7631:2:88" }, "returnParameters": { "id": 9629, "nodeType": "ParameterList", "parameters": [], "src": "7642:0:88" }, "scope": 9701, "src": "7596:116:88", "stateMutability": "nonpayable", "virtual": false, "visibility": "private" }, { "body": { "id": 9674, "nodeType": "Block", "src": "7802:225:88", "statements": [ { "assignments": [ 9645 ], "declarations": [ { "constant": false, "id": 9645, "mutability": "mutable", "name": "currentId", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9674, "src": "7812:17:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9644, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "7812:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 9649, "initialValue": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "id": 9646, "name": "_currentSnapshotId", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9402, "src": "7832:18:88", "typeDescriptions": { "typeIdentifier": "t_struct$_Counter_$12906_storage", "typeString": "struct Counters.Counter storage ref" } }, "id": 9647, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "current", "nodeType": "MemberAccess", "referencedDeclaration": 12917, "src": "7832:26:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_struct$_Counter_$12906_storage_ptr_$returns$_t_uint256_$bound_to$_t_struct$_Counter_$12906_storage_ptr_$", "typeString": "function (struct Counters.Counter storage pointer) view returns (uint256)" } }, "id": 9648, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "7832:28:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "7812:48:88" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9655, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 9651, "name": "snapshots", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9639, "src": "7890:9:88", "typeDescriptions": { "typeIdentifier": "t_struct$_Snapshots_$9394_storage_ptr", "typeString": "struct ERC20Snapshot.Snapshots storage pointer" } }, "id": 9652, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "ids", "nodeType": "MemberAccess", "referencedDeclaration": 9390, "src": "7890:13:88", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage", "typeString": "uint256[] storage ref" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_array$_t_uint256_$dyn_storage", "typeString": "uint256[] storage ref" } ], "id": 9650, "name": "_lastSnapshotId", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9700, "src": "7874:15:88", "typeDescriptions": { "typeIdentifier": "t_function_internal_view$_t_array$_t_uint256_$dyn_storage_ptr_$returns$_t_uint256_$", "typeString": "function (uint256[] storage pointer) view returns (uint256)" } }, "id": 9653, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "7874:30:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 9654, "name": "currentId", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9645, "src": "7907:9:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "7874:42:88", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 9673, "nodeType": "IfStatement", "src": "7870:151:88", "trueBody": { "id": 9672, "nodeType": "Block", "src": "7918:103:88", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9661, "name": "currentId", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9645, "src": "7951:9:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 9656, "name": "snapshots", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9639, "src": "7932:9:88", "typeDescriptions": { "typeIdentifier": "t_struct$_Snapshots_$9394_storage_ptr", "typeString": "struct ERC20Snapshot.Snapshots storage pointer" } }, "id": 9659, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "ids", "nodeType": "MemberAccess", "referencedDeclaration": 9390, "src": "7932:13:88", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage", "typeString": "uint256[] storage ref" } }, "id": 9660, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "7932:18:88", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_uint256_$returns$__$", "typeString": "function (uint256)" } }, "id": 9662, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "7932:29:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9663, "nodeType": "ExpressionStatement", "src": "7932:29:88" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9669, "name": "currentValue", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9641, "src": "7997:12:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 9664, "name": "snapshots", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9639, "src": "7975:9:88", "typeDescriptions": { "typeIdentifier": "t_struct$_Snapshots_$9394_storage_ptr", "typeString": "struct ERC20Snapshot.Snapshots storage pointer" } }, "id": 9667, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "values", "nodeType": "MemberAccess", "referencedDeclaration": 9393, "src": "7975:16:88", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage", "typeString": "uint256[] storage ref" } }, "id": 9668, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "7975:21:88", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_uint256_$returns$__$", "typeString": "function (uint256)" } }, "id": 9670, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "7975:35:88", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9671, "nodeType": "ExpressionStatement", "src": "7975:35:88" } ] } } ] }, "documentation": null, "id": 9675, "implemented": true, "kind": "function", "modifiers": [], "name": "_updateSnapshot", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 9642, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9639, "mutability": "mutable", "name": "snapshots", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9675, "src": "7743:27:88", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_Snapshots_$9394_storage_ptr", "typeString": "struct ERC20Snapshot.Snapshots" }, "typeName": { "contractScope": null, "id": 9638, "name": "Snapshots", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 9394, "src": "7743:9:88", "typeDescriptions": { "typeIdentifier": "t_struct$_Snapshots_$9394_storage_ptr", "typeString": "struct ERC20Snapshot.Snapshots" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9641, "mutability": "mutable", "name": "currentValue", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9675, "src": "7772:20:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9640, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "7772:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "7742:51:88" }, "returnParameters": { "id": 9643, "nodeType": "ParameterList", "parameters": [], "src": "7802:0:88" }, "scope": 9701, "src": "7718:309:88", "stateMutability": "nonpayable", "virtual": false, "visibility": "private" }, { "body": { "id": 9699, "nodeType": "Block", "src": "8112:127:88", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9686, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 9683, "name": "ids", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9678, "src": "8126:3:88", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[] storage pointer" } }, "id": 9684, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "8126:10:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 9685, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "8140:1:88", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "8126:15:88", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "id": 9697, "nodeType": "Block", "src": "8182:51:88", "statements": [ { "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 9690, "name": "ids", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9678, "src": "8203:3:88", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[] storage pointer" } }, "id": 9695, "indexExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9694, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 9691, "name": "ids", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9678, "src": "8207:3:88", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[] storage pointer" } }, "id": 9692, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "8207:10:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 9693, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "8220:1:88", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "8207:14:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "8203:19:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 9682, "id": 9696, "nodeType": "Return", "src": "8196:26:88" } ] }, "id": 9698, "nodeType": "IfStatement", "src": "8122:111:88", "trueBody": { "id": 9689, "nodeType": "Block", "src": "8143:33:88", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 9687, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "8164:1:88", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 9682, "id": 9688, "nodeType": "Return", "src": "8157:8:88" } ] } } ] }, "documentation": null, "id": 9700, "implemented": true, "kind": "function", "modifiers": [], "name": "_lastSnapshotId", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 9679, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9678, "mutability": "mutable", "name": "ids", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9700, "src": "8058:21:88", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" }, "typeName": { "baseType": { "id": 9676, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "8058:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 9677, "length": null, "nodeType": "ArrayTypeName", "src": "8058:9:88", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } }, "value": null, "visibility": "internal" } ], "src": "8057:23:88" }, "returnParameters": { "id": 9682, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9681, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 9700, "src": "8103:7:88", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9680, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "8103:7:88", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "8102:9:88" }, "scope": 9701, "src": "8033:206:88", "stateMutability": "view", "virtual": false, "visibility": "private" } ], "scope": 9702, "src": "1829:6412:88" } ], "src": "33:8209:88" }, "bytecode": "0x", "deployedBytecode": "0x", "compiler": { "name": "solc", "version": "0.7.0+commit.9e61f92b.Emscripten.clang", "optimizer": { "enabled": false, "runs": 200 }, "evmVersion": "petersburg" } }