{ "contractName": "SafeMath", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.8.11+commit.d7f03943\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"details\":\"Wrappers over Solidity's arithmetic operations. NOTE: `SafeMath` is generally not needed starting with Solidity 0.8, since 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\":\"london\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[]},\"sources\":{\"@openzeppelin/contracts/utils/math/SafeMath.sol\":{\"keccak256\":\"0xa2f576be637946f767aa56601c26d717f48a0aff44f82e46f13807eea1009a21\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://973868f808e88e21a1a0a01d4839314515ee337ad096286c88e41b74dcc11fc2\",\"dweb:/ipfs/QmfYuZxRfx2J2xdk4EXN7jKg4bUYEMTaYk9BAw9Bqn4o2Y\"]}},\"version\":1}", "bytecode": "0x60566037600b82828239805160001a607314602a57634e487b7160e01b600052600060045260246000fd5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea2646970667358221220fd04830778f7e44e9648e7a1e743f996041ee587daa54484479e0358db132f7064736f6c634300080b0033", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea2646970667358221220fd04830778f7e44e9648e7a1e743f996041ee587daa54484479e0358db132f7064736f6c634300080b0033", "immutableReferences": {}, "generatedSources": [], "deployedGeneratedSources": [], "sourceMap": "467:6301:37:-:0;;;;;;;;;;;;;;;-1:-1:-1;;;467:6301:37;;;;;;;;;;;;;;;;;", "deployedSourceMap": "467:6301:37:-:0;;;;;;;;", "source": "// SPDX-License-Identifier: MIT\n// OpenZeppelin Contracts v4.4.1 (utils/math/SafeMath.sol)\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 generally not needed starting with Solidity 0.8, since 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": [ 7057 ] }, "id": 7058, "license": "MIT", "nodeType": "SourceUnit", "nodes": [ { "id": 6747, "literals": [ "solidity", "^", "0.8", ".0" ], "nodeType": "PragmaDirective", "src": "92:23:37" }, { "abstract": false, "baseContracts": [], "canonicalName": "SafeMath", "contractDependencies": [], "contractKind": "library", "documentation": { "id": 6748, "nodeType": "StructuredDocumentation", "src": "270:196:37", "text": " @dev Wrappers over Solidity's arithmetic operations.\n NOTE: `SafeMath` is generally not needed starting with Solidity 0.8, since the compiler\n now has built in overflow checking." }, "fullyImplemented": true, "id": 7057, "linearizedBaseContracts": [ 7057 ], "name": "SafeMath", "nameLocation": "475:8:37", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 6779, "nodeType": "Block", "src": "702:140:37", "statements": [ { "id": 6778, "nodeType": "UncheckedBlock", "src": "712:124:37", "statements": [ { "assignments": [ 6761 ], "declarations": [ { "constant": false, "id": 6761, "mutability": "mutable", "name": "c", "nameLocation": "744:1:37", "nodeType": "VariableDeclaration", "scope": 6778, "src": "736:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6760, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "736:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 6765, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6764, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6762, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6751, "src": "748:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "id": 6763, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6753, "src": "752:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "748:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "736:17:37" }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6768, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6766, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6761, "src": "771:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "id": 6767, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6751, "src": "775:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "771:5:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 6773, "nodeType": "IfStatement", "src": "767:28:37", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 6769, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "786:5:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 6770, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "793:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 6771, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "785:10:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 6759, "id": 6772, "nodeType": "Return", "src": "778:17:37" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 6774, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "817:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "id": 6775, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6761, "src": "823:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 6776, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "816:9:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 6759, "id": 6777, "nodeType": "Return", "src": "809:16:37" } ] } ] }, "documentation": { "id": 6749, "nodeType": "StructuredDocumentation", "src": "490:131:37", "text": " @dev Returns the addition of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "id": 6780, "implemented": true, "kind": "function", "modifiers": [], "name": "tryAdd", "nameLocation": "635:6:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6754, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6751, "mutability": "mutable", "name": "a", "nameLocation": "650:1:37", "nodeType": "VariableDeclaration", "scope": 6780, "src": "642:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6750, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "642:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6753, "mutability": "mutable", "name": "b", "nameLocation": "661:1:37", "nodeType": "VariableDeclaration", "scope": 6780, "src": "653:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6752, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "653:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "641:22:37" }, "returnParameters": { "id": 6759, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6756, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6780, "src": "687:4:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 6755, "name": "bool", "nodeType": "ElementaryTypeName", "src": "687:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 6758, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6780, "src": "693:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6757, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "693:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "686:15:37" }, "scope": 7057, "src": "626:216:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 6807, "nodeType": "Block", "src": "1064:113:37", "statements": [ { "id": 6806, "nodeType": "UncheckedBlock", "src": "1074:97:37", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6794, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6792, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6785, "src": "1102:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "id": 6793, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6783, "src": "1106:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1102:5:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 6799, "nodeType": "IfStatement", "src": "1098:28:37", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 6795, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1117:5:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 6796, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1124:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 6797, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1116:10:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 6791, "id": 6798, "nodeType": "Return", "src": "1109:17:37" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 6800, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1148:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6803, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6801, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6783, "src": "1154:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 6802, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6785, "src": "1158:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1154:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 6804, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1147:13:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 6791, "id": 6805, "nodeType": "Return", "src": "1140:20:37" } ] } ] }, "documentation": { "id": 6781, "nodeType": "StructuredDocumentation", "src": "848:135:37", "text": " @dev Returns the substraction of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "id": 6808, "implemented": true, "kind": "function", "modifiers": [], "name": "trySub", "nameLocation": "997:6:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6786, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6783, "mutability": "mutable", "name": "a", "nameLocation": "1012:1:37", "nodeType": "VariableDeclaration", "scope": 6808, "src": "1004:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6782, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1004:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6785, "mutability": "mutable", "name": "b", "nameLocation": "1023:1:37", "nodeType": "VariableDeclaration", "scope": 6808, "src": "1015:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6784, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1015:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1003:22:37" }, "returnParameters": { "id": 6791, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6788, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6808, "src": "1049:4:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 6787, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1049:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 6790, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6808, "src": "1055:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6789, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1055:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1048:15:37" }, "scope": 7057, "src": "988:189:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 6849, "nodeType": "Block", "src": "1401:417:37", "statements": [ { "id": 6848, "nodeType": "UncheckedBlock", "src": "1411:401:37", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6822, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6820, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6811, "src": "1669:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 6821, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1674:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1669:6:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 6827, "nodeType": "IfStatement", "src": "1665:28:37", "trueBody": { "expression": { "components": [ { "hexValue": "74727565", "id": 6823, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1685:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "hexValue": "30", "id": 6824, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1691:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 6825, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1684:9:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 6819, "id": 6826, "nodeType": "Return", "src": "1677:16:37" } }, { "assignments": [ 6829 ], "declarations": [ { "constant": false, "id": 6829, "mutability": "mutable", "name": "c", "nameLocation": "1715:1:37", "nodeType": "VariableDeclaration", "scope": 6848, "src": "1707:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6828, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1707:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 6833, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6832, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6830, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6811, "src": "1719:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 6831, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6813, "src": "1723:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1719:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1707:17:37" }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6838, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6836, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6834, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6829, "src": "1742:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 6835, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6811, "src": "1746:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1742:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "id": 6837, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6813, "src": "1751:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1742:10:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 6843, "nodeType": "IfStatement", "src": "1738:33:37", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 6839, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1762:5:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 6840, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1769:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 6841, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1761:10:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 6819, "id": 6842, "nodeType": "Return", "src": "1754:17:37" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 6844, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1793:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "id": 6845, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6829, "src": "1799:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 6846, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1792:9:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 6819, "id": 6847, "nodeType": "Return", "src": "1785:16:37" } ] } ] }, "documentation": { "id": 6809, "nodeType": "StructuredDocumentation", "src": "1183:137:37", "text": " @dev Returns the multiplication of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "id": 6850, "implemented": true, "kind": "function", "modifiers": [], "name": "tryMul", "nameLocation": "1334:6:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6814, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6811, "mutability": "mutable", "name": "a", "nameLocation": "1349:1:37", "nodeType": "VariableDeclaration", "scope": 6850, "src": "1341:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6810, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1341:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6813, "mutability": "mutable", "name": "b", "nameLocation": "1360:1:37", "nodeType": "VariableDeclaration", "scope": 6850, "src": "1352:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6812, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1352:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1340:22:37" }, "returnParameters": { "id": 6819, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6816, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6850, "src": "1386:4:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 6815, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1386:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 6818, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6850, "src": "1392:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6817, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1392:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1385:15:37" }, "scope": 7057, "src": "1325:493:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 6877, "nodeType": "Block", "src": "2043:114:37", "statements": [ { "id": 6876, "nodeType": "UncheckedBlock", "src": "2053:98:37", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6864, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6862, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6855, "src": "2081:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 6863, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2086:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2081:6:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 6869, "nodeType": "IfStatement", "src": "2077:29:37", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 6865, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2097:5:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 6866, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2104:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 6867, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2096:10:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 6861, "id": 6868, "nodeType": "Return", "src": "2089:17:37" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 6870, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2128:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6873, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6871, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6853, "src": "2134:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 6872, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6855, "src": "2138:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2134:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 6874, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2127:13:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 6861, "id": 6875, "nodeType": "Return", "src": "2120:20:37" } ] } ] }, "documentation": { "id": 6851, "nodeType": "StructuredDocumentation", "src": "1824:138:37", "text": " @dev Returns the division of two unsigned integers, with a division by zero flag.\n _Available since v3.4._" }, "id": 6878, "implemented": true, "kind": "function", "modifiers": [], "name": "tryDiv", "nameLocation": "1976:6:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6856, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6853, "mutability": "mutable", "name": "a", "nameLocation": "1991:1:37", "nodeType": "VariableDeclaration", "scope": 6878, "src": "1983:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6852, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1983:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6855, "mutability": "mutable", "name": "b", "nameLocation": "2002:1:37", "nodeType": "VariableDeclaration", "scope": 6878, "src": "1994:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6854, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1994:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1982:22:37" }, "returnParameters": { "id": 6861, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6858, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6878, "src": "2028:4:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 6857, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2028:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 6860, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6878, "src": "2034:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6859, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2034:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2027:15:37" }, "scope": 7057, "src": "1967:190:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 6905, "nodeType": "Block", "src": "2392:114:37", "statements": [ { "id": 6904, "nodeType": "UncheckedBlock", "src": "2402:98:37", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6892, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6890, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6883, "src": "2430:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 6891, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2435:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2430:6:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 6897, "nodeType": "IfStatement", "src": "2426:29:37", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 6893, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2446:5:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 6894, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2453:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 6895, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2445:10:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 6889, "id": 6896, "nodeType": "Return", "src": "2438:17:37" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 6898, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2477:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6901, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6899, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6881, "src": "2483:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "id": 6900, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6883, "src": "2487:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2483:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 6902, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2476:13:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 6889, "id": 6903, "nodeType": "Return", "src": "2469:20:37" } ] } ] }, "documentation": { "id": 6879, "nodeType": "StructuredDocumentation", "src": "2163:148:37", "text": " @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.\n _Available since v3.4._" }, "id": 6906, "implemented": true, "kind": "function", "modifiers": [], "name": "tryMod", "nameLocation": "2325:6:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6884, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6881, "mutability": "mutable", "name": "a", "nameLocation": "2340:1:37", "nodeType": "VariableDeclaration", "scope": 6906, "src": "2332:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6880, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2332:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6883, "mutability": "mutable", "name": "b", "nameLocation": "2351:1:37", "nodeType": "VariableDeclaration", "scope": 6906, "src": "2343:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6882, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2343:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2331:22:37" }, "returnParameters": { "id": 6889, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6886, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6906, "src": "2377:4:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 6885, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2377:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 6888, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6906, "src": "2383:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6887, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2383:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2376:15:37" }, "scope": 7057, "src": "2316:190:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 6920, "nodeType": "Block", "src": "2808:29:37", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6918, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6916, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6909, "src": "2825:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "id": 6917, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6911, "src": "2829:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2825:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6915, "id": 6919, "nodeType": "Return", "src": "2818:12:37" } ] }, "documentation": { "id": 6907, "nodeType": "StructuredDocumentation", "src": "2512:224:37", "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": 6921, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "nameLocation": "2750:3:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6912, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6909, "mutability": "mutable", "name": "a", "nameLocation": "2762:1:37", "nodeType": "VariableDeclaration", "scope": 6921, "src": "2754:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6908, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2754:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6911, "mutability": "mutable", "name": "b", "nameLocation": "2773:1:37", "nodeType": "VariableDeclaration", "scope": 6921, "src": "2765:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6910, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2765:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2753:22:37" }, "returnParameters": { "id": 6915, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6914, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6921, "src": "2799:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6913, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2799:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2798:9:37" }, "scope": 7057, "src": "2741:96:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 6935, "nodeType": "Block", "src": "3175:29:37", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6933, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6931, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6924, "src": "3192:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 6932, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6926, "src": "3196:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3192:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6930, "id": 6934, "nodeType": "Return", "src": "3185:12:37" } ] }, "documentation": { "id": 6922, "nodeType": "StructuredDocumentation", "src": "2843:260:37", "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": 6936, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nameLocation": "3117:3:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6927, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6924, "mutability": "mutable", "name": "a", "nameLocation": "3129:1:37", "nodeType": "VariableDeclaration", "scope": 6936, "src": "3121:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6923, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3121:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6926, "mutability": "mutable", "name": "b", "nameLocation": "3140:1:37", "nodeType": "VariableDeclaration", "scope": 6936, "src": "3132:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6925, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3132:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3120:22:37" }, "returnParameters": { "id": 6930, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6929, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6936, "src": "3166:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6928, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3166:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3165:9:37" }, "scope": 7057, "src": "3108:96:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 6950, "nodeType": "Block", "src": "3518:29:37", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6948, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6946, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6939, "src": "3535:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 6947, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6941, "src": "3539:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3535:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6945, "id": 6949, "nodeType": "Return", "src": "3528:12:37" } ] }, "documentation": { "id": 6937, "nodeType": "StructuredDocumentation", "src": "3210:236:37", "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": 6951, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "nameLocation": "3460:3:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6942, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6939, "mutability": "mutable", "name": "a", "nameLocation": "3472:1:37", "nodeType": "VariableDeclaration", "scope": 6951, "src": "3464:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6938, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3464:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6941, "mutability": "mutable", "name": "b", "nameLocation": "3483:1:37", "nodeType": "VariableDeclaration", "scope": 6951, "src": "3475:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6940, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3475:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3463:22:37" }, "returnParameters": { "id": 6945, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6944, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6951, "src": "3509:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6943, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3509:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3508:9:37" }, "scope": 7057, "src": "3451:96:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 6965, "nodeType": "Block", "src": "3903:29:37", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6963, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6961, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6954, "src": "3920:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 6962, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6956, "src": "3924:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3920:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6960, "id": 6964, "nodeType": "Return", "src": "3913:12:37" } ] }, "documentation": { "id": 6952, "nodeType": "StructuredDocumentation", "src": "3553:278:37", "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": 6966, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nameLocation": "3845:3:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6957, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6954, "mutability": "mutable", "name": "a", "nameLocation": "3857:1:37", "nodeType": "VariableDeclaration", "scope": 6966, "src": "3849:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6953, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3849:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6956, "mutability": "mutable", "name": "b", "nameLocation": "3868:1:37", "nodeType": "VariableDeclaration", "scope": 6966, "src": "3860:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6955, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3860:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3848:22:37" }, "returnParameters": { "id": 6960, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6959, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6966, "src": "3894:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6958, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3894:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3893:9:37" }, "scope": 7057, "src": "3836:96:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 6980, "nodeType": "Block", "src": "4452:29:37", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6978, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6976, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6969, "src": "4469:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "id": 6977, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6971, "src": "4473:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4469:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6975, "id": 6979, "nodeType": "Return", "src": "4462:12:37" } ] }, "documentation": { "id": 6967, "nodeType": "StructuredDocumentation", "src": "3938:442:37", "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": 6981, "implemented": true, "kind": "function", "modifiers": [], "name": "mod", "nameLocation": "4394:3:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6972, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6969, "mutability": "mutable", "name": "a", "nameLocation": "4406:1:37", "nodeType": "VariableDeclaration", "scope": 6981, "src": "4398:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6968, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4398:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6971, "mutability": "mutable", "name": "b", "nameLocation": "4417:1:37", "nodeType": "VariableDeclaration", "scope": 6981, "src": "4409:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6970, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4409:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4397:22:37" }, "returnParameters": { "id": 6975, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6974, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6981, "src": "4443:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6973, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4443:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4442:9:37" }, "scope": 7057, "src": "4385:96:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 7005, "nodeType": "Block", "src": "5070:106:37", "statements": [ { "id": 7004, "nodeType": "UncheckedBlock", "src": "5080:90:37", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6996, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6994, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6986, "src": "5112:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "id": 6995, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6984, "src": "5117:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5112:6:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 6997, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6988, "src": "5120:12:37", "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": 6993, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "5104:7:37", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 6998, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5104:29:37", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 6999, "nodeType": "ExpressionStatement", "src": "5104:29:37" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7002, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 7000, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6984, "src": "5154:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 7001, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6986, "src": "5158:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5154:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6992, "id": 7003, "nodeType": "Return", "src": "5147:12:37" } ] } ] }, "documentation": { "id": 6982, "nodeType": "StructuredDocumentation", "src": "4487:453:37", "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": 7006, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nameLocation": "4954:3:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6989, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6984, "mutability": "mutable", "name": "a", "nameLocation": "4975:1:37", "nodeType": "VariableDeclaration", "scope": 7006, "src": "4967:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6983, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4967:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6986, "mutability": "mutable", "name": "b", "nameLocation": "4994:1:37", "nodeType": "VariableDeclaration", "scope": 7006, "src": "4986:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6985, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4986:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6988, "mutability": "mutable", "name": "errorMessage", "nameLocation": "5019:12:37", "nodeType": "VariableDeclaration", "scope": 7006, "src": "5005:26:37", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 6987, "name": "string", "nodeType": "ElementaryTypeName", "src": "5005:6:37", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "4957:80:37" }, "returnParameters": { "id": 6992, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6991, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 7006, "src": "5061:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6990, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5061:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "5060:9:37" }, "scope": 7057, "src": "4945:231:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 7030, "nodeType": "Block", "src": "5785:105:37", "statements": [ { "id": 7029, "nodeType": "UncheckedBlock", "src": "5795:89:37", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7021, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 7019, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7011, "src": "5827:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 7020, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "5831:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "5827:5:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 7022, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7013, "src": "5834:12:37", "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": 7018, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "5819:7:37", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 7023, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5819:28:37", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 7024, "nodeType": "ExpressionStatement", "src": "5819:28:37" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7027, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 7025, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7009, "src": "5868:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 7026, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7011, "src": "5872:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5868:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 7017, "id": 7028, "nodeType": "Return", "src": "5861:12:37" } ] } ] }, "documentation": { "id": 7007, "nodeType": "StructuredDocumentation", "src": "5182:473:37", "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": 7031, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nameLocation": "5669:3:37", "nodeType": "FunctionDefinition", "parameters": { "id": 7014, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 7009, "mutability": "mutable", "name": "a", "nameLocation": "5690:1:37", "nodeType": "VariableDeclaration", "scope": 7031, "src": "5682:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7008, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5682:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 7011, "mutability": "mutable", "name": "b", "nameLocation": "5709:1:37", "nodeType": "VariableDeclaration", "scope": 7031, "src": "5701:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7010, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5701:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 7013, "mutability": "mutable", "name": "errorMessage", "nameLocation": "5734:12:37", "nodeType": "VariableDeclaration", "scope": 7031, "src": "5720:26:37", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 7012, "name": "string", "nodeType": "ElementaryTypeName", "src": "5720:6:37", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "5672:80:37" }, "returnParameters": { "id": 7017, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 7016, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 7031, "src": "5776:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7015, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5776:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "5775:9:37" }, "scope": 7057, "src": "5660:230:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 7055, "nodeType": "Block", "src": "6661:105:37", "statements": [ { "id": 7054, "nodeType": "UncheckedBlock", "src": "6671:89:37", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7046, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 7044, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7036, "src": "6703:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 7045, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6707:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "6703:5:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 7047, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7038, "src": "6710:12:37", "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": 7043, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "6695:7:37", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 7048, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6695:28:37", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 7049, "nodeType": "ExpressionStatement", "src": "6695:28:37" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7052, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 7050, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7034, "src": "6744:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "id": 7051, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7036, "src": "6748:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6744:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 7042, "id": 7053, "nodeType": "Return", "src": "6737:12:37" } ] } ] }, "documentation": { "id": 7032, "nodeType": "StructuredDocumentation", "src": "5896:635:37", "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": 7056, "implemented": true, "kind": "function", "modifiers": [], "name": "mod", "nameLocation": "6545:3:37", "nodeType": "FunctionDefinition", "parameters": { "id": 7039, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 7034, "mutability": "mutable", "name": "a", "nameLocation": "6566:1:37", "nodeType": "VariableDeclaration", "scope": 7056, "src": "6558:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7033, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6558:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 7036, "mutability": "mutable", "name": "b", "nameLocation": "6585:1:37", "nodeType": "VariableDeclaration", "scope": 7056, "src": "6577:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7035, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6577:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 7038, "mutability": "mutable", "name": "errorMessage", "nameLocation": "6610:12:37", "nodeType": "VariableDeclaration", "scope": 7056, "src": "6596:26:37", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 7037, "name": "string", "nodeType": "ElementaryTypeName", "src": "6596:6:37", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "6548:80:37" }, "returnParameters": { "id": 7042, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 7041, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 7056, "src": "6652:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7040, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6652:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "6651:9:37" }, "scope": 7057, "src": "6536:230:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 7058, "src": "467:6301:37", "usedErrors": [] } ], "src": "92:6677:37" }, "legacyAST": { "absolutePath": "@openzeppelin/contracts/utils/math/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 7057 ] }, "id": 7058, "license": "MIT", "nodeType": "SourceUnit", "nodes": [ { "id": 6747, "literals": [ "solidity", "^", "0.8", ".0" ], "nodeType": "PragmaDirective", "src": "92:23:37" }, { "abstract": false, "baseContracts": [], "canonicalName": "SafeMath", "contractDependencies": [], "contractKind": "library", "documentation": { "id": 6748, "nodeType": "StructuredDocumentation", "src": "270:196:37", "text": " @dev Wrappers over Solidity's arithmetic operations.\n NOTE: `SafeMath` is generally not needed starting with Solidity 0.8, since the compiler\n now has built in overflow checking." }, "fullyImplemented": true, "id": 7057, "linearizedBaseContracts": [ 7057 ], "name": "SafeMath", "nameLocation": "475:8:37", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 6779, "nodeType": "Block", "src": "702:140:37", "statements": [ { "id": 6778, "nodeType": "UncheckedBlock", "src": "712:124:37", "statements": [ { "assignments": [ 6761 ], "declarations": [ { "constant": false, "id": 6761, "mutability": "mutable", "name": "c", "nameLocation": "744:1:37", "nodeType": "VariableDeclaration", "scope": 6778, "src": "736:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6760, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "736:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 6765, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6764, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6762, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6751, "src": "748:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "id": 6763, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6753, "src": "752:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "748:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "736:17:37" }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6768, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6766, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6761, "src": "771:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "id": 6767, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6751, "src": "775:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "771:5:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 6773, "nodeType": "IfStatement", "src": "767:28:37", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 6769, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "786:5:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 6770, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "793:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 6771, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "785:10:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 6759, "id": 6772, "nodeType": "Return", "src": "778:17:37" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 6774, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "817:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "id": 6775, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6761, "src": "823:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 6776, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "816:9:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 6759, "id": 6777, "nodeType": "Return", "src": "809:16:37" } ] } ] }, "documentation": { "id": 6749, "nodeType": "StructuredDocumentation", "src": "490:131:37", "text": " @dev Returns the addition of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "id": 6780, "implemented": true, "kind": "function", "modifiers": [], "name": "tryAdd", "nameLocation": "635:6:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6754, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6751, "mutability": "mutable", "name": "a", "nameLocation": "650:1:37", "nodeType": "VariableDeclaration", "scope": 6780, "src": "642:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6750, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "642:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6753, "mutability": "mutable", "name": "b", "nameLocation": "661:1:37", "nodeType": "VariableDeclaration", "scope": 6780, "src": "653:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6752, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "653:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "641:22:37" }, "returnParameters": { "id": 6759, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6756, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6780, "src": "687:4:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 6755, "name": "bool", "nodeType": "ElementaryTypeName", "src": "687:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 6758, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6780, "src": "693:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6757, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "693:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "686:15:37" }, "scope": 7057, "src": "626:216:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 6807, "nodeType": "Block", "src": "1064:113:37", "statements": [ { "id": 6806, "nodeType": "UncheckedBlock", "src": "1074:97:37", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6794, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6792, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6785, "src": "1102:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "id": 6793, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6783, "src": "1106:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1102:5:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 6799, "nodeType": "IfStatement", "src": "1098:28:37", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 6795, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1117:5:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 6796, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1124:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 6797, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1116:10:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 6791, "id": 6798, "nodeType": "Return", "src": "1109:17:37" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 6800, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1148:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6803, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6801, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6783, "src": "1154:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 6802, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6785, "src": "1158:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1154:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 6804, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1147:13:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 6791, "id": 6805, "nodeType": "Return", "src": "1140:20:37" } ] } ] }, "documentation": { "id": 6781, "nodeType": "StructuredDocumentation", "src": "848:135:37", "text": " @dev Returns the substraction of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "id": 6808, "implemented": true, "kind": "function", "modifiers": [], "name": "trySub", "nameLocation": "997:6:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6786, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6783, "mutability": "mutable", "name": "a", "nameLocation": "1012:1:37", "nodeType": "VariableDeclaration", "scope": 6808, "src": "1004:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6782, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1004:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6785, "mutability": "mutable", "name": "b", "nameLocation": "1023:1:37", "nodeType": "VariableDeclaration", "scope": 6808, "src": "1015:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6784, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1015:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1003:22:37" }, "returnParameters": { "id": 6791, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6788, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6808, "src": "1049:4:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 6787, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1049:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 6790, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6808, "src": "1055:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6789, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1055:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1048:15:37" }, "scope": 7057, "src": "988:189:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 6849, "nodeType": "Block", "src": "1401:417:37", "statements": [ { "id": 6848, "nodeType": "UncheckedBlock", "src": "1411:401:37", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6822, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6820, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6811, "src": "1669:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 6821, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1674:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1669:6:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 6827, "nodeType": "IfStatement", "src": "1665:28:37", "trueBody": { "expression": { "components": [ { "hexValue": "74727565", "id": 6823, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1685:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "hexValue": "30", "id": 6824, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1691:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 6825, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1684:9:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 6819, "id": 6826, "nodeType": "Return", "src": "1677:16:37" } }, { "assignments": [ 6829 ], "declarations": [ { "constant": false, "id": 6829, "mutability": "mutable", "name": "c", "nameLocation": "1715:1:37", "nodeType": "VariableDeclaration", "scope": 6848, "src": "1707:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6828, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1707:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 6833, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6832, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6830, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6811, "src": "1719:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 6831, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6813, "src": "1723:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1719:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1707:17:37" }, { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6838, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6836, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6834, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6829, "src": "1742:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 6835, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6811, "src": "1746:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1742:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "id": 6837, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6813, "src": "1751:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1742:10:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 6843, "nodeType": "IfStatement", "src": "1738:33:37", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 6839, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1762:5:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 6840, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1769:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 6841, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1761:10:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 6819, "id": 6842, "nodeType": "Return", "src": "1754:17:37" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 6844, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1793:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "id": 6845, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6829, "src": "1799:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 6846, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1792:9:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 6819, "id": 6847, "nodeType": "Return", "src": "1785:16:37" } ] } ] }, "documentation": { "id": 6809, "nodeType": "StructuredDocumentation", "src": "1183:137:37", "text": " @dev Returns the multiplication of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "id": 6850, "implemented": true, "kind": "function", "modifiers": [], "name": "tryMul", "nameLocation": "1334:6:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6814, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6811, "mutability": "mutable", "name": "a", "nameLocation": "1349:1:37", "nodeType": "VariableDeclaration", "scope": 6850, "src": "1341:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6810, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1341:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6813, "mutability": "mutable", "name": "b", "nameLocation": "1360:1:37", "nodeType": "VariableDeclaration", "scope": 6850, "src": "1352:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6812, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1352:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1340:22:37" }, "returnParameters": { "id": 6819, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6816, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6850, "src": "1386:4:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 6815, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1386:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 6818, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6850, "src": "1392:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6817, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1392:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1385:15:37" }, "scope": 7057, "src": "1325:493:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 6877, "nodeType": "Block", "src": "2043:114:37", "statements": [ { "id": 6876, "nodeType": "UncheckedBlock", "src": "2053:98:37", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6864, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6862, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6855, "src": "2081:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 6863, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2086:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2081:6:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 6869, "nodeType": "IfStatement", "src": "2077:29:37", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 6865, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2097:5:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 6866, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2104:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 6867, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2096:10:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 6861, "id": 6868, "nodeType": "Return", "src": "2089:17:37" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 6870, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2128:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6873, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6871, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6853, "src": "2134:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 6872, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6855, "src": "2138:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2134:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 6874, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2127:13:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 6861, "id": 6875, "nodeType": "Return", "src": "2120:20:37" } ] } ] }, "documentation": { "id": 6851, "nodeType": "StructuredDocumentation", "src": "1824:138:37", "text": " @dev Returns the division of two unsigned integers, with a division by zero flag.\n _Available since v3.4._" }, "id": 6878, "implemented": true, "kind": "function", "modifiers": [], "name": "tryDiv", "nameLocation": "1976:6:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6856, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6853, "mutability": "mutable", "name": "a", "nameLocation": "1991:1:37", "nodeType": "VariableDeclaration", "scope": 6878, "src": "1983:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6852, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1983:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6855, "mutability": "mutable", "name": "b", "nameLocation": "2002:1:37", "nodeType": "VariableDeclaration", "scope": 6878, "src": "1994:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6854, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1994:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1982:22:37" }, "returnParameters": { "id": 6861, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6858, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6878, "src": "2028:4:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 6857, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2028:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 6860, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6878, "src": "2034:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6859, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2034:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2027:15:37" }, "scope": 7057, "src": "1967:190:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 6905, "nodeType": "Block", "src": "2392:114:37", "statements": [ { "id": 6904, "nodeType": "UncheckedBlock", "src": "2402:98:37", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6892, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6890, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6883, "src": "2430:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 6891, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2435:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2430:6:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 6897, "nodeType": "IfStatement", "src": "2426:29:37", "trueBody": { "expression": { "components": [ { "hexValue": "66616c7365", "id": 6893, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2446:5:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "hexValue": "30", "id": 6894, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2453:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 6895, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2445:10:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 6889, "id": 6896, "nodeType": "Return", "src": "2438:17:37" } }, { "expression": { "components": [ { "hexValue": "74727565", "id": 6898, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2477:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6901, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6899, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6881, "src": "2483:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "id": 6900, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6883, "src": "2487:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2483:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 6902, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2476:13:37", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 6889, "id": 6903, "nodeType": "Return", "src": "2469:20:37" } ] } ] }, "documentation": { "id": 6879, "nodeType": "StructuredDocumentation", "src": "2163:148:37", "text": " @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.\n _Available since v3.4._" }, "id": 6906, "implemented": true, "kind": "function", "modifiers": [], "name": "tryMod", "nameLocation": "2325:6:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6884, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6881, "mutability": "mutable", "name": "a", "nameLocation": "2340:1:37", "nodeType": "VariableDeclaration", "scope": 6906, "src": "2332:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6880, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2332:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6883, "mutability": "mutable", "name": "b", "nameLocation": "2351:1:37", "nodeType": "VariableDeclaration", "scope": 6906, "src": "2343:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6882, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2343:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2331:22:37" }, "returnParameters": { "id": 6889, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6886, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6906, "src": "2377:4:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 6885, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2377:4:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "visibility": "internal" }, { "constant": false, "id": 6888, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6906, "src": "2383:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6887, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2383:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2376:15:37" }, "scope": 7057, "src": "2316:190:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 6920, "nodeType": "Block", "src": "2808:29:37", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6918, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6916, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6909, "src": "2825:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "id": 6917, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6911, "src": "2829:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2825:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6915, "id": 6919, "nodeType": "Return", "src": "2818:12:37" } ] }, "documentation": { "id": 6907, "nodeType": "StructuredDocumentation", "src": "2512:224:37", "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": 6921, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "nameLocation": "2750:3:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6912, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6909, "mutability": "mutable", "name": "a", "nameLocation": "2762:1:37", "nodeType": "VariableDeclaration", "scope": 6921, "src": "2754:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6908, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2754:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6911, "mutability": "mutable", "name": "b", "nameLocation": "2773:1:37", "nodeType": "VariableDeclaration", "scope": 6921, "src": "2765:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6910, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2765:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2753:22:37" }, "returnParameters": { "id": 6915, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6914, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6921, "src": "2799:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6913, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2799:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2798:9:37" }, "scope": 7057, "src": "2741:96:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 6935, "nodeType": "Block", "src": "3175:29:37", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6933, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6931, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6924, "src": "3192:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 6932, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6926, "src": "3196:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3192:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6930, "id": 6934, "nodeType": "Return", "src": "3185:12:37" } ] }, "documentation": { "id": 6922, "nodeType": "StructuredDocumentation", "src": "2843:260:37", "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": 6936, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nameLocation": "3117:3:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6927, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6924, "mutability": "mutable", "name": "a", "nameLocation": "3129:1:37", "nodeType": "VariableDeclaration", "scope": 6936, "src": "3121:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6923, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3121:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6926, "mutability": "mutable", "name": "b", "nameLocation": "3140:1:37", "nodeType": "VariableDeclaration", "scope": 6936, "src": "3132:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6925, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3132:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3120:22:37" }, "returnParameters": { "id": 6930, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6929, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6936, "src": "3166:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6928, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3166:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3165:9:37" }, "scope": 7057, "src": "3108:96:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 6950, "nodeType": "Block", "src": "3518:29:37", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6948, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6946, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6939, "src": "3535:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 6947, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6941, "src": "3539:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3535:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6945, "id": 6949, "nodeType": "Return", "src": "3528:12:37" } ] }, "documentation": { "id": 6937, "nodeType": "StructuredDocumentation", "src": "3210:236:37", "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": 6951, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "nameLocation": "3460:3:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6942, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6939, "mutability": "mutable", "name": "a", "nameLocation": "3472:1:37", "nodeType": "VariableDeclaration", "scope": 6951, "src": "3464:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6938, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3464:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6941, "mutability": "mutable", "name": "b", "nameLocation": "3483:1:37", "nodeType": "VariableDeclaration", "scope": 6951, "src": "3475:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6940, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3475:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3463:22:37" }, "returnParameters": { "id": 6945, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6944, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6951, "src": "3509:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6943, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3509:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3508:9:37" }, "scope": 7057, "src": "3451:96:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 6965, "nodeType": "Block", "src": "3903:29:37", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6963, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6961, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6954, "src": "3920:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 6962, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6956, "src": "3924:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3920:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6960, "id": 6964, "nodeType": "Return", "src": "3913:12:37" } ] }, "documentation": { "id": 6952, "nodeType": "StructuredDocumentation", "src": "3553:278:37", "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": 6966, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nameLocation": "3845:3:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6957, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6954, "mutability": "mutable", "name": "a", "nameLocation": "3857:1:37", "nodeType": "VariableDeclaration", "scope": 6966, "src": "3849:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6953, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3849:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6956, "mutability": "mutable", "name": "b", "nameLocation": "3868:1:37", "nodeType": "VariableDeclaration", "scope": 6966, "src": "3860:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6955, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3860:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3848:22:37" }, "returnParameters": { "id": 6960, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6959, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6966, "src": "3894:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6958, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3894:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3893:9:37" }, "scope": 7057, "src": "3836:96:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 6980, "nodeType": "Block", "src": "4452:29:37", "statements": [ { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6978, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6976, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6969, "src": "4469:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "id": 6977, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6971, "src": "4473:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4469:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6975, "id": 6979, "nodeType": "Return", "src": "4462:12:37" } ] }, "documentation": { "id": 6967, "nodeType": "StructuredDocumentation", "src": "3938:442:37", "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": 6981, "implemented": true, "kind": "function", "modifiers": [], "name": "mod", "nameLocation": "4394:3:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6972, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6969, "mutability": "mutable", "name": "a", "nameLocation": "4406:1:37", "nodeType": "VariableDeclaration", "scope": 6981, "src": "4398:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6968, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4398:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6971, "mutability": "mutable", "name": "b", "nameLocation": "4417:1:37", "nodeType": "VariableDeclaration", "scope": 6981, "src": "4409:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6970, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4409:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4397:22:37" }, "returnParameters": { "id": 6975, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6974, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 6981, "src": "4443:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6973, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4443:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4442:9:37" }, "scope": 7057, "src": "4385:96:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 7005, "nodeType": "Block", "src": "5070:106:37", "statements": [ { "id": 7004, "nodeType": "UncheckedBlock", "src": "5080:90:37", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 6996, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 6994, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6986, "src": "5112:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "id": 6995, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6984, "src": "5117:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5112:6:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 6997, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6988, "src": "5120:12:37", "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": 6993, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "5104:7:37", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 6998, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5104:29:37", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 6999, "nodeType": "ExpressionStatement", "src": "5104:29:37" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7002, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 7000, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6984, "src": "5154:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 7001, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6986, "src": "5158:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5154:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 6992, "id": 7003, "nodeType": "Return", "src": "5147:12:37" } ] } ] }, "documentation": { "id": 6982, "nodeType": "StructuredDocumentation", "src": "4487:453:37", "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": 7006, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nameLocation": "4954:3:37", "nodeType": "FunctionDefinition", "parameters": { "id": 6989, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6984, "mutability": "mutable", "name": "a", "nameLocation": "4975:1:37", "nodeType": "VariableDeclaration", "scope": 7006, "src": "4967:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6983, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4967:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6986, "mutability": "mutable", "name": "b", "nameLocation": "4994:1:37", "nodeType": "VariableDeclaration", "scope": 7006, "src": "4986:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6985, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4986:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 6988, "mutability": "mutable", "name": "errorMessage", "nameLocation": "5019:12:37", "nodeType": "VariableDeclaration", "scope": 7006, "src": "5005:26:37", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 6987, "name": "string", "nodeType": "ElementaryTypeName", "src": "5005:6:37", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "4957:80:37" }, "returnParameters": { "id": 6992, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 6991, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 7006, "src": "5061:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6990, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5061:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "5060:9:37" }, "scope": 7057, "src": "4945:231:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 7030, "nodeType": "Block", "src": "5785:105:37", "statements": [ { "id": 7029, "nodeType": "UncheckedBlock", "src": "5795:89:37", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7021, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 7019, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7011, "src": "5827:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 7020, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "5831:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "5827:5:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 7022, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7013, "src": "5834:12:37", "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": 7018, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "5819:7:37", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 7023, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5819:28:37", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 7024, "nodeType": "ExpressionStatement", "src": "5819:28:37" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7027, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 7025, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7009, "src": "5868:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 7026, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7011, "src": "5872:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5868:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 7017, "id": 7028, "nodeType": "Return", "src": "5861:12:37" } ] } ] }, "documentation": { "id": 7007, "nodeType": "StructuredDocumentation", "src": "5182:473:37", "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": 7031, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nameLocation": "5669:3:37", "nodeType": "FunctionDefinition", "parameters": { "id": 7014, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 7009, "mutability": "mutable", "name": "a", "nameLocation": "5690:1:37", "nodeType": "VariableDeclaration", "scope": 7031, "src": "5682:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7008, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5682:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 7011, "mutability": "mutable", "name": "b", "nameLocation": "5709:1:37", "nodeType": "VariableDeclaration", "scope": 7031, "src": "5701:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7010, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5701:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 7013, "mutability": "mutable", "name": "errorMessage", "nameLocation": "5734:12:37", "nodeType": "VariableDeclaration", "scope": 7031, "src": "5720:26:37", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 7012, "name": "string", "nodeType": "ElementaryTypeName", "src": "5720:6:37", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "5672:80:37" }, "returnParameters": { "id": 7017, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 7016, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 7031, "src": "5776:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7015, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5776:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "5775:9:37" }, "scope": 7057, "src": "5660:230:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 7055, "nodeType": "Block", "src": "6661:105:37", "statements": [ { "id": 7054, "nodeType": "UncheckedBlock", "src": "6671:89:37", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7046, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 7044, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7036, "src": "6703:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 7045, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6707:1:37", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "6703:5:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 7047, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7038, "src": "6710:12:37", "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": 7043, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "6695:7:37", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 7048, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6695:28:37", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 7049, "nodeType": "ExpressionStatement", "src": "6695:28:37" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7052, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 7050, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7034, "src": "6744:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "id": 7051, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7036, "src": "6748:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6744:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 7042, "id": 7053, "nodeType": "Return", "src": "6737:12:37" } ] } ] }, "documentation": { "id": 7032, "nodeType": "StructuredDocumentation", "src": "5896:635:37", "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": 7056, "implemented": true, "kind": "function", "modifiers": [], "name": "mod", "nameLocation": "6545:3:37", "nodeType": "FunctionDefinition", "parameters": { "id": 7039, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 7034, "mutability": "mutable", "name": "a", "nameLocation": "6566:1:37", "nodeType": "VariableDeclaration", "scope": 7056, "src": "6558:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7033, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6558:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 7036, "mutability": "mutable", "name": "b", "nameLocation": "6585:1:37", "nodeType": "VariableDeclaration", "scope": 7056, "src": "6577:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7035, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6577:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 7038, "mutability": "mutable", "name": "errorMessage", "nameLocation": "6610:12:37", "nodeType": "VariableDeclaration", "scope": 7056, "src": "6596:26:37", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 7037, "name": "string", "nodeType": "ElementaryTypeName", "src": "6596:6:37", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "6548:80:37" }, "returnParameters": { "id": 7042, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 7041, "mutability": "mutable", "name": "", "nameLocation": "-1:-1:-1", "nodeType": "VariableDeclaration", "scope": 7056, "src": "6652:7:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7040, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6652:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "6651:9:37" }, "scope": 7057, "src": "6536:230:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 7058, "src": "467:6301:37", "usedErrors": [] } ], "src": "92:6677:37" }, "compiler": { "name": "solc", "version": "0.8.11+commit.d7f03943.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.4.4", "updatedAt": "2022-03-06T23:47:11.073Z", "devdoc": { "details": "Wrappers over Solidity's arithmetic operations. NOTE: `SafeMath` is generally not needed starting with Solidity 0.8, since the compiler now has built in overflow checking.", "kind": "dev", "methods": {}, "version": 1 }, "userdoc": { "kind": "user", "methods": {}, "version": 1 } }