{ "contractName": "Math", "abi": [], "metadata": "{\"compiler\":{\"version\":\"0.5.16+commit.9c3226ce\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"methods\":{}},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"/Users/second/Documents/work/valueswap-v2-core/contracts/libraries/Math.sol\":\"Math\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"optimizer\":{\"enabled\":true,\"runs\":999999},\"remappings\":[]},\"sources\":{\"/Users/second/Documents/work/valueswap-v2-core/contracts/libraries/Math.sol\":{\"keccak256\":\"0x05927cb4aa14897bd567607522c18d2d518fa803ade6f870fac244c6f3702a3b\",\"urls\":[\"bzz-raw://b2805464c2d75cbdd726d6bd5c9b8d1f2c8566b606ec769ffa9a194a42248862\",\"dweb:/ipfs/QmWBa9BsCH8gbncvDFXmfMJX1USTHvAREtc8C7nz6miQpw\"]}},\"version\":1}", "bytecode": "0x60556023600b82828239805160001a607314601657fe5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600080fdfea265627a7a7231582088a8a9b5152268a9df55d23217c0b257b71e1f65cd4d7f00b7369fd2bd3c367d64736f6c63430005100032", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fdfea265627a7a7231582088a8a9b5152268a9df55d23217c0b257b71e1f65cd4d7f00b7369fd2bd3c367d64736f6c63430005100032", "sourceMap": "79:522:9:-;;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": "79:522:9:-;;;;;;;;", "source": "pragma solidity =0.5.16;\n\n// a library for performing various math operations\n\nlibrary Math {\n function min(uint x, uint y) internal pure returns (uint z) {\n z = x < y ? x : y;\n }\n\n // babylonian method (https://en.wikipedia.org/wiki/Methods_of_computing_square_roots#Babylonian_method)\n function sqrt(uint y) internal pure returns (uint z) {\n if (y > 3) {\n z = y;\n uint x = y / 2 + 1;\n while (x < z) {\n z = x;\n x = (y / x + x) / 2;\n }\n } else if (y != 0) {\n z = 1;\n }\n }\n}\n", "sourcePath": "/Users/second/Documents/work/valueswap-v2-core/contracts/libraries/Math.sol", "ast": { "absolutePath": "/Users/second/Documents/work/valueswap-v2-core/contracts/libraries/Math.sol", "exportedSymbols": { "Math": [ 2250 ] }, "id": 2251, "nodeType": "SourceUnit", "nodes": [ { "id": 2176, "literals": [ "solidity", "=", "0.5", ".16" ], "nodeType": "PragmaDirective", "src": "0:24:9" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": null, "fullyImplemented": true, "id": 2250, "linearizedBaseContracts": [ 2250 ], "name": "Math", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 2194, "nodeType": "Block", "src": "158:34:9", "statements": [ { "expression": { "argumentTypes": null, "id": 2192, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 2185, "name": "z", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2183, "src": "168:1:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2188, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2186, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2178, "src": "172:1:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 2187, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2180, "src": "176:1:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "172:5:9", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseExpression": { "argumentTypes": null, "id": 2190, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2180, "src": "184:1:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2191, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "Conditional", "src": "172:13:9", "trueExpression": { "argumentTypes": null, "id": 2189, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2178, "src": "180:1:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "168:17:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2193, "nodeType": "ExpressionStatement", "src": "168:17:9" } ] }, "documentation": null, "id": 2195, "implemented": true, "kind": "function", "modifiers": [], "name": "min", "nodeType": "FunctionDefinition", "parameters": { "id": 2181, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2178, "name": "x", "nodeType": "VariableDeclaration", "scope": 2195, "src": "111:6:9", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2177, "name": "uint", "nodeType": "ElementaryTypeName", "src": "111:4:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 2180, "name": "y", "nodeType": "VariableDeclaration", "scope": 2195, "src": "119:6:9", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2179, "name": "uint", "nodeType": "ElementaryTypeName", "src": "119:4:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "110:16:9" }, "returnParameters": { "id": 2184, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2183, "name": "z", "nodeType": "VariableDeclaration", "scope": 2195, "src": "150:6:9", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2182, "name": "uint", "nodeType": "ElementaryTypeName", "src": "150:4:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "149:8:9" }, "scope": 2250, "src": "98:94:9", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 2248, "nodeType": "Block", "src": "360:239:9", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2204, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2202, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2197, "src": "374:1:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "hexValue": "33", "id": 2203, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "378:1:9", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_3_by_1", "typeString": "int_const 3" }, "value": "3" }, "src": "374:5:9", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2240, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2238, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2197, "src": "555:1:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 2239, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "560:1:9", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "555:6:9", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 2246, "nodeType": "IfStatement", "src": "551:42:9", "trueBody": { "id": 2245, "nodeType": "Block", "src": "563:30:9", "statements": [ { "expression": { "argumentTypes": null, "id": 2243, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 2241, "name": "z", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2200, "src": "577:1:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "31", "id": 2242, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "581:1:9", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "577:5:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2244, "nodeType": "ExpressionStatement", "src": "577:5:9" } ] } }, "id": 2247, "nodeType": "IfStatement", "src": "370:223:9", "trueBody": { "id": 2237, "nodeType": "Block", "src": "381:164:9", "statements": [ { "expression": { "argumentTypes": null, "id": 2207, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 2205, "name": "z", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2200, "src": "395:1:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 2206, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2197, "src": "399:1:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "395:5:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2208, "nodeType": "ExpressionStatement", "src": "395:5:9" }, { "assignments": [ 2210 ], "declarations": [ { "constant": false, "id": 2210, "name": "x", "nodeType": "VariableDeclaration", "scope": 2237, "src": "414:6:9", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2209, "name": "uint", "nodeType": "ElementaryTypeName", "src": "414:4:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 2216, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2215, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2213, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2211, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2197, "src": "423:1:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "hexValue": "32", "id": 2212, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "427:1:9", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "src": "423:5:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "hexValue": "31", "id": 2214, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "431:1:9", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "src": "423:9:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "414:18:9" }, { "body": { "id": 2235, "nodeType": "Block", "src": "460:75:9", "statements": [ { "expression": { "argumentTypes": null, "id": 2222, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 2220, "name": "z", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2200, "src": "478:1:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 2221, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2210, "src": "482:1:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "478:5:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2223, "nodeType": "ExpressionStatement", "src": "478:5:9" }, { "expression": { "argumentTypes": null, "id": 2233, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 2224, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2210, "src": "501:1:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2232, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2229, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2227, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2225, "name": "y", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2197, "src": "506:1:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 2226, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2210, "src": "510:1:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "506:5:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 2228, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2210, "src": "514:1:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "506:9:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "id": 2230, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "505:11:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "hexValue": "32", "id": 2231, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "519:1:9", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "src": "505:15:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "501:19:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 2234, "nodeType": "ExpressionStatement", "src": "501:19:9" } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 2219, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 2217, "name": "x", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2210, "src": "453:1:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 2218, "name": "z", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 2200, "src": "457:1:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "453:5:9", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 2236, "nodeType": "WhileStatement", "src": "446:89:9" } ] } } ] }, "documentation": null, "id": 2249, "implemented": true, "kind": "function", "modifiers": [], "name": "sqrt", "nodeType": "FunctionDefinition", "parameters": { "id": 2198, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2197, "name": "y", "nodeType": "VariableDeclaration", "scope": 2249, "src": "321:6:9", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2196, "name": "uint", "nodeType": "ElementaryTypeName", "src": "321:4:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "320:8:9" }, "returnParameters": { "id": 2201, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 2200, "name": "z", "nodeType": "VariableDeclaration", "scope": 2249, "src": "352:6:9", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 2199, "name": "uint", "nodeType": "ElementaryTypeName", "src": "352:4:9", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "351:8:9" }, "scope": 2250, "src": "307:292:9", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 2251, "src": "79:522:9" } ], "src": "0:602:9" }, "legacyAST": { "attributes": { "absolutePath": "/Users/second/Documents/work/valueswap-v2-core/contracts/libraries/Math.sol", "exportedSymbols": { "Math": [ 2250 ] } }, "children": [ { "attributes": { "literals": [ "solidity", "=", "0.5", ".16" ] }, "id": 2176, "name": "PragmaDirective", "src": "0:24:9" }, { "attributes": { "baseContracts": [ null ], "contractDependencies": [ null ], "contractKind": "library", "documentation": null, "fullyImplemented": true, "linearizedBaseContracts": [ 2250 ], "name": "Math", "scope": 2251 }, "children": [ { "attributes": { "documentation": null, "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "min", "scope": 2250, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "x", "scope": 2195, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint", "type": "uint256" }, "id": 2177, "name": "ElementaryTypeName", "src": "111:4:9" } ], "id": 2178, "name": "VariableDeclaration", "src": "111:6:9" }, { "attributes": { "constant": false, "name": "y", "scope": 2195, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint", "type": "uint256" }, "id": 2179, "name": "ElementaryTypeName", "src": "119:4:9" } ], "id": 2180, "name": "VariableDeclaration", "src": "119:6:9" } ], "id": 2181, "name": "ParameterList", "src": "110:16:9" }, { "children": [ { "attributes": { "constant": false, "name": "z", "scope": 2195, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint", "type": "uint256" }, "id": 2182, "name": "ElementaryTypeName", "src": "150:4:9" } ], "id": 2183, "name": "VariableDeclaration", "src": "150:6:9" } ], "id": 2184, "name": "ParameterList", "src": "149:8:9" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2183, "type": "uint256", "value": "z" }, "id": 2185, "name": "Identifier", "src": "168:1:9" }, { "attributes": { "argumentTypes": null, "isConstant": 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": "bool" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2178, "type": "uint256", "value": "x" }, "id": 2186, "name": "Identifier", "src": "172:1:9" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2180, "type": "uint256", "value": "y" }, "id": 2187, "name": "Identifier", "src": "176:1:9" } ], "id": 2188, "name": "BinaryOperation", "src": "172:5:9" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2178, "type": "uint256", "value": "x" }, "id": 2189, "name": "Identifier", "src": "180:1:9" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2180, "type": "uint256", "value": "y" }, "id": 2190, "name": "Identifier", "src": "184:1:9" } ], "id": 2191, "name": "Conditional", "src": "172:13:9" } ], "id": 2192, "name": "Assignment", "src": "168:17:9" } ], "id": 2193, "name": "ExpressionStatement", "src": "168:17:9" } ], "id": 2194, "name": "Block", "src": "158:34:9" } ], "id": 2195, "name": "FunctionDefinition", "src": "98:94:9" }, { "attributes": { "documentation": null, "implemented": true, "isConstructor": false, "kind": "function", "modifiers": [ null ], "name": "sqrt", "scope": 2250, "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, "children": [ { "children": [ { "attributes": { "constant": false, "name": "y", "scope": 2249, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint", "type": "uint256" }, "id": 2196, "name": "ElementaryTypeName", "src": "321:4:9" } ], "id": 2197, "name": "VariableDeclaration", "src": "321:6:9" } ], "id": 2198, "name": "ParameterList", "src": "320:8:9" }, { "children": [ { "attributes": { "constant": false, "name": "z", "scope": 2249, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint", "type": "uint256" }, "id": 2199, "name": "ElementaryTypeName", "src": "352:4:9" } ], "id": 2200, "name": "VariableDeclaration", "src": "352:6:9" } ], "id": 2201, "name": "ParameterList", "src": "351:8:9" }, { "children": [ { "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": 2197, "type": "uint256", "value": "y" }, "id": 2202, "name": "Identifier", "src": "374:1:9" }, { "attributes": { "argumentTypes": null, "hexvalue": "33", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 3", "value": "3" }, "id": 2203, "name": "Literal", "src": "378:1:9" } ], "id": 2204, "name": "BinaryOperation", "src": "374:5:9" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2200, "type": "uint256", "value": "z" }, "id": 2205, "name": "Identifier", "src": "395:1:9" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2197, "type": "uint256", "value": "y" }, "id": 2206, "name": "Identifier", "src": "399:1:9" } ], "id": 2207, "name": "Assignment", "src": "395:5:9" } ], "id": 2208, "name": "ExpressionStatement", "src": "395:5:9" }, { "attributes": { "assignments": [ 2210 ] }, "children": [ { "attributes": { "constant": false, "name": "x", "scope": 2237, "stateVariable": false, "storageLocation": "default", "type": "uint256", "value": null, "visibility": "internal" }, "children": [ { "attributes": { "name": "uint", "type": "uint256" }, "id": 2209, "name": "ElementaryTypeName", "src": "414:4:9" } ], "id": 2210, "name": "VariableDeclaration", "src": "414:6:9" }, { "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, "overloadedDeclarations": [ null ], "referencedDeclaration": 2197, "type": "uint256", "value": "y" }, "id": 2211, "name": "Identifier", "src": "423:1:9" }, { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 2212, "name": "Literal", "src": "427:1:9" } ], "id": 2213, "name": "BinaryOperation", "src": "423:5:9" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 2214, "name": "Literal", "src": "431:1:9" } ], "id": 2215, "name": "BinaryOperation", "src": "423:9:9" } ], "id": 2216, "name": "VariableDeclarationStatement", "src": "414:18:9" }, { "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": 2210, "type": "uint256", "value": "x" }, "id": 2217, "name": "Identifier", "src": "453:1:9" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2200, "type": "uint256", "value": "z" }, "id": 2218, "name": "Identifier", "src": "457:1:9" } ], "id": 2219, "name": "BinaryOperation", "src": "453:5:9" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2200, "type": "uint256", "value": "z" }, "id": 2220, "name": "Identifier", "src": "478:1:9" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2210, "type": "uint256", "value": "x" }, "id": 2221, "name": "Identifier", "src": "482:1:9" } ], "id": 2222, "name": "Assignment", "src": "478:5:9" } ], "id": 2223, "name": "ExpressionStatement", "src": "478:5:9" }, { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2210, "type": "uint256", "value": "x" }, "id": 2224, "name": "Identifier", "src": "501:1:9" }, { "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, "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, "overloadedDeclarations": [ null ], "referencedDeclaration": 2197, "type": "uint256", "value": "y" }, "id": 2225, "name": "Identifier", "src": "506:1:9" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2210, "type": "uint256", "value": "x" }, "id": 2226, "name": "Identifier", "src": "510:1:9" } ], "id": 2227, "name": "BinaryOperation", "src": "506:5:9" }, { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2210, "type": "uint256", "value": "x" }, "id": 2228, "name": "Identifier", "src": "514:1:9" } ], "id": 2229, "name": "BinaryOperation", "src": "506:9:9" } ], "id": 2230, "name": "TupleExpression", "src": "505:11:9" }, { "attributes": { "argumentTypes": null, "hexvalue": "32", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 2", "value": "2" }, "id": 2231, "name": "Literal", "src": "519:1:9" } ], "id": 2232, "name": "BinaryOperation", "src": "505:15:9" } ], "id": 2233, "name": "Assignment", "src": "501:19:9" } ], "id": 2234, "name": "ExpressionStatement", "src": "501:19:9" } ], "id": 2235, "name": "Block", "src": "460:75:9" } ], "id": 2236, "name": "WhileStatement", "src": "446:89:9" } ], "id": 2237, "name": "Block", "src": "381:164:9" }, { "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": 2197, "type": "uint256", "value": "y" }, "id": 2238, "name": "Identifier", "src": "555:1:9" }, { "attributes": { "argumentTypes": null, "hexvalue": "30", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 0", "value": "0" }, "id": 2239, "name": "Literal", "src": "560:1:9" } ], "id": 2240, "name": "BinaryOperation", "src": "555:6:9" }, { "children": [ { "children": [ { "attributes": { "argumentTypes": null, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "operator": "=", "type": "uint256" }, "children": [ { "attributes": { "argumentTypes": null, "overloadedDeclarations": [ null ], "referencedDeclaration": 2200, "type": "uint256", "value": "z" }, "id": 2241, "name": "Identifier", "src": "577:1:9" }, { "attributes": { "argumentTypes": null, "hexvalue": "31", "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "subdenomination": null, "token": "number", "type": "int_const 1", "value": "1" }, "id": 2242, "name": "Literal", "src": "581:1:9" } ], "id": 2243, "name": "Assignment", "src": "577:5:9" } ], "id": 2244, "name": "ExpressionStatement", "src": "577:5:9" } ], "id": 2245, "name": "Block", "src": "563:30:9" } ], "id": 2246, "name": "IfStatement", "src": "551:42:9" } ], "id": 2247, "name": "IfStatement", "src": "370:223:9" } ], "id": 2248, "name": "Block", "src": "360:239:9" } ], "id": 2249, "name": "FunctionDefinition", "src": "307:292:9" } ], "id": 2250, "name": "ContractDefinition", "src": "79:522:9" } ], "id": 2251, "name": "SourceUnit", "src": "0:602:9" }, "compiler": { "name": "solc", "version": "0.5.16+commit.9c3226ce.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.3.3", "updatedAt": "2021-01-30T15:36:09.992Z", "devdoc": { "methods": {} }, "userdoc": { "methods": {} } }