{ "contractName": "SafeMath", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.8.0+commit.c7dfd78e\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"details\":\"Wrappers over Solidity's arithmetic operations. NOTE: `SafeMath` is no longer needed starting with Solidity 0.8. The compiler now has built in overflow checking.\",\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"@openzeppelin/contracts/utils/math/SafeMath.sol\":\"SafeMath\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":false,\"runs\":200},\"remappings\":[]},\"sources\":{\"@openzeppelin/contracts/utils/math/SafeMath.sol\":{\"keccak256\":\"0x8666f020bd8fc9dc14f07e2ebc52b5f236ab4cdde7c77679b08cb2f94730043b\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://163776cbf565c722232393aa2d62cbe8a2ffb5805986abf4906c00e1e07450a6\",\"dweb:/ipfs/QmPZoN9T3cb6o8bGhjBPZcz7im8T8DWhpr3tjLwhJJHx9N\"]}},\"version\":1}", "bytecode": "0x60566050600b82828239805160001a6073146043577f4e487b7100000000000000000000000000000000000000000000000000000000600052600060045260246000fd5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea26469706673582212202a65302a5d4f2bc5fb17c463a6de59b461d66f1d4923aed6f3c67f01504e769764736f6c63430008000033", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea26469706673582212202a65302a5d4f2bc5fb17c463a6de59b461d66f1d4923aed6f3c67f01504e769764736f6c63430008000033", "immutableReferences": {}, "generatedSources": [], "deployedGeneratedSources": [], "sourceMap": "398:6301:19:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;", "deployedSourceMap": "398:6301:19:-:0;;;;;;;;", "source": "// SPDX-License-Identifier: MIT\n\npragma solidity ^0.8.0;\n\n// CAUTION\n// This version of SafeMath should only be used with Solidity 0.8 or later,\n// because it relies on the compiler's built in overflow checks.\n\n/**\n * @dev Wrappers over Solidity's arithmetic operations.\n *\n * NOTE: `SafeMath` is no longer needed starting with Solidity 0.8. The compiler\n * now has built in overflow checking.\n */\nlibrary SafeMath {\n /**\n * @dev Returns the addition of two unsigned integers, with an overflow flag.\n *\n * _Available since v3.4._\n */\n function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {\n unchecked {\n uint256 c = a + b;\n if (c < a) return (false, 0);\n return (true, c);\n }\n }\n\n /**\n * @dev Returns the substraction of two unsigned integers, with an overflow flag.\n *\n * _Available since v3.4._\n */\n function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {\n unchecked {\n if (b > a) return (false, 0);\n return (true, a - b);\n }\n }\n\n /**\n * @dev Returns the multiplication of two unsigned integers, with an overflow flag.\n *\n * _Available since v3.4._\n */\n function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {\n unchecked {\n // Gas optimization: this is cheaper than requiring 'a' not being zero, but the\n // benefit is lost if 'b' is also tested.\n // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522\n if (a == 0) return (true, 0);\n uint256 c = a * b;\n if (c / a != b) return (false, 0);\n return (true, c);\n }\n }\n\n /**\n * @dev Returns the division of two unsigned integers, with a division by zero flag.\n *\n * _Available since v3.4._\n */\n function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {\n unchecked {\n if (b == 0) return (false, 0);\n return (true, a / b);\n }\n }\n\n /**\n * @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.\n *\n * _Available since v3.4._\n */\n function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {\n unchecked {\n if (b == 0) return (false, 0);\n return (true, a % b);\n }\n }\n\n /**\n * @dev Returns the addition of two unsigned integers, reverting on\n * overflow.\n *\n * Counterpart to Solidity's `+` operator.\n *\n * Requirements:\n *\n * - Addition cannot overflow.\n */\n function add(uint256 a, uint256 b) internal pure returns (uint256) {\n return a + b;\n }\n\n /**\n * @dev Returns the subtraction of two unsigned integers, reverting on\n * overflow (when the result is negative).\n *\n * Counterpart to Solidity's `-` operator.\n *\n * Requirements:\n *\n * - Subtraction cannot overflow.\n */\n function sub(uint256 a, uint256 b) internal pure returns (uint256) {\n return a - b;\n }\n\n /**\n * @dev Returns the multiplication of two unsigned integers, reverting on\n * overflow.\n *\n * Counterpart to Solidity's `*` operator.\n *\n * Requirements:\n *\n * - Multiplication cannot overflow.\n */\n function mul(uint256 a, uint256 b) internal pure returns (uint256) {\n return a * b;\n }\n\n /**\n * @dev Returns the integer division of two unsigned integers, reverting on\n * division by zero. The result is rounded towards zero.\n *\n * Counterpart to Solidity's `/` operator.\n *\n * Requirements:\n *\n * - The divisor cannot be zero.\n */\n function div(uint256 a, uint256 b) internal pure returns (uint256) {\n return a / b;\n }\n\n /**\n * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),\n * reverting when dividing by zero.\n *\n * Counterpart to Solidity's `%` operator. This function uses a `revert`\n * opcode (which leaves remaining gas untouched) while Solidity uses an\n * invalid opcode to revert (consuming all remaining gas).\n *\n * Requirements:\n *\n * - The divisor cannot be zero.\n */\n function mod(uint256 a, uint256 b) internal pure returns (uint256) {\n return a % b;\n }\n\n /**\n * @dev Returns the subtraction of two unsigned integers, reverting with custom message on\n * overflow (when the result is negative).\n *\n * CAUTION: This function is deprecated because it requires allocating memory for the error\n * message unnecessarily. For custom revert reasons use {trySub}.\n *\n * Counterpart to Solidity's `-` operator.\n *\n * Requirements:\n *\n * - Subtraction cannot overflow.\n */\n function sub(\n uint256 a,\n uint256 b,\n string memory errorMessage\n ) internal pure returns (uint256) {\n unchecked {\n require(b <= a, errorMessage);\n return a - b;\n }\n }\n\n /**\n * @dev Returns the integer division of two unsigned integers, reverting with custom message on\n * division by zero. The result is rounded towards zero.\n *\n * Counterpart to Solidity's `/` operator. Note: this function uses a\n * `revert` opcode (which leaves remaining gas untouched) while Solidity\n * uses an invalid opcode to revert (consuming all remaining gas).\n *\n * Requirements:\n *\n * - The divisor cannot be zero.\n */\n function div(\n uint256 a,\n uint256 b,\n string memory errorMessage\n ) internal pure returns (uint256) {\n unchecked {\n require(b > 0, errorMessage);\n return a / b;\n }\n }\n\n /**\n * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),\n * reverting with custom message when dividing by zero.\n *\n * CAUTION: This function is deprecated because it requires allocating memory for the error\n * message unnecessarily. For custom revert reasons use {tryMod}.\n *\n * Counterpart to Solidity's `%` operator. This function uses a `revert`\n * opcode (which leaves remaining gas untouched) while Solidity uses an\n * invalid opcode to revert (consuming all remaining gas).\n *\n * Requirements:\n *\n * - The divisor cannot be zero.\n */\n function mod(\n uint256 a,\n uint256 b,\n string memory errorMessage\n ) internal pure returns (uint256) {\n unchecked {\n require(b > 0, errorMessage);\n return a % b;\n }\n }\n}\n", "sourcePath": "@openzeppelin/contracts/utils/math/SafeMath.sol", "ast": { "absolutePath": "@openzeppelin/contracts/utils/math/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 3057 ] }, "id": 3058, "license": "MIT", "nodeType": "SourceUnit", "nodes": [ { "id": 2747, "literals": [ "solidity", "^", "0.8", ".0" ], "nodeType": "PragmaDirective", "src": "33:23:19" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 2748, "nodeType": "StructuredDocumentation", "src": "211:186:19", "text": " @dev Wrappers over Solidity's arithmetic operations.\n NOTE: `SafeMath` is no longer needed starting with Solidity 0.8. The compiler\n now has built in overflow checking." }, "fullyImplemented": true, "id": 3057, "linearizedBaseContracts": [ 3057 ], "name": "SafeMath", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 2779, "nodeType": "Block", "src": "633:140:19", "statements": [ { "id": 2778, "nodeType": "UncheckedBlock", "src": "643:124:19", "statements": [ { "assignments": [ 2761 ], "declarations": [ { "constant": false, "id": 2761, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "scope": 2778, "src": "667:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2760, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "667:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 2765, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2764, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2762, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2751, "src": "679:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "id": 2763, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2753, "src": "683:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "679:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "667:17:19" }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2768, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2766, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2761, "src": "702:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "id": 2767, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2751, "src": "706:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "702:5:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 2773, "nodeType": "IfStatement", "src": "698:28:19", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 2769, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "717:5:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 2770, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "724:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 2771, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "716:10:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 2759, "id": 2772, "nodeType": "Return", "src": "709:17:19" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 2774, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "748:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "id": 2775, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2761, "src": "754:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 2776, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "747:9:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 2759, "id": 2777, "nodeType": "Return", "src": "740:16:19" } ] } ] }, "documentation": { "id": 2749, "nodeType": "StructuredDocumentation", "src": "421:131:19", "text": " @dev Returns the addition of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "id": 2780, "implemented": true, "kind": "function", "modifiers": [], "name": "tryAdd", "nodeType": "FunctionDefinition", "parameters": { "id": 2754, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2751, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 2780, "src": "573:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2750, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "573:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2753, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 2780, "src": "584:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2752, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "584:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "572:22:19" }, "returnParameters": { "id": 2759, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2756, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2780, "src": "618:4:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 2755, "name": "bool", "nodeType": "ElementaryTypeName", "src": "618:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 2758, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2780, "src": "624:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2757, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "624:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "617:15:19" }, "scope": 3057, "src": "557:216:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2807, "nodeType": "Block", "src": "995:113:19", "statements": [ { "id": 2806, "nodeType": "UncheckedBlock", "src": "1005:97:19", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2794, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2792, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2785, "src": "1033:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "id": 2793, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2783, "src": "1037:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1033:5:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 2799, "nodeType": "IfStatement", "src": "1029:28:19", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 2795, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1048:5:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 2796, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1055:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 2797, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1047:10:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 2791, "id": 2798, "nodeType": "Return", "src": "1040:17:19" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 2800, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1079:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2803, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2801, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2783, "src": "1085:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 2802, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2785, "src": "1089:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1085:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 2804, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1078:13:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 2791, "id": 2805, "nodeType": "Return", "src": "1071:20:19" } ] } ] }, "documentation": { "id": 2781, "nodeType": "StructuredDocumentation", "src": "779:135:19", "text": " @dev Returns the substraction of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "id": 2808, "implemented": true, "kind": "function", "modifiers": [], "name": "trySub", "nodeType": "FunctionDefinition", "parameters": { "id": 2786, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2783, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 2808, "src": "935:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2782, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "935:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2785, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 2808, "src": "946:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2784, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "946:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "934:22:19" }, "returnParameters": { "id": 2791, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2788, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2808, "src": "980:4:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 2787, "name": "bool", "nodeType": "ElementaryTypeName", "src": "980:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 2790, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2808, "src": "986:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2789, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "986:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "979:15:19" }, "scope": 3057, "src": "919:189:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2849, "nodeType": "Block", "src": "1332:417:19", "statements": [ { "id": 2848, "nodeType": "UncheckedBlock", "src": "1342:401:19", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2822, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2820, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2811, "src": "1600:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 2821, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1605:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1600:6:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 2827, "nodeType": "IfStatement", "src": "1596:28:19", "trueBody": { "expression": { "components": [ { "hexValue": "74727565", "id": 2823, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1616:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "hexValue": "30", "id": 2824, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1622:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 2825, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1615:9:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 2819, "id": 2826, "nodeType": "Return", "src": "1608:16:19" } }, { "assignments": [ 2829 ], "declarations": [ { "constant": false, "id": 2829, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "scope": 2848, "src": "1638:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2828, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1638:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 2833, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2832, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2830, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2811, "src": "1650:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 2831, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2813, "src": "1654:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1650:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1638:17:19" }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2838, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2836, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2834, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2829, "src": "1673:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 2835, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2811, "src": "1677:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1673:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "id": 2837, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2813, "src": "1682:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1673:10:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 2843, "nodeType": "IfStatement", "src": "1669:33:19", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 2839, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1693:5:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 2840, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1700:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 2841, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1692:10:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 2819, "id": 2842, "nodeType": "Return", "src": "1685:17:19" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 2844, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1724:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "id": 2845, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2829, "src": "1730:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 2846, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1723:9:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 2819, "id": 2847, "nodeType": "Return", "src": "1716:16:19" } ] } ] }, "documentation": { "id": 2809, "nodeType": "StructuredDocumentation", "src": "1114:137:19", "text": " @dev Returns the multiplication of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "id": 2850, "implemented": true, "kind": "function", "modifiers": [], "name": "tryMul", "nodeType": "FunctionDefinition", "parameters": { "id": 2814, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2811, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 2850, "src": "1272:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2810, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1272:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2813, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 2850, "src": "1283:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2812, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1283:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1271:22:19" }, "returnParameters": { "id": 2819, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2816, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2850, "src": "1317:4:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 2815, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1317:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 2818, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2850, "src": "1323:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2817, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1323:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1316:15:19" }, "scope": 3057, "src": "1256:493:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2877, "nodeType": "Block", "src": "1974:114:19", "statements": [ { "id": 2876, "nodeType": "UncheckedBlock", "src": "1984:98:19", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2864, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2862, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2855, "src": "2012:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 2863, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2017:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2012:6:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 2869, "nodeType": "IfStatement", "src": "2008:29:19", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 2865, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2028:5:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 2866, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2035:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 2867, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2027:10:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 2861, "id": 2868, "nodeType": "Return", "src": "2020:17:19" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 2870, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2059:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2873, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2871, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2853, "src": "2065:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 2872, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2855, "src": "2069:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2065:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 2874, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2058:13:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 2861, "id": 2875, "nodeType": "Return", "src": "2051:20:19" } ] } ] }, "documentation": { "id": 2851, "nodeType": "StructuredDocumentation", "src": "1755:138:19", "text": " @dev Returns the division of two unsigned integers, with a division by zero flag.\n _Available since v3.4._" }, "id": 2878, "implemented": true, "kind": "function", "modifiers": [], "name": "tryDiv", "nodeType": "FunctionDefinition", "parameters": { "id": 2856, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2853, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 2878, "src": "1914:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2852, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1914:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2855, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 2878, "src": "1925:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2854, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1925:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1913:22:19" }, "returnParameters": { "id": 2861, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2858, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2878, "src": "1959:4:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 2857, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1959:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 2860, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2878, "src": "1965:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2859, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1965:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1958:15:19" }, "scope": 3057, "src": "1898:190:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2905, "nodeType": "Block", "src": "2323:114:19", "statements": [ { "id": 2904, "nodeType": "UncheckedBlock", "src": "2333:98:19", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2892, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2890, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2883, "src": "2361:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 2891, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2366:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2361:6:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 2897, "nodeType": "IfStatement", "src": "2357:29:19", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 2893, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2377:5:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 2894, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2384:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 2895, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2376:10:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 2889, "id": 2896, "nodeType": "Return", "src": "2369:17:19" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 2898, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2408:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2901, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2899, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2881, "src": "2414:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "id": 2900, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2883, "src": "2418:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2414:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 2902, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2407:13:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 2889, "id": 2903, "nodeType": "Return", "src": "2400:20:19" } ] } ] }, "documentation": { "id": 2879, "nodeType": "StructuredDocumentation", "src": "2094:148:19", "text": " @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.\n _Available since v3.4._" }, "id": 2906, "implemented": true, "kind": "function", "modifiers": [], "name": "tryMod", "nodeType": "FunctionDefinition", "parameters": { "id": 2884, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2881, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 2906, "src": "2263:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2880, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2263:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2883, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 2906, "src": "2274:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2882, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2274:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2262:22:19" }, "returnParameters": { "id": 2889, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2886, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2906, "src": "2308:4:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 2885, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2308:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 2888, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2906, "src": "2314:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2887, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2314:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2307:15:19" }, "scope": 3057, "src": "2247:190:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2920, "nodeType": "Block", "src": "2739:29:19", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2918, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2916, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2909, "src": "2756:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "id": 2917, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2911, "src": "2760:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2756:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 2915, "id": 2919, "nodeType": "Return", "src": "2749:12:19" } ] }, "documentation": { "id": 2907, "nodeType": "StructuredDocumentation", "src": "2443:224:19", "text": " @dev Returns the addition of two unsigned integers, reverting on\n overflow.\n Counterpart to Solidity's `+` operator.\n Requirements:\n - Addition cannot overflow." }, "id": 2921, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 2912, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2909, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 2921, "src": "2685:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2908, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2685:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2911, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 2921, "src": "2696:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2910, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2696:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2684:22:19" }, "returnParameters": { "id": 2915, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2914, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2921, "src": "2730:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2913, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2730:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2729:9:19" }, "scope": 3057, "src": "2672:96:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2935, "nodeType": "Block", "src": "3106:29:19", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2933, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2931, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2924, "src": "3123:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 2932, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2926, "src": "3127:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3123:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 2930, "id": 2934, "nodeType": "Return", "src": "3116:12:19" } ] }, "documentation": { "id": 2922, "nodeType": "StructuredDocumentation", "src": "2774:260:19", "text": " @dev Returns the subtraction of two unsigned integers, reverting on\n overflow (when the result is negative).\n Counterpart to Solidity's `-` operator.\n Requirements:\n - Subtraction cannot overflow." }, "id": 2936, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 2927, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2924, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 2936, "src": "3052:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2923, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3052:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2926, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 2936, "src": "3063:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2925, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3063:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3051:22:19" }, "returnParameters": { "id": 2930, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2929, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2936, "src": "3097:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2928, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3097:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3096:9:19" }, "scope": 3057, "src": "3039:96:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2950, "nodeType": "Block", "src": "3449:29:19", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2948, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2946, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2939, "src": "3466:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 2947, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2941, "src": "3470:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3466:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 2945, "id": 2949, "nodeType": "Return", "src": "3459:12:19" } ] }, "documentation": { "id": 2937, "nodeType": "StructuredDocumentation", "src": "3141:236:19", "text": " @dev Returns the multiplication of two unsigned integers, reverting on\n overflow.\n Counterpart to Solidity's `*` operator.\n Requirements:\n - Multiplication cannot overflow." }, "id": 2951, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 2942, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2939, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 2951, "src": "3395:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2938, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3395:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2941, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 2951, "src": "3406:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2940, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3406:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3394:22:19" }, "returnParameters": { "id": 2945, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2944, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2951, "src": "3440:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2943, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3440:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3439:9:19" }, "scope": 3057, "src": "3382:96:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2965, "nodeType": "Block", "src": "3834:29:19", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2963, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2961, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2954, "src": "3851:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 2962, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2956, "src": "3855:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3851:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 2960, "id": 2964, "nodeType": "Return", "src": "3844:12:19" } ] }, "documentation": { "id": 2952, "nodeType": "StructuredDocumentation", "src": "3484:278:19", "text": " @dev Returns the integer division of two unsigned integers, reverting on\n division by zero. The result is rounded towards zero.\n Counterpart to Solidity's `/` operator.\n Requirements:\n - The divisor cannot be zero." }, "id": 2966, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 2957, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2954, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 2966, "src": "3780:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2953, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3780:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2956, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 2966, "src": "3791:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2955, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3791:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3779:22:19" }, "returnParameters": { "id": 2960, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2959, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2966, "src": "3825:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2958, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3825:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3824:9:19" }, "scope": 3057, "src": "3767:96:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2980, "nodeType": "Block", "src": "4383:29:19", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2978, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2976, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2969, "src": "4400:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "id": 2977, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2971, "src": "4404:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4400:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 2975, "id": 2979, "nodeType": "Return", "src": "4393:12:19" } ] }, "documentation": { "id": 2967, "nodeType": "StructuredDocumentation", "src": "3869:442:19", "text": " @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),\n reverting when dividing by zero.\n Counterpart to Solidity's `%` operator. This function uses a `revert`\n opcode (which leaves remaining gas untouched) while Solidity uses an\n invalid opcode to revert (consuming all remaining gas).\n Requirements:\n - The divisor cannot be zero." }, "id": 2981, "implemented": true, "kind": "function", "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "parameters": { "id": 2972, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2969, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 2981, "src": "4329:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2968, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4329:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2971, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 2981, "src": "4340:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2970, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4340:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4328:22:19" }, "returnParameters": { "id": 2975, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2974, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2981, "src": "4374:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2973, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4374:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4373:9:19" }, "scope": 3057, "src": "4316:96:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 3005, "nodeType": "Block", "src": "5001:106:19", "statements": [ { "id": 3004, "nodeType": "UncheckedBlock", "src": "5011:90:19", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2996, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2994, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2986, "src": "5043:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "id": 2995, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2984, "src": "5048:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5043:6:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 2997, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2988, "src": "5051:12:19", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } ], "id": 2993, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "5035:7:19", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 2998, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5035:29:19", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 2999, "nodeType": "ExpressionStatement", "src": "5035:29:19" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3002, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3000, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2984, "src": "5085:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 3001, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2986, "src": "5089:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5085:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 2992, "id": 3003, "nodeType": "Return", "src": "5078:12:19" } ] } ] }, "documentation": { "id": 2982, "nodeType": "StructuredDocumentation", "src": "4418:453:19", "text": " @dev Returns the subtraction of two unsigned integers, reverting with custom message on\n overflow (when the result is negative).\n CAUTION: This function is deprecated because it requires allocating memory for the error\n message unnecessarily. For custom revert reasons use {trySub}.\n Counterpart to Solidity's `-` operator.\n Requirements:\n - Subtraction cannot overflow." }, "id": 3006, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 2989, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2984, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 3006, "src": "4898:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2983, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4898:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2986, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 3006, "src": "4917:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2985, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4917:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2988, "mutability": "mutable", "name": "errorMessage", "nodeType": "VariableDeclaration", "scope": 3006, "src": "4936:26:19", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 2987, "name": "string", "nodeType": "ElementaryTypeName", "src": "4936:6:19", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "4888:80:19" }, "returnParameters": { "id": 2992, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2991, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 3006, "src": "4992:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2990, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4992:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4991:9:19" }, "scope": 3057, "src": "4876:231:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 3030, "nodeType": "Block", "src": "5716:105:19", "statements": [ { "id": 3029, "nodeType": "UncheckedBlock", "src": "5726:89:19", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3021, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3019, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3011, "src": "5758:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 3020, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "5762:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "5758:5:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 3022, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3013, "src": "5765:12:19", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } ], "id": 3018, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "5750:7:19", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 3023, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5750:28:19", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3024, "nodeType": "ExpressionStatement", "src": "5750:28:19" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3027, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3025, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3009, "src": "5799:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 3026, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3011, "src": "5803:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5799:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 3017, "id": 3028, "nodeType": "Return", "src": "5792:12:19" } ] } ] }, "documentation": { "id": 3007, "nodeType": "StructuredDocumentation", "src": "5113:473:19", "text": " @dev Returns the integer division of two unsigned integers, reverting with custom message on\n division by zero. The result is rounded towards zero.\n Counterpart to Solidity's `/` operator. Note: this function uses a\n `revert` opcode (which leaves remaining gas untouched) while Solidity\n uses an invalid opcode to revert (consuming all remaining gas).\n Requirements:\n - The divisor cannot be zero." }, "id": 3031, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 3014, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3009, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 3031, "src": "5613:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3008, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5613:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 3011, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 3031, "src": "5632:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3010, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5632:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 3013, "mutability": "mutable", "name": "errorMessage", "nodeType": "VariableDeclaration", "scope": 3031, "src": "5651:26:19", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 3012, "name": "string", "nodeType": "ElementaryTypeName", "src": "5651:6:19", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "5603:80:19" }, "returnParameters": { "id": 3017, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3016, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 3031, "src": "5707:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3015, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5707:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "5706:9:19" }, "scope": 3057, "src": "5591:230:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 3055, "nodeType": "Block", "src": "6592:105:19", "statements": [ { "id": 3054, "nodeType": "UncheckedBlock", "src": "6602:89:19", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3046, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3044, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3036, "src": "6634:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 3045, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6638:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "6634:5:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 3047, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3038, "src": "6641:12:19", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } ], "id": 3043, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "6626:7:19", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 3048, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6626:28:19", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3049, "nodeType": "ExpressionStatement", "src": "6626:28:19" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3052, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3050, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3034, "src": "6675:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "id": 3051, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3036, "src": "6679:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6675:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 3042, "id": 3053, "nodeType": "Return", "src": "6668:12:19" } ] } ] }, "documentation": { "id": 3032, "nodeType": "StructuredDocumentation", "src": "5827:635:19", "text": " @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),\n reverting with custom message when dividing by zero.\n CAUTION: This function is deprecated because it requires allocating memory for the error\n message unnecessarily. For custom revert reasons use {tryMod}.\n Counterpart to Solidity's `%` operator. This function uses a `revert`\n opcode (which leaves remaining gas untouched) while Solidity uses an\n invalid opcode to revert (consuming all remaining gas).\n Requirements:\n - The divisor cannot be zero." }, "id": 3056, "implemented": true, "kind": "function", "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "parameters": { "id": 3039, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3034, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 3056, "src": "6489:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3033, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6489:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 3036, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 3056, "src": "6508:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3035, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6508:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 3038, "mutability": "mutable", "name": "errorMessage", "nodeType": "VariableDeclaration", "scope": 3056, "src": "6527:26:19", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 3037, "name": "string", "nodeType": "ElementaryTypeName", "src": "6527:6:19", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "6479:80:19" }, "returnParameters": { "id": 3042, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3041, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 3056, "src": "6583:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3040, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6583:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "6582:9:19" }, "scope": 3057, "src": "6467:230:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 3058, "src": "398:6301:19" } ], "src": "33:6667:19" }, "legacyAST": { "absolutePath": "@openzeppelin/contracts/utils/math/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 3057 ] }, "id": 3058, "license": "MIT", "nodeType": "SourceUnit", "nodes": [ { "id": 2747, "literals": [ "solidity", "^", "0.8", ".0" ], "nodeType": "PragmaDirective", "src": "33:23:19" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 2748, "nodeType": "StructuredDocumentation", "src": "211:186:19", "text": " @dev Wrappers over Solidity's arithmetic operations.\n NOTE: `SafeMath` is no longer needed starting with Solidity 0.8. The compiler\n now has built in overflow checking." }, "fullyImplemented": true, "id": 3057, "linearizedBaseContracts": [ 3057 ], "name": "SafeMath", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 2779, "nodeType": "Block", "src": "633:140:19", "statements": [ { "id": 2778, "nodeType": "UncheckedBlock", "src": "643:124:19", "statements": [ { "assignments": [ 2761 ], "declarations": [ { "constant": false, "id": 2761, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "scope": 2778, "src": "667:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2760, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "667:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 2765, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2764, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2762, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2751, "src": "679:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "id": 2763, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2753, "src": "683:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "679:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "667:17:19" }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2768, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2766, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2761, "src": "702:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "id": 2767, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2751, "src": "706:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "702:5:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 2773, "nodeType": "IfStatement", "src": "698:28:19", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 2769, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "717:5:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 2770, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "724:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 2771, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "716:10:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 2759, "id": 2772, "nodeType": "Return", "src": "709:17:19" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 2774, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "748:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "id": 2775, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2761, "src": "754:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 2776, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "747:9:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 2759, "id": 2777, "nodeType": "Return", "src": "740:16:19" } ] } ] }, "documentation": { "id": 2749, "nodeType": "StructuredDocumentation", "src": "421:131:19", "text": " @dev Returns the addition of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "id": 2780, "implemented": true, "kind": "function", "modifiers": [], "name": "tryAdd", "nodeType": "FunctionDefinition", "parameters": { "id": 2754, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2751, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 2780, "src": "573:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2750, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "573:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2753, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 2780, "src": "584:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2752, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "584:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "572:22:19" }, "returnParameters": { "id": 2759, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2756, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2780, "src": "618:4:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 2755, "name": "bool", "nodeType": "ElementaryTypeName", "src": "618:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 2758, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2780, "src": "624:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2757, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "624:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "617:15:19" }, "scope": 3057, "src": "557:216:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2807, "nodeType": "Block", "src": "995:113:19", "statements": [ { "id": 2806, "nodeType": "UncheckedBlock", "src": "1005:97:19", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2794, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2792, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2785, "src": "1033:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "id": 2793, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2783, "src": "1037:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1033:5:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 2799, "nodeType": "IfStatement", "src": "1029:28:19", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 2795, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1048:5:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 2796, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1055:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 2797, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1047:10:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 2791, "id": 2798, "nodeType": "Return", "src": "1040:17:19" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 2800, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1079:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2803, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2801, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2783, "src": "1085:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 2802, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2785, "src": "1089:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1085:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 2804, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1078:13:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 2791, "id": 2805, "nodeType": "Return", "src": "1071:20:19" } ] } ] }, "documentation": { "id": 2781, "nodeType": "StructuredDocumentation", "src": "779:135:19", "text": " @dev Returns the substraction of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "id": 2808, "implemented": true, "kind": "function", "modifiers": [], "name": "trySub", "nodeType": "FunctionDefinition", "parameters": { "id": 2786, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2783, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 2808, "src": "935:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2782, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "935:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2785, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 2808, "src": "946:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2784, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "946:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "934:22:19" }, "returnParameters": { "id": 2791, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2788, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2808, "src": "980:4:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 2787, "name": "bool", "nodeType": "ElementaryTypeName", "src": "980:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 2790, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2808, "src": "986:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2789, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "986:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "979:15:19" }, "scope": 3057, "src": "919:189:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2849, "nodeType": "Block", "src": "1332:417:19", "statements": [ { "id": 2848, "nodeType": "UncheckedBlock", "src": "1342:401:19", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2822, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2820, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2811, "src": "1600:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 2821, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1605:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1600:6:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 2827, "nodeType": "IfStatement", "src": "1596:28:19", "trueBody": { "expression": { "components": [ { "hexValue": "74727565", "id": 2823, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1616:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "hexValue": "30", "id": 2824, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1622:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 2825, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1615:9:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 2819, "id": 2826, "nodeType": "Return", "src": "1608:16:19" } }, { "assignments": [ 2829 ], "declarations": [ { "constant": false, "id": 2829, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "scope": 2848, "src": "1638:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2828, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1638:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 2833, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2832, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2830, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2811, "src": "1650:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 2831, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2813, "src": "1654:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1650:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1638:17:19" }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2838, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2836, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2834, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2829, "src": "1673:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 2835, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2811, "src": "1677:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1673:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "id": 2837, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2813, "src": "1682:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1673:10:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 2843, "nodeType": "IfStatement", "src": "1669:33:19", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 2839, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1693:5:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 2840, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1700:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 2841, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1692:10:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 2819, "id": 2842, "nodeType": "Return", "src": "1685:17:19" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 2844, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1724:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "id": 2845, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2829, "src": "1730:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 2846, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1723:9:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 2819, "id": 2847, "nodeType": "Return", "src": "1716:16:19" } ] } ] }, "documentation": { "id": 2809, "nodeType": "StructuredDocumentation", "src": "1114:137:19", "text": " @dev Returns the multiplication of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "id": 2850, "implemented": true, "kind": "function", "modifiers": [], "name": "tryMul", "nodeType": "FunctionDefinition", "parameters": { "id": 2814, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2811, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 2850, "src": "1272:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2810, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1272:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2813, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 2850, "src": "1283:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2812, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1283:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1271:22:19" }, "returnParameters": { "id": 2819, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2816, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2850, "src": "1317:4:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 2815, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1317:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 2818, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2850, "src": "1323:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2817, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1323:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1316:15:19" }, "scope": 3057, "src": "1256:493:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2877, "nodeType": "Block", "src": "1974:114:19", "statements": [ { "id": 2876, "nodeType": "UncheckedBlock", "src": "1984:98:19", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2864, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2862, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2855, "src": "2012:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 2863, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2017:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2012:6:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 2869, "nodeType": "IfStatement", "src": "2008:29:19", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 2865, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2028:5:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 2866, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2035:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 2867, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2027:10:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 2861, "id": 2868, "nodeType": "Return", "src": "2020:17:19" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 2870, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2059:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2873, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2871, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2853, "src": "2065:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 2872, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2855, "src": "2069:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2065:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 2874, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2058:13:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 2861, "id": 2875, "nodeType": "Return", "src": "2051:20:19" } ] } ] }, "documentation": { "id": 2851, "nodeType": "StructuredDocumentation", "src": "1755:138:19", "text": " @dev Returns the division of two unsigned integers, with a division by zero flag.\n _Available since v3.4._" }, "id": 2878, "implemented": true, "kind": "function", "modifiers": [], "name": "tryDiv", "nodeType": "FunctionDefinition", "parameters": { "id": 2856, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2853, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 2878, "src": "1914:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2852, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1914:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2855, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 2878, "src": "1925:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2854, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1925:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1913:22:19" }, "returnParameters": { "id": 2861, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2858, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2878, "src": "1959:4:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 2857, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1959:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 2860, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2878, "src": "1965:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2859, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1965:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1958:15:19" }, "scope": 3057, "src": "1898:190:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2905, "nodeType": "Block", "src": "2323:114:19", "statements": [ { "id": 2904, "nodeType": "UncheckedBlock", "src": "2333:98:19", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2892, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2890, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2883, "src": "2361:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 2891, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2366:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2361:6:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 2897, "nodeType": "IfStatement", "src": "2357:29:19", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 2893, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2377:5:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 2894, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2384:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 2895, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2376:10:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 2889, "id": 2896, "nodeType": "Return", "src": "2369:17:19" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 2898, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2408:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2901, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2899, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2881, "src": "2414:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "id": 2900, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2883, "src": "2418:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2414:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 2902, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2407:13:19", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 2889, "id": 2903, "nodeType": "Return", "src": "2400:20:19" } ] } ] }, "documentation": { "id": 2879, "nodeType": "StructuredDocumentation", "src": "2094:148:19", "text": " @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.\n _Available since v3.4._" }, "id": 2906, "implemented": true, "kind": "function", "modifiers": [], "name": "tryMod", "nodeType": "FunctionDefinition", "parameters": { "id": 2884, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2881, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 2906, "src": "2263:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2880, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2263:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2883, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 2906, "src": "2274:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2882, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2274:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2262:22:19" }, "returnParameters": { "id": 2889, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2886, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2906, "src": "2308:4:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 2885, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2308:4:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 2888, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2906, "src": "2314:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2887, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2314:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2307:15:19" }, "scope": 3057, "src": "2247:190:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2920, "nodeType": "Block", "src": "2739:29:19", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2918, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2916, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2909, "src": "2756:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "id": 2917, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2911, "src": "2760:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2756:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 2915, "id": 2919, "nodeType": "Return", "src": "2749:12:19" } ] }, "documentation": { "id": 2907, "nodeType": "StructuredDocumentation", "src": "2443:224:19", "text": " @dev Returns the addition of two unsigned integers, reverting on\n overflow.\n Counterpart to Solidity's `+` operator.\n Requirements:\n - Addition cannot overflow." }, "id": 2921, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 2912, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2909, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 2921, "src": "2685:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2908, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2685:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2911, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 2921, "src": "2696:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2910, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2696:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2684:22:19" }, "returnParameters": { "id": 2915, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2914, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2921, "src": "2730:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2913, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2730:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2729:9:19" }, "scope": 3057, "src": "2672:96:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2935, "nodeType": "Block", "src": "3106:29:19", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2933, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2931, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2924, "src": "3123:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 2932, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2926, "src": "3127:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3123:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 2930, "id": 2934, "nodeType": "Return", "src": "3116:12:19" } ] }, "documentation": { "id": 2922, "nodeType": "StructuredDocumentation", "src": "2774:260:19", "text": " @dev Returns the subtraction of two unsigned integers, reverting on\n overflow (when the result is negative).\n Counterpart to Solidity's `-` operator.\n Requirements:\n - Subtraction cannot overflow." }, "id": 2936, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 2927, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2924, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 2936, "src": "3052:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2923, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3052:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2926, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 2936, "src": "3063:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2925, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3063:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3051:22:19" }, "returnParameters": { "id": 2930, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2929, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2936, "src": "3097:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2928, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3097:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3096:9:19" }, "scope": 3057, "src": "3039:96:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2950, "nodeType": "Block", "src": "3449:29:19", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2948, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2946, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2939, "src": "3466:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 2947, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2941, "src": "3470:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3466:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 2945, "id": 2949, "nodeType": "Return", "src": "3459:12:19" } ] }, "documentation": { "id": 2937, "nodeType": "StructuredDocumentation", "src": "3141:236:19", "text": " @dev Returns the multiplication of two unsigned integers, reverting on\n overflow.\n Counterpart to Solidity's `*` operator.\n Requirements:\n - Multiplication cannot overflow." }, "id": 2951, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 2942, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2939, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 2951, "src": "3395:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2938, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3395:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2941, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 2951, "src": "3406:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2940, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3406:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3394:22:19" }, "returnParameters": { "id": 2945, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2944, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2951, "src": "3440:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2943, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3440:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3439:9:19" }, "scope": 3057, "src": "3382:96:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2965, "nodeType": "Block", "src": "3834:29:19", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2963, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2961, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2954, "src": "3851:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 2962, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2956, "src": "3855:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3851:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 2960, "id": 2964, "nodeType": "Return", "src": "3844:12:19" } ] }, "documentation": { "id": 2952, "nodeType": "StructuredDocumentation", "src": "3484:278:19", "text": " @dev Returns the integer division of two unsigned integers, reverting on\n division by zero. The result is rounded towards zero.\n Counterpart to Solidity's `/` operator.\n Requirements:\n - The divisor cannot be zero." }, "id": 2966, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 2957, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2954, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 2966, "src": "3780:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2953, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3780:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2956, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 2966, "src": "3791:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2955, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3791:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3779:22:19" }, "returnParameters": { "id": 2960, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2959, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2966, "src": "3825:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2958, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3825:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3824:9:19" }, "scope": 3057, "src": "3767:96:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2980, "nodeType": "Block", "src": "4383:29:19", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2978, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2976, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2969, "src": "4400:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "id": 2977, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2971, "src": "4404:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4400:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 2975, "id": 2979, "nodeType": "Return", "src": "4393:12:19" } ] }, "documentation": { "id": 2967, "nodeType": "StructuredDocumentation", "src": "3869:442:19", "text": " @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),\n reverting when dividing by zero.\n Counterpart to Solidity's `%` operator. This function uses a `revert`\n opcode (which leaves remaining gas untouched) while Solidity uses an\n invalid opcode to revert (consuming all remaining gas).\n Requirements:\n - The divisor cannot be zero." }, "id": 2981, "implemented": true, "kind": "function", "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "parameters": { "id": 2972, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2969, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 2981, "src": "4329:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2968, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4329:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2971, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 2981, "src": "4340:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2970, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4340:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4328:22:19" }, "returnParameters": { "id": 2975, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2974, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 2981, "src": "4374:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2973, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4374:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4373:9:19" }, "scope": 3057, "src": "4316:96:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 3005, "nodeType": "Block", "src": "5001:106:19", "statements": [ { "id": 3004, "nodeType": "UncheckedBlock", "src": "5011:90:19", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2996, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 2994, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2986, "src": "5043:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "id": 2995, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2984, "src": "5048:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5043:6:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 2997, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2988, "src": "5051:12:19", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } ], "id": 2993, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "5035:7:19", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 2998, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5035:29:19", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 2999, "nodeType": "ExpressionStatement", "src": "5035:29:19" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3002, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3000, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2984, "src": "5085:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 3001, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2986, "src": "5089:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5085:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 2992, "id": 3003, "nodeType": "Return", "src": "5078:12:19" } ] } ] }, "documentation": { "id": 2982, "nodeType": "StructuredDocumentation", "src": "4418:453:19", "text": " @dev Returns the subtraction of two unsigned integers, reverting with custom message on\n overflow (when the result is negative).\n CAUTION: This function is deprecated because it requires allocating memory for the error\n message unnecessarily. For custom revert reasons use {trySub}.\n Counterpart to Solidity's `-` operator.\n Requirements:\n - Subtraction cannot overflow." }, "id": 3006, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 2989, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2984, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 3006, "src": "4898:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2983, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4898:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2986, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 3006, "src": "4917:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2985, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4917:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 2988, "mutability": "mutable", "name": "errorMessage", "nodeType": "VariableDeclaration", "scope": 3006, "src": "4936:26:19", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 2987, "name": "string", "nodeType": "ElementaryTypeName", "src": "4936:6:19", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "4888:80:19" }, "returnParameters": { "id": 2992, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2991, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 3006, "src": "4992:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2990, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4992:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4991:9:19" }, "scope": 3057, "src": "4876:231:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 3030, "nodeType": "Block", "src": "5716:105:19", "statements": [ { "id": 3029, "nodeType": "UncheckedBlock", "src": "5726:89:19", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3021, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3019, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3011, "src": "5758:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 3020, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "5762:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "5758:5:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 3022, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3013, "src": "5765:12:19", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } ], "id": 3018, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "5750:7:19", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 3023, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5750:28:19", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3024, "nodeType": "ExpressionStatement", "src": "5750:28:19" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3027, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3025, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3009, "src": "5799:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 3026, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3011, "src": "5803:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5799:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 3017, "id": 3028, "nodeType": "Return", "src": "5792:12:19" } ] } ] }, "documentation": { "id": 3007, "nodeType": "StructuredDocumentation", "src": "5113:473:19", "text": " @dev Returns the integer division of two unsigned integers, reverting with custom message on\n division by zero. The result is rounded towards zero.\n Counterpart to Solidity's `/` operator. Note: this function uses a\n `revert` opcode (which leaves remaining gas untouched) while Solidity\n uses an invalid opcode to revert (consuming all remaining gas).\n Requirements:\n - The divisor cannot be zero." }, "id": 3031, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 3014, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3009, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 3031, "src": "5613:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3008, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5613:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 3011, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 3031, "src": "5632:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3010, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5632:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 3013, "mutability": "mutable", "name": "errorMessage", "nodeType": "VariableDeclaration", "scope": 3031, "src": "5651:26:19", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 3012, "name": "string", "nodeType": "ElementaryTypeName", "src": "5651:6:19", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "5603:80:19" }, "returnParameters": { "id": 3017, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3016, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 3031, "src": "5707:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3015, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5707:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "5706:9:19" }, "scope": 3057, "src": "5591:230:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 3055, "nodeType": "Block", "src": "6592:105:19", "statements": [ { "id": 3054, "nodeType": "UncheckedBlock", "src": "6602:89:19", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3046, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3044, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3036, "src": "6634:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 3045, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6638:1:19", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "6634:5:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 3047, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3038, "src": "6641:12:19", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } ], "id": 3043, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "6626:7:19", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 3048, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6626:28:19", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3049, "nodeType": "ExpressionStatement", "src": "6626:28:19" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3052, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 3050, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3034, "src": "6675:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "id": 3051, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3036, "src": "6679:1:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6675:5:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 3042, "id": 3053, "nodeType": "Return", "src": "6668:12:19" } ] } ] }, "documentation": { "id": 3032, "nodeType": "StructuredDocumentation", "src": "5827:635:19", "text": " @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),\n reverting with custom message when dividing by zero.\n CAUTION: This function is deprecated because it requires allocating memory for the error\n message unnecessarily. For custom revert reasons use {tryMod}.\n Counterpart to Solidity's `%` operator. This function uses a `revert`\n opcode (which leaves remaining gas untouched) while Solidity uses an\n invalid opcode to revert (consuming all remaining gas).\n Requirements:\n - The divisor cannot be zero." }, "id": 3056, "implemented": true, "kind": "function", "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "parameters": { "id": 3039, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3034, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 3056, "src": "6489:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3033, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6489:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 3036, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 3056, "src": "6508:9:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3035, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6508:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 3038, "mutability": "mutable", "name": "errorMessage", "nodeType": "VariableDeclaration", "scope": 3056, "src": "6527:26:19", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 3037, "name": "string", "nodeType": "ElementaryTypeName", "src": "6527:6:19", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "6479:80:19" }, "returnParameters": { "id": 3042, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3041, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 3056, "src": "6583:7:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3040, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6583:7:19", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "6582:9:19" }, "scope": 3057, "src": "6467:230:19", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 3058, "src": "398:6301:19" } ], "src": "33:6667:19" }, "compiler": { "name": "solc", "version": "0.8.0+commit.c7dfd78e.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.3.1", "updatedAt": "2021-11-23T02:17:24.167Z", "devdoc": { "details": "Wrappers over Solidity's arithmetic operations. NOTE: `SafeMath` is no longer needed starting with Solidity 0.8. The compiler now has built in overflow checking.", "kind": "dev", "methods": {}, "version": 1 }, "userdoc": { "kind": "user", "methods": {}, "version": 1 } }