{ "contractName": "Counters", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.5.17+commit.d19bba13\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"author\":\"Matt Condon (@shrugs)\",\"details\":\"Provides counters that can only be incremented or decremented by one. This can be used e.g. to track the number of elements in a mapping, issuing ERC721 ids, or counting request ids. * Include with `using Counters for Counters.Counter;` Since it is not possible to overflow a 256 bit integer with increments of one, `increment` can skip the SafeMath overflow check, thereby saving gas. This does assume however correct usage, in that the underlying `_value` is never directly accessed.\",\"methods\":{},\"title\":\"Counters\"},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"openzeppelin-solidity/contracts/drafts/Counters.sol\":\"Counters\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[]},\"sources\":{\"openzeppelin-solidity/contracts/drafts/Counters.sol\":{\"keccak256\":\"0x5eb69360d3441ab2ee799bd7c007cccbffb0896f12b2dfe1456193e2aa180a11\",\"urls\":[\"bzz-raw://072e8b5a1b5acfc2acba9b6fb87d1dc57065aad44572617ad46b014074969eb3\",\"dweb:/ipfs/QmVTDHUriaxBJqiWCWgWC8vYaYYfXSz883LsowzTx1DcpK\"]},\"openzeppelin-solidity/contracts/math/SafeMath.sol\":{\"keccak256\":\"0x4ccf2d7b51873db1ccfd54ca2adae5eac3b184f9699911ed4490438419f1c690\",\"urls\":[\"bzz-raw://d62d769b2219d5de39013093412623e624fa887f871826ea3bae6052ee893610\",\"dweb:/ipfs/QmV3yVktya1s617QmuzQR2CfuJgUi3dR2xEZY9ecmqZ2G1\"]}},\"version\":1}", "bytecode": "0x60556023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea265627a7a723158202e23ae87a20277364123b0c076fee5d71b42836ac4e22e3d356ffcd9199f1b4064736f6c63430005110032", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea265627a7a723158202e23ae87a20277364123b0c076fee5d71b42836ac4e22e3d356ffcd9199f1b4064736f6c63430005110032", "sourceMap": "627:759:57:-;;132:2:-1;166:7;155:9;146:7;137:37;255:7;249:14;246:1;241:23;235:4;232:33;222:2;;269:9;222:2;293:9;290:1;283:20;323:4;314:7;306:22;347:7;338;331:24", "deployedSourceMap": "627:759:57:-;;;;;;;;", "source": "pragma solidity ^0.5.0;\n\nimport \"../math/SafeMath.sol\";\n\n/**\n * @title Counters\n * @author Matt Condon (@shrugs)\n * @dev Provides counters that can only be incremented or decremented by one. This can be used e.g. to track the number\n * of elements in a mapping, issuing ERC721 ids, or counting request ids.\n *\n * Include with `using Counters for Counters.Counter;`\n * Since it is not possible to overflow a 256 bit integer with increments of one, `increment` can skip the SafeMath\n * overflow check, thereby saving gas. This does assume however correct usage, in that the underlying `_value` is never\n * directly accessed.\n */\nlibrary Counters {\n using SafeMath for uint256;\n\n struct Counter {\n // This variable should never be directly accessed by users of the library: interactions must be restricted to\n // the library's function. As of Solidity v0.5.2, this cannot be enforced, though there is a proposal to add\n // this feature: see https://github.com/ethereum/solidity/issues/4637\n uint256 _value; // default: 0\n }\n\n function current(Counter storage counter) internal view returns (uint256) {\n return counter._value;\n }\n\n function increment(Counter storage counter) internal {\n counter._value += 1;\n }\n\n function decrement(Counter storage counter) internal {\n counter._value = counter._value.sub(1);\n }\n}\n", "sourcePath": "openzeppelin-solidity/contracts/drafts/Counters.sol", "ast": { "absolutePath": "openzeppelin-solidity/contracts/drafts/Counters.sol", "exportedSymbols": { "Counters": [ 16660 ] }, "id": 16661, "nodeType": "SourceUnit", "nodes": [ { "id": 16613, "literals": [ "solidity", "^", "0.5", ".0" ], "nodeType": "PragmaDirective", "src": "0:23:57" }, { "absolutePath": "openzeppelin-solidity/contracts/math/SafeMath.sol", "file": "../math/SafeMath.sol", "id": 16614, "nodeType": "ImportDirective", "scope": 16661, "sourceUnit": 16856, "src": "25:30:57", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title Counters\n@author Matt Condon (@shrugs)\n@dev Provides counters that can only be incremented or decremented by one. This can be used e.g. to track the number\nof elements in a mapping, issuing ERC721 ids, or counting request ids.\n * Include with `using Counters for Counters.Counter;`\nSince it is not possible to overflow a 256 bit integer with increments of one, `increment` can skip the SafeMath\noverflow check, thereby saving gas. This does assume however correct usage, in that the underlying `_value` is never\ndirectly accessed.", "fullyImplemented": true, "id": 16660, "linearizedBaseContracts": [ 16660 ], "name": "Counters", "nodeType": "ContractDefinition", "nodes": [ { "id": 16617, "libraryName": { "contractScope": null, "id": 16615, "name": "SafeMath", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 16855, "src": "656:8:57", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMath_$16855", "typeString": "library SafeMath" } }, "nodeType": "UsingForDirective", "src": "650:27:57", "typeName": { "id": 16616, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "669:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } }, { "canonicalName": "Counters.Counter", "id": 16620, "members": [ { "constant": false, "id": 16619, "name": "_value", "nodeType": "VariableDeclaration", "scope": 16620, "src": "1022:14:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16618, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1022:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "name": "Counter", "nodeType": "StructDefinition", "scope": 16660, "src": "683:374:57", "visibility": "public" }, { "body": { "id": 16630, "nodeType": "Block", "src": "1137:38:57", "statements": [ { "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 16627, "name": "counter", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16622, "src": "1154:7:57", "typeDescriptions": { "typeIdentifier": "t_struct$_Counter_$16620_storage_ptr", "typeString": "struct Counters.Counter storage pointer" } }, "id": 16628, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "_value", "nodeType": "MemberAccess", "referencedDeclaration": 16619, "src": "1154:14:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 16626, "id": 16629, "nodeType": "Return", "src": "1147:21:57" } ] }, "documentation": null, "id": 16631, "implemented": true, "kind": "function", "modifiers": [], "name": "current", "nodeType": "FunctionDefinition", "parameters": { "id": 16623, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 16622, "name": "counter", "nodeType": "VariableDeclaration", "scope": 16631, "src": "1080:23:57", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_Counter_$16620_storage_ptr", "typeString": "struct Counters.Counter" }, "typeName": { "contractScope": null, "id": 16621, "name": "Counter", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 16620, "src": "1080:7:57", "typeDescriptions": { "typeIdentifier": "t_struct$_Counter_$16620_storage_ptr", "typeString": "struct Counters.Counter" } }, "value": null, "visibility": "internal" } ], "src": "1079:25:57" }, "returnParameters": { "id": 16626, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 16625, "name": "", "nodeType": "VariableDeclaration", "scope": 16631, "src": "1128:7:57", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16624, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1128:7:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1127:9:57" }, "scope": 16660, "src": "1063:112:57", "stateMutability": "view", "superFunction": null, "visibility": "internal" }, { "body": { "id": 16642, "nodeType": "Block", "src": "1234:36:57", "statements": [ { "expression": { "argumentTypes": null, "id": 16640, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 16636, "name": "counter", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16633, "src": "1244:7:57", "typeDescriptions": { "typeIdentifier": "t_struct$_Counter_$16620_storage_ptr", "typeString": "struct Counters.Counter storage pointer" } }, "id": 16638, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "memberName": "_value", "nodeType": "MemberAccess", "referencedDeclaration": 16619, "src": "1244:14:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 16639, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1262:1:57", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "1244:19:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 16641, "nodeType": "ExpressionStatement", "src": "1244:19:57" } ] }, "documentation": null, "id": 16643, "implemented": true, "kind": "function", "modifiers": [], "name": "increment", "nodeType": "FunctionDefinition", "parameters": { "id": 16634, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 16633, "name": "counter", "nodeType": "VariableDeclaration", "scope": 16643, "src": "1200:23:57", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_Counter_$16620_storage_ptr", "typeString": "struct Counters.Counter" }, "typeName": { "contractScope": null, "id": 16632, "name": "Counter", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 16620, "src": "1200:7:57", "typeDescriptions": { "typeIdentifier": "t_struct$_Counter_$16620_storage_ptr", "typeString": "struct Counters.Counter" } }, "value": null, "visibility": "internal" } ], "src": "1199:25:57" }, "returnParameters": { "id": 16635, "nodeType": "ParameterList", "parameters": [], "src": "1234:0:57" }, "scope": 16660, "src": "1181:89:57", "stateMutability": "nonpayable", "superFunction": null, "visibility": "internal" }, { "body": { "id": 16658, "nodeType": "Block", "src": "1329:55:57", "statements": [ { "expression": { "argumentTypes": null, "id": 16656, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 16648, "name": "counter", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16645, "src": "1339:7:57", "typeDescriptions": { "typeIdentifier": "t_struct$_Counter_$16620_storage_ptr", "typeString": "struct Counters.Counter storage pointer" } }, "id": 16650, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "memberName": "_value", "nodeType": "MemberAccess", "referencedDeclaration": 16619, "src": "1339:14:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "31", "id": 16654, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1375:1:57", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" } ], "expression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 16651, "name": "counter", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16645, "src": "1356:7:57", "typeDescriptions": { "typeIdentifier": "t_struct$_Counter_$16620_storage_ptr", "typeString": "struct Counters.Counter storage pointer" } }, "id": 16652, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "_value", "nodeType": "MemberAccess", "referencedDeclaration": 16619, "src": "1356:14:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 16653, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sub", "nodeType": "MemberAccess", "referencedDeclaration": 16774, "src": "1356:18:57", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 16655, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1356:21:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1339:38:57", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 16657, "nodeType": "ExpressionStatement", "src": "1339:38:57" } ] }, "documentation": null, "id": 16659, "implemented": true, "kind": "function", "modifiers": [], "name": "decrement", "nodeType": "FunctionDefinition", "parameters": { "id": 16646, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 16645, "name": "counter", "nodeType": "VariableDeclaration", "scope": 16659, "src": "1295:23:57", "stateVariable": false, "storageLocation": "storage", "typeDescriptions": { "typeIdentifier": "t_struct$_Counter_$16620_storage_ptr", "typeString": "struct Counters.Counter" }, "typeName": { "contractScope": null, "id": 16644, "name": "Counter", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 16620, "src": "1295:7:57", "typeDescriptions": { "typeIdentifier": "t_struct$_Counter_$16620_storage_ptr", "typeString": "struct Counters.Counter" } }, "value": null, "visibility": "internal" } ], "src": "1294:25:57" }, "returnParameters": { "id": 16647, "nodeType": "ParameterList", "parameters": [], "src": "1329:0:57" }, "scope": 16660, "src": "1276:108:57", "stateMutability": "nonpayable", "superFunction": null, "visibility": "internal" } ], "scope": 16661, "src": "627:759:57" } ], "src": "0:1387:57" }, "legacyAST": { "attributes": { "absolutePath": "openzeppelin-solidity/contracts/drafts/Counters.sol", "exportedSymbols": { "Counters": [ 16660 ] } }, "children": [ { "attributes": { "literals": [ "solidity", "^", "0.5", ".0" ] }, "id": 16613, "name": "PragmaDirective", "src": "0:23:57" }, { "attributes": { "SourceUnit": 16856, "absolutePath": "openzeppelin-solidity/contracts/math/SafeMath.sol", "file": "../math/SafeMath.sol", "scope": 16661, "symbolAliases": [ null ], "unitAlias": "" }, "id": 16614, "name": "ImportDirective", "src": "25:30:57" }, { "attributes": { "baseContracts": [ null ], "contractDependencies": [ null ], "contractKind": "library", "documentation": "@title Counters\n@author Matt Condon (@shrugs)\n@dev Provides counters that can only be incremented or decremented by one. This can be used e.g. to track the number\nof elements in a mapping, issuing ERC721 ids, or counting request ids.\n * Include with `using Counters for Counters.Counter;`\nSince it is not possible to overflow a 256 bit integer with increments of one, `increment` can skip the SafeMath\noverflow check, thereby saving gas. This does assume however correct usage, in that the underlying `_value` is never\ndirectly accessed.", "fullyImplemented": true, "linearizedBaseContracts": [ 16660 ], "name": "Counters", "scope": 16661 }, "children": [ { "children": [ { "attributes": { "contractScope": null, "name": "SafeMath", "referencedDeclaration": 16855, "type": "library SafeMath" }, "id": 16615, "name": "UserDefinedTypeName", "src": "656:8:57" }, { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16616, "name": "ElementaryTypeName", "src": "669:7:57" } ], "id": 16617, "name": "UsingForDirective", "src": "650:27:57" }, { "attributes": { "canonicalName": "Counters.Counter", "name": "Counter", "scope": 16660, "visibility": "public" }, "children": [ { "attributes": { "constant": false, "name": "_value", "scope": 16620, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16618, "name": "ElementaryTypeName", "src": "1022:7:57" } ], "id": 16619, "name": "VariableDeclaration", "src": "1022:14:57" } ], "id": 16620, "name": "StructDefinition", "src": "683:374:57" }, { "attributes": { "documentation": null, "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "current", "scope": 16660, "stateMutability": "view", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "counter", "scope": 16631, "stateVariable": false, "storageLocation": "storage", "type": "struct Counters.Counter", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "contractScope": null, "name": "Counter", "referencedDeclaration": 16620, "type": "struct Counters.Counter" }, "id": 16621, "name": "UserDefinedTypeName", "src": "1080:7:57" } ], "id": 16622, "name": "VariableDeclaration", "src": "1080:23:57" } ], "id": 16623, "name": "ParameterList", "src": "1079:25:57" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 16631, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16624, "name": "ElementaryTypeName", "src": "1128:7:57" } ], "id": 16625, "name": "VariableDeclaration", "src": "1128:7:57" } ], "id": 16626, "name": "ParameterList", "src": "1127:9:57" }, { "children": [ { "attributes": { "functionReturnParameters": 16626 }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "member_name": "_value", "referencedDeclaration": 16619, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16622, "type": "struct Counters.Counter storage pointer", "value": "counter" }, "id": 16627, "name": "Identifier", "src": "1154:7:57" } ], "id": 16628, "name": "MemberAccess", "src": "1154:14:57" } ], "id": 16629, "name": "Return", "src": "1147:21:57" } ], "id": 16630, "name": "Block", "src": "1137:38:57" } ], "id": 16631, "name": "FunctionDefinition", "src": "1063:112:57" }, { "attributes": { "documentation": null, "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "increment", "scope": 16660, "stateMutability": "nonpayable", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "counter", "scope": 16643, "stateVariable": false, "storageLocation": "storage", "type": "struct Counters.Counter", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "contractScope": null, "name": "Counter", "referencedDeclaration": 16620, "type": "struct Counters.Counter" }, "id": 16632, "name": "UserDefinedTypeName", "src": "1200:7:57" } ], "id": 16633, "name": "VariableDeclaration", "src": "1200:23:57" } ], "id": 16634, "name": "ParameterList", "src": "1199:25:57" }, { "attributes": { "parameters": [ null ] }, "children": [], "id": 16635, "name": "ParameterList", "src": "1234:0:57" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "member_name": "_value", "referencedDeclaration": 16619, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16633, "type": "struct Counters.Counter storage pointer", "value": "counter" }, "id": 16636, "name": "Identifier", "src": "1244:7:57" } ], "id": 16638, "name": "MemberAccess", "src": "1244:14:57" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 16639, "name": "Literal", "src": "1262:1:57" } ], "id": 16640, "name": "Assignment", "src": "1244:19:57" } ], "id": 16641, "name": "ExpressionStatement", "src": "1244:19:57" } ], "id": 16642, "name": "Block", "src": "1234:36:57" } ], "id": 16643, "name": "FunctionDefinition", "src": "1181:89:57" }, { "attributes": { "documentation": null, "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "decrement", "scope": 16660, "stateMutability": "nonpayable", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "counter", "scope": 16659, "stateVariable": false, "storageLocation": "storage", "type": "struct Counters.Counter", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "contractScope": null, "name": "Counter", "referencedDeclaration": 16620, "type": "struct Counters.Counter" }, "id": 16644, "name": "UserDefinedTypeName", "src": "1295:7:57" } ], "id": 16645, "name": "VariableDeclaration", "src": "1295:23:57" } ], "id": 16646, "name": "ParameterList", "src": "1294:25:57" }, { "attributes": { "parameters": [ null ] }, "children": [], "id": 16647, "name": "ParameterList", "src": "1329:0:57" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "member_name": "_value", "referencedDeclaration": 16619, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16645, "type": "struct Counters.Counter storage pointer", "value": "counter" }, "id": 16648, "name": "Identifier", "src": "1339:7:57" } ], "id": 16650, "name": "MemberAccess", "src": "1339:14:57" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" } ], "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "member_name": "sub", "referencedDeclaration": 16774, "type": "function (uint256,uint256) pure returns (uint256)" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "member_name": "_value", "referencedDeclaration": 16619, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16645, "type": "struct Counters.Counter storage pointer", "value": "counter" }, "id": 16651, "name": "Identifier", "src": "1356:7:57" } ], "id": 16652, "name": "MemberAccess", "src": "1356:14:57" } ], "id": 16653, "name": "MemberAccess", "src": "1356:18:57" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 16654, "name": "Literal", "src": "1375:1:57" } ], "id": 16655, "name": "FunctionCall", "src": "1356:21:57" } ], "id": 16656, "name": "Assignment", "src": "1339:38:57" } ], "id": 16657, "name": "ExpressionStatement", "src": "1339:38:57" } ], "id": 16658, "name": "Block", "src": "1329:55:57" } ], "id": 16659, "name": "FunctionDefinition", "src": "1276:108:57" } ], "id": 16660, "name": "ContractDefinition", "src": "627:759:57" } ], "id": 16661, "name": "SourceUnit", "src": "0:1387:57" }, "compiler": { "name": "solc", "version": "0.5.17+commit.d19bba13.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.3.4", "updatedAt": "2021-11-23T11:52:09.473Z", "devdoc": { "author": "Matt Condon (@shrugs)", "details": "Provides counters that can only be incremented or decremented by one. This can be used e.g. to track the number of elements in a mapping, issuing ERC721 ids, or counting request ids. * Include with `using Counters for Counters.Counter;` Since it is not possible to overflow a 256 bit integer with increments of one, `increment` can skip the SafeMath overflow check, thereby saving gas. This does assume however correct usage, in that the underlying `_value` is never directly accessed.", "methods": {}, "title": "Counters" }, "userdoc": { "methods": {} } }