{ "fileName": "SignedSafeMath.sol", "contractName": "SignedSafeMath", "source": "// SPDX-License-Identifier: MIT\n\npragma solidity ^0.7.0;\n\n/**\n * @title SignedSafeMath\n * @dev Signed math operations with safety checks that revert on error.\n */\nlibrary SignedSafeMath {\n int256 constant private _INT256_MIN = -2**255;\n\n /**\n * @dev Returns the multiplication of two signed integers, reverting on\n * overflow.\n *\n * Counterpart to Solidity's `*` operator.\n *\n * Requirements:\n *\n * - Multiplication cannot overflow.\n */\n function mul(int256 a, int256 b) internal pure returns (int256) {\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 require(!(a == -1 && b == _INT256_MIN), \"SignedSafeMath: multiplication overflow\");\n\n int256 c = a * b;\n require(c / a == b, \"SignedSafeMath: multiplication overflow\");\n\n return c;\n }\n\n /**\n * @dev Returns the integer division of two signed 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(int256 a, int256 b) internal pure returns (int256) {\n require(b != 0, \"SignedSafeMath: division by zero\");\n require(!(b == -1 && a == _INT256_MIN), \"SignedSafeMath: division overflow\");\n\n int256 c = a / b;\n\n return c;\n }\n\n /**\n * @dev Returns the subtraction of two signed integers, reverting on\n * overflow.\n *\n * Counterpart to Solidity's `-` operator.\n *\n * Requirements:\n *\n * - Subtraction cannot overflow.\n */\n function sub(int256 a, int256 b) internal pure returns (int256) {\n int256 c = a - b;\n require((b >= 0 && c <= a) || (b < 0 && c > a), \"SignedSafeMath: subtraction overflow\");\n\n return c;\n }\n\n /**\n * @dev Returns the addition of two signed integers, reverting on\n * overflow.\n *\n * Counterpart to Solidity's `+` operator.\n *\n * Requirements:\n *\n * - Addition cannot overflow.\n */\n function add(int256 a, int256 b) internal pure returns (int256) {\n int256 c = a + b;\n require((b >= 0 && c >= a) || (b < 0 && c < a), \"SignedSafeMath: addition overflow\");\n\n return c;\n }\n}\n", "sourcePath": "contracts/math/SignedSafeMath.sol", "sourceMap": "163:2499:18:-:0;;;;;;;;;;;;;;;;;;;;;;;;;", "deployedSourceMap": "163:2499:18:-:0;;;;;;;;", "abi": [], "ast": { "absolutePath": "contracts/math/SignedSafeMath.sol", "exportedSymbols": { "SignedSafeMath": [ 2600 ] }, "id": 2601, "license": "MIT", "nodeType": "SourceUnit", "nodes": [ { "id": 2423, "literals": [ "solidity", "^", "0.7", ".0" ], "nodeType": "PragmaDirective", "src": "33:23:18" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 2424, "nodeType": "StructuredDocumentation", "src": "58:104:18", "text": " @title SignedSafeMath\n @dev Signed math operations with safety checks that revert on error." }, "fullyImplemented": true, "id": 2600, "linearizedBaseContracts": [ 2600 ], "name": "SignedSafeMath", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "id": 2430, "mutability": "constant", "name": "_INT256_MIN", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2600, "src": "192:45:18", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 2425, "name": "int256", "nodeType": "ElementaryTypeName", "src": "192:6:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" }, "id": 2429, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2427, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "230:2:18", "subExpression": { "argumentTypes": null, "hexValue": "32", "id": 2426, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "231:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_2_by_1", "typeString": "int_const -2" } }, "nodeType": "BinaryOperation", "operator": "**", "rightExpression": { "argumentTypes": null, "hexValue": "323535", "id": 2428, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "234:3:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_255_by_1", "typeString": "int_const 255" }, "value": "255" }, "src": "230:7:18", "typeDescriptions": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" } }, "visibility": "private" }, { "body": { "id": 2478, "nodeType": "Block", "src": "551:490:18", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 2442, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2440, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2433, "src": "783:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 2441, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "788:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "783:6:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 2446, "nodeType": "IfStatement", "src": "779:45:18", "trueBody": { "id": 2445, "nodeType": "Block", "src": "791:33:18", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 2443, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "812:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 2439, "id": 2444, "nodeType": "Return", "src": "805:8:18" } ] } }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 2457, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "842:30:18", "subExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 2455, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 2451, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2448, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2433, "src": "844:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 2450, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "849:2:18", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 2449, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "850:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } }, "src": "844:7:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 2454, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2452, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2435, "src": "855:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 2453, "name": "_INT256_MIN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2430, "src": "860:11:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "855:16:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "844:27:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 2456, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "843:29:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e6564536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77", "id": 2458, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "874:41:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_a608fbdf6cc4ee9c43b141f63e234f4edb26cfb78aba3140cfd865641cb2c954", "typeString": "literal_string \"SignedSafeMath: multiplication overflow\"" }, "value": "SignedSafeMath: multiplication overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_a608fbdf6cc4ee9c43b141f63e234f4edb26cfb78aba3140cfd865641cb2c954", "typeString": "literal_string \"SignedSafeMath: multiplication overflow\"" } ], "id": 2447, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "834:7:18", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 2459, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "834:82:18", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 2460, "nodeType": "ExpressionStatement", "src": "834:82:18" }, { "assignments": [ 2462 ], "declarations": [ { "constant": false, "id": 2462, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2478, "src": "927:8:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 2461, "name": "int256", "nodeType": "ElementaryTypeName", "src": "927:6:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 2466, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 2465, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2463, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2433, "src": "938:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 2464, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2435, "src": "942:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "938:5:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "927:16:18" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 2472, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 2470, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2468, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2462, "src": "961:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 2469, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2433, "src": "965:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "961:5:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 2471, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2435, "src": "970:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "961:10:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e6564536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77", "id": 2473, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "973:41:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_a608fbdf6cc4ee9c43b141f63e234f4edb26cfb78aba3140cfd865641cb2c954", "typeString": "literal_string \"SignedSafeMath: multiplication overflow\"" }, "value": "SignedSafeMath: multiplication overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_a608fbdf6cc4ee9c43b141f63e234f4edb26cfb78aba3140cfd865641cb2c954", "typeString": "literal_string \"SignedSafeMath: multiplication overflow\"" } ], "id": 2467, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "953:7:18", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 2474, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "953:62:18", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 2475, "nodeType": "ExpressionStatement", "src": "953:62:18" }, { "expression": { "argumentTypes": null, "id": 2476, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2462, "src": "1033:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 2439, "id": 2477, "nodeType": "Return", "src": "1026:8:18" } ] }, "documentation": { "id": 2431, "nodeType": "StructuredDocumentation", "src": "248:234:18", "text": " @dev Returns the multiplication of two signed integers, reverting on\n overflow.\n Counterpart to Solidity's `*` operator.\n Requirements:\n - Multiplication cannot overflow." }, "id": 2479, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 2436, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2433, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2479, "src": "500:8:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 2432, "name": "int256", "nodeType": "ElementaryTypeName", "src": "500:6:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 2435, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2479, "src": "510:8:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 2434, "name": "int256", "nodeType": "ElementaryTypeName", "src": "510:6:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "499:20:18" }, "returnParameters": { "id": 2439, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2438, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2479, "src": "543:6:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 2437, "name": "int256", "nodeType": "ElementaryTypeName", "src": "543:6:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "542:8:18" }, "scope": 2600, "src": "487:554:18", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2518, "nodeType": "Block", "src": "1565:200:18", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 2492, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2490, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2484, "src": "1583:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 2491, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1588:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1583:6:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e6564536166654d6174683a206469766973696f6e206279207a65726f", "id": 2493, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1591:34:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_ebc4d0068c2e029285c70894a725032247a74fcdc822ba305ea67dbddf7750bd", "typeString": "literal_string \"SignedSafeMath: division by zero\"" }, "value": "SignedSafeMath: division by zero" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_ebc4d0068c2e029285c70894a725032247a74fcdc822ba305ea67dbddf7750bd", "typeString": "literal_string \"SignedSafeMath: division by zero\"" } ], "id": 2489, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1575:7:18", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 2494, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1575:51:18", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 2495, "nodeType": "ExpressionStatement", "src": "1575:51:18" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 2506, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "1644:30:18", "subExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 2504, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 2500, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2497, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2484, "src": "1646:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 2499, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "1651:2:18", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 2498, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1652:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } }, "src": "1646:7:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 2503, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2501, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2482, "src": "1657:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 2502, "name": "_INT256_MIN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2430, "src": "1662:11:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1657:16:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1646:27:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 2505, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1645:29:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e6564536166654d6174683a206469766973696f6e206f766572666c6f77", "id": 2507, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1676:35:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_7bc0f3df013376568eb9f7cb8999198097051f79bdb4d07d83447767f5224b81", "typeString": "literal_string \"SignedSafeMath: division overflow\"" }, "value": "SignedSafeMath: division overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_7bc0f3df013376568eb9f7cb8999198097051f79bdb4d07d83447767f5224b81", "typeString": "literal_string \"SignedSafeMath: division overflow\"" } ], "id": 2496, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1636:7:18", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 2508, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1636:76:18", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 2509, "nodeType": "ExpressionStatement", "src": "1636:76:18" }, { "assignments": [ 2511 ], "declarations": [ { "constant": false, "id": 2511, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2518, "src": "1723:8:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 2510, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1723:6:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 2515, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 2514, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2512, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2482, "src": "1734:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 2513, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2484, "src": "1738:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1734:5:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "1723:16:18" }, { "expression": { "argumentTypes": null, "id": 2516, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2511, "src": "1757:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 2488, "id": 2517, "nodeType": "Return", "src": "1750:8:18" } ] }, "documentation": { "id": 2480, "nodeType": "StructuredDocumentation", "src": "1047:449:18", "text": " @dev Returns the integer division of two signed 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": 2519, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 2485, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2482, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2519, "src": "1514:8:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 2481, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1514:6:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 2484, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2519, "src": "1524:8:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 2483, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1524:6:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1513:20:18" }, "returnParameters": { "id": 2488, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2487, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2519, "src": "1557:6:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 2486, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1557:6:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1556:8:18" }, "scope": 2600, "src": "1501:264:18", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2558, "nodeType": "Block", "src": "2068:149:18", "statements": [ { "assignments": [ 2530 ], "declarations": [ { "constant": false, "id": 2530, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2558, "src": "2078:8:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 2529, "name": "int256", "nodeType": "ElementaryTypeName", "src": "2078:6:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 2534, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 2533, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2531, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2522, "src": "2089:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 2532, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2524, "src": "2093:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2089:5:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "2078:16:18" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 2552, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 2542, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 2538, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2536, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2524, "src": "2113:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 2537, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2118:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2113:6:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 2541, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2539, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2530, "src": "2123:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 2540, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2522, "src": "2128:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2123:6:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "2113:16:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 2543, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2112:18:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 2550, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 2546, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2544, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2524, "src": "2135:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 2545, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2139:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2135:5:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 2549, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2547, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2530, "src": "2144:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 2548, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2522, "src": "2148:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2144:5:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "2135:14:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 2551, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2134:16:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "2112:38:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e6564536166654d6174683a207375627472616374696f6e206f766572666c6f77", "id": 2553, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2152:38:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_dfe37ab0612d67daeef366062296f3ebcaf7e2cc3eb392bf66a6cb5a7bed3bcd", "typeString": "literal_string \"SignedSafeMath: subtraction overflow\"" }, "value": "SignedSafeMath: subtraction overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_dfe37ab0612d67daeef366062296f3ebcaf7e2cc3eb392bf66a6cb5a7bed3bcd", "typeString": "literal_string \"SignedSafeMath: subtraction overflow\"" } ], "id": 2535, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "2104:7:18", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 2554, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2104:87:18", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 2555, "nodeType": "ExpressionStatement", "src": "2104:87:18" }, { "expression": { "argumentTypes": null, "id": 2556, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2530, "src": "2209:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 2528, "id": 2557, "nodeType": "Return", "src": "2202:8:18" } ] }, "documentation": { "id": 2520, "nodeType": "StructuredDocumentation", "src": "1771:228:18", "text": " @dev Returns the subtraction of two signed integers, reverting on\n overflow.\n Counterpart to Solidity's `-` operator.\n Requirements:\n - Subtraction cannot overflow." }, "id": 2559, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 2525, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2522, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2559, "src": "2017:8:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 2521, "name": "int256", "nodeType": "ElementaryTypeName", "src": "2017:6:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 2524, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2559, "src": "2027:8:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 2523, "name": "int256", "nodeType": "ElementaryTypeName", "src": "2027:6:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "2016:20:18" }, "returnParameters": { "id": 2528, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2527, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2559, "src": "2060:6:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 2526, "name": "int256", "nodeType": "ElementaryTypeName", "src": "2060:6:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "2059:8:18" }, "scope": 2600, "src": "2004:213:18", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 2598, "nodeType": "Block", "src": "2514:146:18", "statements": [ { "assignments": [ 2570 ], "declarations": [ { "constant": false, "id": 2570, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2598, "src": "2524:8:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 2569, "name": "int256", "nodeType": "ElementaryTypeName", "src": "2524:6:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 2574, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 2573, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2571, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2562, "src": "2535:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 2572, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2564, "src": "2539:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2535:5:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "2524:16:18" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 2592, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 2582, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 2578, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2576, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2564, "src": "2559:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 2577, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2564:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2559:6:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 2581, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2579, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2570, "src": "2569:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 2580, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2562, "src": "2574:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2569:6:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "2559:16:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 2583, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2558:18:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 2590, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 2586, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2584, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2564, "src": "2581:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 2585, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2585:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2581:5:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 2589, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2587, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2570, "src": "2590:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 2588, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2562, "src": "2594:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2590:5:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "2581:14:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 2591, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2580:16:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "2558:38:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e6564536166654d6174683a206164646974696f6e206f766572666c6f77", "id": 2593, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "2598:35:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_47c8d4a3974eee4fcf9925cffefc088ed6ac723b55fb65cf621edb1b7db7b8eb", "typeString": "literal_string \"SignedSafeMath: addition overflow\"" }, "value": "SignedSafeMath: addition overflow" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_47c8d4a3974eee4fcf9925cffefc088ed6ac723b55fb65cf621edb1b7db7b8eb", "typeString": "literal_string \"SignedSafeMath: addition overflow\"" } ], "id": 2575, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "2550:7:18", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 2594, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2550:84:18", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 2595, "nodeType": "ExpressionStatement", "src": "2550:84:18" }, { "expression": { "argumentTypes": null, "id": 2596, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2570, "src": "2652:1:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 2568, "id": 2597, "nodeType": "Return", "src": "2645:8:18" } ] }, "documentation": { "id": 2560, "nodeType": "StructuredDocumentation", "src": "2223:222:18", "text": " @dev Returns the addition of two signed integers, reverting on\n overflow.\n Counterpart to Solidity's `+` operator.\n Requirements:\n - Addition cannot overflow." }, "id": 2599, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 2565, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2562, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2599, "src": "2463:8:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 2561, "name": "int256", "nodeType": "ElementaryTypeName", "src": "2463:6:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 2564, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2599, "src": "2473:8:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 2563, "name": "int256", "nodeType": "ElementaryTypeName", "src": "2473:6:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "2462:20:18" }, "returnParameters": { "id": 2568, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2567, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 2599, "src": "2506:6:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 2566, "name": "int256", "nodeType": "ElementaryTypeName", "src": "2506:6:18", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "2505:8:18" }, "scope": 2600, "src": "2450:210:18", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 2601, "src": "163:2499:18" } ], "src": "33:2630:18" }, "bytecode": "0x60566023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea26469706673582212208bc545237ffee0fa9d8b731814c2497c03153d61dd6deb0299eb8446f12a227564736f6c63430007000033", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea26469706673582212208bc545237ffee0fa9d8b731814c2497c03153d61dd6deb0299eb8446f12a227564736f6c63430007000033", "compiler": { "name": "solc", "version": "0.7.0+commit.9e61f92b.Emscripten.clang", "optimizer": { "enabled": false, "runs": 200 }, "evmVersion": "petersburg" } }