{ "contractName": "SafeMath", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.7.3+commit.9bfce1f6\"},\"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.\",\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"@openzeppelin/contracts/math/SafeMath.sol\":\"SafeMath\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":false,\"runs\":200},\"remappings\":[]},\"sources\":{\"@openzeppelin/contracts/math/SafeMath.sol\":{\"keccak256\":\"0xba96bc371ba999f452985a98717cca1e4c4abb598dc038a9a9c3db08129b1ba4\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://26e50e3f7b6482fb6f598f2e006994a74aa492687daa4b3eee7fd4fb5398ce7f\",\"dweb:/ipfs/QmZudqoPSkA4USLMFsBBmt19dDPZFS8aaAmL5R7pECXu6t\"]}},\"version\":1}", "bytecode": "0x60566023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea26469706673582212207cd6317499a5ac9af00969893253e92713f829406e596caff7ca586916782eac64736f6c63430007030033", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea26469706673582212207cd6317499a5ac9af00969893253e92713f829406e596caff7ca586916782eac64736f6c63430007030033", "immutableReferences": {}, "generatedSources": [], "deployedGeneratedSources": [], "sourceMap": "622:4578:40:-:0;;;;;;;;;;;;;;;;;;;;;;;;;", "deployedSourceMap": "622:4578:40:-:0;;;;;;;;", "source": "// SPDX-License-Identifier: MIT\n\npragma solidity ^0.7.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, 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\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 return sub(a, b, \"SafeMath: subtraction overflow\");\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 * 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 uint256 c = a - b;\n\n return c;\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 // 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) {\n return 0;\n }\n\n uint256 c = a * b;\n require(c / a == b, \"SafeMath: multiplication overflow\");\n\n return c;\n }\n\n /**\n * @dev Returns the integer division of two unsigned integers. Reverts 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 return div(a, b, \"SafeMath: division by zero\");\n }\n\n /**\n * @dev Returns the integer division of two unsigned integers. Reverts with custom message on\n * division by zero. The result is rounded towards zero.\n *\n * Counterpart to Solidity's `/` operator. Note: this function uses a\n * `revert` opcode (which leaves remaining gas untouched) while Solidity\n * uses an invalid opcode to revert (consuming all remaining gas).\n *\n * Requirements:\n *\n * - The divisor cannot be zero.\n */\n function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {\n require(b > 0, errorMessage);\n uint256 c = a / b;\n // assert(a == b * c + a % b); // There is no case in which this doesn't hold\n\n return c;\n }\n\n /**\n * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),\n * Reverts when dividing by zero.\n *\n * Counterpart to Solidity's `%` operator. This function uses a `revert`\n * opcode (which leaves remaining gas untouched) while Solidity uses an\n * invalid opcode to revert (consuming all remaining gas).\n *\n * Requirements:\n *\n * - The divisor cannot be zero.\n */\n function mod(uint256 a, uint256 b) internal pure returns (uint256) {\n return mod(a, b, \"SafeMath: modulo by zero\");\n }\n\n /**\n * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),\n * Reverts with custom message 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, 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": [ 5584 ] }, "id": 5585, "license": "MIT", "nodeType": "SourceUnit", "nodes": [ { "id": 5390, "literals": [ "solidity", "^", "0.7", ".0" ], "nodeType": "PragmaDirective", "src": "33:23:40" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 5391, "nodeType": "StructuredDocumentation", "src": "58:563:40", "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": 5584, "linearizedBaseContracts": [ 5584 ], "name": "SafeMath", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 5416, "nodeType": "Block", "src": "941:109:40", "statements": [ { "assignments": [ 5402 ], "declarations": [ { "constant": false, "id": 5402, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "scope": 5416, "src": "951:9:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5401, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "951:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 5406, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5405, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 5403, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5394, "src": "963:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "id": 5404, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5396, "src": "967:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "963:5:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "951:17:40" }, { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5410, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 5408, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5402, "src": "986:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "id": 5409, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5394, "src": "991:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "986:6:40", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "hexValue": "536166654d6174683a206164646974696f6e206f766572666c6f77", "id": 5411, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "994:29:40", "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": 5407, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "978:7:40", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 5412, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "978:46:40", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5413, "nodeType": "ExpressionStatement", "src": "978:46:40" }, { "expression": { "id": 5414, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5402, "src": "1042:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 5400, "id": 5415, "nodeType": "Return", "src": "1035:8:40" } ] }, "documentation": { "id": 5392, "nodeType": "StructuredDocumentation", "src": "645:224:40", "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": 5417, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 5397, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5394, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 5417, "src": "887:9:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5393, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "887:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 5396, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 5417, "src": "898:9:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5395, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "898:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "886:22:40" }, "returnParameters": { "id": 5400, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5399, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 5417, "src": "932:7:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5398, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "932:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "931:9:40" }, "scope": 5584, "src": "874:176:40", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 5433, "nodeType": "Block", "src": "1388:67:40", "statements": [ { "expression": { "arguments": [ { "id": 5428, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5420, "src": "1409:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "id": 5429, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5422, "src": "1412:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "hexValue": "536166654d6174683a207375627472616374696f6e206f766572666c6f77", "id": 5430, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1415:32:40", "typeDescriptions": { "typeIdentifier": "t_stringliteral_50b058e9b5320e58880d88223c9801cd9eecdcf90323d5c2318bc1b6b916e862", "typeString": "literal_string \"SafeMath: subtraction overflow\"" }, "value": "SafeMath: subtraction overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_stringliteral_50b058e9b5320e58880d88223c9801cd9eecdcf90323d5c2318bc1b6b916e862", "typeString": "literal_string \"SafeMath: subtraction overflow\"" } ], "id": 5427, "name": "sub", "nodeType": "Identifier", "overloadedDeclarations": [ 5434, 5462 ], "referencedDeclaration": 5462, "src": "1405:3:40", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$_t_string_memory_ptr_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,string memory) pure returns (uint256)" } }, "id": 5431, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1405:43:40", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 5426, "id": 5432, "nodeType": "Return", "src": "1398:50:40" } ] }, "documentation": { "id": 5418, "nodeType": "StructuredDocumentation", "src": "1056:260:40", "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": 5434, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 5423, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5420, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 5434, "src": "1334:9:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5419, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1334:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 5422, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 5434, "src": "1345:9:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5421, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1345:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1333:22:40" }, "returnParameters": { "id": 5426, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5425, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 5434, "src": "1379:7:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5424, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1379:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1378:9:40" }, "scope": 5584, "src": "1321:134:40", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 5461, "nodeType": "Block", "src": "1841:92:40", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5449, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 5447, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5439, "src": "1859:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "id": 5448, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5437, "src": "1864:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1859:6:40", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 5450, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5441, "src": "1867:12:40", "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": 5446, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1851:7:40", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 5451, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1851:29:40", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5452, "nodeType": "ExpressionStatement", "src": "1851:29:40" }, { "assignments": [ 5454 ], "declarations": [ { "constant": false, "id": 5454, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "scope": 5461, "src": "1890:9:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5453, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1890:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 5458, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5457, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 5455, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5437, "src": "1902:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 5456, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5439, "src": "1906:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1902:5:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1890:17:40" }, { "expression": { "id": 5459, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5454, "src": "1925:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 5445, "id": 5460, "nodeType": "Return", "src": "1918:8:40" } ] }, "documentation": { "id": 5435, "nodeType": "StructuredDocumentation", "src": "1461:280:40", "text": " @dev Returns the subtraction of two unsigned integers, reverting with custom message on\n overflow (when the result is negative).\n Counterpart to Solidity's `-` operator.\n Requirements:\n - Subtraction cannot overflow." }, "id": 5462, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 5442, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5437, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 5462, "src": "1759:9:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5436, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1759:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 5439, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 5462, "src": "1770:9:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5438, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1770:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 5441, "mutability": "mutable", "name": "errorMessage", "nodeType": "VariableDeclaration", "scope": 5462, "src": "1781:26:40", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 5440, "name": "string", "nodeType": "ElementaryTypeName", "src": "1781:6:40", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "1758:50:40" }, "returnParameters": { "id": 5445, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5444, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 5462, "src": "1832:7:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5443, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1832:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1831:9:40" }, "scope": 5584, "src": "1746:187:40", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 5496, "nodeType": "Block", "src": "2247:392:40", "statements": [ { "condition": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5474, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 5472, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5465, "src": "2479:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 5473, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2484:1:40", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2479:6:40", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 5478, "nodeType": "IfStatement", "src": "2475:45:40", "trueBody": { "id": 5477, "nodeType": "Block", "src": "2487:33:40", "statements": [ { "expression": { "hexValue": "30", "id": 5475, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2508:1:40", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 5471, "id": 5476, "nodeType": "Return", "src": "2501:8:40" } ] } }, { "assignments": [ 5480 ], "declarations": [ { "constant": false, "id": 5480, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "scope": 5496, "src": "2530:9:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5479, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2530:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 5484, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5483, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 5481, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5465, "src": "2542:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 5482, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5467, "src": "2546:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2542:5:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2530:17:40" }, { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5490, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5488, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 5486, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5480, "src": "2565:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 5487, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5465, "src": "2569:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2565:5:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "id": 5489, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5467, "src": "2574:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2565:10:40", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "hexValue": "536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77", "id": 5491, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2577:35:40", "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": 5485, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "2557:7:40", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 5492, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2557:56:40", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5493, "nodeType": "ExpressionStatement", "src": "2557:56:40" }, { "expression": { "id": 5494, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5480, "src": "2631:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 5471, "id": 5495, "nodeType": "Return", "src": "2624:8:40" } ] }, "documentation": { "id": 5463, "nodeType": "StructuredDocumentation", "src": "1939:236:40", "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": 5497, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 5468, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5465, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 5497, "src": "2193:9:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5464, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2193:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 5467, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 5497, "src": "2204:9:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5466, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2204:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2192:22:40" }, "returnParameters": { "id": 5471, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5470, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 5497, "src": "2238:7:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5469, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2238:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "2237:9:40" }, "scope": 5584, "src": "2180:459:40", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 5513, "nodeType": "Block", "src": "3168:63:40", "statements": [ { "expression": { "arguments": [ { "id": 5508, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5500, "src": "3189:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "id": 5509, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5502, "src": "3192:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "hexValue": "536166654d6174683a206469766973696f6e206279207a65726f", "id": 5510, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "3195:28:40", "typeDescriptions": { "typeIdentifier": "t_stringliteral_5b7cc70dda4dc2143e5adb63bd5d1f349504f461dbdfd9bc76fac1f8ca6d019f", "typeString": "literal_string \"SafeMath: division by zero\"" }, "value": "SafeMath: division by zero" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_stringliteral_5b7cc70dda4dc2143e5adb63bd5d1f349504f461dbdfd9bc76fac1f8ca6d019f", "typeString": "literal_string \"SafeMath: division by zero\"" } ], "id": 5507, "name": "div", "nodeType": "Identifier", "overloadedDeclarations": [ 5514, 5542 ], "referencedDeclaration": 5542, "src": "3185:3:40", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$_t_string_memory_ptr_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,string memory) pure returns (uint256)" } }, "id": 5511, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3185:39:40", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 5506, "id": 5512, "nodeType": "Return", "src": "3178:46:40" } ] }, "documentation": { "id": 5498, "nodeType": "StructuredDocumentation", "src": "2645:451:40", "text": " @dev Returns the integer division of two unsigned integers. Reverts 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": 5514, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 5503, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5500, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 5514, "src": "3114:9:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5499, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3114:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 5502, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 5514, "src": "3125:9:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5501, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3125:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3113:22:40" }, "returnParameters": { "id": 5506, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5505, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 5514, "src": "3159:7:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5504, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3159:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3158:9:40" }, "scope": 5584, "src": "3101:130:40", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 5541, "nodeType": "Block", "src": "3808:177:40", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5529, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 5527, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5519, "src": "3826:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "hexValue": "30", "id": 5528, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3830:1:40", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3826:5:40", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 5530, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5521, "src": "3833:12:40", "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": 5526, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "3818:7:40", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 5531, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3818:28:40", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5532, "nodeType": "ExpressionStatement", "src": "3818:28:40" }, { "assignments": [ 5534 ], "declarations": [ { "constant": false, "id": 5534, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "scope": 5541, "src": "3856:9:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5533, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3856:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "id": 5538, "initialValue": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5537, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 5535, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5517, "src": "3868:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 5536, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5519, "src": "3872:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3868:5:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "3856:17:40" }, { "expression": { "id": 5539, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5534, "src": "3977:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 5525, "id": 5540, "nodeType": "Return", "src": "3970:8:40" } ] }, "documentation": { "id": 5515, "nodeType": "StructuredDocumentation", "src": "3237:471:40", "text": " @dev Returns the integer division of two unsigned integers. Reverts with custom message on\n division by zero. The result is rounded towards zero.\n Counterpart to Solidity's `/` operator. Note: this function uses a\n `revert` opcode (which leaves remaining gas untouched) while Solidity\n uses an invalid opcode to revert (consuming all remaining gas).\n Requirements:\n - The divisor cannot be zero." }, "id": 5542, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 5522, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5517, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 5542, "src": "3726:9:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5516, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3726:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 5519, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 5542, "src": "3737:9:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5518, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3737:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 5521, "mutability": "mutable", "name": "errorMessage", "nodeType": "VariableDeclaration", "scope": 5542, "src": "3748:26:40", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 5520, "name": "string", "nodeType": "ElementaryTypeName", "src": "3748:6:40", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "3725:50:40" }, "returnParameters": { "id": 5525, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5524, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 5542, "src": "3799:7:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5523, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3799:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "3798:9:40" }, "scope": 5584, "src": "3713:272:40", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 5558, "nodeType": "Block", "src": "4503:61:40", "statements": [ { "expression": { "arguments": [ { "id": 5553, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5545, "src": "4524:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "id": 5554, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5547, "src": "4527:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "hexValue": "536166654d6174683a206d6f64756c6f206279207a65726f", "id": 5555, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "4530:26:40", "typeDescriptions": { "typeIdentifier": "t_stringliteral_726e51f7b81fce0a68f5f214f445e275313b20b1633f08ce954ee39abf8d7832", "typeString": "literal_string \"SafeMath: modulo by zero\"" }, "value": "SafeMath: modulo by zero" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_stringliteral_726e51f7b81fce0a68f5f214f445e275313b20b1633f08ce954ee39abf8d7832", "typeString": "literal_string \"SafeMath: modulo by zero\"" } ], "id": 5552, "name": "mod", "nodeType": "Identifier", "overloadedDeclarations": [ 5559, 5583 ], "referencedDeclaration": 5583, "src": "4520:3:40", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$_t_string_memory_ptr_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,string memory) pure returns (uint256)" } }, "id": 5556, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "4520:37:40", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 5551, "id": 5557, "nodeType": "Return", "src": "4513:44:40" } ] }, "documentation": { "id": 5543, "nodeType": "StructuredDocumentation", "src": "3991:440:40", "text": " @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),\n Reverts 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": 5559, "implemented": true, "kind": "function", "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "parameters": { "id": 5548, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5545, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 5559, "src": "4449:9:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5544, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4449:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 5547, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 5559, "src": "4460:9:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5546, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4460:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4448:22:40" }, "returnParameters": { "id": 5551, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5550, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 5559, "src": "4494:7:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5549, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "4494:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "4493:9:40" }, "scope": 5584, "src": "4436:128:40", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 5582, "nodeType": "Block", "src": "5130:68:40", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5574, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 5572, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5564, "src": "5148:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "hexValue": "30", "id": 5573, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "5153:1:40", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "5148:6:40", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "id": 5575, "name": "errorMessage", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5566, "src": "5156:12:40", "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": 5571, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "5140:7:40", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 5576, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "5140:29:40", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 5577, "nodeType": "ExpressionStatement", "src": "5140:29:40" }, { "expression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 5580, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 5578, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5562, "src": "5186:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "id": 5579, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5564, "src": "5190:1:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "5186:5:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 5570, "id": 5581, "nodeType": "Return", "src": "5179:12:40" } ] }, "documentation": { "id": 5560, "nodeType": "StructuredDocumentation", "src": "4570:460:40", "text": " @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),\n Reverts with custom message 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": 5583, "implemented": true, "kind": "function", "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "parameters": { "id": 5567, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5562, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "scope": 5583, "src": "5048:9:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5561, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5048:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 5564, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "scope": 5583, "src": "5059:9:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5563, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5059:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 5566, "mutability": "mutable", "name": "errorMessage", "nodeType": "VariableDeclaration", "scope": 5583, "src": "5070:26:40", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_string_memory_ptr", "typeString": "string" }, "typeName": { "id": 5565, "name": "string", "nodeType": "ElementaryTypeName", "src": "5070:6:40", "typeDescriptions": { "typeIdentifier": "t_string_storage_ptr", "typeString": "string" } }, "visibility": "internal" } ], "src": "5047:50:40" }, "returnParameters": { "id": 5570, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 5569, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "scope": 5583, "src": "5121:7:40", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 5568, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "5121:7:40", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "5120:9:40" }, "scope": 5584, "src": "5035:163:40", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 5585, "src": "622:4578:40" } ], "src": "33:5168:40" }, "legacyAST": { "attributes": { "absolutePath": "@openzeppelin/contracts/math/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 5584 ] }, "license": "MIT" }, "children": [ { "attributes": { "literals": [ "solidity", "^", "0.7", ".0" ] }, "id": 5390, "name": "PragmaDirective", "src": "33:23:40" }, { "attributes": { "abstract": false, "baseContracts": [ null ], "contractDependencies": [ null ], "contractKind": "library", "fullyImplemented": true, "linearizedBaseContracts": [ 5584 ], "name": "SafeMath", "scope": 5585 }, "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": 5391, "name": "StructuredDocumentation", "src": "58:563:40" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "add", "scope": 5584, "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": 5392, "name": "StructuredDocumentation", "src": "645:224:40" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "scope": 5417, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5393, "name": "ElementaryTypeName", "src": "887:7:40" } ], "id": 5394, "name": "VariableDeclaration", "src": "887:9:40" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "scope": 5417, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5395, "name": "ElementaryTypeName", "src": "898:7:40" } ], "id": 5396, "name": "VariableDeclaration", "src": "898:9:40" } ], "id": 5397, "name": "ParameterList", "src": "886:22:40" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "scope": 5417, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5398, "name": "ElementaryTypeName", "src": "932:7:40" } ], "id": 5399, "name": "VariableDeclaration", "src": "932:7:40" } ], "id": 5400, "name": "ParameterList", "src": "931:9:40" }, { "children": [ { "attributes": { "assignments": [ 5402 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "c", "scope": 5416, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5401, "name": "ElementaryTypeName", "src": "951:7:40" } ], "id": 5402, "name": "VariableDeclaration", "src": "951:9:40" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5394, "type": "uint256", "value": "a" }, "id": 5403, "name": "Identifier", "src": "963:1:40" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5396, "type": "uint256", "value": "b" }, "id": 5404, "name": "Identifier", "src": "967:1:40" } ], "id": 5405, "name": "BinaryOperation", "src": "963:5:40" } ], "id": 5406, "name": "VariableDeclarationStatement", "src": "951:17:40" }, { "children": [ { "attributes": { "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": 5407, "name": "Identifier", "src": "978:7:40" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5402, "type": "uint256", "value": "c" }, "id": 5408, "name": "Identifier", "src": "986:1:40" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5394, "type": "uint256", "value": "a" }, "id": 5409, "name": "Identifier", "src": "991:1:40" } ], "id": 5410, "name": "BinaryOperation", "src": "986:6:40" }, { "attributes": { "hexvalue": "536166654d6174683a206164646974696f6e206f766572666c6f77", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "string", "type": "literal_string \"SafeMath: addition overflow\"", "value": "SafeMath: addition overflow" }, "id": 5411, "name": "Literal", "src": "994:29:40" } ], "id": 5412, "name": "FunctionCall", "src": "978:46:40" } ], "id": 5413, "name": "ExpressionStatement", "src": "978:46:40" }, { "attributes": { "functionReturnParameters": 5400 }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5402, "type": "uint256", "value": "c" }, "id": 5414, "name": "Identifier", "src": "1042:1:40" } ], "id": 5415, "name": "Return", "src": "1035:8:40" } ], "id": 5416, "name": "Block", "src": "941:109:40" } ], "id": 5417, "name": "FunctionDefinition", "src": "874:176:40" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "sub", "scope": 5584, "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": 5418, "name": "StructuredDocumentation", "src": "1056:260:40" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "scope": 5434, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5419, "name": "ElementaryTypeName", "src": "1334:7:40" } ], "id": 5420, "name": "VariableDeclaration", "src": "1334:9:40" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "scope": 5434, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5421, "name": "ElementaryTypeName", "src": "1345:7:40" } ], "id": 5422, "name": "VariableDeclaration", "src": "1345:9:40" } ], "id": 5423, "name": "ParameterList", "src": "1333:22:40" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "scope": 5434, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5424, "name": "ElementaryTypeName", "src": "1379:7:40" } ], "id": 5425, "name": "VariableDeclaration", "src": "1379:7:40" } ], "id": 5426, "name": "ParameterList", "src": "1378:9:40" }, { "children": [ { "attributes": { "functionReturnParameters": 5426 }, "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_stringliteral_50b058e9b5320e58880d88223c9801cd9eecdcf90323d5c2318bc1b6b916e862", "typeString": "literal_string \"SafeMath: subtraction overflow\"" } ], "overloadedDeclarations": [ 5434, 5462 ], "referencedDeclaration": 5462, "type": "function (uint256,uint256,string memory) pure returns (uint256)", "value": "sub" }, "id": 5427, "name": "Identifier", "src": "1405:3:40" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5420, "type": "uint256", "value": "a" }, "id": 5428, "name": "Identifier", "src": "1409:1:40" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5422, "type": "uint256", "value": "b" }, "id": 5429, "name": "Identifier", "src": "1412:1:40" }, { "attributes": { "hexvalue": "536166654d6174683a207375627472616374696f6e206f766572666c6f77", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "string", "type": "literal_string \"SafeMath: subtraction overflow\"", "value": "SafeMath: subtraction overflow" }, "id": 5430, "name": "Literal", "src": "1415:32:40" } ], "id": 5431, "name": "FunctionCall", "src": "1405:43:40" } ], "id": 5432, "name": "Return", "src": "1398:50:40" } ], "id": 5433, "name": "Block", "src": "1388:67:40" } ], "id": 5434, "name": "FunctionDefinition", "src": "1321:134:40" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "sub", "scope": 5584, "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 Counterpart to Solidity's `-` operator.\n Requirements:\n - Subtraction cannot overflow." }, "id": 5435, "name": "StructuredDocumentation", "src": "1461:280:40" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "scope": 5462, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5436, "name": "ElementaryTypeName", "src": "1759:7:40" } ], "id": 5437, "name": "VariableDeclaration", "src": "1759:9:40" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "scope": 5462, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5438, "name": "ElementaryTypeName", "src": "1770:7:40" } ], "id": 5439, "name": "VariableDeclaration", "src": "1770:9:40" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "errorMessage", "scope": 5462, "stateVariable": false, "storageLocation": "memory", "type": "string", "visibility": "internal" }, "children": [ { "attributes": { "name": "string", "type": "string" }, "id": 5440, "name": "ElementaryTypeName", "src": "1781:6:40" } ], "id": 5441, "name": "VariableDeclaration", "src": "1781:26:40" } ], "id": 5442, "name": "ParameterList", "src": "1758:50:40" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "scope": 5462, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5443, "name": "ElementaryTypeName", "src": "1832:7:40" } ], "id": 5444, "name": "VariableDeclaration", "src": "1832:7:40" } ], "id": 5445, "name": "ParameterList", "src": "1831:9:40" }, { "children": [ { "children": [ { "attributes": { "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": 5446, "name": "Identifier", "src": "1851:7:40" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<=", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5439, "type": "uint256", "value": "b" }, "id": 5447, "name": "Identifier", "src": "1859:1:40" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5437, "type": "uint256", "value": "a" }, "id": 5448, "name": "Identifier", "src": "1864:1:40" } ], "id": 5449, "name": "BinaryOperation", "src": "1859:6:40" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5441, "type": "string memory", "value": "errorMessage" }, "id": 5450, "name": "Identifier", "src": "1867:12:40" } ], "id": 5451, "name": "FunctionCall", "src": "1851:29:40" } ], "id": 5452, "name": "ExpressionStatement", "src": "1851:29:40" }, { "attributes": { "assignments": [ 5454 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "c", "scope": 5461, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5453, "name": "ElementaryTypeName", "src": "1890:7:40" } ], "id": 5454, "name": "VariableDeclaration", "src": "1890:9:40" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5437, "type": "uint256", "value": "a" }, "id": 5455, "name": "Identifier", "src": "1902:1:40" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5439, "type": "uint256", "value": "b" }, "id": 5456, "name": "Identifier", "src": "1906:1:40" } ], "id": 5457, "name": "BinaryOperation", "src": "1902:5:40" } ], "id": 5458, "name": "VariableDeclarationStatement", "src": "1890:17:40" }, { "attributes": { "functionReturnParameters": 5445 }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5454, "type": "uint256", "value": "c" }, "id": 5459, "name": "Identifier", "src": "1925:1:40" } ], "id": 5460, "name": "Return", "src": "1918:8:40" } ], "id": 5461, "name": "Block", "src": "1841:92:40" } ], "id": 5462, "name": "FunctionDefinition", "src": "1746:187:40" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "mul", "scope": 5584, "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": 5463, "name": "StructuredDocumentation", "src": "1939:236:40" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "scope": 5497, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5464, "name": "ElementaryTypeName", "src": "2193:7:40" } ], "id": 5465, "name": "VariableDeclaration", "src": "2193:9:40" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "scope": 5497, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5466, "name": "ElementaryTypeName", "src": "2204:7:40" } ], "id": 5467, "name": "VariableDeclaration", "src": "2204:9:40" } ], "id": 5468, "name": "ParameterList", "src": "2192:22:40" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "scope": 5497, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5469, "name": "ElementaryTypeName", "src": "2238:7:40" } ], "id": 5470, "name": "VariableDeclaration", "src": "2238:7:40" } ], "id": 5471, "name": "ParameterList", "src": "2237:9:40" }, { "children": [ { "attributes": {}, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5465, "type": "uint256", "value": "a" }, "id": 5472, "name": "Identifier", "src": "2479:1:40" }, { "attributes": { "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 0", "value": "0" }, "id": 5473, "name": "Literal", "src": "2484:1:40" } ], "id": 5474, "name": "BinaryOperation", "src": "2479:6:40" }, { "children": [ { "attributes": { "functionReturnParameters": 5471 }, "children": [ { "attributes": { "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 0", "value": "0" }, "id": 5475, "name": "Literal", "src": "2508:1:40" } ], "id": 5476, "name": "Return", "src": "2501:8:40" } ], "id": 5477, "name": "Block", "src": "2487:33:40" } ], "id": 5478, "name": "IfStatement", "src": "2475:45:40" }, { "attributes": { "assignments": [ 5480 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "c", "scope": 5496, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5479, "name": "ElementaryTypeName", "src": "2530:7:40" } ], "id": 5480, "name": "VariableDeclaration", "src": "2530:9:40" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5465, "type": "uint256", "value": "a" }, "id": 5481, "name": "Identifier", "src": "2542:1:40" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5467, "type": "uint256", "value": "b" }, "id": 5482, "name": "Identifier", "src": "2546:1:40" } ], "id": 5483, "name": "BinaryOperation", "src": "2542:5:40" } ], "id": 5484, "name": "VariableDeclarationStatement", "src": "2530:17:40" }, { "children": [ { "attributes": { "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": 5485, "name": "Identifier", "src": "2557:7:40" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5480, "type": "uint256", "value": "c" }, "id": 5486, "name": "Identifier", "src": "2565:1:40" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5465, "type": "uint256", "value": "a" }, "id": 5487, "name": "Identifier", "src": "2569:1:40" } ], "id": 5488, "name": "BinaryOperation", "src": "2565:5:40" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5467, "type": "uint256", "value": "b" }, "id": 5489, "name": "Identifier", "src": "2574:1:40" } ], "id": 5490, "name": "BinaryOperation", "src": "2565:10:40" }, { "attributes": { "hexvalue": "536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "string", "type": "literal_string \"SafeMath: multiplication overflow\"", "value": "SafeMath: multiplication overflow" }, "id": 5491, "name": "Literal", "src": "2577:35:40" } ], "id": 5492, "name": "FunctionCall", "src": "2557:56:40" } ], "id": 5493, "name": "ExpressionStatement", "src": "2557:56:40" }, { "attributes": { "functionReturnParameters": 5471 }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5480, "type": "uint256", "value": "c" }, "id": 5494, "name": "Identifier", "src": "2631:1:40" } ], "id": 5495, "name": "Return", "src": "2624:8:40" } ], "id": 5496, "name": "Block", "src": "2247:392:40" } ], "id": 5497, "name": "FunctionDefinition", "src": "2180:459:40" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "div", "scope": 5584, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "text": " @dev Returns the integer division of two unsigned integers. Reverts 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": 5498, "name": "StructuredDocumentation", "src": "2645:451:40" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "scope": 5514, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5499, "name": "ElementaryTypeName", "src": "3114:7:40" } ], "id": 5500, "name": "VariableDeclaration", "src": "3114:9:40" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "scope": 5514, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5501, "name": "ElementaryTypeName", "src": "3125:7:40" } ], "id": 5502, "name": "VariableDeclaration", "src": "3125:9:40" } ], "id": 5503, "name": "ParameterList", "src": "3113:22:40" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "scope": 5514, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5504, "name": "ElementaryTypeName", "src": "3159:7:40" } ], "id": 5505, "name": "VariableDeclaration", "src": "3159:7:40" } ], "id": 5506, "name": "ParameterList", "src": "3158:9:40" }, { "children": [ { "attributes": { "functionReturnParameters": 5506 }, "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_stringliteral_5b7cc70dda4dc2143e5adb63bd5d1f349504f461dbdfd9bc76fac1f8ca6d019f", "typeString": "literal_string \"SafeMath: division by zero\"" } ], "overloadedDeclarations": [ 5514, 5542 ], "referencedDeclaration": 5542, "type": "function (uint256,uint256,string memory) pure returns (uint256)", "value": "div" }, "id": 5507, "name": "Identifier", "src": "3185:3:40" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5500, "type": "uint256", "value": "a" }, "id": 5508, "name": "Identifier", "src": "3189:1:40" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5502, "type": "uint256", "value": "b" }, "id": 5509, "name": "Identifier", "src": "3192:1:40" }, { "attributes": { "hexvalue": "536166654d6174683a206469766973696f6e206279207a65726f", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "string", "type": "literal_string \"SafeMath: division by zero\"", "value": "SafeMath: division by zero" }, "id": 5510, "name": "Literal", "src": "3195:28:40" } ], "id": 5511, "name": "FunctionCall", "src": "3185:39:40" } ], "id": 5512, "name": "Return", "src": "3178:46:40" } ], "id": 5513, "name": "Block", "src": "3168:63:40" } ], "id": 5514, "name": "FunctionDefinition", "src": "3101:130:40" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "div", "scope": 5584, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "text": " @dev Returns the integer division of two unsigned integers. Reverts with custom message on\n division by zero. The result is rounded towards zero.\n Counterpart to Solidity's `/` operator. Note: this function uses a\n `revert` opcode (which leaves remaining gas untouched) while Solidity\n uses an invalid opcode to revert (consuming all remaining gas).\n Requirements:\n - The divisor cannot be zero." }, "id": 5515, "name": "StructuredDocumentation", "src": "3237:471:40" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "scope": 5542, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5516, "name": "ElementaryTypeName", "src": "3726:7:40" } ], "id": 5517, "name": "VariableDeclaration", "src": "3726:9:40" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "scope": 5542, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5518, "name": "ElementaryTypeName", "src": "3737:7:40" } ], "id": 5519, "name": "VariableDeclaration", "src": "3737:9:40" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "errorMessage", "scope": 5542, "stateVariable": false, "storageLocation": "memory", "type": "string", "visibility": "internal" }, "children": [ { "attributes": { "name": "string", "type": "string" }, "id": 5520, "name": "ElementaryTypeName", "src": "3748:6:40" } ], "id": 5521, "name": "VariableDeclaration", "src": "3748:26:40" } ], "id": 5522, "name": "ParameterList", "src": "3725:50:40" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "scope": 5542, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5523, "name": "ElementaryTypeName", "src": "3799:7:40" } ], "id": 5524, "name": "VariableDeclaration", "src": "3799:7:40" } ], "id": 5525, "name": "ParameterList", "src": "3798:9:40" }, { "children": [ { "children": [ { "attributes": { "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": 5526, "name": "Identifier", "src": "3818:7:40" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5519, "type": "uint256", "value": "b" }, "id": 5527, "name": "Identifier", "src": "3826:1:40" }, { "attributes": { "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 0", "value": "0" }, "id": 5528, "name": "Literal", "src": "3830:1:40" } ], "id": 5529, "name": "BinaryOperation", "src": "3826:5:40" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5521, "type": "string memory", "value": "errorMessage" }, "id": 5530, "name": "Identifier", "src": "3833:12:40" } ], "id": 5531, "name": "FunctionCall", "src": "3818:28:40" } ], "id": 5532, "name": "ExpressionStatement", "src": "3818:28:40" }, { "attributes": { "assignments": [ 5534 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "c", "scope": 5541, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5533, "name": "ElementaryTypeName", "src": "3856:7:40" } ], "id": 5534, "name": "VariableDeclaration", "src": "3856:9:40" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5517, "type": "uint256", "value": "a" }, "id": 5535, "name": "Identifier", "src": "3868:1:40" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5519, "type": "uint256", "value": "b" }, "id": 5536, "name": "Identifier", "src": "3872:1:40" } ], "id": 5537, "name": "BinaryOperation", "src": "3868:5:40" } ], "id": 5538, "name": "VariableDeclarationStatement", "src": "3856:17:40" }, { "attributes": { "functionReturnParameters": 5525 }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5534, "type": "uint256", "value": "c" }, "id": 5539, "name": "Identifier", "src": "3977:1:40" } ], "id": 5540, "name": "Return", "src": "3970:8:40" } ], "id": 5541, "name": "Block", "src": "3808:177:40" } ], "id": 5542, "name": "FunctionDefinition", "src": "3713:272:40" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "mod", "scope": 5584, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "text": " @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),\n Reverts 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": 5543, "name": "StructuredDocumentation", "src": "3991:440:40" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "scope": 5559, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5544, "name": "ElementaryTypeName", "src": "4449:7:40" } ], "id": 5545, "name": "VariableDeclaration", "src": "4449:9:40" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "scope": 5559, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5546, "name": "ElementaryTypeName", "src": "4460:7:40" } ], "id": 5547, "name": "VariableDeclaration", "src": "4460:9:40" } ], "id": 5548, "name": "ParameterList", "src": "4448:22:40" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "scope": 5559, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5549, "name": "ElementaryTypeName", "src": "4494:7:40" } ], "id": 5550, "name": "VariableDeclaration", "src": "4494:7:40" } ], "id": 5551, "name": "ParameterList", "src": "4493:9:40" }, { "children": [ { "attributes": { "functionReturnParameters": 5551 }, "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_stringliteral_726e51f7b81fce0a68f5f214f445e275313b20b1633f08ce954ee39abf8d7832", "typeString": "literal_string \"SafeMath: modulo by zero\"" } ], "overloadedDeclarations": [ 5559, 5583 ], "referencedDeclaration": 5583, "type": "function (uint256,uint256,string memory) pure returns (uint256)", "value": "mod" }, "id": 5552, "name": "Identifier", "src": "4520:3:40" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5545, "type": "uint256", "value": "a" }, "id": 5553, "name": "Identifier", "src": "4524:1:40" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5547, "type": "uint256", "value": "b" }, "id": 5554, "name": "Identifier", "src": "4527:1:40" }, { "attributes": { "hexvalue": "536166654d6174683a206d6f64756c6f206279207a65726f", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "string", "type": "literal_string \"SafeMath: modulo by zero\"", "value": "SafeMath: modulo by zero" }, "id": 5555, "name": "Literal", "src": "4530:26:40" } ], "id": 5556, "name": "FunctionCall", "src": "4520:37:40" } ], "id": 5557, "name": "Return", "src": "4513:44:40" } ], "id": 5558, "name": "Block", "src": "4503:61:40" } ], "id": 5559, "name": "FunctionDefinition", "src": "4436:128:40" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "mod", "scope": 5584, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "text": " @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),\n Reverts with custom message 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": 5560, "name": "StructuredDocumentation", "src": "4570:460:40" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "a", "scope": 5583, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5561, "name": "ElementaryTypeName", "src": "5048:7:40" } ], "id": 5562, "name": "VariableDeclaration", "src": "5048:9:40" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "b", "scope": 5583, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5563, "name": "ElementaryTypeName", "src": "5059:7:40" } ], "id": 5564, "name": "VariableDeclaration", "src": "5059:9:40" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "errorMessage", "scope": 5583, "stateVariable": false, "storageLocation": "memory", "type": "string", "visibility": "internal" }, "children": [ { "attributes": { "name": "string", "type": "string" }, "id": 5565, "name": "ElementaryTypeName", "src": "5070:6:40" } ], "id": 5566, "name": "VariableDeclaration", "src": "5070:26:40" } ], "id": 5567, "name": "ParameterList", "src": "5047:50:40" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "scope": 5583, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 5568, "name": "ElementaryTypeName", "src": "5121:7:40" } ], "id": 5569, "name": "VariableDeclaration", "src": "5121:7:40" } ], "id": 5570, "name": "ParameterList", "src": "5120:9:40" }, { "children": [ { "children": [ { "attributes": { "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": 5571, "name": "Identifier", "src": "5140:7:40" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "!=", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5564, "type": "uint256", "value": "b" }, "id": 5572, "name": "Identifier", "src": "5148:1:40" }, { "attributes": { "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 0", "value": "0" }, "id": 5573, "name": "Literal", "src": "5153:1:40" } ], "id": 5574, "name": "BinaryOperation", "src": "5148:6:40" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5566, "type": "string memory", "value": "errorMessage" }, "id": 5575, "name": "Identifier", "src": "5156:12:40" } ], "id": 5576, "name": "FunctionCall", "src": "5140:29:40" } ], "id": 5577, "name": "ExpressionStatement", "src": "5140:29:40" }, { "attributes": { "functionReturnParameters": 5570 }, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "%", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5562, "type": "uint256", "value": "a" }, "id": 5578, "name": "Identifier", "src": "5186:1:40" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 5564, "type": "uint256", "value": "b" }, "id": 5579, "name": "Identifier", "src": "5190:1:40" } ], "id": 5580, "name": "BinaryOperation", "src": "5186:5:40" } ], "id": 5581, "name": "Return", "src": "5179:12:40" } ], "id": 5582, "name": "Block", "src": "5130:68:40" } ], "id": 5583, "name": "FunctionDefinition", "src": "5035:163:40" } ], "id": 5584, "name": "ContractDefinition", "src": "622:4578:40" } ], "id": 5585, "name": "SourceUnit", "src": "33:5168:40" }, "compiler": { "name": "solc", "version": "0.7.3+commit.9bfce1f6.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.3.3", "updatedAt": "2021-02-01T23:13:33.277Z", "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.", "kind": "dev", "methods": {}, "version": 1 }, "userdoc": { "kind": "user", "methods": {}, "version": 1 } }