{ "contractName": "SafeMath", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.5.17+commit.d19bba13\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"details\":\"Wrappers over Solidity's arithmetic operations with added overflow checks. * Arithmetic operations in Solidity wrap on overflow. This can easily result in bugs, because programmers usually assume that an overflow raises an error, which is the standard behavior in high level programming languages. `SafeMath` restores this intuition by reverting the transaction when an operation overflows. * Using this library instead of the unchecked operations eliminates an entire class of bugs, so it's recommended to use it always.\",\"methods\":{}},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"openzeppelin-solidity/contracts/math/SafeMath.sol\":\"SafeMath\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[]},\"sources\":{\"openzeppelin-solidity/contracts/math/SafeMath.sol\":{\"keccak256\":\"0x4ccf2d7b51873db1ccfd54ca2adae5eac3b184f9699911ed4490438419f1c690\",\"urls\":[\"bzz-raw://d62d769b2219d5de39013093412623e624fa887f871826ea3bae6052ee893610\",\"dweb:/ipfs/QmV3yVktya1s617QmuzQR2CfuJgUi3dR2xEZY9ecmqZ2G1\"]}},\"version\":1}", "bytecode": "0x60556023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea265627a7a72315820c6adee055ac780c861edd96c3337cac7aed4fbe97bb940391756936c374a213364736f6c63430005110032", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea265627a7a72315820c6adee055ac780c861edd96c3337cac7aed4fbe97bb940391756936c374a213364736f6c63430005110032", "sourceMap": "589:2938:60:-;;132:2:-1;166:7;155:9;146:7;137:37;255:7;249:14;246:1;241:23;235:4;232:33;222:2;;269:9;222:2;293:9;290:1;283:20;323:4;314:7;306:22;347:7;338;331:24", "deployedSourceMap": "589:2938:60:-;;;;;;;;", "source": "pragma solidity ^0.5.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 * - 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 * - Subtraction cannot overflow.\n */\n function sub(uint256 a, uint256 b) internal pure returns (uint256) {\n require(b <= a, \"SafeMath: subtraction overflow\");\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 * - 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-solidity/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 * - The divisor cannot be zero.\n */\n function div(uint256 a, uint256 b) internal pure returns (uint256) {\n // Solidity only automatically asserts when dividing by 0\n require(b > 0, \"SafeMath: division by zero\");\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 * - The divisor cannot be zero.\n */\n function mod(uint256 a, uint256 b) internal pure returns (uint256) {\n require(b != 0, \"SafeMath: modulo by zero\");\n return a % b;\n }\n}\n", "sourcePath": "openzeppelin-solidity/contracts/math/SafeMath.sol", "ast": { "absolutePath": "openzeppelin-solidity/contracts/math/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 16855 ] }, "id": 16856, "nodeType": "SourceUnit", "nodes": [ { "id": 16724, "literals": [ "solidity", "^", "0.5", ".0" ], "nodeType": "PragmaDirective", "src": "0:23:60" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@dev Wrappers over Solidity's arithmetic operations with added overflow\nchecks.\n * Arithmetic operations in Solidity wrap on overflow. This can easily result\nin bugs, because programmers usually assume that an overflow raises an\nerror, which is the standard behavior in high level programming languages.\n`SafeMath` restores this intuition by reverting the transaction when an\noperation overflows.\n * Using this library instead of the unchecked operations eliminates an entire\nclass of bugs, so it's recommended to use it always.", "fullyImplemented": true, "id": 16855, "linearizedBaseContracts": [ 16855 ], "name": "SafeMath", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 16748, "nodeType": "Block", "src": "901:109:60", "statements": [ { "assignments": [ 16734 ], "declarations": [ { "constant": false, "id": 16734, "name": "c", "nodeType": "VariableDeclaration", "scope": 16748, "src": "911:9:60", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16733, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "911:7:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 16738, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 16737, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 16735, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16726, "src": "923:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 16736, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16728, "src": "927:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "923:5:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "911:17:60" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 16742, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 16740, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16734, "src": "946:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 16741, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16726, "src": "951:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "946:6:60", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "536166654d6174683a206164646974696f6e206f766572666c6f77", "id": 16743, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "954:29:60", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_30cc447bcc13b3e22b45cef0dd9b0b514842d836dd9b6eb384e20dedfb47723a", "typeString": "literal_string \"SafeMath: addition overflow\"" }, "value": "SafeMath: addition overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_30cc447bcc13b3e22b45cef0dd9b0b514842d836dd9b6eb384e20dedfb47723a", "typeString": "literal_string \"SafeMath: addition overflow\"" } ], "id": 16739, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "src": "938:7:60", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 16744, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "938:46:60", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 16745, "nodeType": "ExpressionStatement", "src": "938:46:60" }, { "expression": { "argumentTypes": null, "id": 16746, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16734, "src": "1002:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 16732, "id": 16747, "nodeType": "Return", "src": "995:8:60" } ] }, "documentation": "@dev Returns the addition of two unsigned integers, reverting on\noverflow.\n * Counterpart to Solidity's `+` operator.\n * Requirements:\n- Addition cannot overflow.", "id": 16749, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 16729, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 16726, "name": "a", "nodeType": "VariableDeclaration", "scope": 16749, "src": "847:9:60", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16725, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "847:7:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 16728, "name": "b", "nodeType": "VariableDeclaration", "scope": 16749, "src": "858:9:60", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16727, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "858:7:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "846:22:60" }, "returnParameters": { "id": 16732, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 16731, "name": "", "nodeType": "VariableDeclaration", "scope": 16749, "src": "892:7:60", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16730, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "892:7:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "891:9:60" }, "scope": 16855, "src": "834:176:60", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 16773, "nodeType": "Block", "src": "1341:112:60", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 16761, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 16759, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16753, "src": "1359:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 16760, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16751, "src": "1364:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1359:6:60", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "536166654d6174683a207375627472616374696f6e206f766572666c6f77", "id": 16762, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1367:32:60", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_50b058e9b5320e58880d88223c9801cd9eecdcf90323d5c2318bc1b6b916e862", "typeString": "literal_string \"SafeMath: subtraction overflow\"" }, "value": "SafeMath: subtraction overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_50b058e9b5320e58880d88223c9801cd9eecdcf90323d5c2318bc1b6b916e862", "typeString": "literal_string \"SafeMath: subtraction overflow\"" } ], "id": 16758, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "src": "1351:7:60", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 16763, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1351:49:60", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 16764, "nodeType": "ExpressionStatement", "src": "1351:49:60" }, { "assignments": [ 16766 ], "declarations": [ { "constant": false, "id": 16766, "name": "c", "nodeType": "VariableDeclaration", "scope": 16773, "src": "1410:9:60", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16765, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1410:7:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 16770, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 16769, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 16767, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16751, "src": "1422:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 16768, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16753, "src": "1426:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1422:5:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1410:17:60" }, { "expression": { "argumentTypes": null, "id": 16771, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16766, "src": "1445:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 16757, "id": 16772, "nodeType": "Return", "src": "1438:8:60" } ] }, "documentation": "@dev Returns the subtraction of two unsigned integers, reverting on\noverflow (when the result is negative).\n * Counterpart to Solidity's `-` operator.\n * Requirements:\n- Subtraction cannot overflow.", "id": 16774, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 16754, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 16751, "name": "a", "nodeType": "VariableDeclaration", "scope": 16774, "src": "1287:9:60", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16750, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1287:7:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 16753, "name": "b", "nodeType": "VariableDeclaration", "scope": 16774, "src": "1298:9:60", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16752, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1298:7:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1286:22:60" }, "returnParameters": { "id": 16757, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 16756, "name": "", "nodeType": "VariableDeclaration", "scope": 16774, "src": "1332:7:60", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16755, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1332:7:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1331:9:60" }, "scope": 16855, "src": "1274:179:60", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 16807, "nodeType": "Block", "src": "1760:391:60", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 16785, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 16783, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16776, "src": "1991:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 16784, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1996:1:60", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1991:6:60", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 16789, "nodeType": "IfStatement", "src": "1987:45:60", "trueBody": { "id": 16788, "nodeType": "Block", "src": "1999:33:60", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 16786, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2020:1:60", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 16782, "id": 16787, "nodeType": "Return", "src": "2013:8:60" } ] } }, { "assignments": [ 16791 ], "declarations": [ { "constant": false, "id": 16791, "name": "c", "nodeType": "VariableDeclaration", "scope": 16807, "src": "2042:9:60", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16790, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2042:7:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 16795, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 16794, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 16792, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16776, "src": "2054:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 16793, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16778, "src": "2058:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2054:5:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2042:17:60" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 16801, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 16799, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 16797, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16791, "src": "2077:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 16798, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16776, "src": "2081:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2077:5:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 16800, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16778, "src": "2086:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2077:10:60", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77", "id": 16802, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2089:35:60", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_9113bb53c2876a3805b2c9242029423fc540a728243ce887ab24c82cf119fba3", "typeString": "literal_string \"SafeMath: multiplication overflow\"" }, "value": "SafeMath: multiplication overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_9113bb53c2876a3805b2c9242029423fc540a728243ce887ab24c82cf119fba3", "typeString": "literal_string \"SafeMath: multiplication overflow\"" } ], "id": 16796, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "src": "2069:7:60", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 16803, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2069:56:60", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 16804, "nodeType": "ExpressionStatement", "src": "2069:56:60" }, { "expression": { "argumentTypes": null, "id": 16805, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16791, "src": "2143:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 16782, "id": 16806, "nodeType": "Return", "src": "2136:8:60" } ] }, "documentation": "@dev Returns the multiplication of two unsigned integers, reverting on\noverflow.\n * Counterpart to Solidity's `*` operator.\n * Requirements:\n- Multiplication cannot overflow.", "id": 16808, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 16779, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 16776, "name": "a", "nodeType": "VariableDeclaration", "scope": 16808, "src": "1706:9:60", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16775, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1706:7:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 16778, "name": "b", "nodeType": "VariableDeclaration", "scope": 16808, "src": "1717:9:60", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16777, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1717:7:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1705:22:60" }, "returnParameters": { "id": 16782, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 16781, "name": "", "nodeType": "VariableDeclaration", "scope": 16808, "src": "1751:7:60", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16780, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1751:7:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1750:9:60" }, "scope": 16855, "src": "1693:458:60", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 16832, "nodeType": "Block", "src": "2673:259:60", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 16820, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 16818, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16812, "src": "2757:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 16819, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2761:1:60", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2757:5:60", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "536166654d6174683a206469766973696f6e206279207a65726f", "id": 16821, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2764:28:60", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_5b7cc70dda4dc2143e5adb63bd5d1f349504f461dbdfd9bc76fac1f8ca6d019f", "typeString": "literal_string \"SafeMath: division by zero\"" }, "value": "SafeMath: division by zero" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_5b7cc70dda4dc2143e5adb63bd5d1f349504f461dbdfd9bc76fac1f8ca6d019f", "typeString": "literal_string \"SafeMath: division by zero\"" } ], "id": 16817, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "src": "2749:7:60", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 16822, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2749:44:60", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 16823, "nodeType": "ExpressionStatement", "src": "2749:44:60" }, { "assignments": [ 16825 ], "declarations": [ { "constant": false, "id": 16825, "name": "c", "nodeType": "VariableDeclaration", "scope": 16832, "src": "2803:9:60", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16824, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2803:7:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 16829, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 16828, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 16826, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16810, "src": "2815:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 16827, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16812, "src": "2819:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2815:5:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2803:17:60" }, { "expression": { "argumentTypes": null, "id": 16830, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16825, "src": "2924:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 16816, "id": 16831, "nodeType": "Return", "src": "2917:8:60" } ] }, "documentation": "@dev Returns the integer division of two unsigned integers. Reverts on\ndivision 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\nuses an invalid opcode to revert (consuming all remaining gas).\n * Requirements:\n- The divisor cannot be zero.", "id": 16833, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 16813, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 16810, "name": "a", "nodeType": "VariableDeclaration", "scope": 16833, "src": "2619:9:60", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16809, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2619:7:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 16812, "name": "b", "nodeType": "VariableDeclaration", "scope": 16833, "src": "2630:9:60", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16811, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2630:7:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2618:22:60" }, "returnParameters": { "id": 16816, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 16815, "name": "", "nodeType": "VariableDeclaration", "scope": 16833, "src": "2664:7:60", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16814, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "2664:7:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2663:9:60" }, "scope": 16855, "src": "2606:326:60", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 16853, "nodeType": "Block", "src": "3443:82:60", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 16845, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 16843, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16837, "src": "3461:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 16844, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3466:1:60", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "3461:6:60", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "536166654d6174683a206d6f64756c6f206279207a65726f", "id": 16846, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "3469:26:60", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_726e51f7b81fce0a68f5f214f445e275313b20b1633f08ce954ee39abf8d7832", "typeString": "literal_string \"SafeMath: modulo by zero\"" }, "value": "SafeMath: modulo by zero" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_726e51f7b81fce0a68f5f214f445e275313b20b1633f08ce954ee39abf8d7832", "typeString": "literal_string \"SafeMath: modulo by zero\"" } ], "id": 16842, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "src": "3453:7:60", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 16847, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3453:43:60", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 16848, "nodeType": "ExpressionStatement", "src": "3453:43:60" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 16851, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 16849, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16835, "src": "3513:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "%", "rightExpression": { "argumentTypes": null, "id": 16850, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 16837, "src": "3517:1:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3513:5:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 16841, "id": 16852, "nodeType": "Return", "src": "3506:12:60" } ] }, "documentation": "@dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),\nReverts when dividing by zero.\n * Counterpart to Solidity's `%` operator. This function uses a `revert`\nopcode (which leaves remaining gas untouched) while Solidity uses an\ninvalid opcode to revert (consuming all remaining gas).\n * Requirements:\n- The divisor cannot be zero.", "id": 16854, "implemented": true, "kind": "function", "modifiers": [], "name": "mod", "nodeType": "FunctionDefinition", "parameters": { "id": 16838, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 16835, "name": "a", "nodeType": "VariableDeclaration", "scope": 16854, "src": "3389:9:60", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16834, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3389:7:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 16837, "name": "b", "nodeType": "VariableDeclaration", "scope": 16854, "src": "3400:9:60", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16836, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3400:7:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3388:22:60" }, "returnParameters": { "id": 16841, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 16840, "name": "", "nodeType": "VariableDeclaration", "scope": 16854, "src": "3434:7:60", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 16839, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "3434:7:60", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3433:9:60" }, "scope": 16855, "src": "3376:149:60", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 16856, "src": "589:2938:60" } ], "src": "0:3528:60" }, "legacyAST": { "attributes": { "absolutePath": "openzeppelin-solidity/contracts/math/SafeMath.sol", "exportedSymbols": { "SafeMath": [ 16855 ] } }, "children": [ { "attributes": { "literals": [ "solidity", "^", "0.5", ".0" ] }, "id": 16724, "name": "PragmaDirective", "src": "0:23:60" }, { "attributes": { "baseContracts": [ null ], "contractDependencies": [ null ], "contractKind": "library", "documentation": "@dev Wrappers over Solidity's arithmetic operations with added overflow\nchecks.\n * Arithmetic operations in Solidity wrap on overflow. This can easily result\nin bugs, because programmers usually assume that an overflow raises an\nerror, which is the standard behavior in high level programming languages.\n`SafeMath` restores this intuition by reverting the transaction when an\noperation overflows.\n * Using this library instead of the unchecked operations eliminates an entire\nclass of bugs, so it's recommended to use it always.", "fullyImplemented": true, "linearizedBaseContracts": [ 16855 ], "name": "SafeMath", "scope": 16856 }, "children": [ { "attributes": { "documentation": "@dev Returns the addition of two unsigned integers, reverting on\noverflow.\n * Counterpart to Solidity's `+` operator.\n * Requirements:\n- Addition cannot overflow.", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "add", "scope": 16855, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 16749, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16725, "name": "ElementaryTypeName", "src": "847:7:60" } ], "id": 16726, "name": "VariableDeclaration", "src": "847:9:60" }, { "attributes": { "constant": false, "name": "b", "scope": 16749, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16727, "name": "ElementaryTypeName", "src": "858:7:60" } ], "id": 16728, "name": "VariableDeclaration", "src": "858:9:60" } ], "id": 16729, "name": "ParameterList", "src": "846:22:60" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 16749, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16730, "name": "ElementaryTypeName", "src": "892:7:60" } ], "id": 16731, "name": "VariableDeclaration", "src": "892:7:60" } ], "id": 16732, "name": "ParameterList", "src": "891:9:60" }, { "children": [ { "attributes": { "assignments": [ 16734 ] }, "children": [ { "attributes": { "constant": false, "name": "c", "scope": 16748, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16733, "name": "ElementaryTypeName", "src": "911:7:60" } ], "id": 16734, "name": "VariableDeclaration", "src": "911:9:60" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16726, "type": "uint256", "value": "a" }, "id": 16735, "name": "Identifier", "src": "923:1:60" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16728, "type": "uint256", "value": "b" }, "id": 16736, "name": "Identifier", "src": "927:1:60" } ], "id": 16737, "name": "BinaryOperation", "src": "923:5:60" } ], "id": 16738, "name": "VariableDeclarationStatement", "src": "911:17:60" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_30cc447bcc13b3e22b45cef0dd9b0b514842d836dd9b6eb384e20dedfb47723a", "typeString": "literal_string \"SafeMath: addition overflow\"" } ], "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "type": "function (bool,string memory) pure", "value": "require" }, "id": 16739, "name": "Identifier", "src": "938:7:60" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16734, "type": "uint256", "value": "c" }, "id": 16740, "name": "Identifier", "src": "946:1:60" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16726, "type": "uint256", "value": "a" }, "id": 16741, "name": "Identifier", "src": "951:1:60" } ], "id": 16742, "name": "BinaryOperation", "src": "946:6:60" }, { "attributes": { "argumentTypes": null, "hexvalue": "536166654d6174683a206164646974696f6e206f766572666c6f77", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"SafeMath: addition overflow\"", "value": "SafeMath: addition overflow" }, "id": 16743, "name": "Literal", "src": "954:29:60" } ], "id": 16744, "name": "FunctionCall", "src": "938:46:60" } ], "id": 16745, "name": "ExpressionStatement", "src": "938:46:60" }, { "attributes": { "functionReturnParameters": 16732 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16734, "type": "uint256", "value": "c" }, "id": 16746, "name": "Identifier", "src": "1002:1:60" } ], "id": 16747, "name": "Return", "src": "995:8:60" } ], "id": 16748, "name": "Block", "src": "901:109:60" } ], "id": 16749, "name": "FunctionDefinition", "src": "834:176:60" }, { "attributes": { "documentation": "@dev Returns the subtraction of two unsigned integers, reverting on\noverflow (when the result is negative).\n * Counterpart to Solidity's `-` operator.\n * Requirements:\n- Subtraction cannot overflow.", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "sub", "scope": 16855, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 16774, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16750, "name": "ElementaryTypeName", "src": "1287:7:60" } ], "id": 16751, "name": "VariableDeclaration", "src": "1287:9:60" }, { "attributes": { "constant": false, "name": "b", "scope": 16774, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16752, "name": "ElementaryTypeName", "src": "1298:7:60" } ], "id": 16753, "name": "VariableDeclaration", "src": "1298:9:60" } ], "id": 16754, "name": "ParameterList", "src": "1286:22:60" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 16774, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16755, "name": "ElementaryTypeName", "src": "1332:7:60" } ], "id": 16756, "name": "VariableDeclaration", "src": "1332:7:60" } ], "id": 16757, "name": "ParameterList", "src": "1331:9:60" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_50b058e9b5320e58880d88223c9801cd9eecdcf90323d5c2318bc1b6b916e862", "typeString": "literal_string \"SafeMath: subtraction overflow\"" } ], "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "type": "function (bool,string memory) pure", "value": "require" }, "id": 16758, "name": "Identifier", "src": "1351:7:60" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16753, "type": "uint256", "value": "b" }, "id": 16759, "name": "Identifier", "src": "1359:1:60" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16751, "type": "uint256", "value": "a" }, "id": 16760, "name": "Identifier", "src": "1364:1:60" } ], "id": 16761, "name": "BinaryOperation", "src": "1359:6:60" }, { "attributes": { "argumentTypes": null, "hexvalue": "536166654d6174683a207375627472616374696f6e206f766572666c6f77", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"SafeMath: subtraction overflow\"", "value": "SafeMath: subtraction overflow" }, "id": 16762, "name": "Literal", "src": "1367:32:60" } ], "id": 16763, "name": "FunctionCall", "src": "1351:49:60" } ], "id": 16764, "name": "ExpressionStatement", "src": "1351:49:60" }, { "attributes": { "assignments": [ 16766 ] }, "children": [ { "attributes": { "constant": false, "name": "c", "scope": 16773, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16765, "name": "ElementaryTypeName", "src": "1410:7:60" } ], "id": 16766, "name": "VariableDeclaration", "src": "1410:9:60" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16751, "type": "uint256", "value": "a" }, "id": 16767, "name": "Identifier", "src": "1422:1:60" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16753, "type": "uint256", "value": "b" }, "id": 16768, "name": "Identifier", "src": "1426:1:60" } ], "id": 16769, "name": "BinaryOperation", "src": "1422:5:60" } ], "id": 16770, "name": "VariableDeclarationStatement", "src": "1410:17:60" }, { "attributes": { "functionReturnParameters": 16757 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16766, "type": "uint256", "value": "c" }, "id": 16771, "name": "Identifier", "src": "1445:1:60" } ], "id": 16772, "name": "Return", "src": "1438:8:60" } ], "id": 16773, "name": "Block", "src": "1341:112:60" } ], "id": 16774, "name": "FunctionDefinition", "src": "1274:179:60" }, { "attributes": { "documentation": "@dev Returns the multiplication of two unsigned integers, reverting on\noverflow.\n * Counterpart to Solidity's `*` operator.\n * Requirements:\n- Multiplication cannot overflow.", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "mul", "scope": 16855, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 16808, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16775, "name": "ElementaryTypeName", "src": "1706:7:60" } ], "id": 16776, "name": "VariableDeclaration", "src": "1706:9:60" }, { "attributes": { "constant": false, "name": "b", "scope": 16808, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16777, "name": "ElementaryTypeName", "src": "1717:7:60" } ], "id": 16778, "name": "VariableDeclaration", "src": "1717:9:60" } ], "id": 16779, "name": "ParameterList", "src": "1705:22:60" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 16808, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16780, "name": "ElementaryTypeName", "src": "1751:7:60" } ], "id": 16781, "name": "VariableDeclaration", "src": "1751:7:60" } ], "id": 16782, "name": "ParameterList", "src": "1750:9:60" }, { "children": [ { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16776, "type": "uint256", "value": "a" }, "id": 16783, "name": "Identifier", "src": "1991:1:60" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 16784, "name": "Literal", "src": "1996:1:60" } ], "id": 16785, "name": "BinaryOperation", "src": "1991:6:60" }, { "children": [ { "attributes": { "functionReturnParameters": 16782 }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 16786, "name": "Literal", "src": "2020:1:60" } ], "id": 16787, "name": "Return", "src": "2013:8:60" } ], "id": 16788, "name": "Block", "src": "1999:33:60" } ], "id": 16789, "name": "IfStatement", "src": "1987:45:60" }, { "attributes": { "assignments": [ 16791 ] }, "children": [ { "attributes": { "constant": false, "name": "c", "scope": 16807, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16790, "name": "ElementaryTypeName", "src": "2042:7:60" } ], "id": 16791, "name": "VariableDeclaration", "src": "2042:9:60" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16776, "type": "uint256", "value": "a" }, "id": 16792, "name": "Identifier", "src": "2054:1:60" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16778, "type": "uint256", "value": "b" }, "id": 16793, "name": "Identifier", "src": "2058:1:60" } ], "id": 16794, "name": "BinaryOperation", "src": "2054:5:60" } ], "id": 16795, "name": "VariableDeclarationStatement", "src": "2042:17:60" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_9113bb53c2876a3805b2c9242029423fc540a728243ce887ab24c82cf119fba3", "typeString": "literal_string \"SafeMath: multiplication overflow\"" } ], "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "type": "function (bool,string memory) pure", "value": "require" }, "id": 16796, "name": "Identifier", "src": "2069:7:60" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16791, "type": "uint256", "value": "c" }, "id": 16797, "name": "Identifier", "src": "2077:1:60" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16776, "type": "uint256", "value": "a" }, "id": 16798, "name": "Identifier", "src": "2081:1:60" } ], "id": 16799, "name": "BinaryOperation", "src": "2077:5:60" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16778, "type": "uint256", "value": "b" }, "id": 16800, "name": "Identifier", "src": "2086:1:60" } ], "id": 16801, "name": "BinaryOperation", "src": "2077:10:60" }, { "attributes": { "argumentTypes": null, "hexvalue": "536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"SafeMath: multiplication overflow\"", "value": "SafeMath: multiplication overflow" }, "id": 16802, "name": "Literal", "src": "2089:35:60" } ], "id": 16803, "name": "FunctionCall", "src": "2069:56:60" } ], "id": 16804, "name": "ExpressionStatement", "src": "2069:56:60" }, { "attributes": { "functionReturnParameters": 16782 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16791, "type": "uint256", "value": "c" }, "id": 16805, "name": "Identifier", "src": "2143:1:60" } ], "id": 16806, "name": "Return", "src": "2136:8:60" } ], "id": 16807, "name": "Block", "src": "1760:391:60" } ], "id": 16808, "name": "FunctionDefinition", "src": "1693:458:60" }, { "attributes": { "documentation": "@dev Returns the integer division of two unsigned integers. Reverts on\ndivision 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\nuses an invalid opcode to revert (consuming all remaining gas).\n * Requirements:\n- The divisor cannot be zero.", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "div", "scope": 16855, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 16833, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16809, "name": "ElementaryTypeName", "src": "2619:7:60" } ], "id": 16810, "name": "VariableDeclaration", "src": "2619:9:60" }, { "attributes": { "constant": false, "name": "b", "scope": 16833, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16811, "name": "ElementaryTypeName", "src": "2630:7:60" } ], "id": 16812, "name": "VariableDeclaration", "src": "2630:9:60" } ], "id": 16813, "name": "ParameterList", "src": "2618:22:60" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 16833, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16814, "name": "ElementaryTypeName", "src": "2664:7:60" } ], "id": 16815, "name": "VariableDeclaration", "src": "2664:7:60" } ], "id": 16816, "name": "ParameterList", "src": "2663:9:60" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_5b7cc70dda4dc2143e5adb63bd5d1f349504f461dbdfd9bc76fac1f8ca6d019f", "typeString": "literal_string \"SafeMath: division by zero\"" } ], "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "type": "function (bool,string memory) pure", "value": "require" }, "id": 16817, "name": "Identifier", "src": "2749:7:60" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16812, "type": "uint256", "value": "b" }, "id": 16818, "name": "Identifier", "src": "2757:1:60" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 16819, "name": "Literal", "src": "2761:1:60" } ], "id": 16820, "name": "BinaryOperation", "src": "2757:5:60" }, { "attributes": { "argumentTypes": null, "hexvalue": "536166654d6174683a206469766973696f6e206279207a65726f", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"SafeMath: division by zero\"", "value": "SafeMath: division by zero" }, "id": 16821, "name": "Literal", "src": "2764:28:60" } ], "id": 16822, "name": "FunctionCall", "src": "2749:44:60" } ], "id": 16823, "name": "ExpressionStatement", "src": "2749:44:60" }, { "attributes": { "assignments": [ 16825 ] }, "children": [ { "attributes": { "constant": false, "name": "c", "scope": 16832, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16824, "name": "ElementaryTypeName", "src": "2803:7:60" } ], "id": 16825, "name": "VariableDeclaration", "src": "2803:9:60" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16810, "type": "uint256", "value": "a" }, "id": 16826, "name": "Identifier", "src": "2815:1:60" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16812, "type": "uint256", "value": "b" }, "id": 16827, "name": "Identifier", "src": "2819:1:60" } ], "id": 16828, "name": "BinaryOperation", "src": "2815:5:60" } ], "id": 16829, "name": "VariableDeclarationStatement", "src": "2803:17:60" }, { "attributes": { "functionReturnParameters": 16816 }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16825, "type": "uint256", "value": "c" }, "id": 16830, "name": "Identifier", "src": "2924:1:60" } ], "id": 16831, "name": "Return", "src": "2917:8:60" } ], "id": 16832, "name": "Block", "src": "2673:259:60" } ], "id": 16833, "name": "FunctionDefinition", "src": "2606:326:60" }, { "attributes": { "documentation": "@dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),\nReverts when dividing by zero.\n * Counterpart to Solidity's `%` operator. This function uses a `revert`\nopcode (which leaves remaining gas untouched) while Solidity uses an\ninvalid opcode to revert (consuming all remaining gas).\n * Requirements:\n- The divisor cannot be zero.", "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "mod", "scope": 16855, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "a", "scope": 16854, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16834, "name": "ElementaryTypeName", "src": "3389:7:60" } ], "id": 16835, "name": "VariableDeclaration", "src": "3389:9:60" }, { "attributes": { "constant": false, "name": "b", "scope": 16854, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16836, "name": "ElementaryTypeName", "src": "3400:7:60" } ], "id": 16837, "name": "VariableDeclaration", "src": "3400:9:60" } ], "id": 16838, "name": "ParameterList", "src": "3388:22:60" }, { "children": [ { "attributes": { "constant": false, "name": "", "scope": 16854, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 16839, "name": "ElementaryTypeName", "src": "3434:7:60" } ], "id": 16840, "name": "VariableDeclaration", "src": "3434:7:60" } ], "id": 16841, "name": "ParameterList", "src": "3433:9:60" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_726e51f7b81fce0a68f5f214f445e275313b20b1633f08ce954ee39abf8d7832", "typeString": "literal_string \"SafeMath: modulo by zero\"" } ], "overloadedDeclarations": [ 18363, 18364 ], "referencedDeclaration": 18364, "type": "function (bool,string memory) pure", "value": "require" }, "id": 16842, "name": "Identifier", "src": "3453:7:60" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "!=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16837, "type": "uint256", "value": "b" }, "id": 16843, "name": "Identifier", "src": "3461:1:60" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 16844, "name": "Literal", "src": "3466:1:60" } ], "id": 16845, "name": "BinaryOperation", "src": "3461:6:60" }, { "attributes": { "argumentTypes": null, "hexvalue": "536166654d6174683a206d6f64756c6f206279207a65726f", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"SafeMath: modulo by zero\"", "value": "SafeMath: modulo by zero" }, "id": 16846, "name": "Literal", "src": "3469:26:60" } ], "id": 16847, "name": "FunctionCall", "src": "3453:43:60" } ], "id": 16848, "name": "ExpressionStatement", "src": "3453:43:60" }, { "attributes": { "functionReturnParameters": 16841 }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "%", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16835, "type": "uint256", "value": "a" }, "id": 16849, "name": "Identifier", "src": "3513:1:60" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 16837, "type": "uint256", "value": "b" }, "id": 16850, "name": "Identifier", "src": "3517:1:60" } ], "id": 16851, "name": "BinaryOperation", "src": "3513:5:60" } ], "id": 16852, "name": "Return", "src": "3506:12:60" } ], "id": 16853, "name": "Block", "src": "3443:82:60" } ], "id": 16854, "name": "FunctionDefinition", "src": "3376:149:60" } ], "id": 16855, "name": "ContractDefinition", "src": "589:2938:60" } ], "id": 16856, "name": "SourceUnit", "src": "0:3528:60" }, "compiler": { "name": "solc", "version": "0.5.17+commit.d19bba13.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.3.4", "updatedAt": "2021-11-23T11:52:09.412Z", "devdoc": { "details": "Wrappers over Solidity's arithmetic operations with added overflow checks. * Arithmetic operations in Solidity wrap on overflow. This can easily result in bugs, because programmers usually assume that an overflow raises an error, which is the standard behavior in high level programming languages. `SafeMath` restores this intuition by reverting the transaction when an operation overflows. * Using this library instead of the unchecked operations eliminates an entire class of bugs, so it's recommended to use it always.", "methods": {} }, "userdoc": { "methods": {} } }