{ "contractName": "SafeMath64", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.4.24+commit.e67f0147\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"methods\":{},\"title\":\"SafeMath64\"},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"@aragon/os/contracts/lib/math/SafeMath64.sol\":\"SafeMath64\"},\"evmVersion\":\"byzantium\",\"libraries\":{},\"optimizer\":{\"enabled\":true,\"runs\":10000},\"remappings\":[]},\"sources\":{\"@aragon/os/contracts/lib/math/SafeMath64.sol\":{\"keccak256\":\"0x34f18573e7b2180645c67faaff60ebc713ab22c697606d3b3ce4fe0e745955f4\",\"urls\":[\"bzzr://192cb9d1b7a1fbf7e3709b1a18bccd3ee023f5b98e117246dc7ddc701e2fd9c0\"]}},\"version\":1}", "bytecode": "0x604c602c600b82828239805160001a60731460008114601c57601e565bfe5b5030600052607381538281f30073000000000000000000000000000000000000000030146080604052600080fd00a165627a7a7230582031719416f4f24d6b9468cd7d6506c103f353caf36ff95c9231aacfce8635c8e70029", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fd00a165627a7a7230582031719416f4f24d6b9468cd7d6506c103f353caf36ff95c9231aacfce8635c8e70029", "sourceMap": "430:1849:58:-;;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:58:-;;;;;;;;", "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": [ 9837 ] }, "id": 9838, "nodeType": "SourceUnit", "nodes": [ { "id": 9697, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "299:24:58" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title SafeMath64\n@dev Math operations for uint64 with safety checks that revert on error", "fullyImplemented": true, "id": 9837, "linearizedBaseContracts": [ 9837 ], "name": "SafeMath64", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "id": 9700, "name": "ERROR_ADD_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 9837, "src": "455:66:58", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 9698, "name": "string", "nodeType": "ElementaryTypeName", "src": "455:6:58", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d41544836345f4144445f4f564552464c4f57", "id": 9699, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "500:21:58", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_d930cfdbbe365885d0379a109568efa7352987dfb09ced0a5e91c871216a2ab9", "typeString": "literal_string \"MATH64_ADD_OVERFLOW\"" }, "value": "MATH64_ADD_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 9703, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "VariableDeclaration", "scope": 9837, "src": "527:68:58", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 9701, "name": "string", "nodeType": "ElementaryTypeName", "src": "527:6:58", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d41544836345f5355425f554e444552464c4f57", "id": 9702, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "573:22:58", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_e3c7a63bc0f460df2aa5a1d89d9ccbe66d1b190b0e46fa6f1b6ce8c041481796", "typeString": "literal_string \"MATH64_SUB_UNDERFLOW\"" }, "value": "MATH64_SUB_UNDERFLOW" }, "visibility": "private" }, { "constant": true, "id": 9706, "name": "ERROR_MUL_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 9837, "src": "601:66:58", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 9704, "name": "string", "nodeType": "ElementaryTypeName", "src": "601:6:58", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d41544836345f4d554c5f4f564552464c4f57", "id": 9705, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "646:21:58", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_d8a7e555c86dabeea432023ce73006834d0d5c9584d16630bfc60d18f9d73dd6", "typeString": "literal_string \"MATH64_MUL_OVERFLOW\"" }, "value": "MATH64_MUL_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 9709, "name": "ERROR_DIV_ZERO", "nodeType": "VariableDeclaration", "scope": 9837, "src": "673:58:58", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 9707, "name": "string", "nodeType": "ElementaryTypeName", "src": "673:6:58", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d41544836345f4449565f5a45524f", "id": 9708, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "714:17:58", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_55e2b641d5067ed3257cafb3b1580f71ccab8fad1ec101f06fc55f428a57c179", "typeString": "literal_string \"MATH64_DIV_ZERO\"" }, "value": "MATH64_DIV_ZERO" }, "visibility": "private" }, { "body": { "id": 9739, "nodeType": "Block", "src": "875:173:58", "statements": [ { "assignments": [ 9719 ], "declarations": [ { "constant": false, "id": 9719, "name": "c", "nodeType": "VariableDeclaration", "scope": 9740, "src": "885:9:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9718, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "885:7:58", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 9727, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9726, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9721, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9711, "src": "905:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint64", "typeString": "uint64" } ], "id": 9720, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "897:7:58", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 9722, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "897:11:58", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9724, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9713, "src": "919:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint64", "typeString": "uint64" } ], "id": 9723, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "911:7:58", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 9725, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "911:11:58", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "897:25:58", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "885:37:58" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9731, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9729, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9719, "src": "940:1:58", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "hexValue": "3078303130303030303030303030303030303030", "id": 9730, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "944:20:58", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_18446744073709551616_by_1", "typeString": "int_const 18446744073709551616" }, "value": "0x010000000000000000" }, "src": "940:24:58", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 9732, "name": "ERROR_MUL_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9706, "src": "966:18:58", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 9728, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 10407, 10408 ], "referencedDeclaration": 10408, "src": "932:7:58", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9733, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "932:53:58", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9734, "nodeType": "ExpressionStatement", "src": "932:53:58" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9736, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9719, "src": "1039:1:58", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 9735, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1032:6:58", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint64_$", "typeString": "type(uint64)" }, "typeName": "uint64" }, "id": 9737, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1032:9:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "functionReturnParameters": 9717, "id": 9738, "nodeType": "Return", "src": "1025:16:58" } ] }, "documentation": "@dev Multiplies two numbers, reverts on overflow.", "id": 9740, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 9714, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9711, "name": "_a", "nodeType": "VariableDeclaration", "scope": 9740, "src": "822:9:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9710, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "822:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9713, "name": "_b", "nodeType": "VariableDeclaration", "scope": 9740, "src": "833:9:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9712, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "833:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "821:22:58" }, "payable": false, "returnParameters": { "id": 9717, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9716, "name": "", "nodeType": "VariableDeclaration", "scope": 9740, "src": "867:6:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9715, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "867:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "866:8:58" }, "scope": 9837, "src": "809:239:58", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 9764, "nodeType": "Block", "src": "1232:243:58", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 9752, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9750, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9744, "src": "1250:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 9751, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1255:1:58", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1250:6:58", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 9753, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9709, "src": "1258:14:58", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 9749, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 10407, 10408 ], "referencedDeclaration": 10408, "src": "1242:7:58", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9754, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1242:31:58", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9755, "nodeType": "ExpressionStatement", "src": "1242:31:58" }, { "assignments": [ 9757 ], "declarations": [ { "constant": false, "id": 9757, "name": "c", "nodeType": "VariableDeclaration", "scope": 9765, "src": "1341:8:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9756, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1341:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "id": 9761, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 9760, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9758, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9742, "src": "1352:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 9759, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9744, "src": "1357:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "1352:7:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "VariableDeclarationStatement", "src": "1341:18:58" }, { "expression": { "argumentTypes": null, "id": 9762, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9757, "src": "1467:1:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "functionReturnParameters": 9748, "id": 9763, "nodeType": "Return", "src": "1460:8:58" } ] }, "documentation": "@dev Integer division of two numbers truncating the quotient, reverts on division by zero.", "id": 9765, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 9745, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9742, "name": "_a", "nodeType": "VariableDeclaration", "scope": 9765, "src": "1179:9:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9741, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1179:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9744, "name": "_b", "nodeType": "VariableDeclaration", "scope": 9765, "src": "1190:9:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9743, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1190:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1178:22:58" }, "payable": false, "returnParameters": { "id": 9748, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9747, "name": "", "nodeType": "VariableDeclaration", "scope": 9765, "src": "1224:6:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9746, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1224:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1223:8:58" }, "scope": 9837, "src": "1166:309:58", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 9789, "nodeType": "Block", "src": "1662:102:58", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 9777, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9775, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9769, "src": "1680:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 9776, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9767, "src": "1686:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "1680:8:58", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 9778, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9703, "src": "1690:19:58", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 9774, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 10407, 10408 ], "referencedDeclaration": 10408, "src": "1672:7:58", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9779, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1672:38:58", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9780, "nodeType": "ExpressionStatement", "src": "1672:38:58" }, { "assignments": [ 9782 ], "declarations": [ { "constant": false, "id": 9782, "name": "c", "nodeType": "VariableDeclaration", "scope": 9790, "src": "1720:8:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9781, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1720:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "id": 9786, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 9785, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9783, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9767, "src": "1731:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 9784, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9769, "src": "1736:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "1731:7:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "VariableDeclarationStatement", "src": "1720:18:58" }, { "expression": { "argumentTypes": null, "id": 9787, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9782, "src": "1756:1:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "functionReturnParameters": 9773, "id": 9788, "nodeType": "Return", "src": "1749:8:58" } ] }, "documentation": "@dev Subtracts two numbers, reverts on overflow (i.e. if subtrahend is greater than minuend).", "id": 9790, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 9770, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9767, "name": "_a", "nodeType": "VariableDeclaration", "scope": 9790, "src": "1609:9:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9766, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1609:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9769, "name": "_b", "nodeType": "VariableDeclaration", "scope": 9790, "src": "1620:9:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9768, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1620:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1608:22:58" }, "payable": false, "returnParameters": { "id": 9773, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9772, "name": "", "nodeType": "VariableDeclaration", "scope": 9790, "src": "1654:6:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9771, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1654:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1653:8:58" }, "scope": 9837, "src": "1596:168:58", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 9814, "nodeType": "Block", "src": "1901:100:58", "statements": [ { "assignments": [ 9800 ], "declarations": [ { "constant": false, "id": 9800, "name": "c", "nodeType": "VariableDeclaration", "scope": 9815, "src": "1911:8:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9799, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1911:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "id": 9804, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 9803, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9801, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9792, "src": "1922:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 9802, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9794, "src": "1927:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "1922:7:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "VariableDeclarationStatement", "src": "1911:18:58" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 9808, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9806, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9800, "src": "1947:1:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 9807, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9792, "src": "1952:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "1947:7:58", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 9809, "name": "ERROR_ADD_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9700, "src": "1956:18:58", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 9805, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 10407, 10408 ], "referencedDeclaration": 10408, "src": "1939:7:58", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9810, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1939:36:58", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9811, "nodeType": "ExpressionStatement", "src": "1939:36:58" }, { "expression": { "argumentTypes": null, "id": 9812, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9800, "src": "1993:1:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "functionReturnParameters": 9798, "id": 9813, "nodeType": "Return", "src": "1986:8:58" } ] }, "documentation": "@dev Adds two numbers, reverts on overflow.", "id": 9815, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 9795, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9792, "name": "_a", "nodeType": "VariableDeclaration", "scope": 9815, "src": "1848:9:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9791, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1848:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9794, "name": "_b", "nodeType": "VariableDeclaration", "scope": 9815, "src": "1859:9:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9793, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1859:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1847:22:58" }, "payable": false, "returnParameters": { "id": 9798, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9797, "name": "", "nodeType": "VariableDeclaration", "scope": 9815, "src": "1893:6:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9796, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1893:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1892:8:58" }, "scope": 9837, "src": "1835:166:58", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 9835, "nodeType": "Block", "src": "2207:70:58", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 9827, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9825, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9819, "src": "2225:1:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 9826, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2230:1:58", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2225:6:58", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 9828, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9709, "src": "2233:14:58", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 9824, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 10407, 10408 ], "referencedDeclaration": 10408, "src": "2217:7:58", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9829, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2217:31:58", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9830, "nodeType": "ExpressionStatement", "src": "2217:31:58" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 9833, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9831, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9817, "src": "2265:1:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 9832, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9819, "src": "2269:1:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "2265:5:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "functionReturnParameters": 9823, "id": 9834, "nodeType": "Return", "src": "2258:12:58" } ] }, "documentation": "@dev Divides two numbers and returns the remainder (unsigned integer modulo),\nreverts when dividing by zero.", "id": 9836, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "parameters": { "id": 9820, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9817, "name": "a", "nodeType": "VariableDeclaration", "scope": 9836, "src": "2156:8:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9816, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "2156:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9819, "name": "b", "nodeType": "VariableDeclaration", "scope": 9836, "src": "2166:8:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9818, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "2166:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "2155:20:58" }, "payable": false, "returnParameters": { "id": 9823, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9822, "name": "", "nodeType": "VariableDeclaration", "scope": 9836, "src": "2199:6:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9821, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "2199:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "2198:8:58" }, "scope": 9837, "src": "2143:134:58", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 9838, "src": "430:1849:58" } ], "src": "299:1981:58" }, "legacyAST": { "absolutePath": "@aragon/os/contracts/lib/math/SafeMath64.sol", "exportedSymbols": { "SafeMath64": [ 9837 ] }, "id": 9838, "nodeType": "SourceUnit", "nodes": [ { "id": 9697, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "299:24:58" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title SafeMath64\n@dev Math operations for uint64 with safety checks that revert on error", "fullyImplemented": true, "id": 9837, "linearizedBaseContracts": [ 9837 ], "name": "SafeMath64", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "id": 9700, "name": "ERROR_ADD_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 9837, "src": "455:66:58", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 9698, "name": "string", "nodeType": "ElementaryTypeName", "src": "455:6:58", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d41544836345f4144445f4f564552464c4f57", "id": 9699, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "500:21:58", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_d930cfdbbe365885d0379a109568efa7352987dfb09ced0a5e91c871216a2ab9", "typeString": "literal_string \"MATH64_ADD_OVERFLOW\"" }, "value": "MATH64_ADD_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 9703, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "VariableDeclaration", "scope": 9837, "src": "527:68:58", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 9701, "name": "string", "nodeType": "ElementaryTypeName", "src": "527:6:58", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d41544836345f5355425f554e444552464c4f57", "id": 9702, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "573:22:58", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_e3c7a63bc0f460df2aa5a1d89d9ccbe66d1b190b0e46fa6f1b6ce8c041481796", "typeString": "literal_string \"MATH64_SUB_UNDERFLOW\"" }, "value": "MATH64_SUB_UNDERFLOW" }, "visibility": "private" }, { "constant": true, "id": 9706, "name": "ERROR_MUL_OVERFLOW", "nodeType": "VariableDeclaration", "scope": 9837, "src": "601:66:58", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 9704, "name": "string", "nodeType": "ElementaryTypeName", "src": "601:6:58", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d41544836345f4d554c5f4f564552464c4f57", "id": 9705, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "646:21:58", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_d8a7e555c86dabeea432023ce73006834d0d5c9584d16630bfc60d18f9d73dd6", "typeString": "literal_string \"MATH64_MUL_OVERFLOW\"" }, "value": "MATH64_MUL_OVERFLOW" }, "visibility": "private" }, { "constant": true, "id": 9709, "name": "ERROR_DIV_ZERO", "nodeType": "VariableDeclaration", "scope": 9837, "src": "673:58:58", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string" }, "typeName": { "id": 9707, "name": "string", "nodeType": "ElementaryTypeName", "src": "673:6:58", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": { "argumentTypes": null, "hexValue": "4d41544836345f4449565f5a45524f", "id": 9708, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "714:17:58", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_55e2b641d5067ed3257cafb3b1580f71ccab8fad1ec101f06fc55f428a57c179", "typeString": "literal_string \"MATH64_DIV_ZERO\"" }, "value": "MATH64_DIV_ZERO" }, "visibility": "private" }, { "body": { "id": 9739, "nodeType": "Block", "src": "875:173:58", "statements": [ { "assignments": [ 9719 ], "declarations": [ { "constant": false, "id": 9719, "name": "c", "nodeType": "VariableDeclaration", "scope": 9740, "src": "885:9:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 9718, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "885:7:58", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 9727, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9726, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9721, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9711, "src": "905:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint64", "typeString": "uint64" } ], "id": 9720, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "897:7:58", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 9722, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "897:11:58", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9724, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9713, "src": "919:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint64", "typeString": "uint64" } ], "id": 9723, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "911:7:58", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint256" }, "id": 9725, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "911:11:58", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "897:25:58", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "885:37:58" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 9731, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9729, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9719, "src": "940:1:58", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "hexValue": "3078303130303030303030303030303030303030", "id": 9730, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "944:20:58", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_18446744073709551616_by_1", "typeString": "int_const 18446744073709551616" }, "value": "0x010000000000000000" }, "src": "940:24:58", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 9732, "name": "ERROR_MUL_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9706, "src": "966:18:58", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 9728, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 10407, 10408 ], "referencedDeclaration": 10408, "src": "932:7:58", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9733, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "932:53:58", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9734, "nodeType": "ExpressionStatement", "src": "932:53:58" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 9736, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9719, "src": "1039:1:58", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 9735, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1032:6:58", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint64_$", "typeString": "type(uint64)" }, "typeName": "uint64" }, "id": 9737, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1032:9:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "functionReturnParameters": 9717, "id": 9738, "nodeType": "Return", "src": "1025:16:58" } ] }, "documentation": "@dev Multiplies two numbers, reverts on overflow.", "id": 9740, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 9714, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9711, "name": "_a", "nodeType": "VariableDeclaration", "scope": 9740, "src": "822:9:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9710, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "822:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9713, "name": "_b", "nodeType": "VariableDeclaration", "scope": 9740, "src": "833:9:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9712, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "833:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "821:22:58" }, "payable": false, "returnParameters": { "id": 9717, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9716, "name": "", "nodeType": "VariableDeclaration", "scope": 9740, "src": "867:6:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9715, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "867:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "866:8:58" }, "scope": 9837, "src": "809:239:58", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 9764, "nodeType": "Block", "src": "1232:243:58", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 9752, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9750, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9744, "src": "1250:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 9751, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1255:1:58", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1250:6:58", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 9753, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9709, "src": "1258:14:58", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 9749, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 10407, 10408 ], "referencedDeclaration": 10408, "src": "1242:7:58", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9754, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1242:31:58", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9755, "nodeType": "ExpressionStatement", "src": "1242:31:58" }, { "assignments": [ 9757 ], "declarations": [ { "constant": false, "id": 9757, "name": "c", "nodeType": "VariableDeclaration", "scope": 9765, "src": "1341:8:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9756, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1341:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "id": 9761, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 9760, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9758, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9742, "src": "1352:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 9759, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9744, "src": "1357:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "1352:7:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "VariableDeclarationStatement", "src": "1341:18:58" }, { "expression": { "argumentTypes": null, "id": 9762, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9757, "src": "1467:1:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "functionReturnParameters": 9748, "id": 9763, "nodeType": "Return", "src": "1460:8:58" } ] }, "documentation": "@dev Integer division of two numbers truncating the quotient, reverts on division by zero.", "id": 9765, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 9745, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9742, "name": "_a", "nodeType": "VariableDeclaration", "scope": 9765, "src": "1179:9:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9741, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1179:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9744, "name": "_b", "nodeType": "VariableDeclaration", "scope": 9765, "src": "1190:9:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9743, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1190:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1178:22:58" }, "payable": false, "returnParameters": { "id": 9748, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9747, "name": "", "nodeType": "VariableDeclaration", "scope": 9765, "src": "1224:6:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9746, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1224:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1223:8:58" }, "scope": 9837, "src": "1166:309:58", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 9789, "nodeType": "Block", "src": "1662:102:58", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 9777, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9775, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9769, "src": "1680:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 9776, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9767, "src": "1686:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "1680:8:58", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 9778, "name": "ERROR_SUB_UNDERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9703, "src": "1690:19:58", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 9774, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 10407, 10408 ], "referencedDeclaration": 10408, "src": "1672:7:58", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9779, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1672:38:58", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9780, "nodeType": "ExpressionStatement", "src": "1672:38:58" }, { "assignments": [ 9782 ], "declarations": [ { "constant": false, "id": 9782, "name": "c", "nodeType": "VariableDeclaration", "scope": 9790, "src": "1720:8:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9781, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1720:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "id": 9786, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 9785, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9783, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9767, "src": "1731:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 9784, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9769, "src": "1736:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "1731:7:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "VariableDeclarationStatement", "src": "1720:18:58" }, { "expression": { "argumentTypes": null, "id": 9787, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9782, "src": "1756:1:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "functionReturnParameters": 9773, "id": 9788, "nodeType": "Return", "src": "1749:8:58" } ] }, "documentation": "@dev Subtracts two numbers, reverts on overflow (i.e. if subtrahend is greater than minuend).", "id": 9790, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 9770, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9767, "name": "_a", "nodeType": "VariableDeclaration", "scope": 9790, "src": "1609:9:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9766, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1609:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9769, "name": "_b", "nodeType": "VariableDeclaration", "scope": 9790, "src": "1620:9:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9768, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1620:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1608:22:58" }, "payable": false, "returnParameters": { "id": 9773, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9772, "name": "", "nodeType": "VariableDeclaration", "scope": 9790, "src": "1654:6:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9771, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1654:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1653:8:58" }, "scope": 9837, "src": "1596:168:58", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 9814, "nodeType": "Block", "src": "1901:100:58", "statements": [ { "assignments": [ 9800 ], "declarations": [ { "constant": false, "id": 9800, "name": "c", "nodeType": "VariableDeclaration", "scope": 9815, "src": "1911:8:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9799, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1911:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "id": 9804, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 9803, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9801, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9792, "src": "1922:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 9802, "name": "_b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9794, "src": "1927:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "1922:7:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "VariableDeclarationStatement", "src": "1911:18:58" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 9808, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9806, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9800, "src": "1947:1:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 9807, "name": "_a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9792, "src": "1952:2:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "1947:7:58", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 9809, "name": "ERROR_ADD_OVERFLOW", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9700, "src": "1956:18:58", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 9805, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 10407, 10408 ], "referencedDeclaration": 10408, "src": "1939:7:58", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9810, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1939:36:58", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9811, "nodeType": "ExpressionStatement", "src": "1939:36:58" }, { "expression": { "argumentTypes": null, "id": 9812, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9800, "src": "1993:1:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "functionReturnParameters": 9798, "id": 9813, "nodeType": "Return", "src": "1986:8:58" } ] }, "documentation": "@dev Adds two numbers, reverts on overflow.", "id": 9815, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 9795, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9792, "name": "_a", "nodeType": "VariableDeclaration", "scope": 9815, "src": "1848:9:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9791, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1848:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9794, "name": "_b", "nodeType": "VariableDeclaration", "scope": 9815, "src": "1859:9:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9793, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1859:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1847:22:58" }, "payable": false, "returnParameters": { "id": 9798, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9797, "name": "", "nodeType": "VariableDeclaration", "scope": 9815, "src": "1893:6:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9796, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "1893:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "1892:8:58" }, "scope": 9837, "src": "1835:166:58", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 9835, "nodeType": "Block", "src": "2207:70:58", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 9827, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9825, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9819, "src": "2225:1:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 9826, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2230:1:58", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2225:6:58", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 9828, "name": "ERROR_DIV_ZERO", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9709, "src": "2233:14:58", "typeDescriptions": { "typeIdentifier": "t_string_memory", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory", "typeString": "string memory" } ], "id": 9824, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 10407, 10408 ], "referencedDeclaration": 10408, "src": "2217:7:58", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 9829, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2217:31:58", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 9830, "nodeType": "ExpressionStatement", "src": "2217:31:58" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "id": 9833, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 9831, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9817, "src": "2265:1:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 9832, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9819, "src": "2269:1:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "src": "2265:5:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "functionReturnParameters": 9823, "id": 9834, "nodeType": "Return", "src": "2258:12:58" } ] }, "documentation": "@dev Divides two numbers and returns the remainder (unsigned integer modulo),\nreverts when dividing by zero.", "id": 9836, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "parameters": { "id": 9820, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9817, "name": "a", "nodeType": "VariableDeclaration", "scope": 9836, "src": "2156:8:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9816, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "2156:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 9819, "name": "b", "nodeType": "VariableDeclaration", "scope": 9836, "src": "2166:8:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9818, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "2166:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "2155:20:58" }, "payable": false, "returnParameters": { "id": 9823, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9822, "name": "", "nodeType": "VariableDeclaration", "scope": 9836, "src": "2199:6:58", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" }, "typeName": { "id": 9821, "name": "uint64", "nodeType": "ElementaryTypeName", "src": "2199:6:58", "typeDescriptions": { "typeIdentifier": "t_uint64", "typeString": "uint64" } }, "value": null, "visibility": "internal" } ], "src": "2198:8:58" }, "scope": 9837, "src": "2143:134:58", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 9838, "src": "430:1849:58" } ], "src": "299:1981:58" }, "compiler": { "name": "solc", "version": "0.4.24+commit.e67f0147.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.2.0", "updatedAt": "2020-06-07T23:27:00.618Z", "devdoc": { "methods": {}, "title": "SafeMath64" }, "userdoc": { "methods": {} } }