{ "contractName": "FullMath", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.6.6+commit.6c089d02\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"methods\":{}},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"moonwalkerswap-libraries/contracts/libraries/FullMath.sol\":\"FullMath\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":200},\"remappings\":[]},\"sources\":{\"moonwalkerswap-libraries/contracts/libraries/FullMath.sol\":{\"keccak256\":\"0xc4ffcf28169f73fc9fdd1f82345d6d4fcccf3fd5aea83c133437c25e4e0950a9\",\"urls\":[\"bzz-raw://c9257a47501005f0a648bc4801ef4abc33843681aaf03a6d0c43d46b69e37407\",\"dweb:/ipfs/QmciHvDrqhxs5fjsrm9aNq29FZXpunMn17n2wWj83Zsh3B\"]}},\"version\":1}", "bytecode": "0x60566023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea2646970667358221220ada2bd51e00a9982b082c24c9b444a2ee3d6cf0cc2a947960b34a85630f1f8a264736f6c63430006060033", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea2646970667358221220ada2bd51e00a9982b082c24c9b444a2ee3d6cf0cc2a947960b34a85630f1f8a264736f6c63430006060033", "immutableReferences": {}, "sourceMap": "193:1079:21:-:0;;132:2:-1;166:7;155:9;146:7;137:37;255:7;249:14;246:1;241:23;235:4;232:33;222:2;;269:9;222:2;293:9;290:1;283:20;323:4;314:7;306:22;347:7;338;331:24", "deployedSourceMap": "193:1079:21:-:0;;;;;;12:1:-1;9;2:12", "source": "// SPDX-License-Identifier: CC-BY-4.0\npragma solidity >=0.4.0;\n\n// taken from https://medium.com/coinmonks/math-in-solidity-part-3-percents-and-proportions-4db014e080b1\n// license is CC-BY-4.0\nlibrary FullMath {\n function fullMul(uint256 x, uint256 y) internal pure returns (uint256 l, uint256 h) {\n uint256 mm = mulmod(x, y, uint256(-1));\n l = x * y;\n h = mm - l;\n if (mm < l) h -= 1;\n }\n\n function fullDiv(\n uint256 l,\n uint256 h,\n uint256 d\n ) private pure returns (uint256) {\n uint256 pow2 = d & -d;\n d /= pow2;\n l /= pow2;\n l += h * ((-pow2) / pow2 + 1);\n uint256 r = 1;\n r *= 2 - d * r;\n r *= 2 - d * r;\n r *= 2 - d * r;\n r *= 2 - d * r;\n r *= 2 - d * r;\n r *= 2 - d * r;\n r *= 2 - d * r;\n r *= 2 - d * r;\n return l * r;\n }\n\n function mulDiv(\n uint256 x,\n uint256 y,\n uint256 d\n ) internal pure returns (uint256) {\n (uint256 l, uint256 h) = fullMul(x, y);\n\n uint256 mm = mulmod(x, y, d);\n if (mm > l) h -= 1;\n l -= mm;\n\n if (h == 0) return l / d;\n\n require(h < d, 'FullMath: FULLDIV_OVERFLOW');\n return fullDiv(l, h, d);\n }\n}\n", "sourcePath": "moonwalkerswap-libraries/contracts/libraries/FullMath.sol", "ast": { "absolutePath": "moonwalkerswap-libraries/contracts/libraries/FullMath.sol", "exportedSymbols": { "FullMath": [ 8079 ] }, "id": 8080, "nodeType": "SourceUnit", "nodes": [ { "id": 7860, "literals": [ "solidity", ">=", "0.4", ".0" ], "nodeType": "PragmaDirective", "src": "38:24:21" }, { "abstract": false, "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": null, "fullyImplemented": true, "id": 8079, "linearizedBaseContracts": [ 8079 ], "name": "FullMath", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 7903, "nodeType": "Block", "src": "300:122:21", "statements": [ { "assignments": [ 7872 ], "declarations": [ { "constant": false, "id": 7872, "mutability": "mutable", "name": "mm", "nodeType": "VariableDeclaration", "overrides": null, "scope": 7903, "src": "310:10:21", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7871, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "310:7:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 7882, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 7874, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7862, "src": "330:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 7875, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7864, "src": "333:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 7879, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "344:2:21", "subExpression": { "argumentTypes": null, "hexValue": "31", "id": 7878, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "345:1:21", "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" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } ], "id": 7877, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "336:7:21", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": { "id": 7876, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "336:7:21", "typeDescriptions": { "typeIdentifier": null, "typeString": null } } }, "id": 7880, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "336:11:21", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 7873, "name": "mulmod", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -16, "src": "323:6:21", "typeDescriptions": { "typeIdentifier": "t_function_mulmod_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,uint256) pure returns (uint256)" } }, "id": 7881, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "323:25:21", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "310:38:21" }, { "expression": { "argumentTypes": null, "id": 7887, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 7883, "name": "l", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7867, "src": "358:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7886, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 7884, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7862, "src": "362:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 7885, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7864, "src": "366:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "362:5:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "358:9:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 7888, "nodeType": "ExpressionStatement", "src": "358:9:21" }, { "expression": { "argumentTypes": null, "id": 7893, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 7889, "name": "h", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7869, "src": "377:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7892, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 7890, "name": "mm", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7872, "src": "381:2:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 7891, "name": "l", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7867, "src": "386:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "381:6:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "377:10:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 7894, "nodeType": "ExpressionStatement", "src": "377:10:21" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7897, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 7895, "name": "mm", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7872, "src": "401:2:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 7896, "name": "l", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7867, "src": "406:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "401:6:21", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 7902, "nodeType": "IfStatement", "src": "397:18:21", "trueBody": { "expression": { "argumentTypes": null, "id": 7900, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 7898, "name": "h", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7869, "src": "409:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 7899, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "414:1:21", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "409:6:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 7901, "nodeType": "ExpressionStatement", "src": "409:6:21" } } ] }, "documentation": null, "id": 7904, "implemented": true, "kind": "function", "modifiers": [], "name": "fullMul", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 7865, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 7862, "mutability": "mutable", "name": "x", "nodeType": "VariableDeclaration", "overrides": null, "scope": 7904, "src": "233:9:21", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7861, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "233:7:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 7864, "mutability": "mutable", "name": "y", "nodeType": "VariableDeclaration", "overrides": null, "scope": 7904, "src": "244:9:21", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7863, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "244:7:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "232:22:21" }, "returnParameters": { "id": 7870, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 7867, "mutability": "mutable", "name": "l", "nodeType": "VariableDeclaration", "overrides": null, "scope": 7904, "src": "278:9:21", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7866, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "278:7:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 7869, "mutability": "mutable", "name": "h", "nodeType": "VariableDeclaration", "overrides": null, "scope": 7904, "src": "289:9:21", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7868, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "289:7:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "277:22:21" }, "scope": 8079, "src": "216:206:21", "stateMutability": "pure", "virtual": false, "visibility": "internal" }, { "body": { "id": 8015, "nodeType": "Block", "src": "539:352:21", "statements": [ { "assignments": [ 7916 ], "declarations": [ { "constant": false, "id": 7916, "mutability": "mutable", "name": "pow2", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8015, "src": "549:12:21", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7915, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "549:7:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 7921, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7920, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 7917, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7910, "src": "564:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "&", "rightExpression": { "argumentTypes": null, "id": 7919, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "568:2:21", "subExpression": { "argumentTypes": null, "id": 7918, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7910, "src": "569:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "564:6:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "549:21:21" }, { "expression": { "argumentTypes": null, "id": 7924, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 7922, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7910, "src": "580:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 7923, "name": "pow2", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7916, "src": "585:4:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "580:9:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 7925, "nodeType": "ExpressionStatement", "src": "580:9:21" }, { "expression": { "argumentTypes": null, "id": 7928, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 7926, "name": "l", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7906, "src": "599:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "/=", "rightHandSide": { "argumentTypes": null, "id": 7927, "name": "pow2", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7916, "src": "604:4:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "599:9:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 7929, "nodeType": "ExpressionStatement", "src": "599:9:21" }, { "expression": { "argumentTypes": null, "id": 7941, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 7930, "name": "l", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7906, "src": "618:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "+=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7940, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 7931, "name": "h", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7908, "src": "623:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7938, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7936, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "id": 7933, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "-", "prefix": true, "src": "629:5:21", "subExpression": { "argumentTypes": null, "id": 7932, "name": "pow2", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7916, "src": "630:4:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 7934, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "628:7:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 7935, "name": "pow2", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7916, "src": "638:4:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "628:14:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 7937, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "645:1:21", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "628:18:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 7939, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "627:20:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "623:24:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "618:29:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 7942, "nodeType": "ExpressionStatement", "src": "618:29:21" }, { "assignments": [ 7944 ], "declarations": [ { "constant": false, "id": 7944, "mutability": "mutable", "name": "r", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8015, "src": "657:9:21", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7943, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "657:7:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 7946, "initialValue": { "argumentTypes": null, "hexValue": "31", "id": 7945, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "669:1:21", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "nodeType": "VariableDeclarationStatement", "src": "657:13:21" }, { "expression": { "argumentTypes": null, "id": 7953, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 7947, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7944, "src": "680:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7952, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 7948, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "685:1:21", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7951, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 7949, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7910, "src": "689:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 7950, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7944, "src": "693:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "689:5:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "685:9:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "680:14:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 7954, "nodeType": "ExpressionStatement", "src": "680:14:21" }, { "expression": { "argumentTypes": null, "id": 7961, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 7955, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7944, "src": "704:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7960, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 7956, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "709:1:21", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7959, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 7957, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7910, "src": "713:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 7958, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7944, "src": "717:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "713:5:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "709:9:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "704:14:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 7962, "nodeType": "ExpressionStatement", "src": "704:14:21" }, { "expression": { "argumentTypes": null, "id": 7969, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 7963, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7944, "src": "728:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7968, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 7964, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "733:1:21", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7967, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 7965, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7910, "src": "737:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 7966, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7944, "src": "741:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "737:5:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "733:9:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "728:14:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 7970, "nodeType": "ExpressionStatement", "src": "728:14:21" }, { "expression": { "argumentTypes": null, "id": 7977, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 7971, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7944, "src": "752:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7976, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 7972, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "757:1:21", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7975, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 7973, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7910, "src": "761:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 7974, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7944, "src": "765:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "761:5:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "757:9:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "752:14:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 7978, "nodeType": "ExpressionStatement", "src": "752:14:21" }, { "expression": { "argumentTypes": null, "id": 7985, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 7979, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7944, "src": "776:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7984, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 7980, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "781:1:21", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7983, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 7981, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7910, "src": "785:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 7982, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7944, "src": "789:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "785:5:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "781:9:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "776:14:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 7986, "nodeType": "ExpressionStatement", "src": "776:14:21" }, { "expression": { "argumentTypes": null, "id": 7993, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 7987, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7944, "src": "800:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7992, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 7988, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "805:1:21", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7991, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 7989, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7910, "src": "809:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 7990, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7944, "src": "813:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "809:5:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "805:9:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "800:14:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 7994, "nodeType": "ExpressionStatement", "src": "800:14:21" }, { "expression": { "argumentTypes": null, "id": 8001, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 7995, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7944, "src": "824:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8000, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 7996, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "829:1:21", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 7999, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 7997, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7910, "src": "833:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 7998, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7944, "src": "837:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "833:5:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "829:9:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "824:14:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 8002, "nodeType": "ExpressionStatement", "src": "824:14:21" }, { "expression": { "argumentTypes": null, "id": 8009, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 8003, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7944, "src": "848:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "*=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8008, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "hexValue": "32", "id": 8004, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "853:1:21", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8007, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8005, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7910, "src": "857:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 8006, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7944, "src": "861:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "857:5:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "853:9:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "848:14:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 8010, "nodeType": "ExpressionStatement", "src": "848:14:21" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8013, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8011, "name": "l", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7906, "src": "879:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 8012, "name": "r", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7944, "src": "883:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "879:5:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 7914, "id": 8014, "nodeType": "Return", "src": "872:12:21" } ] }, "documentation": null, "id": 8016, "implemented": true, "kind": "function", "modifiers": [], "name": "fullDiv", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 7911, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 7906, "mutability": "mutable", "name": "l", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8016, "src": "454:9:21", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7905, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "454:7:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 7908, "mutability": "mutable", "name": "h", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8016, "src": "473:9:21", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7907, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "473:7:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 7910, "mutability": "mutable", "name": "d", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8016, "src": "492:9:21", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7909, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "492:7:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "444:63:21" }, "returnParameters": { "id": 7914, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 7913, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8016, "src": "530:7:21", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 7912, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "530:7:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "529:9:21" }, "scope": 8079, "src": "428:463:21", "stateMutability": "pure", "virtual": false, "visibility": "private" }, { "body": { "id": 8077, "nodeType": "Block", "src": "1008:262:21", "statements": [ { "assignments": [ 8028, 8030 ], "declarations": [ { "constant": false, "id": 8028, "mutability": "mutable", "name": "l", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8077, "src": "1019:9:21", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8027, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1019:7:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8030, "mutability": "mutable", "name": "h", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8077, "src": "1030:9:21", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8029, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1030:7:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 8035, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 8032, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8018, "src": "1051:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 8033, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8020, "src": "1054:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 8031, "name": "fullMul", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7904, "src": "1043:7:21", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256,uint256)" } }, "id": 8034, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1043:13:21", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$_t_uint256_$_t_uint256_$", "typeString": "tuple(uint256,uint256)" } }, "nodeType": "VariableDeclarationStatement", "src": "1018:38:21" }, { "assignments": [ 8037 ], "declarations": [ { "constant": false, "id": 8037, "mutability": "mutable", "name": "mm", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8077, "src": "1067:10:21", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8036, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "1067:7:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 8043, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 8039, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8018, "src": "1087:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 8040, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8020, "src": "1090:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 8041, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8022, "src": "1093:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 8038, "name": "mulmod", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": -16, "src": "1080:6:21", "typeDescriptions": { "typeIdentifier": "t_function_mulmod_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,uint256) pure returns (uint256)" } }, "id": 8042, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1080:15:21", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "1067:28:21" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8046, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8044, "name": "mm", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8037, "src": "1109:2:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 8045, "name": "l", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8028, "src": "1114:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1109:6:21", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 8051, "nodeType": "IfStatement", "src": "1105:18:21", "trueBody": { "expression": { "argumentTypes": null, "id": 8049, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 8047, "name": "h", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8030, "src": "1117:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 8048, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1122:1:21", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "1117:6:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 8050, "nodeType": "ExpressionStatement", "src": "1117:6:21" } }, { "expression": { "argumentTypes": null, "id": 8054, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 8052, "name": "l", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8028, "src": "1133:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "-=", "rightHandSide": { "argumentTypes": null, "id": 8053, "name": "mm", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8037, "src": "1138:2:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1133:7:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 8055, "nodeType": "ExpressionStatement", "src": "1133:7:21" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8058, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8056, "name": "h", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8030, "src": "1155:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 8057, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1160:1:21", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "1155:6:21", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 8063, "nodeType": "IfStatement", "src": "1151:24:21", "trueBody": { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8061, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8059, "name": "l", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8028, "src": "1170:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 8060, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8022, "src": "1174:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1170:5:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 8026, "id": 8062, "nodeType": "Return", "src": "1163:12:21" } }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8067, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8065, "name": "h", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8030, "src": "1194:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 8066, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8022, "src": "1198:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1194:5:21", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, { "argumentTypes": null, "hexValue": "46756c6c4d6174683a2046554c4c4449565f4f564552464c4f57", "id": 8068, "isConstant": false, "isLValue": false, "isPure": true, "kind": "string", "lValueRequested": false, "nodeType": "Literal", "src": "1201:28:21", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_stringliteral_9573a614b6ab65c92932376c168e5635a05a20769ae8cb8b8a2d9575aad107da", "typeString": "literal_string \"FullMath: FULLDIV_OVERFLOW\"" }, "value": "FullMath: FULLDIV_OVERFLOW" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_9573a614b6ab65c92932376c168e5635a05a20769ae8cb8b8a2d9575aad107da", "typeString": "literal_string \"FullMath: FULLDIV_OVERFLOW\"" } ], "id": 8064, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "src": "1186:7:21", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$_t_string_memory_ptr_$returns$__$", "typeString": "function (bool,string memory) pure" } }, "id": 8069, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1186:44:21", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 8070, "nodeType": "ExpressionStatement", "src": "1186:44:21" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 8072, "name": "l", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8028, "src": "1255:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 8073, "name": "h", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8030, "src": "1258:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, { "argumentTypes": null, "id": 8074, "name": "d", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8022, "src": "1261:1:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 8071, "name": "fullDiv", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8016, "src": "1247:7:21", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$_t_uint256_$returns$_t_uint256_$", "typeString": "function (uint256,uint256,uint256) pure returns (uint256)" } }, "id": 8075, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1247:16:21", "tryCall": false, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 8026, "id": 8076, "nodeType": "Return", "src": "1240:23:21" } ] }, "documentation": null, "id": 8078, "implemented": true, "kind": "function", "modifiers": [], "name": "mulDiv", "nodeType": "FunctionDefinition", "overrides": null, "parameters": { "id": 8023, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8018, "mutability": "mutable", "name": "x", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8078, "src": "922:9:21", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8017, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "922:7:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8020, "mutability": "mutable", "name": "y", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8078, "src": "941:9:21", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8019, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "941:7:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8022, "mutability": "mutable", "name": "d", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8078, "src": "960:9:21", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8021, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "960:7:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "912:63:21" }, "returnParameters": { "id": 8026, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8025, "mutability": "mutable", "name": "", "nodeType": "VariableDeclaration", "overrides": null, "scope": 8078, "src": "999:7:21", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8024, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "999:7:21", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "998:9:21" }, "scope": 8079, "src": "897:373:21", "stateMutability": "pure", "virtual": false, "visibility": "internal" } ], "scope": 8080, "src": "193:1079:21" } ], "src": "38:1235:21" }, "legacyAST": { "attributes": { "absolutePath": "moonwalkerswap-libraries/contracts/libraries/FullMath.sol", "exportedSymbols": { "FullMath": [ 8079 ] } }, "children": [ { "attributes": { "literals": [ "solidity", ">=", "0.4", ".0" ] }, "id": 7860, "name": "PragmaDirective", "src": "38:24:21" }, { "attributes": { "abstract": false, "baseContracts": [ null ], "contractDependencies": [ null ], "contractKind": "library", "documentation": null, "fullyImplemented": true, "linearizedBaseContracts": [ 8079 ], "name": "FullMath", "scope": 8080 }, "children": [ { "attributes": { "documentation": null, "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "fullMul", "overrides": null, "scope": 8079, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "x", "overrides": null, "scope": 7904, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 7861, "name": "ElementaryTypeName", "src": "233:7:21" } ], "id": 7862, "name": "VariableDeclaration", "src": "233:9:21" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "y", "overrides": null, "scope": 7904, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 7863, "name": "ElementaryTypeName", "src": "244:7:21" } ], "id": 7864, "name": "VariableDeclaration", "src": "244:9:21" } ], "id": 7865, "name": "ParameterList", "src": "232:22:21" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "l", "overrides": null, "scope": 7904, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 7866, "name": "ElementaryTypeName", "src": "278:7:21" } ], "id": 7867, "name": "VariableDeclaration", "src": "278:9:21" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "h", "overrides": null, "scope": 7904, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 7868, "name": "ElementaryTypeName", "src": "289:7:21" } ], "id": 7869, "name": "VariableDeclaration", "src": "289:9:21" } ], "id": 7870, "name": "ParameterList", "src": "277:22:21" }, { "children": [ { "attributes": { "assignments": [ 7872 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "mm", "overrides": null, "scope": 7903, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 7871, "name": "ElementaryTypeName", "src": "310:7:21" } ], "id": 7872, "name": "VariableDeclaration", "src": "310:10:21" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": -16, "type": "function (uint256,uint256,uint256) pure returns (uint256)", "value": "mulmod" }, "id": 7873, "name": "Identifier", "src": "323:6:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7862, "type": "uint256", "value": "x" }, "id": 7874, "name": "Identifier", "src": "330:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7864, "type": "uint256", "value": "y" }, "id": 7875, "name": "Identifier", "src": "333:1:21" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": true, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "uint256", "type_conversion": true }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_rational_minus_1_by_1", "typeString": "int_const -1" } ], "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "type": "type(uint256)" }, "children": [ { "attributes": { "name": "uint256", "type": null }, "id": 7876, "name": "ElementaryTypeName", "src": "336:7:21" } ], "id": 7877, "name": "ElementaryTypeNameExpression", "src": "336:7:21" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "operator": "-", "prefix": true, "type": "int_const -1" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 7878, "name": "Literal", "src": "345:1:21" } ], "id": 7879, "name": "UnaryOperation", "src": "344:2:21" } ], "id": 7880, "name": "FunctionCall", "src": "336:11:21" } ], "id": 7881, "name": "FunctionCall", "src": "323:25:21" } ], "id": 7882, "name": "VariableDeclarationStatement", "src": "310:38:21" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7867, "type": "uint256", "value": "l" }, "id": 7883, "name": "Identifier", "src": "358:1:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7862, "type": "uint256", "value": "x" }, "id": 7884, "name": "Identifier", "src": "362:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7864, "type": "uint256", "value": "y" }, "id": 7885, "name": "Identifier", "src": "366:1:21" } ], "id": 7886, "name": "BinaryOperation", "src": "362:5:21" } ], "id": 7887, "name": "Assignment", "src": "358:9:21" } ], "id": 7888, "name": "ExpressionStatement", "src": "358:9:21" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7869, "type": "uint256", "value": "h" }, "id": 7889, "name": "Identifier", "src": "377:1:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7872, "type": "uint256", "value": "mm" }, "id": 7890, "name": "Identifier", "src": "381:2:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7867, "type": "uint256", "value": "l" }, "id": 7891, "name": "Identifier", "src": "386:1:21" } ], "id": 7892, "name": "BinaryOperation", "src": "381:6:21" } ], "id": 7893, "name": "Assignment", "src": "377:10:21" } ], "id": 7894, "name": "ExpressionStatement", "src": "377:10:21" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7872, "type": "uint256", "value": "mm" }, "id": 7895, "name": "Identifier", "src": "401:2:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7867, "type": "uint256", "value": "l" }, "id": 7896, "name": "Identifier", "src": "406:1:21" } ], "id": 7897, "name": "BinaryOperation", "src": "401:6:21" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7869, "type": "uint256", "value": "h" }, "id": 7898, "name": "Identifier", "src": "409:1:21" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 7899, "name": "Literal", "src": "414:1:21" } ], "id": 7900, "name": "Assignment", "src": "409:6:21" } ], "id": 7901, "name": "ExpressionStatement", "src": "409:6:21" } ], "id": 7902, "name": "IfStatement", "src": "397:18:21" } ], "id": 7903, "name": "Block", "src": "300:122:21" } ], "id": 7904, "name": "FunctionDefinition", "src": "216:206:21" }, { "attributes": { "documentation": null, "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "fullDiv", "overrides": null, "scope": 8079, "stateMutability": "pure", "virtual": false, "visibility": "private" }, "children": [ { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "l", "overrides": null, "scope": 8016, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 7905, "name": "ElementaryTypeName", "src": "454:7:21" } ], "id": 7906, "name": "VariableDeclaration", "src": "454:9:21" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "h", "overrides": null, "scope": 8016, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 7907, "name": "ElementaryTypeName", "src": "473:7:21" } ], "id": 7908, "name": "VariableDeclaration", "src": "473:9:21" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "d", "overrides": null, "scope": 8016, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 7909, "name": "ElementaryTypeName", "src": "492:7:21" } ], "id": 7910, "name": "VariableDeclaration", "src": "492:9:21" } ], "id": 7911, "name": "ParameterList", "src": "444:63:21" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 8016, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 7912, "name": "ElementaryTypeName", "src": "530:7:21" } ], "id": 7913, "name": "VariableDeclaration", "src": "530:7:21" } ], "id": 7914, "name": "ParameterList", "src": "529:9:21" }, { "children": [ { "attributes": { "assignments": [ 7916 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "pow2", "overrides": null, "scope": 8015, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 7915, "name": "ElementaryTypeName", "src": "549:7:21" } ], "id": 7916, "name": "VariableDeclaration", "src": "549:12:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "&", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7910, "type": "uint256", "value": "d" }, "id": 7917, "name": "Identifier", "src": "564:1:21" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "prefix": true, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7910, "type": "uint256", "value": "d" }, "id": 7918, "name": "Identifier", "src": "569:1:21" } ], "id": 7919, "name": "UnaryOperation", "src": "568:2:21" } ], "id": 7920, "name": "BinaryOperation", "src": "564:6:21" } ], "id": 7921, "name": "VariableDeclarationStatement", "src": "549:21:21" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7910, "type": "uint256", "value": "d" }, "id": 7922, "name": "Identifier", "src": "580:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7916, "type": "uint256", "value": "pow2" }, "id": 7923, "name": "Identifier", "src": "585:4:21" } ], "id": 7924, "name": "Assignment", "src": "580:9:21" } ], "id": 7925, "name": "ExpressionStatement", "src": "580:9:21" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7906, "type": "uint256", "value": "l" }, "id": 7926, "name": "Identifier", "src": "599:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7916, "type": "uint256", "value": "pow2" }, "id": 7927, "name": "Identifier", "src": "604:4:21" } ], "id": 7928, "name": "Assignment", "src": "599:9:21" } ], "id": 7929, "name": "ExpressionStatement", "src": "599:9:21" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7906, "type": "uint256", "value": "l" }, "id": 7930, "name": "Identifier", "src": "618:1:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7908, "type": "uint256", "value": "h" }, "id": 7931, "name": "Identifier", "src": "623:1:21" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "+", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "prefix": true, "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7916, "type": "uint256", "value": "pow2" }, "id": 7932, "name": "Identifier", "src": "630:4:21" } ], "id": 7933, "name": "UnaryOperation", "src": "629:5:21" } ], "id": 7934, "name": "TupleExpression", "src": "628:7:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7916, "type": "uint256", "value": "pow2" }, "id": 7935, "name": "Identifier", "src": "638:4:21" } ], "id": 7936, "name": "BinaryOperation", "src": "628:14:21" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 7937, "name": "Literal", "src": "645:1:21" } ], "id": 7938, "name": "BinaryOperation", "src": "628:18:21" } ], "id": 7939, "name": "TupleExpression", "src": "627:20:21" } ], "id": 7940, "name": "BinaryOperation", "src": "623:24:21" } ], "id": 7941, "name": "Assignment", "src": "618:29:21" } ], "id": 7942, "name": "ExpressionStatement", "src": "618:29:21" }, { "attributes": { "assignments": [ 7944 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "r", "overrides": null, "scope": 8015, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 7943, "name": "ElementaryTypeName", "src": "657:7:21" } ], "id": 7944, "name": "VariableDeclaration", "src": "657:9:21" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 7945, "name": "Literal", "src": "669:1:21" } ], "id": 7946, "name": "VariableDeclarationStatement", "src": "657:13:21" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7944, "type": "uint256", "value": "r" }, "id": 7947, "name": "Identifier", "src": "680:1:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 7948, "name": "Literal", "src": "685:1:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7910, "type": "uint256", "value": "d" }, "id": 7949, "name": "Identifier", "src": "689:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7944, "type": "uint256", "value": "r" }, "id": 7950, "name": "Identifier", "src": "693:1:21" } ], "id": 7951, "name": "BinaryOperation", "src": "689:5:21" } ], "id": 7952, "name": "BinaryOperation", "src": "685:9:21" } ], "id": 7953, "name": "Assignment", "src": "680:14:21" } ], "id": 7954, "name": "ExpressionStatement", "src": "680:14:21" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7944, "type": "uint256", "value": "r" }, "id": 7955, "name": "Identifier", "src": "704:1:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 7956, "name": "Literal", "src": "709:1:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7910, "type": "uint256", "value": "d" }, "id": 7957, "name": "Identifier", "src": "713:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7944, "type": "uint256", "value": "r" }, "id": 7958, "name": "Identifier", "src": "717:1:21" } ], "id": 7959, "name": "BinaryOperation", "src": "713:5:21" } ], "id": 7960, "name": "BinaryOperation", "src": "709:9:21" } ], "id": 7961, "name": "Assignment", "src": "704:14:21" } ], "id": 7962, "name": "ExpressionStatement", "src": "704:14:21" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7944, "type": "uint256", "value": "r" }, "id": 7963, "name": "Identifier", "src": "728:1:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 7964, "name": "Literal", "src": "733:1:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7910, "type": "uint256", "value": "d" }, "id": 7965, "name": "Identifier", "src": "737:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7944, "type": "uint256", "value": "r" }, "id": 7966, "name": "Identifier", "src": "741:1:21" } ], "id": 7967, "name": "BinaryOperation", "src": "737:5:21" } ], "id": 7968, "name": "BinaryOperation", "src": "733:9:21" } ], "id": 7969, "name": "Assignment", "src": "728:14:21" } ], "id": 7970, "name": "ExpressionStatement", "src": "728:14:21" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7944, "type": "uint256", "value": "r" }, "id": 7971, "name": "Identifier", "src": "752:1:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 7972, "name": "Literal", "src": "757:1:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7910, "type": "uint256", "value": "d" }, "id": 7973, "name": "Identifier", "src": "761:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7944, "type": "uint256", "value": "r" }, "id": 7974, "name": "Identifier", "src": "765:1:21" } ], "id": 7975, "name": "BinaryOperation", "src": "761:5:21" } ], "id": 7976, "name": "BinaryOperation", "src": "757:9:21" } ], "id": 7977, "name": "Assignment", "src": "752:14:21" } ], "id": 7978, "name": "ExpressionStatement", "src": "752:14:21" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7944, "type": "uint256", "value": "r" }, "id": 7979, "name": "Identifier", "src": "776:1:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 7980, "name": "Literal", "src": "781:1:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7910, "type": "uint256", "value": "d" }, "id": 7981, "name": "Identifier", "src": "785:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7944, "type": "uint256", "value": "r" }, "id": 7982, "name": "Identifier", "src": "789:1:21" } ], "id": 7983, "name": "BinaryOperation", "src": "785:5:21" } ], "id": 7984, "name": "BinaryOperation", "src": "781:9:21" } ], "id": 7985, "name": "Assignment", "src": "776:14:21" } ], "id": 7986, "name": "ExpressionStatement", "src": "776:14:21" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7944, "type": "uint256", "value": "r" }, "id": 7987, "name": "Identifier", "src": "800:1:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 7988, "name": "Literal", "src": "805:1:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7910, "type": "uint256", "value": "d" }, "id": 7989, "name": "Identifier", "src": "809:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7944, "type": "uint256", "value": "r" }, "id": 7990, "name": "Identifier", "src": "813:1:21" } ], "id": 7991, "name": "BinaryOperation", "src": "809:5:21" } ], "id": 7992, "name": "BinaryOperation", "src": "805:9:21" } ], "id": 7993, "name": "Assignment", "src": "800:14:21" } ], "id": 7994, "name": "ExpressionStatement", "src": "800:14:21" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7944, "type": "uint256", "value": "r" }, "id": 7995, "name": "Identifier", "src": "824:1:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 7996, "name": "Literal", "src": "829:1:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7910, "type": "uint256", "value": "d" }, "id": 7997, "name": "Identifier", "src": "833:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7944, "type": "uint256", "value": "r" }, "id": 7998, "name": "Identifier", "src": "837:1:21" } ], "id": 7999, "name": "BinaryOperation", "src": "833:5:21" } ], "id": 8000, "name": "BinaryOperation", "src": "829:9:21" } ], "id": 8001, "name": "Assignment", "src": "824:14:21" } ], "id": 8002, "name": "ExpressionStatement", "src": "824:14:21" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7944, "type": "uint256", "value": "r" }, "id": 8003, "name": "Identifier", "src": "848:1:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 8004, "name": "Literal", "src": "853:1:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7910, "type": "uint256", "value": "d" }, "id": 8005, "name": "Identifier", "src": "857:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7944, "type": "uint256", "value": "r" }, "id": 8006, "name": "Identifier", "src": "861:1:21" } ], "id": 8007, "name": "BinaryOperation", "src": "857:5:21" } ], "id": 8008, "name": "BinaryOperation", "src": "853:9:21" } ], "id": 8009, "name": "Assignment", "src": "848:14:21" } ], "id": 8010, "name": "ExpressionStatement", "src": "848:14:21" }, { "attributes": { "functionReturnParameters": 7914 }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "*", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7906, "type": "uint256", "value": "l" }, "id": 8011, "name": "Identifier", "src": "879:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 7944, "type": "uint256", "value": "r" }, "id": 8012, "name": "Identifier", "src": "883:1:21" } ], "id": 8013, "name": "BinaryOperation", "src": "879:5:21" } ], "id": 8014, "name": "Return", "src": "872:12:21" } ], "id": 8015, "name": "Block", "src": "539:352:21" } ], "id": 8016, "name": "FunctionDefinition", "src": "428:463:21" }, { "attributes": { "documentation": null, "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "mulDiv", "overrides": null, "scope": 8079, "stateMutability": "pure", "virtual": false, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "x", "overrides": null, "scope": 8078, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 8017, "name": "ElementaryTypeName", "src": "922:7:21" } ], "id": 8018, "name": "VariableDeclaration", "src": "922:9:21" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "y", "overrides": null, "scope": 8078, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 8019, "name": "ElementaryTypeName", "src": "941:7:21" } ], "id": 8020, "name": "VariableDeclaration", "src": "941:9:21" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "d", "overrides": null, "scope": 8078, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 8021, "name": "ElementaryTypeName", "src": "960:7:21" } ], "id": 8022, "name": "VariableDeclaration", "src": "960:9:21" } ], "id": 8023, "name": "ParameterList", "src": "912:63:21" }, { "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "", "overrides": null, "scope": 8078, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 8024, "name": "ElementaryTypeName", "src": "999:7:21" } ], "id": 8025, "name": "VariableDeclaration", "src": "999:7:21" } ], "id": 8026, "name": "ParameterList", "src": "998:9:21" }, { "children": [ { "attributes": { "assignments": [ 8028, 8030 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "l", "overrides": null, "scope": 8077, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 8027, "name": "ElementaryTypeName", "src": "1019:7:21" } ], "id": 8028, "name": "VariableDeclaration", "src": "1019:9:21" }, { "attributes": { "constant": false, "mutability": "mutable", "name": "h", "overrides": null, "scope": 8077, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 8029, "name": "ElementaryTypeName", "src": "1030:7:21" } ], "id": 8030, "name": "VariableDeclaration", "src": "1030:9:21" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple(uint256,uint256)", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 7904, "type": "function (uint256,uint256) pure returns (uint256,uint256)", "value": "fullMul" }, "id": 8031, "name": "Identifier", "src": "1043:7:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8018, "type": "uint256", "value": "x" }, "id": 8032, "name": "Identifier", "src": "1051:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8020, "type": "uint256", "value": "y" }, "id": 8033, "name": "Identifier", "src": "1054:1:21" } ], "id": 8034, "name": "FunctionCall", "src": "1043:13:21" } ], "id": 8035, "name": "VariableDeclarationStatement", "src": "1018:38:21" }, { "attributes": { "assignments": [ 8037 ] }, "children": [ { "attributes": { "constant": false, "mutability": "mutable", "name": "mm", "overrides": null, "scope": 8077, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint256", "type": "uint256" }, "id": 8036, "name": "ElementaryTypeName", "src": "1067:7:21" } ], "id": 8037, "name": "VariableDeclaration", "src": "1067:10:21" }, { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": -16, "type": "function (uint256,uint256,uint256) pure returns (uint256)", "value": "mulmod" }, "id": 8038, "name": "Identifier", "src": "1080:6:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8018, "type": "uint256", "value": "x" }, "id": 8039, "name": "Identifier", "src": "1087:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8020, "type": "uint256", "value": "y" }, "id": 8040, "name": "Identifier", "src": "1090:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8022, "type": "uint256", "value": "d" }, "id": 8041, "name": "Identifier", "src": "1093:1:21" } ], "id": 8042, "name": "FunctionCall", "src": "1080:15:21" } ], "id": 8043, "name": "VariableDeclarationStatement", "src": "1067:28:21" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": ">", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8037, "type": "uint256", "value": "mm" }, "id": 8044, "name": "Identifier", "src": "1109:2:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8028, "type": "uint256", "value": "l" }, "id": 8045, "name": "Identifier", "src": "1114:1:21" } ], "id": 8046, "name": "BinaryOperation", "src": "1109:6:21" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8030, "type": "uint256", "value": "h" }, "id": 8047, "name": "Identifier", "src": "1117:1:21" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 8048, "name": "Literal", "src": "1122:1:21" } ], "id": 8049, "name": "Assignment", "src": "1117:6:21" } ], "id": 8050, "name": "ExpressionStatement", "src": "1117:6:21" } ], "id": 8051, "name": "IfStatement", "src": "1105:18:21" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "-=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8028, "type": "uint256", "value": "l" }, "id": 8052, "name": "Identifier", "src": "1133:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8037, "type": "uint256", "value": "mm" }, "id": 8053, "name": "Identifier", "src": "1138:2:21" } ], "id": 8054, "name": "Assignment", "src": "1133:7:21" } ], "id": 8055, "name": "ExpressionStatement", "src": "1133:7:21" }, { "attributes": { "falseBody": null }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "==", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8030, "type": "uint256", "value": "h" }, "id": 8056, "name": "Identifier", "src": "1155:1:21" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 8057, "name": "Literal", "src": "1160:1:21" } ], "id": 8058, "name": "BinaryOperation", "src": "1155:6:21" }, { "attributes": { "functionReturnParameters": 8026 }, "children": [ { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "/", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8028, "type": "uint256", "value": "l" }, "id": 8059, "name": "Identifier", "src": "1170:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8022, "type": "uint256", "value": "d" }, "id": 8060, "name": "Identifier", "src": "1174:1:21" } ], "id": 8061, "name": "BinaryOperation", "src": "1170:5:21" } ], "id": 8062, "name": "Return", "src": "1163:12:21" } ], "id": 8063, "name": "IfStatement", "src": "1151:24:21" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "tuple()", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" }, { "typeIdentifier": "t_stringliteral_9573a614b6ab65c92932376c168e5635a05a20769ae8cb8b8a2d9575aad107da", "typeString": "literal_string \"FullMath: FULLDIV_OVERFLOW\"" } ], "overloadedDeclarations": [ -18, -18 ], "referencedDeclaration": -18, "type": "function (bool,string memory) pure", "value": "require" }, "id": 8064, "name": "Identifier", "src": "1186:7:21" }, { "attributes": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "<", "type": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8030, "type": "uint256", "value": "h" }, "id": 8065, "name": "Identifier", "src": "1194:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8022, "type": "uint256", "value": "d" }, "id": 8066, "name": "Identifier", "src": "1198:1:21" } ], "id": 8067, "name": "BinaryOperation", "src": "1194:5:21" }, { "attributes": { "argumentTypes": null, "hexvalue": "46756c6c4d6174683a2046554c4c4449565f4f564552464c4f57", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "string", "type": "literal_string \"FullMath: FULLDIV_OVERFLOW\"", "value": "FullMath: FULLDIV_OVERFLOW" }, "id": 8068, "name": "Literal", "src": "1201:28:21" } ], "id": 8069, "name": "FunctionCall", "src": "1186:44:21" } ], "id": 8070, "name": "ExpressionStatement", "src": "1186:44:21" }, { "attributes": { "functionReturnParameters": 8026 }, "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "isStructConstructorCall": false, "lValueRequested": false, "names": [ null ], "tryCall": false, "type": "uint256", "type_conversion": false }, "children": [ { "attributes": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "overloadedDeclarations": [ null ], "referencedDeclaration": 8016, "type": "function (uint256,uint256,uint256) pure returns (uint256)", "value": "fullDiv" }, "id": 8071, "name": "Identifier", "src": "1247:7:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8028, "type": "uint256", "value": "l" }, "id": 8072, "name": "Identifier", "src": "1255:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8030, "type": "uint256", "value": "h" }, "id": 8073, "name": "Identifier", "src": "1258:1:21" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 8022, "type": "uint256", "value": "d" }, "id": 8074, "name": "Identifier", "src": "1261:1:21" } ], "id": 8075, "name": "FunctionCall", "src": "1247:16:21" } ], "id": 8076, "name": "Return", "src": "1240:23:21" } ], "id": 8077, "name": "Block", "src": "1008:262:21" } ], "id": 8078, "name": "FunctionDefinition", "src": "897:373:21" } ], "id": 8079, "name": "ContractDefinition", "src": "193:1079:21" } ], "id": 8080, "name": "SourceUnit", "src": "38:1235:21" }, "compiler": { "name": "solc", "version": "0.6.6+commit.6c089d02.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.4.1", "updatedAt": "2022-01-17T23:40:22.242Z", "devdoc": { "methods": {} }, "userdoc": { "methods": {} } }