{ "contractName": "LowGasSafeMath", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.6.8+commit.0bbfe453\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"methods\":{},\"title\":\"Optimized overflow and underflow safe math operations\"},\"userdoc\":{\"methods\":{},\"notice\":\"Contains methods for doing math operations that revert on overflow or underflow for minimal gas cost\"}},\"settings\":{\"compilationTarget\":{\"project:/contracts/interfaces/uniswap/LowGasSafeMath.sol\":\"LowGasSafeMath\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":10000},\"remappings\":[]},\"sources\":{\"project:/contracts/interfaces/uniswap/LowGasSafeMath.sol\":{\"keccak256\":\"0xc96ba4e985950ecffd96feda6385286d9a4b1ebb2279e420c9bb1b79b765306c\",\"license\":\"GPL-2.0-or-later\",\"urls\":[\"bzz-raw://d5ead6a53282214cce910e511f7dca4d14c8933de6375cd9fa3653cc94934e2b\",\"dweb:/ipfs/QmcnPR5qhzEYjX7YLdjUeWD7wpLMVn4HonhpNroEh9itpC\"]}},\"version\":1}", "bytecode": "0x60566023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea264697066735822122093e9c9adafedac5741e9b41ecda231fdf3386400570a47ca7b1de3c6d1b4526464736f6c63430006080033", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea264697066735822122093e9c9adafedac5741e9b41ecda231fdf3386400570a47ca7b1de3c6d1b4526464736f6c63430006080033", "immutableReferences": {}, "sourceMap": "249:1446:37:-:0;;132:2:-1;166:7;155:9;146:7;137:37;255:7;249:14;246:1;241:23;235:4;232:33;222:2;;269:9;222:2;293:9;290:1;283:20;323:4;314:7;306:22;347:7;338;331:24", "deployedSourceMap": "249:1446:37:-:0;;;;;;12:1:-1;9;2:12", "source": "// SPDX-License-Identifier: GPL-2.0-or-later\npragma solidity >=0.6.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": "/home/thezviad_gmail_com/src/swappa/contracts/interfaces/uniswap/LowGasSafeMath.sol", "ast": { "absolutePath": "project:/contracts/interfaces/uniswap/LowGasSafeMath.sol", "exportedSymbols": { "LowGasSafeMath": [ 3261 ] }, "id": 3262, "license": "GPL-2.0-or-later", "nodeType": "SourceUnit", "nodes": [ { "id": 3133, "literals": [ "solidity", ">=", "0.6", ".0" ], "nodeType": "PragmaDirective", "src": "45:24:37" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 3134, "nodeType": "StructuredDocumentation", "src": "71:178:37", "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": 3261, "linearizedBaseContracts": [ 3261 ], "name": "LowGasSafeMath", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 3155, "nodeType": "Block", "src": "504:42:37", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3152, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "id": 3149, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3145, "name": "z", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3142, "src": "523:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3148, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3146, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3137, "src": "527:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 3147, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3139, "src": "531:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "527:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "523:9:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 3150, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "522:11:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 3151, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3137, "src": "537:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "522:16:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3144, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "514:7:37", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3153, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "514:25:37", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3154, "nodeType": "ExpressionStatement", "src": "514:25:37" } ] }, "documentation": { "id": 3135, "nodeType": "StructuredDocumentation", "src": "278:152:37", "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": 3156, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 3140, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3137, "mutability": "mutable", "name": "x", "nodeType": "VariableDeclaration", "overrides": null, "scope": 3156, "src": "448:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3136, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "448:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3139, "mutability": "mutable", "name": "y", "nodeType": "VariableDeclaration", "overrides": null, "scope": 3156, "src": "459:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3138, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "459:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "447:22:37" }, "returnParameters": { "id": 3143, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3142, "mutability": "mutable", "name": "z", "nodeType": "VariableDeclaration", "overrides": null, "scope": 3156, "src": "493:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3141, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "493:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "492:11:37" }, "scope": 3261, "src": "435:111:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 3177, "nodeType": "Block", "src": "779:42:37", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3174, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "id": 3171, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3167, "name": "z", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3164, "src": "798:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3170, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3168, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3159, "src": "802:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 3169, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3161, "src": "806:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "802:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "798:9:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 3172, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "797:11:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 3173, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3159, "src": "812:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "797:16:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3166, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "789:7:37", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3175, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "789:25:37", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3176, "nodeType": "ExpressionStatement", "src": "789:25:37" } ] }, "documentation": { "id": 3157, "nodeType": "StructuredDocumentation", "src": "552:153:37", "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": 3178, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 3162, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3159, "mutability": "mutable", "name": "x", "nodeType": "VariableDeclaration", "overrides": null, "scope": 3178, "src": "723:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3158, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "723:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3161, "mutability": "mutable", "name": "y", "nodeType": "VariableDeclaration", "overrides": null, "scope": 3178, "src": "734:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3160, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "734:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "722:22:37" }, "returnParameters": { "id": 3165, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3164, "mutability": "mutable", "name": "z", "nodeType": "VariableDeclaration", "overrides": null, "scope": 3178, "src": "768:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3163, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "768:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "767:11:37" }, "scope": 3261, "src": "710:111:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 3205, "nodeType": "Block", "src": "1055:56:37", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 3202, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3191, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3189, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3181, "src": "1073:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 3190, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1078:1:37", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1073:6:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3201, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3199, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "id": 3196, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3192, "name": "z", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3186, "src": "1084:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 3195, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3193, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3181, "src": "1088:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 3194, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3183, "src": "1092:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1088:5:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1084:9:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 3197, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1083:11:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 3198, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3181, "src": "1097:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1083:15:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 3200, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3183, "src": "1102:1:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1083:20:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1073:30:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3188, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1065:7:37", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3203, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1065:39:37", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3204, "nodeType": "ExpressionStatement", "src": "1065:39:37" } ] }, "documentation": { "id": 3179, "nodeType": "StructuredDocumentation", "src": "827:154:37", "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": 3206, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 3184, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3181, "mutability": "mutable", "name": "x", "nodeType": "VariableDeclaration", "overrides": null, "scope": 3206, "src": "999:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3180, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "999:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3183, "mutability": "mutable", "name": "y", "nodeType": "VariableDeclaration", "overrides": null, "scope": 3206, "src": "1010:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3182, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1010:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "998:22:37" }, "returnParameters": { "id": 3187, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3186, "mutability": "mutable", "name": "z", "nodeType": "VariableDeclaration", "overrides": null, "scope": 3206, "src": "1044:9:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 3185, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1044:7:37", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1043:11:37" }, "scope": 3261, "src": "986:125:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 3232, "nodeType": "Block", "src": "1342:54:37", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 3229, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 3224, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "id": 3221, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3217, "name": "z", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3214, "src": "1361:1:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 3220, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3218, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3209, "src": "1365:1:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 3219, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3211, "src": "1369:1:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1365:5:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1361:9:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "id": 3222, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1360:11:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 3223, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3209, "src": "1375:1:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1360:16:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 3227, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3225, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3211, "src": "1381:1:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 3226, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1386:1:37", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1381:6:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 3228, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1380:8:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1360:28:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3216, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1352:7:37", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3230, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1352:37:37", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3231, "nodeType": "ExpressionStatement", "src": "1352:37:37" } ] }, "documentation": { "id": 3207, "nodeType": "StructuredDocumentation", "src": "1117:154:37", "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": 3233, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 3212, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3209, "mutability": "mutable", "name": "x", "nodeType": "VariableDeclaration", "overrides": null, "scope": 3233, "src": "1289:8:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 3208, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1289:6:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3211, "mutability": "mutable", "name": "y", "nodeType": "VariableDeclaration", "overrides": null, "scope": 3233, "src": "1299:8:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 3210, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1299:6:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1288:20:37" }, "returnParameters": { "id": 3215, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3214, "mutability": "mutable", "name": "z", "nodeType": "VariableDeclaration", "overrides": null, "scope": 3233, "src": "1332:8:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 3213, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1332:6:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1331:10:37" }, "scope": 3261, "src": "1276:120:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 3259, "nodeType": "Block", "src": "1639:54:37", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 3256, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 3251, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "id": 3248, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 3244, "name": "z", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3241, "src": "1658:1:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 3247, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3245, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3236, "src": "1662:1:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 3246, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3238, "src": "1666:1:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1662:5:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1658:9:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "id": 3249, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1657:11:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 3250, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3236, "src": "1672:1:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1657:16:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 3254, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 3252, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 3238, "src": "1678:1:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 3253, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1683:1:37", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1678:6:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 3255, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1677:8:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1657:28:37", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 3243, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1649:7:37", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 3257, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1649:37:37", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 3258, "nodeType": "ExpressionStatement", "src": "1649:37:37" } ] }, "documentation": { "id": 3234, "nodeType": "StructuredDocumentation", "src": "1402:166:37", "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": 3260, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 3239, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3236, "mutability": "mutable", "name": "x", "nodeType": "VariableDeclaration", "overrides": null, "scope": 3260, "src": "1586:8:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 3235, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1586:6:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 3238, "mutability": "mutable", "name": "y", "nodeType": "VariableDeclaration", "overrides": null, "scope": 3260, "src": "1596:8:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 3237, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1596:6:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1585:20:37" }, "returnParameters": { "id": 3242, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 3241, "mutability": "mutable", "name": "z", "nodeType": "VariableDeclaration", "overrides": null, "scope": 3260, "src": "1629:8:37", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 3240, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1629:6:37", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1628:10:37" }, "scope": 3261, "src": "1573:120:37", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 3262, "src": "249:1446:37" } ], "src": "45:1651:37" }, "legacyAST": { "attributes": { "absolutePath": "project:/contracts/interfaces/uniswap/LowGasSafeMath.sol", "exportedSymbols": { "LowGasSafeMath": [ 3261 ] }, "license": "GPL-2.0-or-later" }, "children": [ { "attributes": { "literals": [ "solidity", ">=", "0.6", ".0" ] }, "id": 3133, "name": "PragmaDirective", "src": "45:24:37" }, { "attributes": { "abstract": false, "baseContracts": [ null ], "contractDependencies": [ null ], "contractKind": "library", "fullyImplemented": true, "linearizedBaseContracts": [ 3261 ], "name": "LowGasSafeMath", "scope": 3262 }, "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": 3134, "name": "StructuredDocumentation", "src": "71:178:37" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "add", "overrides": null, "scope": 3261, "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": 3135, "name": "StructuredDocumentation", "src": "278:152:37" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "x", "overrides": null, "scope": 3156, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3136, "name": "ElementaryTypeName", "src": "448:7:37" } ], "id": 3137, "name": "VariableDeclaration", "src": "448:9:37" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "y", "overrides": null, "scope": 3156, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3138, "name": "ElementaryTypeName", "src": "459:7:37" } ], "id": 3139, "name": "VariableDeclaration", "src": "459:9:37" } ], "id": 3140, "name": "ParameterList", "src": "447:22:37" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "z", "overrides": null, "scope": 3156, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3141, "name": "ElementaryTypeName", "src": "493:7:37" } ], "id": 3142, "name": "VariableDeclaration", "src": "493:9:37" } ], "id": 3143, "name": "ParameterList", "src": "492:11:37" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool) pure", "value": "require" }, "id": 3144, "name": "Identifier", "src": "514:7:37" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3142, "type": "uint256", "value": "z" }, "id": 3145, "name": "Identifier", "src": "523:1:37" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3137, "type": "uint256", "value": "x" }, "id": 3146, "name": "Identifier", "src": "527:1:37" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3139, "type": "uint256", "value": "y" }, "id": 3147, "name": "Identifier", "src": "531:1:37" } ], "id": 3148, "name": "BinaryOperation", "src": "527:5:37" } ], "id": 3149, "name": "Assignment", "src": "523:9:37" } ], "id": 3150, "name": "TupleExpression", "src": "522:11:37" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3137, "type": "uint256", "value": "x" }, "id": 3151, "name": "Identifier", "src": "537:1:37" } ], "id": 3152, "name": "BinaryOperation", "src": "522:16:37" } ], "id": 3153, "name": "FunctionCall", "src": "514:25:37" } ], "id": 3154, "name": "ExpressionStatement", "src": "514:25:37" } ], "id": 3155, "name": "Block", "src": "504:42:37" } ], "id": 3156, "name": "FunctionDefinition", "src": "435:111:37" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "sub", "overrides": null, "scope": 3261, "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": 3157, "name": "StructuredDocumentation", "src": "552:153:37" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "x", "overrides": null, "scope": 3178, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3158, "name": "ElementaryTypeName", "src": "723:7:37" } ], "id": 3159, "name": "VariableDeclaration", "src": "723:9:37" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "y", "overrides": null, "scope": 3178, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3160, "name": "ElementaryTypeName", "src": "734:7:37" } ], "id": 3161, "name": "VariableDeclaration", "src": "734:9:37" } ], "id": 3162, "name": "ParameterList", "src": "722:22:37" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "z", "overrides": null, "scope": 3178, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3163, "name": "ElementaryTypeName", "src": "768:7:37" } ], "id": 3164, "name": "VariableDeclaration", "src": "768:9:37" } ], "id": 3165, "name": "ParameterList", "src": "767:11:37" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool) pure", "value": "require" }, "id": 3166, "name": "Identifier", "src": "789:7:37" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3164, "type": "uint256", "value": "z" }, "id": 3167, "name": "Identifier", "src": "798:1:37" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3159, "type": "uint256", "value": "x" }, "id": 3168, "name": "Identifier", "src": "802:1:37" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3161, "type": "uint256", "value": "y" }, "id": 3169, "name": "Identifier", "src": "806:1:37" } ], "id": 3170, "name": "BinaryOperation", "src": "802:5:37" } ], "id": 3171, "name": "Assignment", "src": "798:9:37" } ], "id": 3172, "name": "TupleExpression", "src": "797:11:37" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3159, "type": "uint256", "value": "x" }, "id": 3173, "name": "Identifier", "src": "812:1:37" } ], "id": 3174, "name": "BinaryOperation", "src": "797:16:37" } ], "id": 3175, "name": "FunctionCall", "src": "789:25:37" } ], "id": 3176, "name": "ExpressionStatement", "src": "789:25:37" } ], "id": 3177, "name": "Block", "src": "779:42:37" } ], "id": 3178, "name": "FunctionDefinition", "src": "710:111:37" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "mul", "overrides": null, "scope": 3261, "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": 3179, "name": "StructuredDocumentation", "src": "827:154:37" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "x", "overrides": null, "scope": 3206, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3180, "name": "ElementaryTypeName", "src": "999:7:37" } ], "id": 3181, "name": "VariableDeclaration", "src": "999:9:37" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "y", "overrides": null, "scope": 3206, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3182, "name": "ElementaryTypeName", "src": "1010:7:37" } ], "id": 3183, "name": "VariableDeclaration", "src": "1010:9:37" } ], "id": 3184, "name": "ParameterList", "src": "998:22:37" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "z", "overrides": null, "scope": 3206, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 3185, "name": "ElementaryTypeName", "src": "1044:7:37" } ], "id": 3186, "name": "VariableDeclaration", "src": "1044:9:37" } ], "id": 3187, "name": "ParameterList", "src": "1043:11:37" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool) pure", "value": "require" }, "id": 3188, "name": "Identifier", "src": "1065:7:37" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "||", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3181, "type": "uint256", "value": "x" }, "id": 3189, "name": "Identifier", "src": "1073:1:37" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 3190, "name": "Literal", "src": "1078:1:37" } ], "id": 3191, "name": "BinaryOperation", "src": "1073:6:37" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3186, "type": "uint256", "value": "z" }, "id": 3192, "name": "Identifier", "src": "1084:1:37" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3181, "type": "uint256", "value": "x" }, "id": 3193, "name": "Identifier", "src": "1088:1:37" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3183, "type": "uint256", "value": "y" }, "id": 3194, "name": "Identifier", "src": "1092:1:37" } ], "id": 3195, "name": "BinaryOperation", "src": "1088:5:37" } ], "id": 3196, "name": "Assignment", "src": "1084:9:37" } ], "id": 3197, "name": "TupleExpression", "src": "1083:11:37" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3181, "type": "uint256", "value": "x" }, "id": 3198, "name": "Identifier", "src": "1097:1:37" } ], "id": 3199, "name": "BinaryOperation", "src": "1083:15:37" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3183, "type": "uint256", "value": "y" }, "id": 3200, "name": "Identifier", "src": "1102:1:37" } ], "id": 3201, "name": "BinaryOperation", "src": "1083:20:37" } ], "id": 3202, "name": "BinaryOperation", "src": "1073:30:37" } ], "id": 3203, "name": "FunctionCall", "src": "1065:39:37" } ], "id": 3204, "name": "ExpressionStatement", "src": "1065:39:37" } ], "id": 3205, "name": "Block", "src": "1055:56:37" } ], "id": 3206, "name": "FunctionDefinition", "src": "986:125:37" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "add", "overrides": null, "scope": 3261, "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": 3207, "name": "StructuredDocumentation", "src": "1117:154:37" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "x", "overrides": null, "scope": 3233, "stateVariable": false, "storageLocation": "default", "type": "int256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "int256", "type": "int256" }, "id": 3208, "name": "ElementaryTypeName", "src": "1289:6:37" } ], "id": 3209, "name": "VariableDeclaration", "src": "1289:8:37" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "y", "overrides": null, "scope": 3233, "stateVariable": false, "storageLocation": "default", "type": "int256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "int256", "type": "int256" }, "id": 3210, "name": "ElementaryTypeName", "src": "1299:6:37" } ], "id": 3211, "name": "VariableDeclaration", "src": "1299:8:37" } ], "id": 3212, "name": "ParameterList", "src": "1288:20:37" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "z", "overrides": null, "scope": 3233, "stateVariable": false, "storageLocation": "default", "type": "int256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "int256", "type": "int256" }, "id": 3213, "name": "ElementaryTypeName", "src": "1332:6:37" } ], "id": 3214, "name": "VariableDeclaration", "src": "1332:8:37" } ], "id": 3215, "name": "ParameterList", "src": "1331:10:37" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool) pure", "value": "require" }, "id": 3216, "name": "Identifier", "src": "1352:7:37" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "int256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "int256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3214, "type": "int256", "value": "z" }, "id": 3217, "name": "Identifier", "src": "1361:1:37" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+", "type": "int256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3209, "type": "int256", "value": "x" }, "id": 3218, "name": "Identifier", "src": "1365:1:37" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3211, "type": "int256", "value": "y" }, "id": 3219, "name": "Identifier", "src": "1369:1:37" } ], "id": 3220, "name": "BinaryOperation", "src": "1365:5:37" } ], "id": 3221, "name": "Assignment", "src": "1361:9:37" } ], "id": 3222, "name": "TupleExpression", "src": "1360:11:37" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3209, "type": "int256", "value": "x" }, "id": 3223, "name": "Identifier", "src": "1375:1:37" } ], "id": 3224, "name": "BinaryOperation", "src": "1360:16:37" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3211, "type": "int256", "value": "y" }, "id": 3225, "name": "Identifier", "src": "1381:1:37" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 3226, "name": "Literal", "src": "1386:1:37" } ], "id": 3227, "name": "BinaryOperation", "src": "1381:6:37" } ], "id": 3228, "name": "TupleExpression", "src": "1380:8:37" } ], "id": 3229, "name": "BinaryOperation", "src": "1360:28:37" } ], "id": 3230, "name": "FunctionCall", "src": "1352:37:37" } ], "id": 3231, "name": "ExpressionStatement", "src": "1352:37:37" } ], "id": 3232, "name": "Block", "src": "1342:54:37" } ], "id": 3233, "name": "FunctionDefinition", "src": "1276:120:37" }, { "attributes": { "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "sub", "overrides": null, "scope": 3261, "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": 3234, "name": "StructuredDocumentation", "src": "1402:166:37" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "x", "overrides": null, "scope": 3260, "stateVariable": false, "storageLocation": "default", "type": "int256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "int256", "type": "int256" }, "id": 3235, "name": "ElementaryTypeName", "src": "1586:6:37" } ], "id": 3236, "name": "VariableDeclaration", "src": "1586:8:37" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "y", "overrides": null, "scope": 3260, "stateVariable": false, "storageLocation": "default", "type": "int256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "int256", "type": "int256" }, "id": 3237, "name": "ElementaryTypeName", "src": "1596:6:37" } ], "id": 3238, "name": "VariableDeclaration", "src": "1596:8:37" } ], "id": 3239, "name": "ParameterList", "src": "1585:20:37" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "z", "overrides": null, "scope": 3260, "stateVariable": false, "storageLocation": "default", "type": "int256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "int256", "type": "int256" }, "id": 3240, "name": "ElementaryTypeName", "src": "1629:6:37" } ], "id": 3241, "name": "VariableDeclaration", "src": "1629:8:37" } ], "id": 3242, "name": "ParameterList", "src": "1628:10:37" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool) pure", "value": "require" }, "id": 3243, "name": "Identifier", "src": "1649:7:37" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "int256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "int256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3241, "type": "int256", "value": "z" }, "id": 3244, "name": "Identifier", "src": "1658:1:37" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "int256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3236, "type": "int256", "value": "x" }, "id": 3245, "name": "Identifier", "src": "1662:1:37" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3238, "type": "int256", "value": "y" }, "id": 3246, "name": "Identifier", "src": "1666:1:37" } ], "id": 3247, "name": "BinaryOperation", "src": "1662:5:37" } ], "id": 3248, "name": "Assignment", "src": "1658:9:37" } ], "id": 3249, "name": "TupleExpression", "src": "1657:11:37" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3236, "type": "int256", "value": "x" }, "id": 3250, "name": "Identifier", "src": "1672:1:37" } ], "id": 3251, "name": "BinaryOperation", "src": "1657:16:37" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">=", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 3238, "type": "int256", "value": "y" }, "id": 3252, "name": "Identifier", "src": "1678:1:37" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 3253, "name": "Literal", "src": "1683:1:37" } ], "id": 3254, "name": "BinaryOperation", "src": "1678:6:37" } ], "id": 3255, "name": "TupleExpression", "src": "1677:8:37" } ], "id": 3256, "name": "BinaryOperation", "src": "1657:28:37" } ], "id": 3257, "name": "FunctionCall", "src": "1649:37:37" } ], "id": 3258, "name": "ExpressionStatement", "src": "1649:37:37" } ], "id": 3259, "name": "Block", "src": "1639:54:37" } ], "id": 3260, "name": "FunctionDefinition", "src": "1573:120:37" } ], "id": 3261, "name": "ContractDefinition", "src": "249:1446:37" } ], "id": 3262, "name": "SourceUnit", "src": "45:1651:37" }, "compiler": { "name": "solc", "version": "0.6.8+commit.0bbfe453.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.4.16", "updatedAt": "2025-02-07T17:50:42.790Z", "devdoc": { "methods": {}, "title": "Optimized overflow and underflow safe math operations" }, "userdoc": { "methods": {}, "notice": "Contains methods for doing math operations that revert on overflow or underflow for minimal gas cost" } }