{ "contractName": "SafeMath64", "abi": [], "bytecode": "0x604c602c600b82828239805160001a60731460008114601c57601e565bfe5b5030600052607381538281f30073000000000000000000000000000000000000000030146080604052600080fd00a165627a7a723058201fc2c86780f47da7485507e3e62aefc37508bc4fb84406dcbd7ded8b7eb5c44a0029", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fd00a165627a7a723058201fc2c86780f47da7485507e3e62aefc37508bc4fb84406dcbd7ded8b7eb5c44a0029", "sourceMap": "430:1849:52:-;;132:2:-1;166:7;155:9;146:7;137:37;252:7;246:14;243:1;238:23;232:4;229:33;270:1;265:20;;;;222:63;;265:20;274:9;222:63;;298:9;295:1;288:20;328:4;319:7;311:22;352:7;343;336:24", "deployedSourceMap": "430:1849:52:-;;;;;;;;", "source": "// See https://github.com/OpenZeppelin/openzeppelin-solidity/blob/d51e38758e1d985661534534d5c61e27bece5042/contracts/math/SafeMath.sol\n// Adapted for uint64, pragma ^0.4.24, and satisfying our linter rules\n// Also optimized the mul() implementation, see https://github.com/aragon/aragonOS/pull/417\n\npragma solidity ^0.4.24;\n\n\n/**\n * @title SafeMath64\n * @dev Math operations for uint64 with safety checks that revert on error\n */\nlibrary SafeMath64 {\n string private constant ERROR_ADD_OVERFLOW = \"MATH64_ADD_OVERFLOW\";\n string private constant ERROR_SUB_UNDERFLOW = \"MATH64_SUB_UNDERFLOW\";\n string private constant ERROR_MUL_OVERFLOW = \"MATH64_MUL_OVERFLOW\";\n string private constant ERROR_DIV_ZERO = \"MATH64_DIV_ZERO\";\n\n /**\n * @dev Multiplies two numbers, reverts on overflow.\n */\n function mul(uint64 _a, uint64 _b) internal pure returns (uint64) {\n uint256 c = uint256(_a) * uint256(_b);\n require(c < 0x010000000000000000, ERROR_MUL_OVERFLOW); // 2**64 (less gas this way)\n\n return uint64(c);\n }\n\n /**\n * @dev Integer division of two numbers truncating the quotient, reverts on division by zero.\n */\n function div(uint64 _a, uint64 _b) internal pure returns (uint64) {\n require(_b > 0, ERROR_DIV_ZERO); // Solidity only automatically asserts when dividing by 0\n uint64 c = _a / _b;\n // assert(_a == _b * c + _a % _b); // There is no case in which this doesn't hold\n\n return c;\n }\n\n /**\n * @dev Subtracts two numbers, reverts on overflow (i.e. if subtrahend is greater than minuend).\n */\n function sub(uint64 _a, uint64 _b) internal pure returns (uint64) {\n require(_b <= _a, ERROR_SUB_UNDERFLOW);\n uint64 c = _a - _b;\n\n return c;\n }\n\n /**\n * @dev Adds two numbers, reverts on overflow.\n */\n function add(uint64 _a, uint64 _b) internal pure returns (uint64) {\n uint64 c = _a + _b;\n require(c >= _a, ERROR_ADD_OVERFLOW);\n\n return c;\n }\n\n /**\n * @dev Divides two numbers and returns the remainder (unsigned integer modulo),\n * reverts when dividing by zero.\n */\n function mod(uint64 a, uint64 b) internal pure returns (uint64) {\n require(b != 0, ERROR_DIV_ZERO);\n return a % b;\n }\n}\n", "sourcePath": "@aragon/os/contracts/lib/math/SafeMath64.sol", "ast": { "absolutePath": "@aragon/os/contracts/lib/math/SafeMath64.sol", "exportedSymbols": { "SafeMath64": [ 11853 ] }, "id": 11854, "nodeType": "SourceUnit", "nodes": [ { "id": 11713, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "299:24:52" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title SafeMath64\n@dev Math operations for uint64 with safety checks that revert on error", "fullyImplemented": true, "id": 11853, "linearizedBaseContracts": [ 11853 ], "name": "SafeMath64", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "id": 11716, "name": "ERROR_ADD_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 11853, "src": "455:66:52", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 11714, "name": "string", "nodeType": "ElementaryTypeName", "src": "455:6:52", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d41544836345f4144445f4f564552464c4f57", "id": 11715, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "500:21:52", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_d930cfdbbe365885d0379a109568efa7352987dfb09ced0a5e91c871216a2ab9", "typeString": "literal_string \"MATH64_ADD_OVERFLOW\"" }, "value": "MATH64_ADD_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 11719, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "VariableDeclaration", "scope": 11853, "src": "527:68:52", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 11717, "name": "string", "nodeType": "ElementaryTypeName", "src": "527:6:52", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d41544836345f5355425f554e444552464c4f57", "id": 11718, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "573:22:52", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_e3c7a63bc0f460df2aa5a1d89d9ccbe66d1b190b0e46fa6f1b6ce8c041481796", "typeString": "literal_string \"MATH64_SUB_UNDERFLOW\"" }, "value": "MATH64_SUB_UNDERFLOW" }, "visibility": "private" }, { "constant": true, "id": 11722, "name": "ERROR_MUL_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 11853, "src": "601:66:52", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 11720, "name": "string", "nodeType": "ElementaryTypeName", "src": "601:6:52", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d41544836345f4d554c5f4f564552464c4f57", "id": 11721, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "646:21:52", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_d8a7e555c86dabeea432023ce73006834d0d5c9584d16630bfc60d18f9d73dd6", "typeString": "literal_string \"MATH64_MUL_OVERFLOW\"" }, "value": "MATH64_MUL_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 11725, "name": "ERROR_DIV_ZERO", "nodeType": "VariableDeclaration", "scope": 11853, "src": "673:58:52", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 11723, "name": "string", "nodeType": "ElementaryTypeName", "src": "673:6:52", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d41544836345f4449565f5a45524f", "id": 11724, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "714:17:52", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_55e2b641d5067ed3257cafb3b1580f71ccab8fad1ec101f06fc55f428a57c179", "typeString": "literal_string \"MATH64_DIV_ZERO\"" }, "value": "MATH64_DIV_ZERO" }, "visibility": "private" }, { "body": { "id": 11755, "nodeType": "Block", "src": "875:173:52", "statements": [ { "assignments": [ 11735 ], "declarations": [ { "constant": false, "id": 11735, "name": "c", "nodeType": "VariableDeclaration", "scope": 11756, "src": "885:9:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11734, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "885:7:52", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 11743, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11742, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 11737, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11727, "src": "905:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint64", "typeString": "uint64" } ], "id": 11736, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "897:7:52", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 11738, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "897:11:52", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 11740, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11729, "src": "919:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint64", "typeString": "uint64" } ], "id": 11739, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "911:7:52", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 11741, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "911:11:52", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "897:25:52", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "885:37:52" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11747, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11745, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11735, "src": "940:1:52", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "hexValue": "3078303130303030303030303030303030303030", "id": 11746, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "944:20:52", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_18446744073709551616_by_1", "typeString": "int_const 18446744073709551616" }, "value": "0x010000000000000000" }, "src": "940:24:52", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 11748, "name": "ERROR_MUL_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11722, "src": "966:18:52", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 11744, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 12673, 12674 ], "referencedDeclaration": 12674, "src": "932:7:52", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 11749, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "932:53:52", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 11750, "nodeType": "ExpressionStatement", "src": "932:53:52" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 11752, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11735, "src": "1039:1:52", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 11751, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1032:6:52", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint64_$", "typeString": "type(uint64)" }, "typeName": "uint64" }, "id": 11753, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1032:9:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "functionReturnParameters": 11733, "id": 11754, "nodeType": "Return", "src": "1025:16:52" } ] }, "documentation": "@dev Multiplies two numbers, reverts on overflow.", "id": 11756, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 11730, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11727, "name": "_a", "nodeType": "VariableDeclaration", "scope": 11756, "src": "822:9:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11726, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "822:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11729, "name": "_b", "nodeType": "VariableDeclaration", "scope": 11756, "src": "833:9:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11728, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "833:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "821:22:52" }, "payable": false, "returnParameters": { "id": 11733, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11732, "name": "", "nodeType": "VariableDeclaration", "scope": 11756, "src": "867:6:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11731, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "867:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "866:8:52" }, "scope": 11853, "src": "809:239:52", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 11780, "nodeType": "Block", "src": "1232:243:52", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 11768, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11766, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11760, "src": "1250:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 11767, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1255:1:52", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1250:6:52", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 11769, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11725, "src": "1258:14:52", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 11765, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 12673, 12674 ], "referencedDeclaration": 12674, "src": "1242:7:52", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 11770, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1242:31:52", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 11771, "nodeType": "ExpressionStatement", "src": "1242:31:52" }, { "assignments": [ 11773 ], "declarations": [ { "constant": false, "id": 11773, "name": "c", "nodeType": "VariableDeclaration", "scope": 11781, "src": "1341:8:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11772, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1341:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "id": 11777, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 11776, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11774, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11758, "src": "1352:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 11775, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11760, "src": "1357:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "1352:7:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "VariableDeclarationStatement", "src": "1341:18:52" }, { "expression": { "argumentTypes": null, "id": 11778, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11773, "src": "1467:1:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "functionReturnParameters": 11764, "id": 11779, "nodeType": "Return", "src": "1460:8:52" } ] }, "documentation": "@dev Integer division of two numbers truncating the quotient, reverts on division by zero.", "id": 11781, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 11761, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11758, "name": "_a", "nodeType": "VariableDeclaration", "scope": 11781, "src": "1179:9:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11757, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1179:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11760, "name": "_b", "nodeType": "VariableDeclaration", "scope": 11781, "src": "1190:9:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11759, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1190:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1178:22:52" }, "payable": false, "returnParameters": { "id": 11764, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11763, "name": "", "nodeType": "VariableDeclaration", "scope": 11781, "src": "1224:6:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11762, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1224:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1223:8:52" }, "scope": 11853, "src": "1166:309:52", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 11805, "nodeType": "Block", "src": "1662:102:52", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 11793, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11791, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11785, "src": "1680:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 11792, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11783, "src": "1686:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "1680:8:52", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 11794, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11719, "src": "1690:19:52", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 11790, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 12673, 12674 ], "referencedDeclaration": 12674, "src": "1672:7:52", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 11795, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1672:38:52", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 11796, "nodeType": "ExpressionStatement", "src": "1672:38:52" }, { "assignments": [ 11798 ], "declarations": [ { "constant": false, "id": 11798, "name": "c", "nodeType": "VariableDeclaration", "scope": 11806, "src": "1720:8:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11797, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1720:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "id": 11802, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 11801, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11799, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11783, "src": "1731:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 11800, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11785, "src": "1736:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "1731:7:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "VariableDeclarationStatement", "src": "1720:18:52" }, { "expression": { "argumentTypes": null, "id": 11803, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11798, "src": "1756:1:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "functionReturnParameters": 11789, "id": 11804, "nodeType": "Return", "src": "1749:8:52" } ] }, "documentation": "@dev Subtracts two numbers, reverts on overflow (i.e. if subtrahend is greater than minuend).", "id": 11806, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 11786, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11783, "name": "_a", "nodeType": "VariableDeclaration", "scope": 11806, "src": "1609:9:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11782, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1609:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11785, "name": "_b", "nodeType": "VariableDeclaration", "scope": 11806, "src": "1620:9:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11784, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1620:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1608:22:52" }, "payable": false, "returnParameters": { "id": 11789, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11788, "name": "", "nodeType": "VariableDeclaration", "scope": 11806, "src": "1654:6:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11787, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1654:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1653:8:52" }, "scope": 11853, "src": "1596:168:52", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 11830, "nodeType": "Block", "src": "1901:100:52", "statements": [ { "assignments": [ 11816 ], "declarations": [ { "constant": false, "id": 11816, "name": "c", "nodeType": "VariableDeclaration", "scope": 11831, "src": "1911:8:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11815, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1911:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "id": 11820, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 11819, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11817, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11808, "src": "1922:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 11818, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11810, "src": "1927:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "1922:7:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "VariableDeclarationStatement", "src": "1911:18:52" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 11824, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11822, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11816, "src": "1947:1:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 11823, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11808, "src": "1952:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "1947:7:52", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 11825, "name": "ERROR_ADD_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11716, "src": "1956:18:52", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 11821, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 12673, 12674 ], "referencedDeclaration": 12674, "src": "1939:7:52", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 11826, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1939:36:52", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 11827, "nodeType": "ExpressionStatement", "src": "1939:36:52" }, { "expression": { "argumentTypes": null, "id": 11828, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11816, "src": "1993:1:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "functionReturnParameters": 11814, "id": 11829, "nodeType": "Return", "src": "1986:8:52" } ] }, "documentation": "@dev Adds two numbers, reverts on overflow.", "id": 11831, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 11811, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11808, "name": "_a", "nodeType": "VariableDeclaration", "scope": 11831, "src": "1848:9:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11807, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1848:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11810, "name": "_b", "nodeType": "VariableDeclaration", "scope": 11831, "src": "1859:9:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11809, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1859:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1847:22:52" }, "payable": false, "returnParameters": { "id": 11814, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11813, "name": "", "nodeType": "VariableDeclaration", "scope": 11831, "src": "1893:6:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11812, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1893:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1892:8:52" }, "scope": 11853, "src": "1835:166:52", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 11851, "nodeType": "Block", "src": "2207:70:52", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 11843, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11841, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11835, "src": "2225:1:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 11842, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2230:1:52", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2225:6:52", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 11844, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11725, "src": "2233:14:52", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 11840, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 12673, 12674 ], "referencedDeclaration": 12674, "src": "2217:7:52", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 11845, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2217:31:52", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 11846, "nodeType": "ExpressionStatement", "src": "2217:31:52" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 11849, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11847, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11833, "src": "2265:1:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 11848, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11835, "src": "2269:1:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "2265:5:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "functionReturnParameters": 11839, "id": 11850, "nodeType": "Return", "src": "2258:12:52" } ] }, "documentation": "@dev Divides two numbers and returns the remainder (unsigned integer modulo),\nreverts when dividing by zero.", "id": 11852, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "parameters": { "id": 11836, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11833, "name": "a", "nodeType": "VariableDeclaration", "scope": 11852, "src": "2156:8:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11832, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "2156:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11835, "name": "b", "nodeType": "VariableDeclaration", "scope": 11852, "src": "2166:8:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11834, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "2166:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "2155:20:52" }, "payable": false, "returnParameters": { "id": 11839, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11838, "name": "", "nodeType": "VariableDeclaration", "scope": 11852, "src": "2199:6:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11837, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "2199:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "2198:8:52" }, "scope": 11853, "src": "2143:134:52", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 11854, "src": "430:1849:52" } ], "src": "299:1981:52" }, "legacyAST": { "absolutePath": "@aragon/os/contracts/lib/math/SafeMath64.sol", "exportedSymbols": { "SafeMath64": [ 11853 ] }, "id": 11854, "nodeType": "SourceUnit", "nodes": [ { "id": 11713, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "299:24:52" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title SafeMath64\n@dev Math operations for uint64 with safety checks that revert on error", "fullyImplemented": true, "id": 11853, "linearizedBaseContracts": [ 11853 ], "name": "SafeMath64", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "id": 11716, "name": "ERROR_ADD_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 11853, "src": "455:66:52", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 11714, "name": "string", "nodeType": "ElementaryTypeName", "src": "455:6:52", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d41544836345f4144445f4f564552464c4f57", "id": 11715, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "500:21:52", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_d930cfdbbe365885d0379a109568efa7352987dfb09ced0a5e91c871216a2ab9", "typeString": "literal_string \"MATH64_ADD_OVERFLOW\"" }, "value": "MATH64_ADD_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 11719, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "VariableDeclaration", "scope": 11853, "src": "527:68:52", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 11717, "name": "string", "nodeType": "ElementaryTypeName", "src": "527:6:52", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d41544836345f5355425f554e444552464c4f57", "id": 11718, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "573:22:52", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_e3c7a63bc0f460df2aa5a1d89d9ccbe66d1b190b0e46fa6f1b6ce8c041481796", "typeString": "literal_string \"MATH64_SUB_UNDERFLOW\"" }, "value": "MATH64_SUB_UNDERFLOW" }, "visibility": "private" }, { "constant": true, "id": 11722, "name": "ERROR_MUL_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 11853, "src": "601:66:52", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 11720, "name": "string", "nodeType": "ElementaryTypeName", "src": "601:6:52", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d41544836345f4d554c5f4f564552464c4f57", "id": 11721, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "646:21:52", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_d8a7e555c86dabeea432023ce73006834d0d5c9584d16630bfc60d18f9d73dd6", "typeString": "literal_string \"MATH64_MUL_OVERFLOW\"" }, "value": "MATH64_MUL_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 11725, "name": "ERROR_DIV_ZERO", "nodeType": "VariableDeclaration", "scope": 11853, "src": "673:58:52", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 11723, "name": "string", "nodeType": "ElementaryTypeName", "src": "673:6:52", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d41544836345f4449565f5a45524f", "id": 11724, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "714:17:52", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_55e2b641d5067ed3257cafb3b1580f71ccab8fad1ec101f06fc55f428a57c179", "typeString": "literal_string \"MATH64_DIV_ZERO\"" }, "value": "MATH64_DIV_ZERO" }, "visibility": "private" }, { "body": { "id": 11755, "nodeType": "Block", "src": "875:173:52", "statements": [ { "assignments": [ 11735 ], "declarations": [ { "constant": false, "id": 11735, "name": "c", "nodeType": "VariableDeclaration", "scope": 11756, "src": "885:9:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11734, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "885:7:52", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 11743, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11742, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 11737, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11727, "src": "905:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint64", "typeString": "uint64" } ], "id": 11736, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "897:7:52", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 11738, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "897:11:52", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 11740, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11729, "src": "919:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint64", "typeString": "uint64" } ], "id": 11739, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "911:7:52", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 11741, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "911:11:52", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "897:25:52", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "885:37:52" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 11747, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11745, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11735, "src": "940:1:52", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "hexValue": "3078303130303030303030303030303030303030", "id": 11746, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "944:20:52", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_18446744073709551616_by_1", "typeString": "int_const 18446744073709551616" }, "value": "0x010000000000000000" }, "src": "940:24:52", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 11748, "name": "ERROR_MUL_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11722, "src": "966:18:52", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 11744, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 12673, 12674 ], "referencedDeclaration": 12674, "src": "932:7:52", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 11749, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "932:53:52", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 11750, "nodeType": "ExpressionStatement", "src": "932:53:52" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 11752, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11735, "src": "1039:1:52", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 11751, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1032:6:52", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint64_$", "typeString": "type(uint64)" }, "typeName": "uint64" }, "id": 11753, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1032:9:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "functionReturnParameters": 11733, "id": 11754, "nodeType": "Return", "src": "1025:16:52" } ] }, "documentation": "@dev Multiplies two numbers, reverts on overflow.", "id": 11756, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 11730, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11727, "name": "_a", "nodeType": "VariableDeclaration", "scope": 11756, "src": "822:9:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11726, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "822:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11729, "name": "_b", "nodeType": "VariableDeclaration", "scope": 11756, "src": "833:9:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11728, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "833:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "821:22:52" }, "payable": false, "returnParameters": { "id": 11733, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11732, "name": "", "nodeType": "VariableDeclaration", "scope": 11756, "src": "867:6:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11731, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "867:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "866:8:52" }, "scope": 11853, "src": "809:239:52", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 11780, "nodeType": "Block", "src": "1232:243:52", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 11768, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11766, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11760, "src": "1250:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 11767, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1255:1:52", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1250:6:52", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 11769, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11725, "src": "1258:14:52", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 11765, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 12673, 12674 ], "referencedDeclaration": 12674, "src": "1242:7:52", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 11770, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1242:31:52", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 11771, "nodeType": "ExpressionStatement", "src": "1242:31:52" }, { "assignments": [ 11773 ], "declarations": [ { "constant": false, "id": 11773, "name": "c", "nodeType": "VariableDeclaration", "scope": 11781, "src": "1341:8:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11772, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1341:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "id": 11777, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 11776, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11774, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11758, "src": "1352:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 11775, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11760, "src": "1357:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "1352:7:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "VariableDeclarationStatement", "src": "1341:18:52" }, { "expression": { "argumentTypes": null, "id": 11778, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11773, "src": "1467:1:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "functionReturnParameters": 11764, "id": 11779, "nodeType": "Return", "src": "1460:8:52" } ] }, "documentation": "@dev Integer division of two numbers truncating the quotient, reverts on division by zero.", "id": 11781, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 11761, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11758, "name": "_a", "nodeType": "VariableDeclaration", "scope": 11781, "src": "1179:9:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11757, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1179:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11760, "name": "_b", "nodeType": "VariableDeclaration", "scope": 11781, "src": "1190:9:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11759, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1190:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1178:22:52" }, "payable": false, "returnParameters": { "id": 11764, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11763, "name": "", "nodeType": "VariableDeclaration", "scope": 11781, "src": "1224:6:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11762, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1224:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1223:8:52" }, "scope": 11853, "src": "1166:309:52", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 11805, "nodeType": "Block", "src": "1662:102:52", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 11793, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11791, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11785, "src": "1680:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 11792, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11783, "src": "1686:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "1680:8:52", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 11794, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11719, "src": "1690:19:52", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 11790, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 12673, 12674 ], "referencedDeclaration": 12674, "src": "1672:7:52", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 11795, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1672:38:52", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 11796, "nodeType": "ExpressionStatement", "src": "1672:38:52" }, { "assignments": [ 11798 ], "declarations": [ { "constant": false, "id": 11798, "name": "c", "nodeType": "VariableDeclaration", "scope": 11806, "src": "1720:8:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11797, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1720:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "id": 11802, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 11801, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11799, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11783, "src": "1731:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 11800, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11785, "src": "1736:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "1731:7:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "VariableDeclarationStatement", "src": "1720:18:52" }, { "expression": { "argumentTypes": null, "id": 11803, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11798, "src": "1756:1:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "functionReturnParameters": 11789, "id": 11804, "nodeType": "Return", "src": "1749:8:52" } ] }, "documentation": "@dev Subtracts two numbers, reverts on overflow (i.e. if subtrahend is greater than minuend).", "id": 11806, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 11786, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11783, "name": "_a", "nodeType": "VariableDeclaration", "scope": 11806, "src": "1609:9:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11782, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1609:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11785, "name": "_b", "nodeType": "VariableDeclaration", "scope": 11806, "src": "1620:9:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11784, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1620:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1608:22:52" }, "payable": false, "returnParameters": { "id": 11789, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11788, "name": "", "nodeType": "VariableDeclaration", "scope": 11806, "src": "1654:6:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11787, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1654:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1653:8:52" }, "scope": 11853, "src": "1596:168:52", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 11830, "nodeType": "Block", "src": "1901:100:52", "statements": [ { "assignments": [ 11816 ], "declarations": [ { "constant": false, "id": 11816, "name": "c", "nodeType": "VariableDeclaration", "scope": 11831, "src": "1911:8:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11815, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1911:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "id": 11820, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 11819, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11817, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11808, "src": "1922:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 11818, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11810, "src": "1927:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "1922:7:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "VariableDeclarationStatement", "src": "1911:18:52" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 11824, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11822, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11816, "src": "1947:1:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 11823, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11808, "src": "1952:2:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "1947:7:52", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 11825, "name": "ERROR_ADD_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11716, "src": "1956:18:52", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 11821, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 12673, 12674 ], "referencedDeclaration": 12674, "src": "1939:7:52", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 11826, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1939:36:52", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 11827, "nodeType": "ExpressionStatement", "src": "1939:36:52" }, { "expression": { "argumentTypes": null, "id": 11828, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11816, "src": "1993:1:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "functionReturnParameters": 11814, "id": 11829, "nodeType": "Return", "src": "1986:8:52" } ] }, "documentation": "@dev Adds two numbers, reverts on overflow.", "id": 11831, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 11811, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11808, "name": "_a", "nodeType": "VariableDeclaration", "scope": 11831, "src": "1848:9:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11807, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1848:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11810, "name": "_b", "nodeType": "VariableDeclaration", "scope": 11831, "src": "1859:9:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11809, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1859:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1847:22:52" }, "payable": false, "returnParameters": { "id": 11814, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11813, "name": "", "nodeType": "VariableDeclaration", "scope": 11831, "src": "1893:6:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11812, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1893:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1892:8:52" }, "scope": 11853, "src": "1835:166:52", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 11851, "nodeType": "Block", "src": "2207:70:52", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 11843, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11841, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11835, "src": "2225:1:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 11842, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2230:1:52", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2225:6:52", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 11844, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11725, "src": "2233:14:52", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 11840, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 12673, 12674 ], "referencedDeclaration": 12674, "src": "2217:7:52", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 11845, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2217:31:52", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 11846, "nodeType": "ExpressionStatement", "src": "2217:31:52" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 11849, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 11847, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11833, "src": "2265:1:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 11848, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11835, "src": "2269:1:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "2265:5:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "functionReturnParameters": 11839, "id": 11850, "nodeType": "Return", "src": "2258:12:52" } ] }, "documentation": "@dev Divides two numbers and returns the remainder (unsigned integer modulo),\nreverts when dividing by zero.", "id": 11852, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "parameters": { "id": 11836, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11833, "name": "a", "nodeType": "VariableDeclaration", "scope": 11852, "src": "2156:8:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11832, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "2156:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11835, "name": "b", "nodeType": "VariableDeclaration", "scope": 11852, "src": "2166:8:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11834, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "2166:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "2155:20:52" }, "payable": false, "returnParameters": { "id": 11839, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 11838, "name": "", "nodeType": "VariableDeclaration", "scope": 11852, "src": "2199:6:52", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 11837, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "2199:6:52", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "2198:8:52" }, "scope": 11853, "src": "2143:134:52", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 11854, "src": "430:1849:52" } ], "src": "299:1981:52" }, "compiler": { "name": "solc", "version": "0.4.24+commit.e67f0147.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.0.1", "updatedAt": "2019-03-29T09:45:33.565Z", "devdoc": { "methods": {}, "title": "SafeMath64" }, "userdoc": { "methods": {} } }