{ "contractName": "SafeMathInt", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.6.11+commit.5ef660b1\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"details\":\"Math operations with safety checks that revert on errorSafeMath adapted for int256 Based on code of https://github.com/RequestNetwork/requestNetwork/blob/master/packages/requestNetworkSmartContracts/contracts/base/math/SafeMathInt.sol\",\"kind\":\"dev\",\"methods\":{},\"title\":\"SafeMathInt\",\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"/Users/johannes/Documents/dev/actus-protocol/ap-monorepo/packages/ap-contracts/contracts/FDT/math/SafeMathInt.sol\":\"SafeMathInt\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[]},\"sources\":{\"/Users/johannes/Documents/dev/actus-protocol/ap-monorepo/packages/ap-contracts/contracts/FDT/math/SafeMathInt.sol\":{\"keccak256\":\"0xc53b786fe1e9a4a207e503272ca7bf485f4872a196fcdf9b209ff18a025857ae\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://99aef73723a7dac14a7a407036d85fe6070ea280e8509f214bf709321c1b7d68\",\"dweb:/ipfs/QmQW5ygUX2EJMQkUmNt3q18VrtrCEiNeape7JaUh19p1tF\"]}},\"version\":1}", "bytecode": "0x60566023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea26469706673582212208860c6b2a82bdad1057345e97159ee4ef2a44c8943b903cc9e60eb100649dd7a64736f6c634300060b0033", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea26469706673582212208860c6b2a82bdad1057345e97159ee4ef2a44c8943b903cc9e60eb100649dd7a64736f6c634300060b0033", "immutableReferences": {}, "sourceMap": "354:1158:55:-:0;;;;;;;;;;;;;;;;;;;;;;;;;", "deployedSourceMap": "354:1158:55:-:0;;;;;;;;", "source": "// \"SPDX-License-Identifier: Apache-2.0\"\npragma solidity ^0.6.11;\n\n\n/**\n * @title SafeMathInt\n * @dev Math operations with safety checks that revert on error\n * @dev SafeMath adapted for int256\n * Based on code of https://github.com/RequestNetwork/requestNetwork/blob/master/packages/requestNetworkSmartContracts/contracts/base/math/SafeMathInt.sol\n */\nlibrary SafeMathInt {\n\n function mul(int256 a, int256 b) internal pure returns (int256) {\n // Prevent overflow when multiplying INT256_MIN with -1\n // https://github.com/RequestNetwork/requestNetwork/issues/43\n require(!(a == - 2**255 && b == -1) && !(b == - 2**255 && a == -1));\n\n int256 c = a * b;\n require((b == 0) || (c / b == a));\n return c;\n }\n\n function div(int256 a, int256 b) internal pure returns (int256) {\n // Prevent overflow when dividing INT256_MIN by -1\n // https://github.com/RequestNetwork/requestNetwork/issues/43\n require(!(a == - 2**255 && b == -1) && (b > 0));\n\n return a / b;\n }\n\n function sub(int256 a, int256 b) internal pure returns (int256) {\n require((b >= 0 && a - b <= a) || (b < 0 && a - b > a));\n\n return a - b;\n }\n\n function add(int256 a, int256 b) internal pure returns (int256) {\n int256 c = a + b;\n require((b >= 0 && c >= a) || (b < 0 && c < a));\n return c;\n }\n\n function toUint256Safe(int256 a) internal pure returns (uint256) {\n require(a >= 0);\n return uint256(a);\n }\n}\n", "sourcePath": "/Users/johannes/Documents/dev/actus-protocol/ap-monorepo/packages/ap-contracts/contracts/FDT/math/SafeMathInt.sol", "ast": { "absolutePath": "/Users/johannes/Documents/dev/actus-protocol/ap-monorepo/packages/ap-contracts/contracts/FDT/math/SafeMathInt.sol", "exportedSymbols": { "SafeMathInt": [ 19705 ] }, "id": 19706, "license": "Apache-2.0", "nodeType": "SourceUnit", "nodes": [ { "id": 19511, "literals": [ "solidity", "^", "0.6", ".11" ], "nodeType": "PragmaDirective", "src": "41:24:55" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 19512, "nodeType": "StructuredDocumentation", "src": "68:285:55", "text": " @title SafeMathInt\n @dev Math operations with safety checks that revert on error\n @dev SafeMath adapted for int256\n Based on code of https://github.com/RequestNetwork/requestNetwork/blob/master/packages/requestNetworkSmartContracts/contracts/base/math/SafeMathInt.sol" }, "fullyImplemented": true, "id": 19705, "linearizedBaseContracts": [ 19705 ], "name": "SafeMathInt", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 19573, "nodeType": "Block", "src": "445:306:55", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19548, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19534, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "597:27:55", "subExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19532, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19527, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19522, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19514, "src": "599:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" }, "id": 19526, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19524, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "604:3:55", "subExpression": { "argumentTypes": null, "hexValue": "32", "id": 19523, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "606:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_2_by_1", "typeString": "int_const -2" } }, "nodeType": "BinaryOperation", "operator": "**", "rightExpression": { "argumentTypes": null, "hexValue": "323535", "id": 19525, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "609:3:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_255_by_1", "typeString": "int_const 255" }, "value": "255" }, "src": "604:8:55", "typeDescriptions": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" } }, "src": "599:13:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19531, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19528, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19516, "src": "616:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 19530, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "621:2:55", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 19529, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "622:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } }, "src": "616:7:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "599:24:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 19533, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "598:26:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "id": 19547, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "628:27:55", "subExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19545, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19540, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19535, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19516, "src": "630:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" }, "id": 19539, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19537, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "635:3:55", "subExpression": { "argumentTypes": null, "hexValue": "32", "id": 19536, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "637:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_2_by_1", "typeString": "int_const -2" } }, "nodeType": "BinaryOperation", "operator": "**", "rightExpression": { "argumentTypes": null, "hexValue": "323535", "id": 19538, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "640:3:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_255_by_1", "typeString": "int_const 255" }, "value": "255" }, "src": "635:8:55", "typeDescriptions": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" } }, "src": "630:13:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19544, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19541, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19514, "src": "647:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 19543, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "652:2:55", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 19542, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "653:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } }, "src": "647:7:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "630:24:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 19546, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "629:26:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "597:58:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 19521, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "589:7:55", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 19549, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "589:67:55", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 19550, "nodeType": "ExpressionStatement", "src": "589:67:55" }, { "assignments": [ 19552 ], "declarations": [ { "constant": false, "id": 19552, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19573, "src": "667:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19551, "name": "int256", "nodeType": "ElementaryTypeName", "src": "667:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 19556, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19555, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19553, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19514, "src": "678:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 19554, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19516, "src": "682:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "678:5:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "667:16:55" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19568, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19560, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19558, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19516, "src": "702:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 19559, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "707:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "702:6:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 19561, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "701:8:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19566, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19564, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19562, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19552, "src": "714:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 19563, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19516, "src": "718:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "714:5:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 19565, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19514, "src": "723:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "714:10:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 19567, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "713:12:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "701:24:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 19557, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "693:7:55", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 19569, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "693:33:55", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 19570, "nodeType": "ExpressionStatement", "src": "693:33:55" }, { "expression": { "argumentTypes": null, "id": 19571, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19552, "src": "743:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 19520, "id": 19572, "nodeType": "Return", "src": "736:8:55" } ] }, "documentation": null, "id": 19574, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 19517, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 19514, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19574, "src": "394:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19513, "name": "int256", "nodeType": "ElementaryTypeName", "src": "394:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 19516, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19574, "src": "404:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19515, "name": "int256", "nodeType": "ElementaryTypeName", "src": "404:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "393:20:55" }, "returnParameters": { "id": 19520, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 19519, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19574, "src": "437:6:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19518, "name": "int256", "nodeType": "ElementaryTypeName", "src": "437:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "436:8:55" }, "scope": 19705, "src": "381:370:55", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 19608, "nodeType": "Block", "src": "821:216:55", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19601, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19596, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "968:27:55", "subExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19594, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19589, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19584, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19576, "src": "970:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" }, "id": 19588, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19586, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "975:3:55", "subExpression": { "argumentTypes": null, "hexValue": "32", "id": 19585, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "977:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_2_by_1", "typeString": "int_const -2" } }, "nodeType": "BinaryOperation", "operator": "**", "rightExpression": { "argumentTypes": null, "hexValue": "323535", "id": 19587, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "980:3:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_255_by_1", "typeString": "int_const 255" }, "value": "255" }, "src": "975:8:55", "typeDescriptions": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" } }, "src": "970:13:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19593, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19590, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19578, "src": "987:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 19592, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "992:2:55", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 19591, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "993:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } }, "src": "987:7:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "970:24:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 19595, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "969:26:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19599, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19597, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19578, "src": "1000:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 19598, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1004:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1000:5:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 19600, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "999:7:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "968:38:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 19583, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "960:7:55", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 19602, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "960:47:55", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 19603, "nodeType": "ExpressionStatement", "src": "960:47:55" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19606, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19604, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19576, "src": "1025:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 19605, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19578, "src": "1029:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1025:5:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 19582, "id": 19607, "nodeType": "Return", "src": "1018:12:55" } ] }, "documentation": null, "id": 19609, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 19579, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 19576, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19609, "src": "770:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19575, "name": "int256", "nodeType": "ElementaryTypeName", "src": "770:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 19578, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19609, "src": "780:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19577, "name": "int256", "nodeType": "ElementaryTypeName", "src": "780:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "769:20:55" }, "returnParameters": { "id": 19582, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 19581, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19609, "src": "813:6:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19580, "name": "int256", "nodeType": "ElementaryTypeName", "src": "813:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "812:8:55" }, "scope": 19705, "src": "757:280:55", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 19646, "nodeType": "Block", "src": "1107:95:55", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19639, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19627, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19621, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19619, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19613, "src": "1126:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 19620, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1131:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1126:6:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19626, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19624, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19622, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19611, "src": "1136:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 19623, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19613, "src": "1140:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1136:5:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 19625, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19611, "src": "1145:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1136:10:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1126:20:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 19628, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1125:22:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19637, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19631, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19629, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19613, "src": "1152:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 19630, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1156:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1152:5:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19636, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19634, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19632, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19611, "src": "1161:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 19633, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19613, "src": "1165:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1161:5:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 19635, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19611, "src": "1169:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1161:9:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1152:18:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 19638, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1151:20:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1125:46:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 19618, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1117:7:55", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 19640, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1117:55:55", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 19641, "nodeType": "ExpressionStatement", "src": "1117:55:55" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19644, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19642, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19611, "src": "1190:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 19643, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19613, "src": "1194:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1190:5:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 19617, "id": 19645, "nodeType": "Return", "src": "1183:12:55" } ] }, "documentation": null, "id": 19647, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 19614, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 19611, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19647, "src": "1056:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19610, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1056:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 19613, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19647, "src": "1066:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19612, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1066:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1055:20:55" }, "returnParameters": { "id": 19617, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 19616, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19647, "src": "1099:6:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19615, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1099:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1098:8:55" }, "scope": 19705, "src": "1043:159:55", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 19684, "nodeType": "Block", "src": "1272:108:55", "statements": [ { "assignments": [ 19657 ], "declarations": [ { "constant": false, "id": 19657, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19684, "src": "1282:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19656, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1282:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 19661, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19660, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19658, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19649, "src": "1293:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 19659, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19651, "src": "1297:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1293:5:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "1282:16:55" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19679, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19669, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19665, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19663, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19651, "src": "1317:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 19664, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1322:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1317:6:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19668, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19666, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19657, "src": "1327:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 19667, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19649, "src": "1332:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1327:6:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1317:16:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 19670, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1316:18:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19677, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19673, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19671, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19651, "src": "1339:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 19672, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1343:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1339:5:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19676, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19674, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19657, "src": "1348:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 19675, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19649, "src": "1352:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1348:5:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1339:14:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 19678, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1338:16:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1316:38:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 19662, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1308:7:55", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 19680, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1308:47:55", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 19681, "nodeType": "ExpressionStatement", "src": "1308:47:55" }, { "expression": { "argumentTypes": null, "id": 19682, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19657, "src": "1372:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 19655, "id": 19683, "nodeType": "Return", "src": "1365:8:55" } ] }, "documentation": null, "id": 19685, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 19652, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 19649, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19685, "src": "1221:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19648, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1221:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 19651, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19685, "src": "1231:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19650, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1231:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1220:20:55" }, "returnParameters": { "id": 19655, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 19654, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19685, "src": "1264:6:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19653, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1264:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1263:8:55" }, "scope": 19705, "src": "1208:172:55", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 19703, "nodeType": "Block", "src": "1451:59:55", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19695, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19693, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19687, "src": "1469:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 19694, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1474:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1469:6:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 19692, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1461:7:55", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 19696, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1461:15:55", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 19697, "nodeType": "ExpressionStatement", "src": "1461:15:55" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 19700, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19687, "src": "1501:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_int256", "typeString": "int256" } ], "id": 19699, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1493:7:55", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": { "id": 19698, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1493:7:55", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } }, "id": 19701, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1493:10:55", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 19691, "id": 19702, "nodeType": "Return", "src": "1486:17:55" } ] }, "documentation": null, "id": 19704, "implemented": true, "kind": "function", "modifiers": [], "name": "toUint256Safe", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 19688, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 19687, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19704, "src": "1409:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19686, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1409:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1408:10:55" }, "returnParameters": { "id": 19691, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 19690, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19704, "src": "1442:7:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 19689, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1442:7:55", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1441:9:55" }, "scope": 19705, "src": "1386:124:55", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 19706, "src": "354:1158:55" } ], "src": "41:1472:55" }, "legacyAST": { "absolutePath": "/Users/johannes/Documents/dev/actus-protocol/ap-monorepo/packages/ap-contracts/contracts/FDT/math/SafeMathInt.sol", "exportedSymbols": { "SafeMathInt": [ 19705 ] }, "id": 19706, "license": "Apache-2.0", "nodeType": "SourceUnit", "nodes": [ { "id": 19511, "literals": [ "solidity", "^", "0.6", ".11" ], "nodeType": "PragmaDirective", "src": "41:24:55" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 19512, "nodeType": "StructuredDocumentation", "src": "68:285:55", "text": " @title SafeMathInt\n @dev Math operations with safety checks that revert on error\n @dev SafeMath adapted for int256\n Based on code of https://github.com/RequestNetwork/requestNetwork/blob/master/packages/requestNetworkSmartContracts/contracts/base/math/SafeMathInt.sol" }, "fullyImplemented": true, "id": 19705, "linearizedBaseContracts": [ 19705 ], "name": "SafeMathInt", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 19573, "nodeType": "Block", "src": "445:306:55", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19548, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19534, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "597:27:55", "subExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19532, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19527, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19522, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19514, "src": "599:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" }, "id": 19526, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19524, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "604:3:55", "subExpression": { "argumentTypes": null, "hexValue": "32", "id": 19523, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "606:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_2_by_1", "typeString": "int_const -2" } }, "nodeType": "BinaryOperation", "operator": "**", "rightExpression": { "argumentTypes": null, "hexValue": "323535", "id": 19525, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "609:3:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_255_by_1", "typeString": "int_const 255" }, "value": "255" }, "src": "604:8:55", "typeDescriptions": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" } }, "src": "599:13:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19531, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19528, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19516, "src": "616:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 19530, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "621:2:55", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 19529, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "622:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } }, "src": "616:7:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "599:24:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 19533, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "598:26:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "id": 19547, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "628:27:55", "subExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19545, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19540, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19535, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19516, "src": "630:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" }, "id": 19539, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19537, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "635:3:55", "subExpression": { "argumentTypes": null, "hexValue": "32", "id": 19536, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "637:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_2_by_1", "typeString": "int_const -2" } }, "nodeType": "BinaryOperation", "operator": "**", "rightExpression": { "argumentTypes": null, "hexValue": "323535", "id": 19538, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "640:3:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_255_by_1", "typeString": "int_const 255" }, "value": "255" }, "src": "635:8:55", "typeDescriptions": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" } }, "src": "630:13:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19544, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19541, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19514, "src": "647:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 19543, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "652:2:55", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 19542, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "653:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } }, "src": "647:7:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "630:24:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 19546, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "629:26:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "597:58:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 19521, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "589:7:55", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 19549, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "589:67:55", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 19550, "nodeType": "ExpressionStatement", "src": "589:67:55" }, { "assignments": [ 19552 ], "declarations": [ { "constant": false, "id": 19552, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19573, "src": "667:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19551, "name": "int256", "nodeType": "ElementaryTypeName", "src": "667:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 19556, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19555, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19553, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19514, "src": "678:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 19554, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19516, "src": "682:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "678:5:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "667:16:55" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19568, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19560, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19558, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19516, "src": "702:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 19559, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "707:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "702:6:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 19561, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "701:8:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19566, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19564, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19562, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19552, "src": "714:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 19563, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19516, "src": "718:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "714:5:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 19565, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19514, "src": "723:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "714:10:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 19567, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "713:12:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "701:24:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 19557, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "693:7:55", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 19569, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "693:33:55", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 19570, "nodeType": "ExpressionStatement", "src": "693:33:55" }, { "expression": { "argumentTypes": null, "id": 19571, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19552, "src": "743:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 19520, "id": 19572, "nodeType": "Return", "src": "736:8:55" } ] }, "documentation": null, "id": 19574, "implemented": true, "kind": "function", "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 19517, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 19514, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19574, "src": "394:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19513, "name": "int256", "nodeType": "ElementaryTypeName", "src": "394:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 19516, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19574, "src": "404:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19515, "name": "int256", "nodeType": "ElementaryTypeName", "src": "404:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "393:20:55" }, "returnParameters": { "id": 19520, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 19519, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19574, "src": "437:6:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19518, "name": "int256", "nodeType": "ElementaryTypeName", "src": "437:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "436:8:55" }, "scope": 19705, "src": "381:370:55", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 19608, "nodeType": "Block", "src": "821:216:55", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19601, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19596, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "968:27:55", "subExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19594, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19589, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19584, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19576, "src": "970:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" }, "id": 19588, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19586, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "975:3:55", "subExpression": { "argumentTypes": null, "hexValue": "32", "id": 19585, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "977:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_2_by_1", "typeString": "int_const -2" } }, "nodeType": "BinaryOperation", "operator": "**", "rightExpression": { "argumentTypes": null, "hexValue": "323535", "id": 19587, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "980:3:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_255_by_1", "typeString": "int_const 255" }, "value": "255" }, "src": "975:8:55", "typeDescriptions": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" } }, "src": "970:13:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19593, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19590, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19578, "src": "987:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 19592, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "992:2:55", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 19591, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "993:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "typeDescriptions": { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } }, "src": "987:7:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "970:24:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 19595, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "969:26:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19599, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19597, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19578, "src": "1000:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 19598, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1004:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1000:5:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 19600, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "999:7:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "968:38:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 19583, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "960:7:55", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 19602, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "960:47:55", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 19603, "nodeType": "ExpressionStatement", "src": "960:47:55" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19606, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19604, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19576, "src": "1025:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 19605, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19578, "src": "1029:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1025:5:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 19582, "id": 19607, "nodeType": "Return", "src": "1018:12:55" } ] }, "documentation": null, "id": 19609, "implemented": true, "kind": "function", "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 19579, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 19576, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19609, "src": "770:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19575, "name": "int256", "nodeType": "ElementaryTypeName", "src": "770:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 19578, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19609, "src": "780:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19577, "name": "int256", "nodeType": "ElementaryTypeName", "src": "780:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "769:20:55" }, "returnParameters": { "id": 19582, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 19581, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19609, "src": "813:6:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19580, "name": "int256", "nodeType": "ElementaryTypeName", "src": "813:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "812:8:55" }, "scope": 19705, "src": "757:280:55", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 19646, "nodeType": "Block", "src": "1107:95:55", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19639, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19627, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19621, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19619, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19613, "src": "1126:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 19620, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1131:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1126:6:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19626, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19624, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19622, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19611, "src": "1136:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 19623, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19613, "src": "1140:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1136:5:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 19625, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19611, "src": "1145:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1136:10:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1126:20:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 19628, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1125:22:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19637, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19631, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19629, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19613, "src": "1152:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 19630, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1156:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1152:5:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19636, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19634, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19632, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19611, "src": "1161:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 19633, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19613, "src": "1165:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1161:5:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 19635, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19611, "src": "1169:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1161:9:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1152:18:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 19638, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1151:20:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1125:46:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 19618, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1117:7:55", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 19640, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1117:55:55", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 19641, "nodeType": "ExpressionStatement", "src": "1117:55:55" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19644, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19642, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19611, "src": "1190:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 19643, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19613, "src": "1194:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1190:5:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 19617, "id": 19645, "nodeType": "Return", "src": "1183:12:55" } ] }, "documentation": null, "id": 19647, "implemented": true, "kind": "function", "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 19614, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 19611, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19647, "src": "1056:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19610, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1056:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 19613, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19647, "src": "1066:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19612, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1066:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1055:20:55" }, "returnParameters": { "id": 19617, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 19616, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19647, "src": "1099:6:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19615, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1099:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1098:8:55" }, "scope": 19705, "src": "1043:159:55", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 19684, "nodeType": "Block", "src": "1272:108:55", "statements": [ { "assignments": [ 19657 ], "declarations": [ { "constant": false, "id": 19657, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19684, "src": "1282:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19656, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1282:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 19661, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19660, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19658, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19649, "src": "1293:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 19659, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19651, "src": "1297:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1293:5:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "1282:16:55" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19679, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19669, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19665, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19663, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19651, "src": "1317:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 19664, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1322:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1317:6:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19668, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19666, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19657, "src": "1327:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 19667, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19649, "src": "1332:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1327:6:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1317:16:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 19670, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1316:18:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 19677, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19673, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19671, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19651, "src": "1339:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 19672, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1343:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1339:5:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19676, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19674, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19657, "src": "1348:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 19675, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19649, "src": "1352:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1348:5:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1339:14:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 19678, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1338:16:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1316:38:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 19662, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1308:7:55", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 19680, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1308:47:55", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 19681, "nodeType": "ExpressionStatement", "src": "1308:47:55" }, { "expression": { "argumentTypes": null, "id": 19682, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19657, "src": "1372:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 19655, "id": 19683, "nodeType": "Return", "src": "1365:8:55" } ] }, "documentation": null, "id": 19685, "implemented": true, "kind": "function", "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 19652, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 19649, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19685, "src": "1221:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19648, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1221:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 19651, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19685, "src": "1231:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19650, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1231:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1220:20:55" }, "returnParameters": { "id": 19655, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 19654, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19685, "src": "1264:6:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19653, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1264:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1263:8:55" }, "scope": 19705, "src": "1208:172:55", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 19703, "nodeType": "Block", "src": "1451:59:55", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 19695, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 19693, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19687, "src": "1469:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 19694, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1474:1:55", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1469:6:55", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 19692, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1461:7:55", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 19696, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1461:15:55", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 19697, "nodeType": "ExpressionStatement", "src": "1461:15:55" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 19700, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 19687, "src": "1501:1:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_int256", "typeString": "int256" } ], "id": 19699, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1493:7:55", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": { "id": 19698, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1493:7:55", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } }, "id": 19701, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1493:10:55", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 19691, "id": 19702, "nodeType": "Return", "src": "1486:17:55" } ] }, "documentation": null, "id": 19704, "implemented": true, "kind": "function", "modifiers": [], "name": "toUint256Safe", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 19688, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 19687, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19704, "src": "1409:8:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 19686, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1409:6:55", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1408:10:55" }, "returnParameters": { "id": 19691, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 19690, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 19704, "src": "1442:7:55", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 19689, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1442:7:55", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1441:9:55" }, "scope": 19705, "src": "1386:124:55", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 19706, "src": "354:1158:55" } ], "src": "41:1472:55" }, "compiler": { "name": "solc", "version": "0.6.11+commit.5ef660b1.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.2.0", "updatedAt": "2020-08-12T09:47:18.167Z", "devdoc": { "details": "Math operations with safety checks that revert on errorSafeMath adapted for int256 Based on code of https://github.com/RequestNetwork/requestNetwork/blob/master/packages/requestNetworkSmartContracts/contracts/base/math/SafeMathInt.sol", "kind": "dev", "methods": {}, "title": "SafeMathInt", "version": 1 }, "userdoc": { "kind": "user", "methods": {}, "version": 1 } }