{ "contractName": "LowGasSafeMath", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.7.6+commit.7338295f\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"title\":\"Optimized overflow and underflow safe math operations\",\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"notice\":\"Contains methods for doing math operations that revert on overflow or underflow for minimal gas cost\",\"version\":1}},\"settings\":{\"compilationTarget\":{\"/Users/warrenmason/Documents/UniswapV3Contracts/Core/LiveContracts/MoonwalkerSwap-v1-Core/contracts/libraries/LowGasSafeMath.sol\":\"LowGasSafeMath\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[]},\"sources\":{\"/Users/warrenmason/Documents/UniswapV3Contracts/Core/LiveContracts/MoonwalkerSwap-v1-Core/contracts/libraries/LowGasSafeMath.sol\":{\"keccak256\":\"0xf2583083971cf8a4274e14515aabbf9f4855193e34fe2addb0ca7b1589519b0c\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://cbf0ada2bba8827d459101a2359e4682be749b9ddd0a3c44f26119c9a0898e82\",\"dweb:/ipfs/QmPmKotXLza9j7sjNaXSYY9XbyZhkkQ3nMeWE9tiHKeouC\"]}},\"version\":1}", "bytecode": "0x60566023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea2646970667358221220fa40ba1a809ad93f308b5988b993efd36798e4df3d3108f458b5e54c8fb08a8c64736f6c63430007060033", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea2646970667358221220fa40ba1a809ad93f308b5988b993efd36798e4df3d3108f458b5e54c8fb08a8c64736f6c63430007060033", "immutableReferences": {}, "generatedSources": [], "deployedGeneratedSources": [], "sourceMap": "236:1446:22:-:0;;;;;;;;;;;;;;;;;;;;;;;;;", "deployedSourceMap": "236:1446:22:-:0;;;;;;;;", "source": "// SPDX-License-Identifier: MIT\npragma solidity >=0.7.0;\n\n/// @title Optimized overflow and underflow safe math operations\n/// @notice Contains methods for doing math operations that revert on overflow or underflow for minimal gas cost\nlibrary LowGasSafeMath {\n /// @notice Returns x + y, reverts if sum overflows uint256\n /// @param x The augend\n /// @param y The addend\n /// @return z The sum of x and y\n function add(uint256 x, uint256 y) internal pure returns (uint256 z) {\n require((z = x + y) >= x);\n }\n\n /// @notice Returns x - y, reverts if underflows\n /// @param x The minuend\n /// @param y The subtrahend\n /// @return z The difference of x and y\n function sub(uint256 x, uint256 y) internal pure returns (uint256 z) {\n require((z = x - y) <= x);\n }\n\n /// @notice Returns x * y, reverts if overflows\n /// @param x The multiplicand\n /// @param y The multiplier\n /// @return z The product of x and y\n function mul(uint256 x, uint256 y) internal pure returns (uint256 z) {\n require(x == 0 || (z = x * y) / x == y);\n }\n\n /// @notice Returns x + y, reverts if overflows or underflows\n /// @param x The augend\n /// @param y The addend\n /// @return z The sum of x and y\n function add(int256 x, int256 y) internal pure returns (int256 z) {\n require((z = x + y) >= x == (y >= 0));\n }\n\n /// @notice Returns x - y, reverts if overflows or underflows\n /// @param x The minuend\n /// @param y The subtrahend\n /// @return z The difference of x and y\n function sub(int256 x, int256 y) internal pure returns (int256 z) {\n require((z = x - y) <= x == (y >= 0));\n }\n}\n", "sourcePath": "/Users/warrenmason/Documents/UniswapV3Contracts/Core/LiveContracts/MoonwalkerSwap-v1-Core/contracts/libraries/LowGasSafeMath.sol", "ast": { "absolutePath": "/Users/warrenmason/Documents/UniswapV3Contracts/Core/LiveContracts/MoonwalkerSwap-v1-Core/contracts/libraries/LowGasSafeMath.sol", "exportedSymbols": { "LowGasSafeMath": [ 4172 ] }, "id": 4173, "license": "MIT", "nodeType": "SourceUnit", "nodes": [ { "id": 4044, "literals": [ "solidity", ">=", "0.7", ".0" ], "nodeType": "PragmaDirective", "src": "32:24:22" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 4045, "nodeType": "StructuredDocumentation", "src": "58:178:22", "text": "@title Optimized overflow and underflow safe math operations\n @notice Contains methods for doing math operations that revert on overflow or underflow for minimal gas cost" }, "fullyImplemented": true, "id": 4172, "linearizedBaseContracts": [ 4172 ], "name": "LowGasSafeMath", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 4066, "nodeType": "Block", "src": "491:42:22", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4063, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "components": [ { "id": 4060, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 4056, "name": "z", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4053, "src": "510:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4059, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 4057, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4048, "src": "514:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "id": 4058, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4050, "src": "518:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "514:5:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "510:9:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 4061, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "509:11:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "id": 4062, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4048, "src": "524:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "509:16:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 4055, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "501:7:22", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 4064, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "501:25:22", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 4065, "nodeType": "ExpressionStatement", "src": "501:25:22" } ] }, "documentation": { "id": 4046, "nodeType": "StructuredDocumentation", "src": "265:152:22", "text": "@notice Returns x + y, reverts if sum overflows uint256\n @param x The augend\n @param y The addend\n @return z The sum of x and y" }, "id": 4067, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 4051, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4048, "mutability": "mutable", "name": "x", "nodeType": "VariableDeclaration", "scope": 4067, "src": "435:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4047, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "435:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 4050, "mutability": "mutable", "name": "y", "nodeType": "VariableDeclaration", "scope": 4067, "src": "446:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4049, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "446:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "434:22:22" }, "returnParameters": { "id": 4054, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4053, "mutability": "mutable", "name": "z", "nodeType": "VariableDeclaration", "scope": 4067, "src": "480:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4052, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "480:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "479:11:22" }, "scope": 4172, "src": "422:111:22", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 4088, "nodeType": "Block", "src": "766:42:22", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4085, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "components": [ { "id": 4082, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 4078, "name": "z", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4075, "src": "785:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4081, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 4079, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4070, "src": "789:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 4080, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4072, "src": "793:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "789:5:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "785:9:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 4083, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "784:11:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "id": 4084, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4070, "src": "799:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "784:16:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 4077, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "776:7:22", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 4086, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "776:25:22", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 4087, "nodeType": "ExpressionStatement", "src": "776:25:22" } ] }, "documentation": { "id": 4068, "nodeType": "StructuredDocumentation", "src": "539:153:22", "text": "@notice Returns x - y, reverts if underflows\n @param x The minuend\n @param y The subtrahend\n @return z The difference of x and y" }, "id": 4089, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 4073, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4070, "mutability": "mutable", "name": "x", "nodeType": "VariableDeclaration", "scope": 4089, "src": "710:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4069, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "710:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 4072, "mutability": "mutable", "name": "y", "nodeType": "VariableDeclaration", "scope": 4089, "src": "721:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4071, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "721:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "709:22:22" }, "returnParameters": { "id": 4076, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4075, "mutability": "mutable", "name": "z", "nodeType": "VariableDeclaration", "scope": 4089, "src": "755:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4074, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "755:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "754:11:22" }, "scope": 4172, "src": "697:111:22", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 4116, "nodeType": "Block", "src": "1042:56:22", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 4113, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4102, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 4100, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4092, "src": "1060:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "hexValue": "30", "id": 4101, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1065:1:22", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1060:6:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4112, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4110, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "components": [ { "id": 4107, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 4103, "name": "z", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4097, "src": "1071:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 4106, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 4104, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4092, "src": "1075:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "id": 4105, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4094, "src": "1079:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1075:5:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1071:9:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 4108, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1070:11:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "id": 4109, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4092, "src": "1084:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1070:15:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "id": 4111, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4094, "src": "1089:1:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1070:20:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1060:30:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 4099, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "1052:7:22", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 4114, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1052:39:22", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 4115, "nodeType": "ExpressionStatement", "src": "1052:39:22" } ] }, "documentation": { "id": 4090, "nodeType": "StructuredDocumentation", "src": "814:154:22", "text": "@notice Returns x * y, reverts if overflows\n @param x The multiplicand\n @param y The multiplier\n @return z The product of x and y" }, "id": 4117, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 4095, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4092, "mutability": "mutable", "name": "x", "nodeType": "VariableDeclaration", "scope": 4117, "src": "986:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4091, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "986:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" }, { "constant": false, "id": 4094, "mutability": "mutable", "name": "y", "nodeType": "VariableDeclaration", "scope": 4117, "src": "997:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4093, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "997:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "985:22:22" }, "returnParameters": { "id": 4098, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4097, "mutability": "mutable", "name": "z", "nodeType": "VariableDeclaration", "scope": 4117, "src": "1031:9:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 4096, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1031:7:22", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "internal" } ], "src": "1030:11:22" }, "scope": 4172, "src": "973:125:22", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 4143, "nodeType": "Block", "src": "1329:54:22", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 4140, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 4135, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "components": [ { "id": 4132, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 4128, "name": "z", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4125, "src": "1348:1:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 4131, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 4129, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4120, "src": "1352:1:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "id": 4130, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4122, "src": "1356:1:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1352:5:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1348:9:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "id": 4133, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1347:11:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "id": 4134, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4120, "src": "1362:1:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1347:16:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "components": [ { "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 4138, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 4136, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4122, "src": "1368:1:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "hexValue": "30", "id": 4137, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1373:1:22", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1368:6:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 4139, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1367:8:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1347:28:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 4127, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "1339:7:22", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 4141, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1339:37:22", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 4142, "nodeType": "ExpressionStatement", "src": "1339:37:22" } ] }, "documentation": { "id": 4118, "nodeType": "StructuredDocumentation", "src": "1104:154:22", "text": "@notice Returns x + y, reverts if overflows or underflows\n @param x The augend\n @param y The addend\n @return z The sum of x and y" }, "id": 4144, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 4123, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4120, "mutability": "mutable", "name": "x", "nodeType": "VariableDeclaration", "scope": 4144, "src": "1276:8:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 4119, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1276:6:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "visibility": "internal" }, { "constant": false, "id": 4122, "mutability": "mutable", "name": "y", "nodeType": "VariableDeclaration", "scope": 4144, "src": "1286:8:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 4121, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1286:6:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "visibility": "internal" } ], "src": "1275:20:22" }, "returnParameters": { "id": 4126, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4125, "mutability": "mutable", "name": "z", "nodeType": "VariableDeclaration", "scope": 4144, "src": "1319:8:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 4124, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1319:6:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "visibility": "internal" } ], "src": "1318:10:22" }, "scope": 4172, "src": "1263:120:22", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 4170, "nodeType": "Block", "src": "1626:54:22", "statements": [ { "expression": { "arguments": [ { "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 4167, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 4162, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "components": [ { "id": 4159, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "id": 4155, "name": "z", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4152, "src": "1645:1:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 4158, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 4156, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4147, "src": "1649:1:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "id": 4157, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4149, "src": "1653:1:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1649:5:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1645:9:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "id": 4160, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1644:11:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "id": 4161, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4147, "src": "1659:1:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1644:16:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "components": [ { "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 4165, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "id": 4163, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 4149, "src": "1665:1:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "hexValue": "30", "id": 4164, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1670:1:22", "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1665:6:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 4166, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1664:8:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1644:28:22", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 4154, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "src": "1636:7:22", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 4168, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1636:37:22", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 4169, "nodeType": "ExpressionStatement", "src": "1636:37:22" } ] }, "documentation": { "id": 4145, "nodeType": "StructuredDocumentation", "src": "1389:166:22", "text": "@notice Returns x - y, reverts if overflows or underflows\n @param x The minuend\n @param y The subtrahend\n @return z The difference of x and y" }, "id": 4171, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 4150, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4147, "mutability": "mutable", "name": "x", "nodeType": "VariableDeclaration", "scope": 4171, "src": "1573:8:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 4146, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1573:6:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "visibility": "internal" }, { "constant": false, "id": 4149, "mutability": "mutable", "name": "y", "nodeType": "VariableDeclaration", "scope": 4171, "src": "1583:8:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 4148, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1583:6:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "visibility": "internal" } ], "src": "1572:20:22" }, "returnParameters": { "id": 4153, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 4152, "mutability": "mutable", "name": "z", "nodeType": "VariableDeclaration", "scope": 4171, "src": "1616:8:22", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 4151, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1616:6:22", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "visibility": "internal" } ], "src": "1615:10:22" }, "scope": 4172, "src": "1560:120:22", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 4173, "src": "236:1446:22" } ], "src": "32:1651:22" }, "legacyAST": { "attributes": { "absolutePath": "/Users/warrenmason/Documents/UniswapV3Contracts/Core/LiveContracts/MoonwalkerSwap-v1-Core/contracts/libraries/LowGasSafeMath.sol", "exportedSymbols": { "LowGasSafeMath": [ 4172 ] }, "license": "MIT" }, "children": [ { "attributes": { "literals": [ "solidity", ">=", "0.7", ".0" ] }, "id": 4044, "name": "PragmaDirective", "src": "32:24:22" }, { "attributes": { "abstract": false, "baseContracts": [ null ], "contractDependencies": [ null ], "contractKind": "library", "fullyImplemented": true, "linearizedBaseContracts": [ 4172 ], "name": "LowGasSafeMath", "scope": 4173 }, "children": [ { "attributes": { "text": "@title Optimized overflow and underflow safe math operations\n @notice Contains methods for doing math operations that revert on overflow or underflow for minimal gas cost" }, "id": 4045, "name": "StructuredDocumentation", "src": "58:178:22" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "add", "scope": 4172, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "text": "@notice Returns x + y, reverts if sum overflows uint256\n @param x The augend\n @param y The addend\n @return z The sum of x and y" }, "id": 4046, "name": "StructuredDocumentation", "src": "265:152:22" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "x", "scope": 4067, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 4047, "name": "ElementaryTypeName", "src": "435:7:22" } ], "id": 4048, "name": "VariableDeclaration", "src": "435:9:22" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "y", "scope": 4067, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 4049, "name": "ElementaryTypeName", "src": "446:7:22" } ], "id": 4050, "name": "VariableDeclaration", "src": "446:9:22" } ], "id": 4051, "name": "ParameterList", "src": "434:22:22" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "z", "scope": 4067, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 4052, "name": "ElementaryTypeName", "src": "480:7:22" } ], "id": 4053, "name": "VariableDeclaration", "src": "480:9:22" } ], "id": 4054, "name": "ParameterList", "src": "479:11:22" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "type": "function (bool) pure", "value": "require" }, "id": 4055, "name": "Identifier", "src": "501:7:22" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4053, "type": "uint256", "value": "z" }, "id": 4056, "name": "Identifier", "src": "510:1:22" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4048, "type": "uint256", "value": "x" }, "id": 4057, "name": "Identifier", "src": "514:1:22" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4050, "type": "uint256", "value": "y" }, "id": 4058, "name": "Identifier", "src": "518:1:22" } ], "id": 4059, "name": "BinaryOperation", "src": "514:5:22" } ], "id": 4060, "name": "Assignment", "src": "510:9:22" } ], "id": 4061, "name": "TupleExpression", "src": "509:11:22" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4048, "type": "uint256", "value": "x" }, "id": 4062, "name": "Identifier", "src": "524:1:22" } ], "id": 4063, "name": "BinaryOperation", "src": "509:16:22" } ], "id": 4064, "name": "FunctionCall", "src": "501:25:22" } ], "id": 4065, "name": "ExpressionStatement", "src": "501:25:22" } ], "id": 4066, "name": "Block", "src": "491:42:22" } ], "id": 4067, "name": "FunctionDefinition", "src": "422:111:22" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "sub", "scope": 4172, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "text": "@notice Returns x - y, reverts if underflows\n @param x The minuend\n @param y The subtrahend\n @return z The difference of x and y" }, "id": 4068, "name": "StructuredDocumentation", "src": "539:153:22" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "x", "scope": 4089, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 4069, "name": "ElementaryTypeName", "src": "710:7:22" } ], "id": 4070, "name": "VariableDeclaration", "src": "710:9:22" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "y", "scope": 4089, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 4071, "name": "ElementaryTypeName", "src": "721:7:22" } ], "id": 4072, "name": "VariableDeclaration", "src": "721:9:22" } ], "id": 4073, "name": "ParameterList", "src": "709:22:22" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "z", "scope": 4089, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 4074, "name": "ElementaryTypeName", "src": "755:7:22" } ], "id": 4075, "name": "VariableDeclaration", "src": "755:9:22" } ], "id": 4076, "name": "ParameterList", "src": "754:11:22" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "type": "function (bool) pure", "value": "require" }, "id": 4077, "name": "Identifier", "src": "776:7:22" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<=", "type": "bool" }, "children": [ { "attributes": { "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4075, "type": "uint256", "value": "z" }, "id": 4078, "name": "Identifier", "src": "785:1:22" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4070, "type": "uint256", "value": "x" }, "id": 4079, "name": "Identifier", "src": "789:1:22" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4072, "type": "uint256", "value": "y" }, "id": 4080, "name": "Identifier", "src": "793:1:22" } ], "id": 4081, "name": "BinaryOperation", "src": "789:5:22" } ], "id": 4082, "name": "Assignment", "src": "785:9:22" } ], "id": 4083, "name": "TupleExpression", "src": "784:11:22" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4070, "type": "uint256", "value": "x" }, "id": 4084, "name": "Identifier", "src": "799:1:22" } ], "id": 4085, "name": "BinaryOperation", "src": "784:16:22" } ], "id": 4086, "name": "FunctionCall", "src": "776:25:22" } ], "id": 4087, "name": "ExpressionStatement", "src": "776:25:22" } ], "id": 4088, "name": "Block", "src": "766:42:22" } ], "id": 4089, "name": "FunctionDefinition", "src": "697:111:22" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "mul", "scope": 4172, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "text": "@notice Returns x * y, reverts if overflows\n @param x The multiplicand\n @param y The multiplier\n @return z The product of x and y" }, "id": 4090, "name": "StructuredDocumentation", "src": "814:154:22" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "x", "scope": 4117, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 4091, "name": "ElementaryTypeName", "src": "986:7:22" } ], "id": 4092, "name": "VariableDeclaration", "src": "986:9:22" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "y", "scope": 4117, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 4093, "name": "ElementaryTypeName", "src": "997:7:22" } ], "id": 4094, "name": "VariableDeclaration", "src": "997:9:22" } ], "id": 4095, "name": "ParameterList", "src": "985:22:22" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "z", "scope": 4117, "stateVariable": false, "storageLocation": "default", "type": "uint256", "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 4096, "name": "ElementaryTypeName", "src": "1031:7:22" } ], "id": 4097, "name": "VariableDeclaration", "src": "1031:9:22" } ], "id": 4098, "name": "ParameterList", "src": "1030:11:22" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "type": "function (bool) pure", "value": "require" }, "id": 4099, "name": "Identifier", "src": "1052:7:22" }, { "attributes": { "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "||", "type": "bool" }, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4092, "type": "uint256", "value": "x" }, "id": 4100, "name": "Identifier", "src": "1060:1:22" }, { "attributes": { "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 0", "value": "0" }, "id": 4101, "name": "Literal", "src": "1065:1:22" } ], "id": 4102, "name": "BinaryOperation", "src": "1060:6:22" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4097, "type": "uint256", "value": "z" }, "id": 4103, "name": "Identifier", "src": "1071:1:22" }, { "attributes": { "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4092, "type": "uint256", "value": "x" }, "id": 4104, "name": "Identifier", "src": "1075:1:22" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4094, "type": "uint256", "value": "y" }, "id": 4105, "name": "Identifier", "src": "1079:1:22" } ], "id": 4106, "name": "BinaryOperation", "src": "1075:5:22" } ], "id": 4107, "name": "Assignment", "src": "1071:9:22" } ], "id": 4108, "name": "TupleExpression", "src": "1070:11:22" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4092, "type": "uint256", "value": "x" }, "id": 4109, "name": "Identifier", "src": "1084:1:22" } ], "id": 4110, "name": "BinaryOperation", "src": "1070:15:22" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4094, "type": "uint256", "value": "y" }, "id": 4111, "name": "Identifier", "src": "1089:1:22" } ], "id": 4112, "name": "BinaryOperation", "src": "1070:20:22" } ], "id": 4113, "name": "BinaryOperation", "src": "1060:30:22" } ], "id": 4114, "name": "FunctionCall", "src": "1052:39:22" } ], "id": 4115, "name": "ExpressionStatement", "src": "1052:39:22" } ], "id": 4116, "name": "Block", "src": "1042:56:22" } ], "id": 4117, "name": "FunctionDefinition", "src": "973:125:22" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "add", "scope": 4172, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "text": "@notice Returns x + y, reverts if overflows or underflows\n @param x The augend\n @param y The addend\n @return z The sum of x and y" }, "id": 4118, "name": "StructuredDocumentation", "src": "1104:154:22" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "x", "scope": 4144, "stateVariable": false, "storageLocation": "default", "type": "int256", "visibility": "internal" }, "children": [ { "attributes": { "name": "int256", "type": "int256" }, "id": 4119, "name": "ElementaryTypeName", "src": "1276:6:22" } ], "id": 4120, "name": "VariableDeclaration", "src": "1276:8:22" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "y", "scope": 4144, "stateVariable": false, "storageLocation": "default", "type": "int256", "visibility": "internal" }, "children": [ { "attributes": { "name": "int256", "type": "int256" }, "id": 4121, "name": "ElementaryTypeName", "src": "1286:6:22" } ], "id": 4122, "name": "VariableDeclaration", "src": "1286:8:22" } ], "id": 4123, "name": "ParameterList", "src": "1275:20:22" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "z", "scope": 4144, "stateVariable": false, "storageLocation": "default", "type": "int256", "visibility": "internal" }, "children": [ { "attributes": { "name": "int256", "type": "int256" }, "id": 4124, "name": "ElementaryTypeName", "src": "1319:6:22" } ], "id": 4125, "name": "VariableDeclaration", "src": "1319:8:22" } ], "id": 4126, "name": "ParameterList", "src": "1318:10:22" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "type": "function (bool) pure", "value": "require" }, "id": 4127, "name": "Identifier", "src": "1339:7:22" }, { "attributes": { "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "int256" }, "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "int256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4125, "type": "int256", "value": "z" }, "id": 4128, "name": "Identifier", "src": "1348:1:22" }, { "attributes": { "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+", "type": "int256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4120, "type": "int256", "value": "x" }, "id": 4129, "name": "Identifier", "src": "1352:1:22" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4122, "type": "int256", "value": "y" }, "id": 4130, "name": "Identifier", "src": "1356:1:22" } ], "id": 4131, "name": "BinaryOperation", "src": "1352:5:22" } ], "id": 4132, "name": "Assignment", "src": "1348:9:22" } ], "id": 4133, "name": "TupleExpression", "src": "1347:11:22" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4120, "type": "int256", "value": "x" }, "id": 4134, "name": "Identifier", "src": "1362:1:22" } ], "id": 4135, "name": "BinaryOperation", "src": "1347:16:22" }, { "attributes": { "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "bool" }, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4122, "type": "int256", "value": "y" }, "id": 4136, "name": "Identifier", "src": "1368:1:22" }, { "attributes": { "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 0", "value": "0" }, "id": 4137, "name": "Literal", "src": "1373:1:22" } ], "id": 4138, "name": "BinaryOperation", "src": "1368:6:22" } ], "id": 4139, "name": "TupleExpression", "src": "1367:8:22" } ], "id": 4140, "name": "BinaryOperation", "src": "1347:28:22" } ], "id": 4141, "name": "FunctionCall", "src": "1339:37:22" } ], "id": 4142, "name": "ExpressionStatement", "src": "1339:37:22" } ], "id": 4143, "name": "Block", "src": "1329:54:22" } ], "id": 4144, "name": "FunctionDefinition", "src": "1263:120:22" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "sub", "scope": 4172, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "attributes": { "text": "@notice Returns x - y, reverts if overflows or underflows\n @param x The minuend\n @param y The subtrahend\n @return z The difference of x and y" }, "id": 4145, "name": "StructuredDocumentation", "src": "1389:166:22" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "x", "scope": 4171, "stateVariable": false, "storageLocation": "default", "type": "int256", "visibility": "internal" }, "children": [ { "attributes": { "name": "int256", "type": "int256" }, "id": 4146, "name": "ElementaryTypeName", "src": "1573:6:22" } ], "id": 4147, "name": "VariableDeclaration", "src": "1573:8:22" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "y", "scope": 4171, "stateVariable": false, "storageLocation": "default", "type": "int256", "visibility": "internal" }, "children": [ { "attributes": { "name": "int256", "type": "int256" }, "id": 4148, "name": "ElementaryTypeName", "src": "1583:6:22" } ], "id": 4149, "name": "VariableDeclaration", "src": "1583:8:22" } ], "id": 4150, "name": "ParameterList", "src": "1572:20:22" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "z", "scope": 4171, "stateVariable": false, "storageLocation": "default", "type": "int256", "visibility": "internal" }, "children": [ { "attributes": { "name": "int256", "type": "int256" }, "id": 4151, "name": "ElementaryTypeName", "src": "1616:6:22" } ], "id": 4152, "name": "VariableDeclaration", "src": "1616:8:22" } ], "id": 4153, "name": "ParameterList", "src": "1615:10:22" }, { "children": [ { "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "overloadedDeclarations": [ 4294967278, 4294967278 ], "referencedDeclaration": 4294967278, "type": "function (bool) pure", "value": "require" }, "id": 4154, "name": "Identifier", "src": "1636:7:22" }, { "attributes": { "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<=", "type": "bool" }, "children": [ { "attributes": { "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "int256" }, "children": [ { "attributes": { "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "int256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4152, "type": "int256", "value": "z" }, "id": 4155, "name": "Identifier", "src": "1645:1:22" }, { "attributes": { "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "int256" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4147, "type": "int256", "value": "x" }, "id": 4156, "name": "Identifier", "src": "1649:1:22" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4149, "type": "int256", "value": "y" }, "id": 4157, "name": "Identifier", "src": "1653:1:22" } ], "id": 4158, "name": "BinaryOperation", "src": "1649:5:22" } ], "id": 4159, "name": "Assignment", "src": "1645:9:22" } ], "id": 4160, "name": "TupleExpression", "src": "1644:11:22" }, { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4147, "type": "int256", "value": "x" }, "id": 4161, "name": "Identifier", "src": "1659:1:22" } ], "id": 4162, "name": "BinaryOperation", "src": "1644:16:22" }, { "attributes": { "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "bool" }, "children": [ { "attributes": { "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "overloadedDeclarations": [ null ], "referencedDeclaration": 4149, "type": "int256", "value": "y" }, "id": 4163, "name": "Identifier", "src": "1665:1:22" }, { "attributes": { "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "token": "number", "type": "int_const 0", "value": "0" }, "id": 4164, "name": "Literal", "src": "1670:1:22" } ], "id": 4165, "name": "BinaryOperation", "src": "1665:6:22" } ], "id": 4166, "name": "TupleExpression", "src": "1664:8:22" } ], "id": 4167, "name": "BinaryOperation", "src": "1644:28:22" } ], "id": 4168, "name": "FunctionCall", "src": "1636:37:22" } ], "id": 4169, "name": "ExpressionStatement", "src": "1636:37:22" } ], "id": 4170, "name": "Block", "src": "1626:54:22" } ], "id": 4171, "name": "FunctionDefinition", "src": "1560:120:22" } ], "id": 4172, "name": "ContractDefinition", "src": "236:1446:22" } ], "id": 4173, "name": "SourceUnit", "src": "32:1651:22" }, "compiler": { "name": "solc", "version": "0.7.6+commit.7338295f.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.4.1", "updatedAt": "2022-01-17T20:05:41.762Z", "devdoc": { "kind": "dev", "methods": {}, "title": "Optimized overflow and underflow safe math operations", "version": 1 }, "userdoc": { "kind": "user", "methods": {}, "notice": "Contains methods for doing math operations that revert on overflow or underflow for minimal gas cost", "version": 1 } }