{ "contractName": "SignedMath", "abi": [ { "inputs": [], "name": "MULTIPLICATOR", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "PRECISION", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" } ], "metadata": "{\"compiler\":{\"version\":\"0.6.11+commit.5ef660b1\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[],\"name\":\"MULTIPLICATOR\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"PRECISION\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"notice\":\"Advanced math library for signed integers (including floats which are represented as multiples of 10 ** 18)\",\"version\":1}},\"settings\":{\"compilationTarget\":{\"@atpar/actus-solidity/contracts/Core/SignedMath.sol\":\"SignedMath\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[]},\"sources\":{\"@atpar/actus-solidity/contracts/Core/SignedMath.sol\":{\"keccak256\":\"0x179745be164f4540d848a50eeb8aea4ec3a0ddabc50f4c122c41ec0463e849c7\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://e1088b178902de60c611c2dffd2c8943cc7b68988c9083936b760864775db7da\",\"dweb:/ipfs/QmV9XYTU6a8nPzoJv9FjRV4Z2rfbymGGARmzka57ydD1FG\"]}},\"version\":1}", "bytecode": "0x60a7610024600b82828239805160001a607314601757fe5b30600052607381538281f3fe7300000000000000000000000000000000000000003014608060405260043610603d5760003560e01c80630b540720146042578063aaf5eb6814605a575b600080fd5b60486060565b60408051918252519081900360200190f35b6048606c565b670de0b6b3a764000081565b60128156fea2646970667358221220b683a3d6373442fad6b742f35ea30c89f2f3f13f6ef86f6719b56d9cc7b0409864736f6c634300060b0033", "deployedBytecode": "0x7300000000000000000000000000000000000000003014608060405260043610603d5760003560e01c80630b540720146042578063aaf5eb6814605a575b600080fd5b60486060565b60408051918252519081900360200190f35b6048606c565b670de0b6b3a764000081565b60128156fea2646970667358221220b683a3d6373442fad6b742f35ea30c89f2f3f13f6ef86f6719b56d9cc7b0409864736f6c634300060b0033", "immutableReferences": {}, "sourceMap": "190:1937:80:-:0;;;;;;;;;;;;;;;;;;;;;;;;;", "deployedSourceMap": "190:1937:80:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;313:55;;;:::i;:::-;;;;;;;;;;;;;;;;269:38;;;:::i;313:55::-;353:15;313:55;:::o;269:38::-;305:2;269:38;:::o", "source": "// \"SPDX-License-Identifier: Apache-2.0\"\npragma solidity ^0.6.11;\n\n\n/**\n * Advanced math library for signed integers\n * (including floats which are represented as multiples of 10 ** 18)\n */\nlibrary SignedMath {\n\n int256 constant private INT256_MIN = -2 ** 255;\n\n uint256 constant public PRECISION = 18;\n uint256 constant public MULTIPLICATOR = 10 ** PRECISION;\n\n\n /**\n * @dev The product of a and b has to be less than INT256_MAX (~10 ** 76),\n * as devision (normalization) is performed after multiplication\n * Upper boundary would be (10 ** 58) * (MULTIPLICATOR) == ~10 ** 76\n */\n function floatMult(int256 a, int256 b)\n internal\n pure\n returns (int256)\n {\n if (a == 0 || b == 0) return 0;\n\n require(!(a == -1 && b == INT256_MIN), \"SignedMath.floatMult: OVERFLOW_DETECTED\");\n int256 c = a * b;\n require(c / a == b, \"SignedMath.floatMult: OVERFLOW_DETECTED\");\n\n // normalize (divide by MULTIPLICATOR)\n int256 d = c / int256(MULTIPLICATOR);\n require(d != 0, \"SignedMath.floatMult: CANNOT_REPRESENT_GRANULARITY\");\n\n return d;\n }\n\n function floatDiv(int256 a, int256 b)\n internal\n pure\n returns (int256)\n {\n require(b != 0, \"SignedMath.floatDiv: DIVIDED_BY_ZERO\");\n\n // normalize (multiply by MULTIPLICATOR)\n if (a == 0) return 0;\n int256 c = a * int256(MULTIPLICATOR);\n require(c / a == int256(MULTIPLICATOR), \"SignedMath.floatDiv: OVERFLOW_DETECTED\");\n\n require(!(b == -1 && a == INT256_MIN), \"SignedMath.floatDiv: OVERFLOW_DETECTED\");\n int256 d = c / b;\n require(d != 0, \"SignedMath.floatDiv: CANNOT_REPRESENT_GRANULARITY\");\n\n return d;\n }\n\n /**\n * @dev Returns the smallest of two signed numbers.\n */\n function min(int256 a, int256 b) internal pure returns (int256) {\n return a <= b ? a : b;\n }\n\n /**\n * @dev Returns the largest of two signed numbers.\n */\n function max(int256 a, int256 b) internal pure returns (int256) {\n return a >= b ? a : b;\n }\n}\n", "sourcePath": "@atpar/actus-solidity/contracts/Core/SignedMath.sol", "ast": { "absolutePath": "@atpar/actus-solidity/contracts/Core/SignedMath.sol", "exportedSymbols": { "SignedMath": [ 24230 ] }, "id": 24231, "license": "Apache-2.0", "nodeType": "SourceUnit", "nodes": [ { "id": 24037, "literals": [ "solidity", "^", "0.6", ".11" ], "nodeType": "PragmaDirective", "src": "41:24:80" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 24038, "nodeType": "StructuredDocumentation", "src": "68:121:80", "text": " Advanced math library for signed integers\n (including floats which are represented as multiples of 10 ** 18)" }, "fullyImplemented": true, "id": 24230, "linearizedBaseContracts": [ 24230 ], "name": "SignedMath", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "id": 24044, "mutability": "constant", "name": "INT256_MIN", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24230, "src": "216:46:80", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24039, "name": "int256", "nodeType": "ElementaryTypeName", "src": "216:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" }, "id": 24043, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24041, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "253:2:80", "subExpression": { "argumentTypes": null, "hexValue": "32", "id": 24040, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "254:1:80", "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": 24042, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "259:3:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_255_by_1", "typeString": "int_const 255" }, "value": "255" }, "src": "253:9:80", "typeDescriptions": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" } }, "visibility": "private" }, { "constant": true, "functionSelector": "aaf5eb68", "id": 24047, "mutability": "constant", "name": "PRECISION", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24230, "src": "269:38:80", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 24045, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "269:7:80", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": { "argumentTypes": null, "hexValue": "3138", "id": 24046, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "305:2:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_18_by_1", "typeString": "int_const 18" }, "value": "18" }, "visibility": "public" }, { "constant": true, "functionSelector": "0b540720", "id": 24052, "mutability": "constant", "name": "MULTIPLICATOR", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24230, "src": "313:55:80", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 24048, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "313:7:80", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 24051, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "3130", "id": 24049, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "353:2:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_10_by_1", "typeString": "int_const 10" }, "value": "10" }, "nodeType": "BinaryOperation", "operator": "**", "rightExpression": { "argumentTypes": null, "id": 24050, "name": "PRECISION", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24047, "src": "359:9:80", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "353:15:80", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "public" }, { "body": { "id": 24119, "nodeType": "Block", "src": "711:429:80", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 24068, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24064, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24062, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24055, "src": "725:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 24063, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "730:1:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "725:6:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24067, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24065, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24057, "src": "735:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 24066, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "740:1:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "735:6:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "725:16:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 24071, "nodeType": "IfStatement", "src": "721:30:80", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "30", "id": 24069, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "750:1:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 24061, "id": 24070, "nodeType": "Return", "src": "743:8:80" } }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 24082, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "770:29:80", "subExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 24080, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24076, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24073, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24055, "src": "772:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 24075, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "777:2:80", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 24074, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "778:1:80", "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": "772:7:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24079, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24077, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24057, "src": "783:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 24078, "name": "INT256_MIN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24044, "src": "788:10:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "783:15:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "772:26:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 24081, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "771:28:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e65644d6174682e666c6f61744d756c743a204f564552464c4f575f4445544543544544", "id": 24083, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "801:41:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_5549e2468c48c2d8332c0f410c9ff3264f76985d9ac4fba6821177eaa2349170", "typeString": "literal_string \"SignedMath.floatMult: OVERFLOW_DETECTED\"" }, "value": "SignedMath.floatMult: OVERFLOW_DETECTED" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_5549e2468c48c2d8332c0f410c9ff3264f76985d9ac4fba6821177eaa2349170", "typeString": "literal_string \"SignedMath.floatMult: OVERFLOW_DETECTED\"" } ], "id": 24072, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "762:7:80", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 24084, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "762:81:80", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 24085, "nodeType": "ExpressionStatement", "src": "762:81:80" }, { "assignments": [ 24087 ], "declarations": [ { "constant": false, "id": 24087, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24119, "src": "853:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24086, "name": "int256", "nodeType": "ElementaryTypeName", "src": "853:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 24091, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24090, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24088, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24055, "src": "864:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 24089, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24057, "src": "868:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "864:5:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "853:16:80" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24097, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24095, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24093, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24087, "src": "887:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 24094, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24055, "src": "891:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "887:5:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 24096, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24057, "src": "896:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "887:10:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e65644d6174682e666c6f61744d756c743a204f564552464c4f575f4445544543544544", "id": 24098, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "899:41:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_5549e2468c48c2d8332c0f410c9ff3264f76985d9ac4fba6821177eaa2349170", "typeString": "literal_string \"SignedMath.floatMult: OVERFLOW_DETECTED\"" }, "value": "SignedMath.floatMult: OVERFLOW_DETECTED" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_5549e2468c48c2d8332c0f410c9ff3264f76985d9ac4fba6821177eaa2349170", "typeString": "literal_string \"SignedMath.floatMult: OVERFLOW_DETECTED\"" } ], "id": 24092, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "879:7:80", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 24099, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "879:62:80", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 24100, "nodeType": "ExpressionStatement", "src": "879:62:80" }, { "assignments": [ 24102 ], "declarations": [ { "constant": false, "id": 24102, "mutability": "mutable", "name": "d", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24119, "src": "999:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24101, "name": "int256", "nodeType": "ElementaryTypeName", "src": "999:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 24109, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24108, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24103, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24087, "src": "1010:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 24106, "name": "MULTIPLICATOR", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24052, "src": "1021:13:80", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 24105, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1014:6:80", "typeDescriptions": { "typeIdentifier": "t_type$_t_int256_$", "typeString": "type(int256)" }, "typeName": { "id": 24104, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1014:6:80", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } }, "id": 24107, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1014:21:80", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1010:25:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "999:36:80" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24113, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24111, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24102, "src": "1053:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 24112, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1058:1:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1053:6:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e65644d6174682e666c6f61744d756c743a2043414e4e4f545f524550524553454e545f4752414e554c4152495459", "id": 24114, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1061:52:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_3a4c200deb0ae39bf43e3ca65aab42ae9e98793150b2a07e4036e038e863a54f", "typeString": "literal_string \"SignedMath.floatMult: CANNOT_REPRESENT_GRANULARITY\"" }, "value": "SignedMath.floatMult: CANNOT_REPRESENT_GRANULARITY" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_3a4c200deb0ae39bf43e3ca65aab42ae9e98793150b2a07e4036e038e863a54f", "typeString": "literal_string \"SignedMath.floatMult: CANNOT_REPRESENT_GRANULARITY\"" } ], "id": 24110, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1045:7:80", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 24115, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1045:69:80", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 24116, "nodeType": "ExpressionStatement", "src": "1045:69:80" }, { "expression": { "argumentTypes": null, "id": 24117, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24102, "src": "1132:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 24061, "id": 24118, "nodeType": "Return", "src": "1125:8:80" } ] }, "documentation": { "id": 24053, "nodeType": "StructuredDocumentation", "src": "376:232:80", "text": " @dev The product of a and b has to be less than INT256_MAX (~10 ** 76),\n as devision (normalization) is performed after multiplication\n Upper boundary would be (10 ** 58) * (MULTIPLICATOR) == ~10 ** 76" }, "id": 24120, "implemented": true, "kind": "function", "modifiers": [], "name": "floatMult", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 24058, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24055, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24120, "src": "632:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24054, "name": "int256", "nodeType": "ElementaryTypeName", "src": "632:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 24057, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24120, "src": "642:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24056, "name": "int256", "nodeType": "ElementaryTypeName", "src": "642:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "631:20:80" }, "returnParameters": { "id": 24061, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24060, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24120, "src": "699:6:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24059, "name": "int256", "nodeType": "ElementaryTypeName", "src": "699:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "698:8:80" }, "scope": 24230, "src": "613:527:80", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 24192, "nodeType": "Block", "src": "1243:503:80", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24132, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24130, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24124, "src": "1261:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 24131, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1266:1:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1261:6:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e65644d6174682e666c6f61744469763a20444956494445445f42595f5a45524f", "id": 24133, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1269:38:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_f6e9188d257ae46b44cde2ea349243605112953ff612fa2b7d37020b29006f39", "typeString": "literal_string \"SignedMath.floatDiv: DIVIDED_BY_ZERO\"" }, "value": "SignedMath.floatDiv: DIVIDED_BY_ZERO" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_f6e9188d257ae46b44cde2ea349243605112953ff612fa2b7d37020b29006f39", "typeString": "literal_string \"SignedMath.floatDiv: DIVIDED_BY_ZERO\"" } ], "id": 24129, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1253:7:80", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 24134, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1253:55:80", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 24135, "nodeType": "ExpressionStatement", "src": "1253:55:80" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24138, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24136, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24122, "src": "1372:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 24137, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1377:1:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1372:6:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 24141, "nodeType": "IfStatement", "src": "1368:20:80", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "30", "id": 24139, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1387:1:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 24128, "id": 24140, "nodeType": "Return", "src": "1380:8:80" } }, { "assignments": [ 24143 ], "declarations": [ { "constant": false, "id": 24143, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24192, "src": "1398:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24142, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1398:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 24150, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24149, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24144, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24122, "src": "1409:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 24147, "name": "MULTIPLICATOR", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24052, "src": "1420:13:80", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 24146, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1413:6:80", "typeDescriptions": { "typeIdentifier": "t_type$_t_int256_$", "typeString": "type(int256)" }, "typeName": { "id": 24145, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1413:6:80", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } }, "id": 24148, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1413:21:80", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1409:25:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "1398:36:80" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24159, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24154, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24152, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24143, "src": "1452:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 24153, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24122, "src": "1456:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1452:5:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 24157, "name": "MULTIPLICATOR", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24052, "src": "1468:13:80", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 24156, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1461:6:80", "typeDescriptions": { "typeIdentifier": "t_type$_t_int256_$", "typeString": "type(int256)" }, "typeName": { "id": 24155, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1461:6:80", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } }, "id": 24158, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1461:21:80", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1452:30:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e65644d6174682e666c6f61744469763a204f564552464c4f575f4445544543544544", "id": 24160, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1484:40:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_bdd60bcbbb957f86b90e4fbf1eea77f0bc22a00e991785aaae6ebf593a62d921", "typeString": "literal_string \"SignedMath.floatDiv: OVERFLOW_DETECTED\"" }, "value": "SignedMath.floatDiv: OVERFLOW_DETECTED" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_bdd60bcbbb957f86b90e4fbf1eea77f0bc22a00e991785aaae6ebf593a62d921", "typeString": "literal_string \"SignedMath.floatDiv: OVERFLOW_DETECTED\"" } ], "id": 24151, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1444:7:80", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 24161, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1444:81:80", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 24162, "nodeType": "ExpressionStatement", "src": "1444:81:80" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 24173, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "1544:29:80", "subExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 24171, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24167, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24164, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24124, "src": "1546:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 24166, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "1551:2:80", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 24165, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1552:1:80", "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": "1546:7:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24170, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24168, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24122, "src": "1557:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 24169, "name": "INT256_MIN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24044, "src": "1562:10:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1557:15:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1546:26:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 24172, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1545:28:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e65644d6174682e666c6f61744469763a204f564552464c4f575f4445544543544544", "id": 24174, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1575:40:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_bdd60bcbbb957f86b90e4fbf1eea77f0bc22a00e991785aaae6ebf593a62d921", "typeString": "literal_string \"SignedMath.floatDiv: OVERFLOW_DETECTED\"" }, "value": "SignedMath.floatDiv: OVERFLOW_DETECTED" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_bdd60bcbbb957f86b90e4fbf1eea77f0bc22a00e991785aaae6ebf593a62d921", "typeString": "literal_string \"SignedMath.floatDiv: OVERFLOW_DETECTED\"" } ], "id": 24163, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1536:7:80", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 24175, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1536:80:80", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 24176, "nodeType": "ExpressionStatement", "src": "1536:80:80" }, { "assignments": [ 24178 ], "declarations": [ { "constant": false, "id": 24178, "mutability": "mutable", "name": "d", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24192, "src": "1626:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24177, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1626:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 24182, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24181, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24179, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24143, "src": "1637:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 24180, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24124, "src": "1641:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1637:5:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "1626:16:80" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24186, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24184, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24178, "src": "1660:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 24185, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1665:1:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1660:6:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e65644d6174682e666c6f61744469763a2043414e4e4f545f524550524553454e545f4752414e554c4152495459", "id": 24187, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1668:51:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_8ad2cdcccde66cbda7e4b276b2af286da569ee455a0498e1c04b731d59a557d7", "typeString": "literal_string \"SignedMath.floatDiv: CANNOT_REPRESENT_GRANULARITY\"" }, "value": "SignedMath.floatDiv: CANNOT_REPRESENT_GRANULARITY" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_8ad2cdcccde66cbda7e4b276b2af286da569ee455a0498e1c04b731d59a557d7", "typeString": "literal_string \"SignedMath.floatDiv: CANNOT_REPRESENT_GRANULARITY\"" } ], "id": 24183, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1652:7:80", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 24188, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1652:68:80", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 24189, "nodeType": "ExpressionStatement", "src": "1652:68:80" }, { "expression": { "argumentTypes": null, "id": 24190, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24178, "src": "1738:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 24128, "id": 24191, "nodeType": "Return", "src": "1731:8:80" } ] }, "documentation": null, "id": 24193, "implemented": true, "kind": "function", "modifiers": [], "name": "floatDiv", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 24125, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24122, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24193, "src": "1164:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24121, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1164:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 24124, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24193, "src": "1174:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24123, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1174:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1163:20:80" }, "returnParameters": { "id": 24128, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24127, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24193, "src": "1231:6:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24126, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1231:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1230:8:80" }, "scope": 24230, "src": "1146:600:80", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 24210, "nodeType": "Block", "src": "1894:42:80", "statements": [ { "expression": { "argumentTypes": null, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24205, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24203, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24196, "src": "1915:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 24204, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24198, "src": "1920:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1915:6:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseExpression": { "argumentTypes": null, "id": 24207, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24198, "src": "1928:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 24208, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "Conditional", "src": "1915:14:80", "trueExpression": { "argumentTypes": null, "id": 24206, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24196, "src": "1924:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 24202, "id": 24209, "nodeType": "Return", "src": "1908:21:80" } ] }, "documentation": { "id": 24194, "nodeType": "StructuredDocumentation", "src": "1752:73:80", "text": " @dev Returns the smallest of two signed numbers." }, "id": 24211, "implemented": true, "kind": "function", "modifiers": [], "name": "min", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 24199, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24196, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24211, "src": "1843:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24195, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1843:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 24198, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24211, "src": "1853:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24197, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1853:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1842:20:80" }, "returnParameters": { "id": 24202, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24201, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24211, "src": "1886:6:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24200, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1886:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1885:8:80" }, "scope": 24230, "src": "1830:106:80", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 24228, "nodeType": "Block", "src": "2083:42:80", "statements": [ { "expression": { "argumentTypes": null, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24223, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24221, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24214, "src": "2104:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 24222, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24216, "src": "2109:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2104:6:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseExpression": { "argumentTypes": null, "id": 24225, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24216, "src": "2117:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 24226, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "Conditional", "src": "2104:14:80", "trueExpression": { "argumentTypes": null, "id": 24224, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24214, "src": "2113:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 24220, "id": 24227, "nodeType": "Return", "src": "2097:21:80" } ] }, "documentation": { "id": 24212, "nodeType": "StructuredDocumentation", "src": "1942:72:80", "text": " @dev Returns the largest of two signed numbers." }, "id": 24229, "implemented": true, "kind": "function", "modifiers": [], "name": "max", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 24217, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24214, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24229, "src": "2032:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24213, "name": "int256", "nodeType": "ElementaryTypeName", "src": "2032:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 24216, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24229, "src": "2042:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24215, "name": "int256", "nodeType": "ElementaryTypeName", "src": "2042:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "2031:20:80" }, "returnParameters": { "id": 24220, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24219, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24229, "src": "2075:6:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24218, "name": "int256", "nodeType": "ElementaryTypeName", "src": "2075:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "2074:8:80" }, "scope": 24230, "src": "2019:106:80", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 24231, "src": "190:1937:80" } ], "src": "41:2087:80" }, "legacyAST": { "absolutePath": "@atpar/actus-solidity/contracts/Core/SignedMath.sol", "exportedSymbols": { "SignedMath": [ 24230 ] }, "id": 24231, "license": "Apache-2.0", "nodeType": "SourceUnit", "nodes": [ { "id": 24037, "literals": [ "solidity", "^", "0.6", ".11" ], "nodeType": "PragmaDirective", "src": "41:24:80" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": { "id": 24038, "nodeType": "StructuredDocumentation", "src": "68:121:80", "text": " Advanced math library for signed integers\n (including floats which are represented as multiples of 10 ** 18)" }, "fullyImplemented": true, "id": 24230, "linearizedBaseContracts": [ 24230 ], "name": "SignedMath", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "id": 24044, "mutability": "constant", "name": "INT256_MIN", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24230, "src": "216:46:80", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24039, "name": "int256", "nodeType": "ElementaryTypeName", "src": "216:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" }, "id": 24043, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24041, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "253:2:80", "subExpression": { "argumentTypes": null, "hexValue": "32", "id": 24040, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "254:1:80", "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": 24042, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "259:3:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_255_by_1", "typeString": "int_const 255" }, "value": "255" }, "src": "253:9:80", "typeDescriptions": { "typeIdentifier": "t_rational_minus_57896044618658097711785492504343953926634992332820282019728792003956564819968_by_1", "typeString": "int_const -578...(70 digits omitted)...9968" } }, "visibility": "private" }, { "constant": true, "functionSelector": "aaf5eb68", "id": 24047, "mutability": "constant", "name": "PRECISION", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24230, "src": "269:38:80", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 24045, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "269:7:80", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": { "argumentTypes": null, "hexValue": "3138", "id": 24046, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "305:2:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_18_by_1", "typeString": "int_const 18" }, "value": "18" }, "visibility": "public" }, { "constant": true, "functionSelector": "0b540720", "id": 24052, "mutability": "constant", "name": "MULTIPLICATOR", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24230, "src": "313:55:80", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 24048, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "313:7:80", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 24051, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "3130", "id": 24049, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "353:2:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_10_by_1", "typeString": "int_const 10" }, "value": "10" }, "nodeType": "BinaryOperation", "operator": "**", "rightExpression": { "argumentTypes": null, "id": 24050, "name": "PRECISION", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24047, "src": "359:9:80", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "353:15:80", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "visibility": "public" }, { "body": { "id": 24119, "nodeType": "Block", "src": "711:429:80", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 24068, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24064, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24062, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24055, "src": "725:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 24063, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "730:1:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "725:6:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "||", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24067, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24065, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24057, "src": "735:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 24066, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "740:1:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "735:6:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "725:16:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 24071, "nodeType": "IfStatement", "src": "721:30:80", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "30", "id": 24069, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "750:1:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 24061, "id": 24070, "nodeType": "Return", "src": "743:8:80" } }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 24082, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "770:29:80", "subExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 24080, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24076, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24073, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24055, "src": "772:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 24075, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "777:2:80", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 24074, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "778:1:80", "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": "772:7:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24079, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24077, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24057, "src": "783:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 24078, "name": "INT256_MIN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24044, "src": "788:10:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "783:15:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "772:26:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 24081, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "771:28:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e65644d6174682e666c6f61744d756c743a204f564552464c4f575f4445544543544544", "id": 24083, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "801:41:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_5549e2468c48c2d8332c0f410c9ff3264f76985d9ac4fba6821177eaa2349170", "typeString": "literal_string \"SignedMath.floatMult: OVERFLOW_DETECTED\"" }, "value": "SignedMath.floatMult: OVERFLOW_DETECTED" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_5549e2468c48c2d8332c0f410c9ff3264f76985d9ac4fba6821177eaa2349170", "typeString": "literal_string \"SignedMath.floatMult: OVERFLOW_DETECTED\"" } ], "id": 24072, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "762:7:80", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 24084, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "762:81:80", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 24085, "nodeType": "ExpressionStatement", "src": "762:81:80" }, { "assignments": [ 24087 ], "declarations": [ { "constant": false, "id": 24087, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24119, "src": "853:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24086, "name": "int256", "nodeType": "ElementaryTypeName", "src": "853:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 24091, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24090, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24088, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24055, "src": "864:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 24089, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24057, "src": "868:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "864:5:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "853:16:80" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24097, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24095, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24093, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24087, "src": "887:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 24094, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24055, "src": "891:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "887:5:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 24096, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24057, "src": "896:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "887:10:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e65644d6174682e666c6f61744d756c743a204f564552464c4f575f4445544543544544", "id": 24098, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "899:41:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_5549e2468c48c2d8332c0f410c9ff3264f76985d9ac4fba6821177eaa2349170", "typeString": "literal_string \"SignedMath.floatMult: OVERFLOW_DETECTED\"" }, "value": "SignedMath.floatMult: OVERFLOW_DETECTED" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_5549e2468c48c2d8332c0f410c9ff3264f76985d9ac4fba6821177eaa2349170", "typeString": "literal_string \"SignedMath.floatMult: OVERFLOW_DETECTED\"" } ], "id": 24092, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "879:7:80", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 24099, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "879:62:80", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 24100, "nodeType": "ExpressionStatement", "src": "879:62:80" }, { "assignments": [ 24102 ], "declarations": [ { "constant": false, "id": 24102, "mutability": "mutable", "name": "d", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24119, "src": "999:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24101, "name": "int256", "nodeType": "ElementaryTypeName", "src": "999:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 24109, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24108, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24103, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24087, "src": "1010:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 24106, "name": "MULTIPLICATOR", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24052, "src": "1021:13:80", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 24105, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1014:6:80", "typeDescriptions": { "typeIdentifier": "t_type$_t_int256_$", "typeString": "type(int256)" }, "typeName": { "id": 24104, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1014:6:80", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } }, "id": 24107, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1014:21:80", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1010:25:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "999:36:80" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24113, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24111, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24102, "src": "1053:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 24112, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1058:1:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1053:6:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e65644d6174682e666c6f61744d756c743a2043414e4e4f545f524550524553454e545f4752414e554c4152495459", "id": 24114, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1061:52:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_3a4c200deb0ae39bf43e3ca65aab42ae9e98793150b2a07e4036e038e863a54f", "typeString": "literal_string \"SignedMath.floatMult: CANNOT_REPRESENT_GRANULARITY\"" }, "value": "SignedMath.floatMult: CANNOT_REPRESENT_GRANULARITY" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_3a4c200deb0ae39bf43e3ca65aab42ae9e98793150b2a07e4036e038e863a54f", "typeString": "literal_string \"SignedMath.floatMult: CANNOT_REPRESENT_GRANULARITY\"" } ], "id": 24110, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1045:7:80", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 24115, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1045:69:80", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 24116, "nodeType": "ExpressionStatement", "src": "1045:69:80" }, { "expression": { "argumentTypes": null, "id": 24117, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24102, "src": "1132:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 24061, "id": 24118, "nodeType": "Return", "src": "1125:8:80" } ] }, "documentation": { "id": 24053, "nodeType": "StructuredDocumentation", "src": "376:232:80", "text": " @dev The product of a and b has to be less than INT256_MAX (~10 ** 76),\n as devision (normalization) is performed after multiplication\n Upper boundary would be (10 ** 58) * (MULTIPLICATOR) == ~10 ** 76" }, "id": 24120, "implemented": true, "kind": "function", "modifiers": [], "name": "floatMult", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 24058, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24055, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24120, "src": "632:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24054, "name": "int256", "nodeType": "ElementaryTypeName", "src": "632:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 24057, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24120, "src": "642:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24056, "name": "int256", "nodeType": "ElementaryTypeName", "src": "642:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "631:20:80" }, "returnParameters": { "id": 24061, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24060, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24120, "src": "699:6:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24059, "name": "int256", "nodeType": "ElementaryTypeName", "src": "699:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "698:8:80" }, "scope": 24230, "src": "613:527:80", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 24192, "nodeType": "Block", "src": "1243:503:80", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24132, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24130, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24124, "src": "1261:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 24131, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1266:1:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1261:6:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e65644d6174682e666c6f61744469763a20444956494445445f42595f5a45524f", "id": 24133, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1269:38:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_f6e9188d257ae46b44cde2ea349243605112953ff612fa2b7d37020b29006f39", "typeString": "literal_string \"SignedMath.floatDiv: DIVIDED_BY_ZERO\"" }, "value": "SignedMath.floatDiv: DIVIDED_BY_ZERO" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_f6e9188d257ae46b44cde2ea349243605112953ff612fa2b7d37020b29006f39", "typeString": "literal_string \"SignedMath.floatDiv: DIVIDED_BY_ZERO\"" } ], "id": 24129, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1253:7:80", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 24134, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1253:55:80", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 24135, "nodeType": "ExpressionStatement", "src": "1253:55:80" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24138, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24136, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24122, "src": "1372:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 24137, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1377:1:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1372:6:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 24141, "nodeType": "IfStatement", "src": "1368:20:80", "trueBody": { "expression": { "argumentTypes": null, "hexValue": "30", "id": 24139, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1387:1:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 24128, "id": 24140, "nodeType": "Return", "src": "1380:8:80" } }, { "assignments": [ 24143 ], "declarations": [ { "constant": false, "id": 24143, "mutability": "mutable", "name": "c", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24192, "src": "1398:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24142, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1398:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 24150, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24149, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24144, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24122, "src": "1409:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 24147, "name": "MULTIPLICATOR", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24052, "src": "1420:13:80", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 24146, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1413:6:80", "typeDescriptions": { "typeIdentifier": "t_type$_t_int256_$", "typeString": "type(int256)" }, "typeName": { "id": 24145, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1413:6:80", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } }, "id": 24148, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1413:21:80", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1409:25:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "1398:36:80" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24159, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24154, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24152, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24143, "src": "1452:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 24153, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24122, "src": "1456:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1452:5:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 24157, "name": "MULTIPLICATOR", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24052, "src": "1468:13:80", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 24156, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1461:6:80", "typeDescriptions": { "typeIdentifier": "t_type$_t_int256_$", "typeString": "type(int256)" }, "typeName": { "id": 24155, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1461:6:80", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } }, "id": 24158, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1461:21:80", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1452:30:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e65644d6174682e666c6f61744469763a204f564552464c4f575f4445544543544544", "id": 24160, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1484:40:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_bdd60bcbbb957f86b90e4fbf1eea77f0bc22a00e991785aaae6ebf593a62d921", "typeString": "literal_string \"SignedMath.floatDiv: OVERFLOW_DETECTED\"" }, "value": "SignedMath.floatDiv: OVERFLOW_DETECTED" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_bdd60bcbbb957f86b90e4fbf1eea77f0bc22a00e991785aaae6ebf593a62d921", "typeString": "literal_string \"SignedMath.floatDiv: OVERFLOW_DETECTED\"" } ], "id": 24151, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1444:7:80", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 24161, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1444:81:80", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 24162, "nodeType": "ExpressionStatement", "src": "1444:81:80" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 24173, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "1544:29:80", "subExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 24171, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24167, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24164, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24124, "src": "1546:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 24166, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "1551:2:80", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 24165, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1552:1:80", "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": "1546:7:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24170, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24168, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24122, "src": "1557:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 24169, "name": "INT256_MIN", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24044, "src": "1562:10:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1557:15:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1546:26:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "id": 24172, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "1545:28:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e65644d6174682e666c6f61744469763a204f564552464c4f575f4445544543544544", "id": 24174, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1575:40:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_bdd60bcbbb957f86b90e4fbf1eea77f0bc22a00e991785aaae6ebf593a62d921", "typeString": "literal_string \"SignedMath.floatDiv: OVERFLOW_DETECTED\"" }, "value": "SignedMath.floatDiv: OVERFLOW_DETECTED" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_bdd60bcbbb957f86b90e4fbf1eea77f0bc22a00e991785aaae6ebf593a62d921", "typeString": "literal_string \"SignedMath.floatDiv: OVERFLOW_DETECTED\"" } ], "id": 24163, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1536:7:80", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 24175, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1536:80:80", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 24176, "nodeType": "ExpressionStatement", "src": "1536:80:80" }, { "assignments": [ 24178 ], "declarations": [ { "constant": false, "id": 24178, "mutability": "mutable", "name": "d", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24192, "src": "1626:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24177, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1626:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "id": 24182, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24181, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24179, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24143, "src": "1637:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 24180, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24124, "src": "1641:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1637:5:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "VariableDeclarationStatement", "src": "1626:16:80" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24186, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24184, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24178, "src": "1660:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 24185, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1665:1:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1660:6:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "5369676e65644d6174682e666c6f61744469763a2043414e4e4f545f524550524553454e545f4752414e554c4152495459", "id": 24187, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1668:51:80", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_8ad2cdcccde66cbda7e4b276b2af286da569ee455a0498e1c04b731d59a557d7", "typeString": "literal_string \"SignedMath.floatDiv: CANNOT_REPRESENT_GRANULARITY\"" }, "value": "SignedMath.floatDiv: CANNOT_REPRESENT_GRANULARITY" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_8ad2cdcccde66cbda7e4b276b2af286da569ee455a0498e1c04b731d59a557d7", "typeString": "literal_string \"SignedMath.floatDiv: CANNOT_REPRESENT_GRANULARITY\"" } ], "id": 24183, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1652:7:80", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 24188, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1652:68:80", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 24189, "nodeType": "ExpressionStatement", "src": "1652:68:80" }, { "expression": { "argumentTypes": null, "id": 24190, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24178, "src": "1738:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 24128, "id": 24191, "nodeType": "Return", "src": "1731:8:80" } ] }, "documentation": null, "id": 24193, "implemented": true, "kind": "function", "modifiers": [], "name": "floatDiv", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 24125, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24122, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24193, "src": "1164:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24121, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1164:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 24124, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24193, "src": "1174:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24123, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1174:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1163:20:80" }, "returnParameters": { "id": 24128, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24127, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24193, "src": "1231:6:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24126, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1231:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1230:8:80" }, "scope": 24230, "src": "1146:600:80", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 24210, "nodeType": "Block", "src": "1894:42:80", "statements": [ { "expression": { "argumentTypes": null, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24205, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24203, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24196, "src": "1915:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 24204, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24198, "src": "1920:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1915:6:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseExpression": { "argumentTypes": null, "id": 24207, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24198, "src": "1928:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 24208, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "Conditional", "src": "1915:14:80", "trueExpression": { "argumentTypes": null, "id": 24206, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24196, "src": "1924:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 24202, "id": 24209, "nodeType": "Return", "src": "1908:21:80" } ] }, "documentation": { "id": 24194, "nodeType": "StructuredDocumentation", "src": "1752:73:80", "text": " @dev Returns the smallest of two signed numbers." }, "id": 24211, "implemented": true, "kind": "function", "modifiers": [], "name": "min", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 24199, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24196, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24211, "src": "1843:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24195, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1843:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 24198, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24211, "src": "1853:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24197, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1853:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1842:20:80" }, "returnParameters": { "id": 24202, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24201, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24211, "src": "1886:6:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24200, "name": "int256", "nodeType": "ElementaryTypeName", "src": "1886:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "1885:8:80" }, "scope": 24230, "src": "1830:106:80", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 24228, "nodeType": "Block", "src": "2083:42:80", "statements": [ { "expression": { "argumentTypes": null, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 24223, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 24221, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24214, "src": "2104:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 24222, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24216, "src": "2109:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2104:6:80", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseExpression": { "argumentTypes": null, "id": 24225, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24216, "src": "2117:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 24226, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "Conditional", "src": "2104:14:80", "trueExpression": { "argumentTypes": null, "id": 24224, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 24214, "src": "2113:1:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "functionReturnParameters": 24220, "id": 24227, "nodeType": "Return", "src": "2097:21:80" } ] }, "documentation": { "id": 24212, "nodeType": "StructuredDocumentation", "src": "1942:72:80", "text": " @dev Returns the largest of two signed numbers." }, "id": 24229, "implemented": true, "kind": "function", "modifiers": [], "name": "max", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 24217, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24214, "mutability": "mutable", "name": "a", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24229, "src": "2032:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24213, "name": "int256", "nodeType": "ElementaryTypeName", "src": "2032:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 24216, "mutability": "mutable", "name": "b", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24229, "src": "2042:8:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24215, "name": "int256", "nodeType": "ElementaryTypeName", "src": "2042:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "2031:20:80" }, "returnParameters": { "id": 24220, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 24219, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 24229, "src": "2075:6:80", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 24218, "name": "int256", "nodeType": "ElementaryTypeName", "src": "2075:6:80", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "2074:8:80" }, "scope": 24230, "src": "2019:106:80", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 24231, "src": "190:1937:80" } ], "src": "41:2087:80" }, "compiler": { "name": "solc", "version": "0.6.11+commit.5ef660b1.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.2.0", "updatedAt": "2020-08-12T09:47:18.281Z", "devdoc": { "kind": "dev", "methods": {}, "version": 1 }, "userdoc": { "kind": "user", "methods": {}, "notice": "Advanced math library for signed integers (including floats which are represented as multiples of 10 ** 18)", "version": 1 } }