{ "contractName": "SafeMath", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.6.10+commit.00c0fcaf\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"details\":\"Wrappers over Solidity's arithmetic operations with added overflow checks. Arithmetic operations in Solidity wrap on overflow. This can easily result in bugs, because programmers usually assume that an overflow raises an error, which is the standard behavior in high level programming languages. `SafeMath` restores this intuition by reverting the transaction when an operation overflows. Using this library instead of the unchecked operations eliminates an entire class of bugs, so it's recommended to use it always.\",\"methods\":{}},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"@openzeppelin/contracts/math/SafeMath.sol\":\"SafeMath\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":2000000},\"remappings\":[]},\"sources\":{\"@openzeppelin/contracts/math/SafeMath.sol\":{\"keccak256\":\"0xcc78a17dd88fa5a2edc60c8489e2f405c0913b377216a5b26b35656b2d0dab52\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://526dc85e1f9b9b45830e202568d267d93dde7a4fcccf4ad7798dadcd92304d3c\",\"dweb:/ipfs/QmaoXMB972J3cSDLtBq3xBo4jLwqD2uzXTwujtSPqkYVhR\"]}},\"version\":1}", "bytecode": "0x60566023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea26469706673582212205f8f45509bd389ff1465424e0fdc3cb87b52daef4aebd63f59060cc6387a44f564736f6c634300060a0033", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea26469706673582212205f8f45509bd389ff1465424e0fdc3cb87b52daef4aebd63f59060cc6387a44f564736f6c634300060a0033", "immutableReferences": {}, "sourceMap": "630:6594:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;", "deployedSourceMap": "630:6594:0:-:0;;;;;;;;", "source": "// SPDX-License-Identifier: MIT\n\npragma solidity >=0.6.0 <0.8.0;\n\n/**\n * @dev Wrappers over Solidity's arithmetic operations with added overflow\n * checks.\n *\n * Arithmetic operations in Solidity wrap on overflow. This can easily result\n * in bugs, because programmers usually assume that an overflow raises an\n * error, which is the standard behavior in high level programming languages.\n * `SafeMath` restores this intuition by reverting the transaction when an\n * operation overflows.\n *\n * Using this library instead of the unchecked operations eliminates an entire\n * class of bugs, so it's recommended to use it always.\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 uint256 c = a + b;\n if (c < a) return (false, 0);\n return (true, c);\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 if (b > a) return (false, 0);\n return (true, a - b);\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 // 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 * @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 if (b == 0) return (false, 0);\n return (true, a / b);\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 if (b == 0) return (false, 0);\n return (true, a % b);\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 uint256 c = a + b;\n require(c >= a, \"SafeMath: addition overflow\");\n return c;\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 require(b <= a, \"SafeMath: subtraction overflow\");\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 if (a == 0) return 0;\n uint256 c = a * b;\n require(c / a == b, \"SafeMath: multiplication overflow\");\n return c;\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. 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(uint256 a, uint256 b) internal pure returns (uint256) {\n require(b > 0, \"SafeMath: division by zero\");\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 require(b > 0, \"SafeMath: modulo by zero\");\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(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {\n require(b <= a, errorMessage);\n return a - b;\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 * CAUTION: This function is deprecated because it requires allocating memory for the error\n * message unnecessarily. For custom revert reasons use {tryDiv}.\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(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {\n require(b > 0, errorMessage);\n return a / b;\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(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {\n require(b > 0, errorMessage);\n return a % b;\n }\n}\n", "sourcePath": "@openzeppelin/contracts/math/SafeMath.sol", "ast": { "absolutePath": "@openzeppelin/contracts/math/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 354 ] }, "id": 355, "license": "MIT", "nodeType": "SourceUnit", "nodes": [ { "id": 1, "literals": [ "solidity", ">=", "0.6", ".0", "<", "0.8", ".0" ], "nodeType": "PragmaDirective", "src": "33:31:0" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 2, "nodeType": "StructuredDocumentation", "src": "66:563:0", "text": " @dev Wrappers over Solidity's arithmetic operations with added overflow\n checks.\n Arithmetic operations in Solidity wrap on overflow. This can easily result\n in bugs, because programmers usually assume that an overflow raises an\n error, which is the standard behavior in high level programming languages.\n `SafeMath` restores this intuition by reverting the transaction when an\n operation overflows.\n Using this library instead of the unchecked operations eliminates an entire\n class of bugs, so it's recommended to use it always." }, "fullyImplemented": true, "id": 354, "linearizedBaseContracts": [ 354 ], "name": "SafeMath", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 32, "nodeType": "Block", "src": "865:98:0", "statements": [ { "assignments": [ 15 ], "declarations": [ { "constant": false, "id": 15, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 32, "src": "875:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 14, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "875:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 19, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 18, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 16, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5, "src": "887:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 17, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7, "src": "891:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "887:5:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "875:17:0" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 22, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 20, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15, "src": "906:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 21, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5, "src": "910:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "906:5:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 27, "nodeType": "IfStatement", "src": "902:28:0", "trueBody": { "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "hexValue": "66616c7365", "id": 23, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "921:5:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "argumentTypes": null, "hexValue": "30", "id": 24, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "928:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 25, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "920:10:0", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 13, "id": 26, "nodeType": "Return", "src": "913:17:0" } }, { "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "hexValue": "74727565", "id": 28, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "948:4:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "argumentTypes": null, "id": 29, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15, "src": "954:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 30, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "947:9:0", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 13, "id": 31, "nodeType": "Return", "src": "940:16:0" } ] }, "documentation": { "id": 3, "nodeType": "StructuredDocumentation", "src": "653:131:0", "text": " @dev Returns the addition of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "id": 33, "implemented": true, "kind": "function", "modifiers": [], "name": "tryAdd", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 8, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 33, "src": "805:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "805:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 7, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 33, "src": "816:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 6, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "816:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "804:22:0" }, "returnParameters": { "id": 13, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 10, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 33, "src": "850:4:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 9, "name": "bool", "nodeType": "ElementaryTypeName", "src": "850:4:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 12, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 33, "src": "856:7:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 11, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "856:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "849:15:0" }, "scope": 354, "src": "789:174:0", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 59, "nodeType": "Block", "src": "1185:75:0", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 47, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 45, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38, "src": "1199:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 46, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 36, "src": "1203:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1199:5:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 52, "nodeType": "IfStatement", "src": "1195:28:0", "trueBody": { "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "hexValue": "66616c7365", "id": 48, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1214:5:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "argumentTypes": null, "hexValue": "30", "id": 49, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1221:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 50, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1213:10:0", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 44, "id": 51, "nodeType": "Return", "src": "1206:17:0" } }, { "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "hexValue": "74727565", "id": 53, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1241:4:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 56, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 54, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 36, "src": "1247:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 55, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 38, "src": "1251:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1247:5:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 57, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1240:13:0", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 44, "id": 58, "nodeType": "Return", "src": "1233:20:0" } ] }, "documentation": { "id": 34, "nodeType": "StructuredDocumentation", "src": "969:135:0", "text": " @dev Returns the substraction of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "id": 60, "implemented": true, "kind": "function", "modifiers": [], "name": "trySub", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 39, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 36, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 60, "src": "1125:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 35, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1125:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 38, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 60, "src": "1136:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 37, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1136:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1124:22:0" }, "returnParameters": { "id": 44, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 41, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 60, "src": "1170:4:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 40, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1170:4:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 43, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 60, "src": "1176:7:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 42, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1176:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1169:15:0" }, "scope": 354, "src": "1109:151:0", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 100, "nodeType": "Block", "src": "1484:359:0", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 74, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 72, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 63, "src": "1716:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 73, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1721:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1716:6:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 79, "nodeType": "IfStatement", "src": "1712:28:0", "trueBody": { "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "hexValue": "74727565", "id": 75, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1732:4:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "argumentTypes": null, "hexValue": "30", "id": 76, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1738:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 77, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1731:9:0", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 71, "id": 78, "nodeType": "Return", "src": "1724:16:0" } }, { "assignments": [ 81 ], "declarations": [ { "constant": false, "id": 81, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 100, "src": "1750:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 80, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1750:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 85, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 84, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 82, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 63, "src": "1762:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 83, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 65, "src": "1766:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1762:5:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1750:17:0" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 90, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 88, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 86, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 81, "src": "1781:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 87, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 63, "src": "1785:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1781:5:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "id": 89, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 65, "src": "1790:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1781:10:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 95, "nodeType": "IfStatement", "src": "1777:33:0", "trueBody": { "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "hexValue": "66616c7365", "id": 91, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1801:5:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "argumentTypes": null, "hexValue": "30", "id": 92, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1808:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 93, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1800:10:0", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 71, "id": 94, "nodeType": "Return", "src": "1793:17:0" } }, { "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "hexValue": "74727565", "id": 96, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "1828:4:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "argumentTypes": null, "id": 97, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 81, "src": "1834:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 98, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1827:9:0", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 71, "id": 99, "nodeType": "Return", "src": "1820:16:0" } ] }, "documentation": { "id": 61, "nodeType": "StructuredDocumentation", "src": "1266:137:0", "text": " @dev Returns the multiplication of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "id": 101, "implemented": true, "kind": "function", "modifiers": [], "name": "tryMul", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 66, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 63, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 101, "src": "1424:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 62, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1424:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 65, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 101, "src": "1435:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 64, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1435:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1423:22:0" }, "returnParameters": { "id": 71, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 68, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 101, "src": "1469:4:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 67, "name": "bool", "nodeType": "ElementaryTypeName", "src": "1469:4:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 70, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 101, "src": "1475:7:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 69, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1475:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1468:15:0" }, "scope": 354, "src": "1408:435:0", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 127, "nodeType": "Block", "src": "2068:76:0", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 115, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 113, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 106, "src": "2082:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 114, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2087:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2082:6:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 120, "nodeType": "IfStatement", "src": "2078:29:0", "trueBody": { "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "hexValue": "66616c7365", "id": 116, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2098:5:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "argumentTypes": null, "hexValue": "30", "id": 117, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2105:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 118, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2097:10:0", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 112, "id": 119, "nodeType": "Return", "src": "2090:17:0" } }, { "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "hexValue": "74727565", "id": 121, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2125:4:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 124, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 122, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 104, "src": "2131:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 123, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 106, "src": "2135:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2131:5:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 125, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2124:13:0", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 112, "id": 126, "nodeType": "Return", "src": "2117:20:0" } ] }, "documentation": { "id": 102, "nodeType": "StructuredDocumentation", "src": "1849:138:0", "text": " @dev Returns the division of two unsigned integers, with a division by zero flag.\n _Available since v3.4._" }, "id": 128, "implemented": true, "kind": "function", "modifiers": [], "name": "tryDiv", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 107, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 104, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 128, "src": "2008:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 103, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2008:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 106, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 128, "src": "2019:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 105, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2019:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2007:22:0" }, "returnParameters": { "id": 112, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 109, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 128, "src": "2053:4:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 108, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2053:4:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 111, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 128, "src": "2059:7:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 110, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2059:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2052:15:0" }, "scope": 354, "src": "1992:152:0", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 154, "nodeType": "Block", "src": "2379:76:0", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 142, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 140, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 133, "src": "2393:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 141, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2398:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2393:6:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 147, "nodeType": "IfStatement", "src": "2389:29:0", "trueBody": { "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "hexValue": "66616c7365", "id": 143, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2409:5:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "false" }, { "argumentTypes": null, "hexValue": "30", "id": 144, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2416:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "id": 145, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2408:10:0", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_rational_0_by_1_$", "typeString": "tuple(bool,int_const 0)" } }, "functionReturnParameters": 139, "id": 146, "nodeType": "Return", "src": "2401:17:0" } }, { "expression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "hexValue": "74727565", "id": 148, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2436:4:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 151, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 149, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 131, "src": "2442:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 150, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 133, "src": "2446:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2442:5:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 152, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2435:13:0", "typeDescriptions": { "typeIdentifier": "t_tuple$_t_bool_$_t_uint256_$", "typeString": "tuple(bool,uint256)" } }, "functionReturnParameters": 139, "id": 153, "nodeType": "Return", "src": "2428:20:0" } ] }, "documentation": { "id": 129, "nodeType": "StructuredDocumentation", "src": "2150:148:0", "text": " @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.\n _Available since v3.4._" }, "id": 155, "implemented": true, "kind": "function", "modifiers": [], "name": "tryMod", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 134, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 131, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 155, "src": "2319:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 130, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2319:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 133, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 155, "src": "2330:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 132, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2330:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2318:22:0" }, "returnParameters": { "id": 139, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 136, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 155, "src": "2364:4:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 135, "name": "bool", "nodeType": "ElementaryTypeName", "src": "2364:4:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 138, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 155, "src": "2370:7:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 137, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2370:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2363:15:0" }, "scope": 354, "src": "2303:152:0", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 180, "nodeType": "Block", "src": "2757:108:0", "statements": [ { "assignments": [ 166 ], "declarations": [ { "constant": false, "id": 166, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 180, "src": "2767:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 165, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2767:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 170, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 169, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 167, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 158, "src": "2779:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 168, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 160, "src": "2783:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2779:5:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2767:17:0" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 174, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 172, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 166, "src": "2802:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 173, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 158, "src": "2807:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2802:6:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "536166654d6174683a206164646974696f6e206f766572666c6f77", "id": 175, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2810:29:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_30cc447bcc13b3e22b45cef0dd9b0b514842d836dd9b6eb384e20dedfb47723a", "typeString": "literal_string \"SafeMath: addition overflow\"" }, "value": "SafeMath: addition overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_30cc447bcc13b3e22b45cef0dd9b0b514842d836dd9b6eb384e20dedfb47723a", "typeString": "literal_string \"SafeMath: addition overflow\"" } ], "id": 171, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "2794:7:0", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 176, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2794:46:0", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 177, "nodeType": "ExpressionStatement", "src": "2794:46:0" }, { "expression": { "argumentTypes": null, "id": 178, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 166, "src": "2857:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 164, "id": 179, "nodeType": "Return", "src": "2850:8:0" } ] }, "documentation": { "id": 156, "nodeType": "StructuredDocumentation", "src": "2461:224:0", "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": 181, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 161, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 158, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 181, "src": "2703:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 157, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2703:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 160, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 181, "src": "2714:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 159, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2714:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2702:22:0" }, "returnParameters": { "id": 164, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 163, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 181, "src": "2748:7:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 162, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2748:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2747:9:0" }, "scope": 354, "src": "2690:175:0", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 202, "nodeType": "Block", "src": "3203:88:0", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 194, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 192, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 186, "src": "3221:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 193, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 184, "src": "3226:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3221:6:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "536166654d6174683a207375627472616374696f6e206f766572666c6f77", "id": 195, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "3229:32:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_50b058e9b5320e58880d88223c9801cd9eecdcf90323d5c2318bc1b6b916e862", "typeString": "literal_string \"SafeMath: subtraction overflow\"" }, "value": "SafeMath: subtraction overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_50b058e9b5320e58880d88223c9801cd9eecdcf90323d5c2318bc1b6b916e862", "typeString": "literal_string \"SafeMath: subtraction overflow\"" } ], "id": 191, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "3213:7:0", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 196, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3213:49:0", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 197, "nodeType": "ExpressionStatement", "src": "3213:49:0" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 200, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 198, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 184, "src": "3279:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 199, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 186, "src": "3283:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3279:5:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 190, "id": 201, "nodeType": "Return", "src": "3272:12:0" } ] }, "documentation": { "id": 182, "nodeType": "StructuredDocumentation", "src": "2871:260:0", "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": 203, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 187, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 184, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 203, "src": "3149:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 183, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3149:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 186, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 203, "src": "3160:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 185, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3160:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3148:22:0" }, "returnParameters": { "id": 190, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 189, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 203, "src": "3194:7:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 188, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3194:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3193:9:0" }, "scope": 354, "src": "3136:155:0", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 236, "nodeType": "Block", "src": "3605:148:0", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 215, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 213, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 206, "src": "3619:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 214, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3624:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3619:6:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 218, "nodeType": "IfStatement", "src": "3615:20:0", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "30", "id": 216, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3634:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 212, "id": 217, "nodeType": "Return", "src": "3627:8:0" } }, { "assignments": [ 220 ], "declarations": [ { "constant": false, "id": 220, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 236, "src": "3645:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 219, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3645:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 224, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 223, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 221, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 206, "src": "3657:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 222, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 208, "src": "3661:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3657:5:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "3645:17:0" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 230, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 228, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 226, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 220, "src": "3680:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 227, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 206, "src": "3684:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3680:5:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 229, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 208, "src": "3689:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3680:10:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77", "id": 231, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "3692:35:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_9113bb53c2876a3805b2c9242029423fc540a728243ce887ab24c82cf119fba3", "typeString": "literal_string \"SafeMath: multiplication overflow\"" }, "value": "SafeMath: multiplication overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_9113bb53c2876a3805b2c9242029423fc540a728243ce887ab24c82cf119fba3", "typeString": "literal_string \"SafeMath: multiplication overflow\"" } ], "id": 225, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "3672:7:0", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 232, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3672:56:0", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 233, "nodeType": "ExpressionStatement", "src": "3672:56:0" }, { "expression": { "argumentTypes": null, "id": 234, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 220, "src": "3745:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 212, "id": 235, "nodeType": "Return", "src": "3738:8:0" } ] }, "documentation": { "id": 204, "nodeType": "StructuredDocumentation", "src": "3297:236:0", "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": 237, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 209, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 206, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 237, "src": "3551:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 205, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3551:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 208, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 237, "src": "3562:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 207, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3562:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3550:22:0" }, "returnParameters": { "id": 212, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 211, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 237, "src": "3596:7:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 210, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3596:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3595:9:0" }, "scope": 354, "src": "3538:215:0", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 258, "nodeType": "Block", "src": "4284:83:0", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 250, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 248, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 242, "src": "4302:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 249, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4306:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "4302:5:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "536166654d6174683a206469766973696f6e206279207a65726f", "id": 251, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "4309:28:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_5b7cc70dda4dc2143e5adb63bd5d1f349504f461dbdfd9bc76fac1f8ca6d019f", "typeString": "literal_string \"SafeMath: division by zero\"" }, "value": "SafeMath: division by zero" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_5b7cc70dda4dc2143e5adb63bd5d1f349504f461dbdfd9bc76fac1f8ca6d019f", "typeString": "literal_string \"SafeMath: division by zero\"" } ], "id": 247, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "4294:7:0", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 252, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4294:44:0", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 253, "nodeType": "ExpressionStatement", "src": "4294:44:0" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 256, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 254, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 240, "src": "4355:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 255, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 242, "src": "4359:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4355:5:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 246, "id": 257, "nodeType": "Return", "src": "4348:12:0" } ] }, "documentation": { "id": 238, "nodeType": "StructuredDocumentation", "src": "3759:453:0", "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. 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": 259, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 243, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 240, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 259, "src": "4230:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 239, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4230:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 242, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 259, "src": "4241:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 241, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4241:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4229:22:0" }, "returnParameters": { "id": 246, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 245, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 259, "src": "4275:7:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 244, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4275:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4274:9:0" }, "scope": 354, "src": "4217:150:0", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 280, "nodeType": "Block", "src": "4887:81:0", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 272, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 270, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 264, "src": "4905:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 271, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "4909:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "4905:5:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "536166654d6174683a206d6f64756c6f206279207a65726f", "id": 273, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "4912:26:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_726e51f7b81fce0a68f5f214f445e275313b20b1633f08ce954ee39abf8d7832", "typeString": "literal_string \"SafeMath: modulo by zero\"" }, "value": "SafeMath: modulo by zero" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_726e51f7b81fce0a68f5f214f445e275313b20b1633f08ce954ee39abf8d7832", "typeString": "literal_string \"SafeMath: modulo by zero\"" } ], "id": 269, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "4897:7:0", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 274, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4897:42:0", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 275, "nodeType": "ExpressionStatement", "src": "4897:42:0" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 278, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 276, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 262, "src": "4956:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 277, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 264, "src": "4960:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "4956:5:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 268, "id": 279, "nodeType": "Return", "src": "4949:12:0" } ] }, "documentation": { "id": 260, "nodeType": "StructuredDocumentation", "src": "4373:442:0", "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": 281, "implemented": true, "kind": "function", "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 265, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 262, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 281, "src": "4833:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 261, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4833:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 264, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 281, "src": "4844:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 263, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4844:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4832:22:0" }, "returnParameters": { "id": 268, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 267, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 281, "src": "4878:7:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 266, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4878:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "4877:9:0" }, "scope": 354, "src": "4820:148:0", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 304, "nodeType": "Block", "src": "5527:68:0", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 296, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 294, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 286, "src": "5545:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 295, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 284, "src": "5550:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5545:6:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 297, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 288, "src": "5553:12:0", "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": 293, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "5537:7:0", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 298, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5537:29:0", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 299, "nodeType": "ExpressionStatement", "src": "5537:29:0" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 302, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 300, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 284, "src": "5583:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 301, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 286, "src": "5587:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5583:5:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 292, "id": 303, "nodeType": "Return", "src": "5576:12:0" } ] }, "documentation": { "id": 282, "nodeType": "StructuredDocumentation", "src": "4974:453:0", "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": 305, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 289, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 284, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 305, "src": "5445:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 283, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5445:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 286, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 305, "src": "5456:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 285, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5456:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 288, "mutability": "mutable", "name": "errorMessage", "nodeType": "VariableDeclaration", "overrides": null, "scope": 305, "src": "5467:26:0", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 287, "name": "string", "nodeType": "ElementaryTypeName", "src": "5467:6:0", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": null, "visibility": "internal" } ], "src": "5444:50:0" }, "returnParameters": { "id": 292, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 291, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 305, "src": "5518:7:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 290, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5518:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "5517:9:0" }, "scope": 354, "src": "5432:163:0", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 328, "nodeType": "Block", "src": "6347:67:0", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 320, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 318, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 310, "src": "6365:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 319, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "6369:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "6365:5:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 321, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 312, "src": "6372:12:0", "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": 317, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "6357:7:0", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 322, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "6357:28:0", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 323, "nodeType": "ExpressionStatement", "src": "6357:28:0" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 326, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 324, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 308, "src": "6402:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 325, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 310, "src": "6406:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "6402:5:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 316, "id": 327, "nodeType": "Return", "src": "6395:12:0" } ] }, "documentation": { "id": 306, "nodeType": "StructuredDocumentation", "src": "5601:646:0", "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 CAUTION: This function is deprecated because it requires allocating memory for the error\n message unnecessarily. For custom revert reasons use {tryDiv}.\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": 329, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 313, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 308, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 329, "src": "6265:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 307, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6265:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 310, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 329, "src": "6276:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 309, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6276:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 312, "mutability": "mutable", "name": "errorMessage", "nodeType": "VariableDeclaration", "overrides": null, "scope": 329, "src": "6287:26:0", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 311, "name": "string", "nodeType": "ElementaryTypeName", "src": "6287:6:0", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": null, "visibility": "internal" } ], "src": "6264:50:0" }, "returnParameters": { "id": 316, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 315, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 329, "src": "6338:7:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 314, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "6338:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "6337:9:0" }, "scope": 354, "src": "6252:162:0", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 352, "nodeType": "Block", "src": "7155:67:0", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 344, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 342, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 334, "src": "7173:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 343, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "7177:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "7173:5:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "id": 345, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 336, "src": "7180:12:0", "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": 341, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "7165:7:0", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 346, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "7165:28:0", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 347, "nodeType": "ExpressionStatement", "src": "7165:28:0" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 350, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 348, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 332, "src": "7210:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 349, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 334, "src": "7214:1:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "7210:5:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 340, "id": 351, "nodeType": "Return", "src": "7203:12:0" } ] }, "documentation": { "id": 330, "nodeType": "StructuredDocumentation", "src": "6420:635:0", "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": 353, "implemented": true, "kind": "function", "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 337, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 332, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 353, "src": "7073:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 331, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "7073:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 334, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 353, "src": "7084:9:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 333, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "7084:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 336, "mutability": "mutable", "name": "errorMessage", "nodeType": "VariableDeclaration", "overrides": null, "scope": 353, "src": "7095:26:0", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 335, "name": "string", "nodeType": "ElementaryTypeName", "src": "7095:6:0", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "value": null, "visibility": "internal" } ], "src": "7072:50:0" }, "returnParameters": { "id": 340, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 339, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 353, "src": "7146:7:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 338, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "7146:7:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "7145:9:0" }, "scope": 354, "src": "7060:162:0", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 355, "src": "630:6594:0" } ], "src": "33:7192:0" }, "legacyAST": { "attributes": { "absolutePath": "@openzeppelin/contracts/math/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 354 ] }, "license": "MIT" }, "children": [ { "attributes": { "literals": [ "solidity", ">=", "0.6", ".0", "<", "0.8", ".0" ] }, "id": 1, "name": "PragmaDirective", "src": "33:31:0" }, { "attributes": { "abstract": false, "baseContracts": [ null ], "contractDependencies": [ null ], "contractKind": "library", "fullyImplemented": true, "linearizedBaseContracts": [ 354 ], "name": "SafeMath", "scope": 355 }, "children": [ { "attributes": { "text": " @dev Wrappers over Solidity's arithmetic operations with added overflow\n checks.\n Arithmetic operations in Solidity wrap on overflow. This can easily result\n in bugs, because programmers usually assume that an overflow raises an\n error, which is the standard behavior in high level programming languages.\n `SafeMath` restores this intuition by reverting the transaction when an\n operation overflows.\n Using this library instead of the unchecked operations eliminates an entire\n class of bugs, so it's recommended to use it always." }, "id": 2, "name": "StructuredDocumentation", "src": "66:563:0" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "tryAdd", "overrides": null, "scope": 354, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "text": " @dev Returns the addition of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "id": 3, "name": "StructuredDocumentation", "src": "653:131:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "overrides": null, "scope": 33, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 4, "name": "ElementaryTypeName", "src": "805:7:0" } ], "id": 5, "name": "VariableDeclaration", "src": "805:9:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "overrides": null, "scope": 33, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 6, "name": "ElementaryTypeName", "src": "816:7:0" } ], "id": 7, "name": "VariableDeclaration", "src": "816:9:0" } ], "id": 8, "name": "ParameterList", "src": "804:22:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 33, "stateVariable": false, "storageLocation": "default", "type": "bool", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "bool", "type": "bool" }, "id": 9, "name": "ElementaryTypeName", "src": "850:4:0" } ], "id": 10, "name": "VariableDeclaration", "src": "850:4:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 33, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 11, "name": "ElementaryTypeName", "src": "856:7:0" } ], "id": 12, "name": "VariableDeclaration", "src": "856:7:0" } ], "id": 13, "name": "ParameterList", "src": "849:15:0" }, { "children": [ { "attributes": { "assignments": [ 15 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "c", "overrides": null, "scope": 32, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 14, "name": "ElementaryTypeName", "src": "875:7:0" } ], "id": 15, "name": "VariableDeclaration", "src": "875:9:0" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 5, "type": "uint256", "value": "a" }, "id": 16, "name": "Identifier", "src": "887:1:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7, "type": "uint256", "value": "b" }, "id": 17, "name": "Identifier", "src": "891:1:0" } ], "id": 18, "name": "BinaryOperation", "src": "887:5:0" } ], "id": 19, "name": "VariableDeclarationStatement", "src": "875:17:0" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 15, "type": "uint256", "value": "c" }, "id": 20, "name": "Identifier", "src": "906:1:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 5, "type": "uint256", "value": "a" }, "id": 21, "name": "Identifier", "src": "910:1:0" } ], "id": 22, "name": "BinaryOperation", "src": "906:5:0" }, { "attributes": { "functionReturnParameters": 13 }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "tuple(bool,int_const 0)" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "66616c7365", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "bool", "type": "bool", "value": "false" }, "id": 23, "name": "Literal", "src": "921:5:0" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 24, "name": "Literal", "src": "928:1:0" } ], "id": 25, "name": "TupleExpression", "src": "920:10:0" } ], "id": 26, "name": "Return", "src": "913:17:0" } ], "id": 27, "name": "IfStatement", "src": "902:28:0" }, { "attributes": { "functionReturnParameters": 13 }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "tuple(bool,uint256)" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "74727565", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "bool", "type": "bool", "value": "true" }, "id": 28, "name": "Literal", "src": "948:4:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 15, "type": "uint256", "value": "c" }, "id": 29, "name": "Identifier", "src": "954:1:0" } ], "id": 30, "name": "TupleExpression", "src": "947:9:0" } ], "id": 31, "name": "Return", "src": "940:16:0" } ], "id": 32, "name": "Block", "src": "865:98:0" } ], "id": 33, "name": "FunctionDefinition", "src": "789:174:0" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "trySub", "overrides": null, "scope": 354, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "text": " @dev Returns the substraction of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "id": 34, "name": "StructuredDocumentation", "src": "969:135:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "overrides": null, "scope": 60, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 35, "name": "ElementaryTypeName", "src": "1125:7:0" } ], "id": 36, "name": "VariableDeclaration", "src": "1125:9:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "overrides": null, "scope": 60, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 37, "name": "ElementaryTypeName", "src": "1136:7:0" } ], "id": 38, "name": "VariableDeclaration", "src": "1136:9:0" } ], "id": 39, "name": "ParameterList", "src": "1124:22:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 60, "stateVariable": false, "storageLocation": "default", "type": "bool", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "bool", "type": "bool" }, "id": 40, "name": "ElementaryTypeName", "src": "1170:4:0" } ], "id": 41, "name": "VariableDeclaration", "src": "1170:4:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 60, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 42, "name": "ElementaryTypeName", "src": "1176:7:0" } ], "id": 43, "name": "VariableDeclaration", "src": "1176:7:0" } ], "id": 44, "name": "ParameterList", "src": "1169:15:0" }, { "children": [ { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 38, "type": "uint256", "value": "b" }, "id": 45, "name": "Identifier", "src": "1199:1:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 36, "type": "uint256", "value": "a" }, "id": 46, "name": "Identifier", "src": "1203:1:0" } ], "id": 47, "name": "BinaryOperation", "src": "1199:5:0" }, { "attributes": { "functionReturnParameters": 44 }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "tuple(bool,int_const 0)" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "66616c7365", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "bool", "type": "bool", "value": "false" }, "id": 48, "name": "Literal", "src": "1214:5:0" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 49, "name": "Literal", "src": "1221:1:0" } ], "id": 50, "name": "TupleExpression", "src": "1213:10:0" } ], "id": 51, "name": "Return", "src": "1206:17:0" } ], "id": 52, "name": "IfStatement", "src": "1195:28:0" }, { "attributes": { "functionReturnParameters": 44 }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "tuple(bool,uint256)" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "74727565", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "bool", "type": "bool", "value": "true" }, "id": 53, "name": "Literal", "src": "1241:4:0" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 36, "type": "uint256", "value": "a" }, "id": 54, "name": "Identifier", "src": "1247:1:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 38, "type": "uint256", "value": "b" }, "id": 55, "name": "Identifier", "src": "1251:1:0" } ], "id": 56, "name": "BinaryOperation", "src": "1247:5:0" } ], "id": 57, "name": "TupleExpression", "src": "1240:13:0" } ], "id": 58, "name": "Return", "src": "1233:20:0" } ], "id": 59, "name": "Block", "src": "1185:75:0" } ], "id": 60, "name": "FunctionDefinition", "src": "1109:151:0" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "tryMul", "overrides": null, "scope": 354, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "text": " @dev Returns the multiplication of two unsigned integers, with an overflow flag.\n _Available since v3.4._" }, "id": 61, "name": "StructuredDocumentation", "src": "1266:137:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "overrides": null, "scope": 101, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 62, "name": "ElementaryTypeName", "src": "1424:7:0" } ], "id": 63, "name": "VariableDeclaration", "src": "1424:9:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "overrides": null, "scope": 101, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 64, "name": "ElementaryTypeName", "src": "1435:7:0" } ], "id": 65, "name": "VariableDeclaration", "src": "1435:9:0" } ], "id": 66, "name": "ParameterList", "src": "1423:22:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 101, "stateVariable": false, "storageLocation": "default", "type": "bool", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "bool", "type": "bool" }, "id": 67, "name": "ElementaryTypeName", "src": "1469:4:0" } ], "id": 68, "name": "VariableDeclaration", "src": "1469:4:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 101, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 69, "name": "ElementaryTypeName", "src": "1475:7:0" } ], "id": 70, "name": "VariableDeclaration", "src": "1475:7:0" } ], "id": 71, "name": "ParameterList", "src": "1468:15:0" }, { "children": [ { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 63, "type": "uint256", "value": "a" }, "id": 72, "name": "Identifier", "src": "1716:1:0" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 73, "name": "Literal", "src": "1721:1:0" } ], "id": 74, "name": "BinaryOperation", "src": "1716:6:0" }, { "attributes": { "functionReturnParameters": 71 }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "tuple(bool,int_const 0)" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "74727565", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "bool", "type": "bool", "value": "true" }, "id": 75, "name": "Literal", "src": "1732:4:0" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 76, "name": "Literal", "src": "1738:1:0" } ], "id": 77, "name": "TupleExpression", "src": "1731:9:0" } ], "id": 78, "name": "Return", "src": "1724:16:0" } ], "id": 79, "name": "IfStatement", "src": "1712:28:0" }, { "attributes": { "assignments": [ 81 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "c", "overrides": null, "scope": 100, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 80, "name": "ElementaryTypeName", "src": "1750:7:0" } ], "id": 81, "name": "VariableDeclaration", "src": "1750:9:0" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 63, "type": "uint256", "value": "a" }, "id": 82, "name": "Identifier", "src": "1762:1:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 65, "type": "uint256", "value": "b" }, "id": 83, "name": "Identifier", "src": "1766:1:0" } ], "id": 84, "name": "BinaryOperation", "src": "1762:5:0" } ], "id": 85, "name": "VariableDeclarationStatement", "src": "1750:17:0" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "!=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 81, "type": "uint256", "value": "c" }, "id": 86, "name": "Identifier", "src": "1781:1:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 63, "type": "uint256", "value": "a" }, "id": 87, "name": "Identifier", "src": "1785:1:0" } ], "id": 88, "name": "BinaryOperation", "src": "1781:5:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 65, "type": "uint256", "value": "b" }, "id": 89, "name": "Identifier", "src": "1790:1:0" } ], "id": 90, "name": "BinaryOperation", "src": "1781:10:0" }, { "attributes": { "functionReturnParameters": 71 }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "tuple(bool,int_const 0)" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "66616c7365", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "bool", "type": "bool", "value": "false" }, "id": 91, "name": "Literal", "src": "1801:5:0" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 92, "name": "Literal", "src": "1808:1:0" } ], "id": 93, "name": "TupleExpression", "src": "1800:10:0" } ], "id": 94, "name": "Return", "src": "1793:17:0" } ], "id": 95, "name": "IfStatement", "src": "1777:33:0" }, { "attributes": { "functionReturnParameters": 71 }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "tuple(bool,uint256)" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "74727565", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "bool", "type": "bool", "value": "true" }, "id": 96, "name": "Literal", "src": "1828:4:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 81, "type": "uint256", "value": "c" }, "id": 97, "name": "Identifier", "src": "1834:1:0" } ], "id": 98, "name": "TupleExpression", "src": "1827:9:0" } ], "id": 99, "name": "Return", "src": "1820:16:0" } ], "id": 100, "name": "Block", "src": "1484:359:0" } ], "id": 101, "name": "FunctionDefinition", "src": "1408:435:0" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "tryDiv", "overrides": null, "scope": 354, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "text": " @dev Returns the division of two unsigned integers, with a division by zero flag.\n _Available since v3.4._" }, "id": 102, "name": "StructuredDocumentation", "src": "1849:138:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "overrides": null, "scope": 128, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 103, "name": "ElementaryTypeName", "src": "2008:7:0" } ], "id": 104, "name": "VariableDeclaration", "src": "2008:9:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "overrides": null, "scope": 128, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 105, "name": "ElementaryTypeName", "src": "2019:7:0" } ], "id": 106, "name": "VariableDeclaration", "src": "2019:9:0" } ], "id": 107, "name": "ParameterList", "src": "2007:22:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 128, "stateVariable": false, "storageLocation": "default", "type": "bool", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "bool", "type": "bool" }, "id": 108, "name": "ElementaryTypeName", "src": "2053:4:0" } ], "id": 109, "name": "VariableDeclaration", "src": "2053:4:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 128, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 110, "name": "ElementaryTypeName", "src": "2059:7:0" } ], "id": 111, "name": "VariableDeclaration", "src": "2059:7:0" } ], "id": 112, "name": "ParameterList", "src": "2052:15:0" }, { "children": [ { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 106, "type": "uint256", "value": "b" }, "id": 113, "name": "Identifier", "src": "2082:1:0" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 114, "name": "Literal", "src": "2087:1:0" } ], "id": 115, "name": "BinaryOperation", "src": "2082:6:0" }, { "attributes": { "functionReturnParameters": 112 }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "tuple(bool,int_const 0)" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "66616c7365", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "bool", "type": "bool", "value": "false" }, "id": 116, "name": "Literal", "src": "2098:5:0" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 117, "name": "Literal", "src": "2105:1:0" } ], "id": 118, "name": "TupleExpression", "src": "2097:10:0" } ], "id": 119, "name": "Return", "src": "2090:17:0" } ], "id": 120, "name": "IfStatement", "src": "2078:29:0" }, { "attributes": { "functionReturnParameters": 112 }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "tuple(bool,uint256)" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "74727565", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "bool", "type": "bool", "value": "true" }, "id": 121, "name": "Literal", "src": "2125:4:0" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 104, "type": "uint256", "value": "a" }, "id": 122, "name": "Identifier", "src": "2131:1:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 106, "type": "uint256", "value": "b" }, "id": 123, "name": "Identifier", "src": "2135:1:0" } ], "id": 124, "name": "BinaryOperation", "src": "2131:5:0" } ], "id": 125, "name": "TupleExpression", "src": "2124:13:0" } ], "id": 126, "name": "Return", "src": "2117:20:0" } ], "id": 127, "name": "Block", "src": "2068:76:0" } ], "id": 128, "name": "FunctionDefinition", "src": "1992:152:0" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "tryMod", "overrides": null, "scope": 354, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "text": " @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.\n _Available since v3.4._" }, "id": 129, "name": "StructuredDocumentation", "src": "2150:148:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "overrides": null, "scope": 155, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 130, "name": "ElementaryTypeName", "src": "2319:7:0" } ], "id": 131, "name": "VariableDeclaration", "src": "2319:9:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "overrides": null, "scope": 155, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 132, "name": "ElementaryTypeName", "src": "2330:7:0" } ], "id": 133, "name": "VariableDeclaration", "src": "2330:9:0" } ], "id": 134, "name": "ParameterList", "src": "2318:22:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 155, "stateVariable": false, "storageLocation": "default", "type": "bool", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "bool", "type": "bool" }, "id": 135, "name": "ElementaryTypeName", "src": "2364:4:0" } ], "id": 136, "name": "VariableDeclaration", "src": "2364:4:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 155, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 137, "name": "ElementaryTypeName", "src": "2370:7:0" } ], "id": 138, "name": "VariableDeclaration", "src": "2370:7:0" } ], "id": 139, "name": "ParameterList", "src": "2363:15:0" }, { "children": [ { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 133, "type": "uint256", "value": "b" }, "id": 140, "name": "Identifier", "src": "2393:1:0" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 141, "name": "Literal", "src": "2398:1:0" } ], "id": 142, "name": "BinaryOperation", "src": "2393:6:0" }, { "attributes": { "functionReturnParameters": 139 }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "tuple(bool,int_const 0)" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "66616c7365", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "bool", "type": "bool", "value": "false" }, "id": 143, "name": "Literal", "src": "2409:5:0" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 144, "name": "Literal", "src": "2416:1:0" } ], "id": 145, "name": "TupleExpression", "src": "2408:10:0" } ], "id": 146, "name": "Return", "src": "2401:17:0" } ], "id": 147, "name": "IfStatement", "src": "2389:29:0" }, { "attributes": { "functionReturnParameters": 139 }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "tuple(bool,uint256)" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "74727565", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "bool", "type": "bool", "value": "true" }, "id": 148, "name": "Literal", "src": "2436:4:0" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "%", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 131, "type": "uint256", "value": "a" }, "id": 149, "name": "Identifier", "src": "2442:1:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 133, "type": "uint256", "value": "b" }, "id": 150, "name": "Identifier", "src": "2446:1:0" } ], "id": 151, "name": "BinaryOperation", "src": "2442:5:0" } ], "id": 152, "name": "TupleExpression", "src": "2435:13:0" } ], "id": 153, "name": "Return", "src": "2428:20:0" } ], "id": 154, "name": "Block", "src": "2379:76:0" } ], "id": 155, "name": "FunctionDefinition", "src": "2303:152:0" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "add", "overrides": null, "scope": 354, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "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": 156, "name": "StructuredDocumentation", "src": "2461:224:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "overrides": null, "scope": 181, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 157, "name": "ElementaryTypeName", "src": "2703:7:0" } ], "id": 158, "name": "VariableDeclaration", "src": "2703:9:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "overrides": null, "scope": 181, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 159, "name": "ElementaryTypeName", "src": "2714:7:0" } ], "id": 160, "name": "VariableDeclaration", "src": "2714:9:0" } ], "id": 161, "name": "ParameterList", "src": "2702:22:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 181, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 162, "name": "ElementaryTypeName", "src": "2748:7:0" } ], "id": 163, "name": "VariableDeclaration", "src": "2748:7:0" } ], "id": 164, "name": "ParameterList", "src": "2747:9:0" }, { "children": [ { "attributes": { "assignments": [ 166 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "c", "overrides": null, "scope": 180, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 165, "name": "ElementaryTypeName", "src": "2767:7:0" } ], "id": 166, "name": "VariableDeclaration", "src": "2767:9:0" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 158, "type": "uint256", "value": "a" }, "id": 167, "name": "Identifier", "src": "2779:1:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 160, "type": "uint256", "value": "b" }, "id": 168, "name": "Identifier", "src": "2783:1:0" } ], "id": 169, "name": "BinaryOperation", "src": "2779:5:0" } ], "id": 170, "name": "VariableDeclarationStatement", "src": "2767:17:0" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_30cc447bcc13b3e22b45cef0dd9b0b514842d836dd9b6eb384e20dedfb47723a", "typeString": "literal_string \"SafeMath: addition overflow\"" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool,string memory) pure", "value": "require" }, "id": 171, "name": "Identifier", "src": "2794:7:0" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 166, "type": "uint256", "value": "c" }, "id": 172, "name": "Identifier", "src": "2802:1:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 158, "type": "uint256", "value": "a" }, "id": 173, "name": "Identifier", "src": "2807:1:0" } ], "id": 174, "name": "BinaryOperation", "src": "2802:6:0" }, { "attributes": { "argumentTypes": null, "hexvalue": "536166654d6174683a206164646974696f6e206f766572666c6f77", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"SafeMath: addition overflow\"", "value": "SafeMath: addition overflow" }, "id": 175, "name": "Literal", "src": "2810:29:0" } ], "id": 176, "name": "FunctionCall", "src": "2794:46:0" } ], "id": 177, "name": "ExpressionStatement", "src": "2794:46:0" }, { "attributes": { "functionReturnParameters": 164 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 166, "type": "uint256", "value": "c" }, "id": 178, "name": "Identifier", "src": "2857:1:0" } ], "id": 179, "name": "Return", "src": "2850:8:0" } ], "id": 180, "name": "Block", "src": "2757:108:0" } ], "id": 181, "name": "FunctionDefinition", "src": "2690:175:0" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "sub", "overrides": null, "scope": 354, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "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": 182, "name": "StructuredDocumentation", "src": "2871:260:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "overrides": null, "scope": 203, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 183, "name": "ElementaryTypeName", "src": "3149:7:0" } ], "id": 184, "name": "VariableDeclaration", "src": "3149:9:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "overrides": null, "scope": 203, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 185, "name": "ElementaryTypeName", "src": "3160:7:0" } ], "id": 186, "name": "VariableDeclaration", "src": "3160:9:0" } ], "id": 187, "name": "ParameterList", "src": "3148:22:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 203, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 188, "name": "ElementaryTypeName", "src": "3194:7:0" } ], "id": 189, "name": "VariableDeclaration", "src": "3194:7:0" } ], "id": 190, "name": "ParameterList", "src": "3193:9:0" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_50b058e9b5320e58880d88223c9801cd9eecdcf90323d5c2318bc1b6b916e862", "typeString": "literal_string \"SafeMath: subtraction overflow\"" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool,string memory) pure", "value": "require" }, "id": 191, "name": "Identifier", "src": "3213:7:0" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 186, "type": "uint256", "value": "b" }, "id": 192, "name": "Identifier", "src": "3221:1:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 184, "type": "uint256", "value": "a" }, "id": 193, "name": "Identifier", "src": "3226:1:0" } ], "id": 194, "name": "BinaryOperation", "src": "3221:6:0" }, { "attributes": { "argumentTypes": null, "hexvalue": "536166654d6174683a207375627472616374696f6e206f766572666c6f77", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"SafeMath: subtraction overflow\"", "value": "SafeMath: subtraction overflow" }, "id": 195, "name": "Literal", "src": "3229:32:0" } ], "id": 196, "name": "FunctionCall", "src": "3213:49:0" } ], "id": 197, "name": "ExpressionStatement", "src": "3213:49:0" }, { "attributes": { "functionReturnParameters": 190 }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 184, "type": "uint256", "value": "a" }, "id": 198, "name": "Identifier", "src": "3279:1:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 186, "type": "uint256", "value": "b" }, "id": 199, "name": "Identifier", "src": "3283:1:0" } ], "id": 200, "name": "BinaryOperation", "src": "3279:5:0" } ], "id": 201, "name": "Return", "src": "3272:12:0" } ], "id": 202, "name": "Block", "src": "3203:88:0" } ], "id": 203, "name": "FunctionDefinition", "src": "3136:155:0" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "mul", "overrides": null, "scope": 354, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "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": 204, "name": "StructuredDocumentation", "src": "3297:236:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "overrides": null, "scope": 237, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 205, "name": "ElementaryTypeName", "src": "3551:7:0" } ], "id": 206, "name": "VariableDeclaration", "src": "3551:9:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "overrides": null, "scope": 237, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 207, "name": "ElementaryTypeName", "src": "3562:7:0" } ], "id": 208, "name": "VariableDeclaration", "src": "3562:9:0" } ], "id": 209, "name": "ParameterList", "src": "3550:22:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 237, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 210, "name": "ElementaryTypeName", "src": "3596:7:0" } ], "id": 211, "name": "VariableDeclaration", "src": "3596:7:0" } ], "id": 212, "name": "ParameterList", "src": "3595:9:0" }, { "children": [ { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 206, "type": "uint256", "value": "a" }, "id": 213, "name": "Identifier", "src": "3619:1:0" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 214, "name": "Literal", "src": "3624:1:0" } ], "id": 215, "name": "BinaryOperation", "src": "3619:6:0" }, { "attributes": { "functionReturnParameters": 212 }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 216, "name": "Literal", "src": "3634:1:0" } ], "id": 217, "name": "Return", "src": "3627:8:0" } ], "id": 218, "name": "IfStatement", "src": "3615:20:0" }, { "attributes": { "assignments": [ 220 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "c", "overrides": null, "scope": 236, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 219, "name": "ElementaryTypeName", "src": "3645:7:0" } ], "id": 220, "name": "VariableDeclaration", "src": "3645:9:0" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 206, "type": "uint256", "value": "a" }, "id": 221, "name": "Identifier", "src": "3657:1:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 208, "type": "uint256", "value": "b" }, "id": 222, "name": "Identifier", "src": "3661:1:0" } ], "id": 223, "name": "BinaryOperation", "src": "3657:5:0" } ], "id": 224, "name": "VariableDeclarationStatement", "src": "3645:17:0" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_9113bb53c2876a3805b2c9242029423fc540a728243ce887ab24c82cf119fba3", "typeString": "literal_string \"SafeMath: multiplication overflow\"" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool,string memory) pure", "value": "require" }, "id": 225, "name": "Identifier", "src": "3672:7:0" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 220, "type": "uint256", "value": "c" }, "id": 226, "name": "Identifier", "src": "3680:1:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 206, "type": "uint256", "value": "a" }, "id": 227, "name": "Identifier", "src": "3684:1:0" } ], "id": 228, "name": "BinaryOperation", "src": "3680:5:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 208, "type": "uint256", "value": "b" }, "id": 229, "name": "Identifier", "src": "3689:1:0" } ], "id": 230, "name": "BinaryOperation", "src": "3680:10:0" }, { "attributes": { "argumentTypes": null, "hexvalue": "536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"SafeMath: multiplication overflow\"", "value": "SafeMath: multiplication overflow" }, "id": 231, "name": "Literal", "src": "3692:35:0" } ], "id": 232, "name": "FunctionCall", "src": "3672:56:0" } ], "id": 233, "name": "ExpressionStatement", "src": "3672:56:0" }, { "attributes": { "functionReturnParameters": 212 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 220, "type": "uint256", "value": "c" }, "id": 234, "name": "Identifier", "src": "3745:1:0" } ], "id": 235, "name": "Return", "src": "3738:8:0" } ], "id": 236, "name": "Block", "src": "3605:148:0" } ], "id": 237, "name": "FunctionDefinition", "src": "3538:215:0" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "div", "overrides": null, "scope": 354, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "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. 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": 238, "name": "StructuredDocumentation", "src": "3759:453:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "overrides": null, "scope": 259, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 239, "name": "ElementaryTypeName", "src": "4230:7:0" } ], "id": 240, "name": "VariableDeclaration", "src": "4230:9:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "overrides": null, "scope": 259, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 241, "name": "ElementaryTypeName", "src": "4241:7:0" } ], "id": 242, "name": "VariableDeclaration", "src": "4241:9:0" } ], "id": 243, "name": "ParameterList", "src": "4229:22:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 259, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 244, "name": "ElementaryTypeName", "src": "4275:7:0" } ], "id": 245, "name": "VariableDeclaration", "src": "4275:7:0" } ], "id": 246, "name": "ParameterList", "src": "4274:9:0" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_5b7cc70dda4dc2143e5adb63bd5d1f349504f461dbdfd9bc76fac1f8ca6d019f", "typeString": "literal_string \"SafeMath: division by zero\"" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool,string memory) pure", "value": "require" }, "id": 247, "name": "Identifier", "src": "4294:7:0" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 242, "type": "uint256", "value": "b" }, "id": 248, "name": "Identifier", "src": "4302:1:0" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 249, "name": "Literal", "src": "4306:1:0" } ], "id": 250, "name": "BinaryOperation", "src": "4302:5:0" }, { "attributes": { "argumentTypes": null, "hexvalue": "536166654d6174683a206469766973696f6e206279207a65726f", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"SafeMath: division by zero\"", "value": "SafeMath: division by zero" }, "id": 251, "name": "Literal", "src": "4309:28:0" } ], "id": 252, "name": "FunctionCall", "src": "4294:44:0" } ], "id": 253, "name": "ExpressionStatement", "src": "4294:44:0" }, { "attributes": { "functionReturnParameters": 246 }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 240, "type": "uint256", "value": "a" }, "id": 254, "name": "Identifier", "src": "4355:1:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 242, "type": "uint256", "value": "b" }, "id": 255, "name": "Identifier", "src": "4359:1:0" } ], "id": 256, "name": "BinaryOperation", "src": "4355:5:0" } ], "id": 257, "name": "Return", "src": "4348:12:0" } ], "id": 258, "name": "Block", "src": "4284:83:0" } ], "id": 259, "name": "FunctionDefinition", "src": "4217:150:0" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "mod", "overrides": null, "scope": 354, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "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": 260, "name": "StructuredDocumentation", "src": "4373:442:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "overrides": null, "scope": 281, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 261, "name": "ElementaryTypeName", "src": "4833:7:0" } ], "id": 262, "name": "VariableDeclaration", "src": "4833:9:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "overrides": null, "scope": 281, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 263, "name": "ElementaryTypeName", "src": "4844:7:0" } ], "id": 264, "name": "VariableDeclaration", "src": "4844:9:0" } ], "id": 265, "name": "ParameterList", "src": "4832:22:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 281, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 266, "name": "ElementaryTypeName", "src": "4878:7:0" } ], "id": 267, "name": "VariableDeclaration", "src": "4878:7:0" } ], "id": 268, "name": "ParameterList", "src": "4877:9:0" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_726e51f7b81fce0a68f5f214f445e275313b20b1633f08ce954ee39abf8d7832", "typeString": "literal_string \"SafeMath: modulo by zero\"" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool,string memory) pure", "value": "require" }, "id": 269, "name": "Identifier", "src": "4897:7:0" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 264, "type": "uint256", "value": "b" }, "id": 270, "name": "Identifier", "src": "4905:1:0" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 271, "name": "Literal", "src": "4909:1:0" } ], "id": 272, "name": "BinaryOperation", "src": "4905:5:0" }, { "attributes": { "argumentTypes": null, "hexvalue": "536166654d6174683a206d6f64756c6f206279207a65726f", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"SafeMath: modulo by zero\"", "value": "SafeMath: modulo by zero" }, "id": 273, "name": "Literal", "src": "4912:26:0" } ], "id": 274, "name": "FunctionCall", "src": "4897:42:0" } ], "id": 275, "name": "ExpressionStatement", "src": "4897:42:0" }, { "attributes": { "functionReturnParameters": 268 }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "%", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 262, "type": "uint256", "value": "a" }, "id": 276, "name": "Identifier", "src": "4956:1:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 264, "type": "uint256", "value": "b" }, "id": 277, "name": "Identifier", "src": "4960:1:0" } ], "id": 278, "name": "BinaryOperation", "src": "4956:5:0" } ], "id": 279, "name": "Return", "src": "4949:12:0" } ], "id": 280, "name": "Block", "src": "4887:81:0" } ], "id": 281, "name": "FunctionDefinition", "src": "4820:148:0" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "sub", "overrides": null, "scope": 354, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "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": 282, "name": "StructuredDocumentation", "src": "4974:453:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "overrides": null, "scope": 305, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 283, "name": "ElementaryTypeName", "src": "5445:7:0" } ], "id": 284, "name": "VariableDeclaration", "src": "5445:9:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "overrides": null, "scope": 305, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 285, "name": "ElementaryTypeName", "src": "5456:7:0" } ], "id": 286, "name": "VariableDeclaration", "src": "5456:9:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "errorMessage", "overrides": null, "scope": 305, "stateVariable": false, "storageLocation": "memory", "type": "string", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "string", "type": "string" }, "id": 287, "name": "ElementaryTypeName", "src": "5467:6:0" } ], "id": 288, "name": "VariableDeclaration", "src": "5467:26:0" } ], "id": 289, "name": "ParameterList", "src": "5444:50:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 305, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 290, "name": "ElementaryTypeName", "src": "5518:7:0" } ], "id": 291, "name": "VariableDeclaration", "src": "5518:7:0" } ], "id": 292, "name": "ParameterList", "src": "5517:9:0" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool,string memory) pure", "value": "require" }, "id": 293, "name": "Identifier", "src": "5537:7:0" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 286, "type": "uint256", "value": "b" }, "id": 294, "name": "Identifier", "src": "5545:1:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 284, "type": "uint256", "value": "a" }, "id": 295, "name": "Identifier", "src": "5550:1:0" } ], "id": 296, "name": "BinaryOperation", "src": "5545:6:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 288, "type": "string memory", "value": "errorMessage" }, "id": 297, "name": "Identifier", "src": "5553:12:0" } ], "id": 298, "name": "FunctionCall", "src": "5537:29:0" } ], "id": 299, "name": "ExpressionStatement", "src": "5537:29:0" }, { "attributes": { "functionReturnParameters": 292 }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 284, "type": "uint256", "value": "a" }, "id": 300, "name": "Identifier", "src": "5583:1:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 286, "type": "uint256", "value": "b" }, "id": 301, "name": "Identifier", "src": "5587:1:0" } ], "id": 302, "name": "BinaryOperation", "src": "5583:5:0" } ], "id": 303, "name": "Return", "src": "5576:12:0" } ], "id": 304, "name": "Block", "src": "5527:68:0" } ], "id": 305, "name": "FunctionDefinition", "src": "5432:163:0" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "div", "overrides": null, "scope": 354, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "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 CAUTION: This function is deprecated because it requires allocating memory for the error\n message unnecessarily. For custom revert reasons use {tryDiv}.\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": 306, "name": "StructuredDocumentation", "src": "5601:646:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "overrides": null, "scope": 329, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 307, "name": "ElementaryTypeName", "src": "6265:7:0" } ], "id": 308, "name": "VariableDeclaration", "src": "6265:9:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "overrides": null, "scope": 329, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 309, "name": "ElementaryTypeName", "src": "6276:7:0" } ], "id": 310, "name": "VariableDeclaration", "src": "6276:9:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "errorMessage", "overrides": null, "scope": 329, "stateVariable": false, "storageLocation": "memory", "type": "string", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "string", "type": "string" }, "id": 311, "name": "ElementaryTypeName", "src": "6287:6:0" } ], "id": 312, "name": "VariableDeclaration", "src": "6287:26:0" } ], "id": 313, "name": "ParameterList", "src": "6264:50:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 329, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 314, "name": "ElementaryTypeName", "src": "6338:7:0" } ], "id": 315, "name": "VariableDeclaration", "src": "6338:7:0" } ], "id": 316, "name": "ParameterList", "src": "6337:9:0" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool,string memory) pure", "value": "require" }, "id": 317, "name": "Identifier", "src": "6357:7:0" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 310, "type": "uint256", "value": "b" }, "id": 318, "name": "Identifier", "src": "6365:1:0" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 319, "name": "Literal", "src": "6369:1:0" } ], "id": 320, "name": "BinaryOperation", "src": "6365:5:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 312, "type": "string memory", "value": "errorMessage" }, "id": 321, "name": "Identifier", "src": "6372:12:0" } ], "id": 322, "name": "FunctionCall", "src": "6357:28:0" } ], "id": 323, "name": "ExpressionStatement", "src": "6357:28:0" }, { "attributes": { "functionReturnParameters": 316 }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 308, "type": "uint256", "value": "a" }, "id": 324, "name": "Identifier", "src": "6402:1:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 310, "type": "uint256", "value": "b" }, "id": 325, "name": "Identifier", "src": "6406:1:0" } ], "id": 326, "name": "BinaryOperation", "src": "6402:5:0" } ], "id": 327, "name": "Return", "src": "6395:12:0" } ], "id": 328, "name": "Block", "src": "6347:67:0" } ], "id": 329, "name": "FunctionDefinition", "src": "6252:162:0" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "mod", "overrides": null, "scope": 354, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "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": 330, "name": "StructuredDocumentation", "src": "6420:635:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "overrides": null, "scope": 353, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 331, "name": "ElementaryTypeName", "src": "7073:7:0" } ], "id": 332, "name": "VariableDeclaration", "src": "7073:9:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "overrides": null, "scope": 353, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 333, "name": "ElementaryTypeName", "src": "7084:7:0" } ], "id": 334, "name": "VariableDeclaration", "src": "7084:9:0" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "errorMessage", "overrides": null, "scope": 353, "stateVariable": false, "storageLocation": "memory", "type": "string", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "string", "type": "string" }, "id": 335, "name": "ElementaryTypeName", "src": "7095:6:0" } ], "id": 336, "name": "VariableDeclaration", "src": "7095:26:0" } ], "id": 337, "name": "ParameterList", "src": "7072:50:0" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 353, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 338, "name": "ElementaryTypeName", "src": "7146:7:0" } ], "id": 339, "name": "VariableDeclaration", "src": "7146:7:0" } ], "id": 340, "name": "ParameterList", "src": "7145:9:0" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_string_memory_ptr", "typeString": "string memory" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool,string memory) pure", "value": "require" }, "id": 341, "name": "Identifier", "src": "7165:7:0" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 334, "type": "uint256", "value": "b" }, "id": 342, "name": "Identifier", "src": "7173:1:0" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 343, "name": "Literal", "src": "7177:1:0" } ], "id": 344, "name": "BinaryOperation", "src": "7173:5:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 336, "type": "string memory", "value": "errorMessage" }, "id": 345, "name": "Identifier", "src": "7180:12:0" } ], "id": 346, "name": "FunctionCall", "src": "7165:28:0" } ], "id": 347, "name": "ExpressionStatement", "src": "7165:28:0" }, { "attributes": { "functionReturnParameters": 340 }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "%", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 332, "type": "uint256", "value": "a" }, "id": 348, "name": "Identifier", "src": "7210:1:0" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 334, "type": "uint256", "value": "b" }, "id": 349, "name": "Identifier", "src": "7214:1:0" } ], "id": 350, "name": "BinaryOperation", "src": "7210:5:0" } ], "id": 351, "name": "Return", "src": "7203:12:0" } ], "id": 352, "name": "Block", "src": "7155:67:0" } ], "id": 353, "name": "FunctionDefinition", "src": "7060:162:0" } ], "id": 354, "name": "ContractDefinition", "src": "630:6594:0" } ], "id": 355, "name": "SourceUnit", "src": "33:7192:0" }, "compiler": { "name": "solc", "version": "0.6.10+commit.00c0fcaf.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.4.1", "updatedAt": "2021-07-08T17:04:13.659Z", "devdoc": { "details": "Wrappers over Solidity's arithmetic operations with added overflow checks. Arithmetic operations in Solidity wrap on overflow. This can easily result in bugs, because programmers usually assume that an overflow raises an error, which is the standard behavior in high level programming languages. `SafeMath` restores this intuition by reverting the transaction when an operation overflows. Using this library instead of the unchecked operations eliminates an entire class of bugs, so it's recommended to use it always.", "methods": {} }, "userdoc": { "methods": {} } }