{ "contractName": "RealitioSafeMath256", "abi": [], "bytecode": "0x604c602c600b82828239805160001a60731460008114601c57601e565bfe5b5030600052607381538281f30073000000000000000000000000000000000000000030146080604052600080fd00a165627a7a72305820b3872fdb521850814255dd3007b7df69349609f7e36c5aef1b9459d9efd77b5d0029", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fd00a165627a7a72305820b3872fdb521850814255dd3007b7df69349609f7e36c5aef1b9459d9efd77b5d0029", "sourceMap": "127:723:18:-;;132:2:-1;166:7;155:9;146:7;137:37;252:7;246:14;243:1;238:23;232:4;229:33;270:1;265:20;;;;222:63;;265:20;274:9;222:63;;298:9;295:1;288:20;328:4;319:7;311:22;352:7;343;336:24", "deployedSourceMap": "127:723:18:-;;;;;;;;", "source": "pragma solidity ^0.4.24;\n\n/**\n * @title ReailtioSafeMath256\n * @dev Math operations with safety checks that throw on error\n */\nlibrary RealitioSafeMath256 {\n function mul(uint256 a, uint256 b) internal pure returns (uint256) {\n if (a == 0) {\n return 0;\n }\n uint256 c = a * b;\n assert(c / a == b);\n return c;\n }\n\n function div(uint256 a, uint256 b) internal pure returns (uint256) {\n // assert(b > 0); // Solidity automatically throws when dividing by 0\n uint256 c = a / b;\n // assert(a == b * c + a % b); // There is no case in which this doesn't hold\n return c;\n }\n\n function sub(uint256 a, uint256 b) internal pure returns (uint256) {\n assert(b <= a);\n return a - b;\n }\n\n function add(uint256 a, uint256 b) internal pure returns (uint256) {\n uint256 c = a + b;\n assert(c >= a);\n return c;\n }\n}\n", "sourcePath": "@realitio/realitio-contracts/truffle/contracts/RealitioSafeMath256.sol", "ast": { "absolutePath": "@realitio/realitio-contracts/truffle/contracts/RealitioSafeMath256.sol", "exportedSymbols": { "RealitioSafeMath256": [ 8387 ] }, "id": 8388, "nodeType": "SourceUnit", "nodes": [ { "id": 8291, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "0:24:18" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title ReailtioSafeMath256\n@dev Math operations with safety checks that throw on error", "fullyImplemented": true, "id": 8387, "linearizedBaseContracts": [ 8387 ], "name": "RealitioSafeMath256", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 8323, "nodeType": "Block", "src": "226:106:18", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8302, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8300, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8293, "src": "236:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 8301, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "241:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "236:6:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 8306, "nodeType": "IfStatement", "src": "232:35:18", "trueBody": { "id": 8305, "nodeType": "Block", "src": "244:23:18", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 8303, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "259:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 8299, "id": 8304, "nodeType": "Return", "src": "252:8:18" } ] } }, { "assignments": [ 8308 ], "declarations": [ { "constant": false, "id": 8308, "name": "c", "nodeType": "VariableDeclaration", "scope": 8324, "src": "272:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8307, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "272:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 8312, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8311, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8309, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8293, "src": "284:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 8310, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8295, "src": "288:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "284:5:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "272:17:18" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8318, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8316, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8314, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8308, "src": "302:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 8315, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8293, "src": "306:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "302:5:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 8317, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8295, "src": "311:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "302:10:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 8313, "name": "assert", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8512, "src": "295:6:18", "typeDescriptions": { "typeIdentifier": "t_function_assert_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 8319, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "295:18:18", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 8320, "nodeType": "ExpressionStatement", "src": "295:18:18" }, { "expression": { "argumentTypes": null, "id": 8321, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8308, "src": "326:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 8299, "id": 8322, "nodeType": "Return", "src": "319:8:18" } ] }, "documentation": null, "id": 8324, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 8296, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8293, "name": "a", "nodeType": "VariableDeclaration", "scope": 8324, "src": "172:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8292, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "172:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8295, "name": "b", "nodeType": "VariableDeclaration", "scope": 8324, "src": "183:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8294, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "183:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "171:22:18" }, "payable": false, "returnParameters": { "id": 8299, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8298, "name": "", "nodeType": "VariableDeclaration", "scope": 8324, "src": "217:7:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8297, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "217:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "216:9:18" }, "scope": 8387, "src": "159:173:18", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 8341, "nodeType": "Block", "src": "403:198:18", "statements": [ { "assignments": [ 8334 ], "declarations": [ { "constant": false, "id": 8334, "name": "c", "nodeType": "VariableDeclaration", "scope": 8342, "src": "483:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8333, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "483:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 8338, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8337, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8335, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8326, "src": "495:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 8336, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8328, "src": "499:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "495:5:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "483:17:18" }, { "expression": { "argumentTypes": null, "id": 8339, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8334, "src": "595:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 8332, "id": 8340, "nodeType": "Return", "src": "588:8:18" } ] }, "documentation": null, "id": 8342, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 8329, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8326, "name": "a", "nodeType": "VariableDeclaration", "scope": 8342, "src": "349:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8325, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "349:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8328, "name": "b", "nodeType": "VariableDeclaration", "scope": 8342, "src": "360:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8327, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "360:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "348:22:18" }, "payable": false, "returnParameters": { "id": 8332, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8331, "name": "", "nodeType": "VariableDeclaration", "scope": 8342, "src": "394:7:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8330, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "394:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "393:9:18" }, "scope": 8387, "src": "336:265:18", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 8361, "nodeType": "Block", "src": "672:43:18", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8354, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8352, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8346, "src": "685:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 8353, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8344, "src": "690:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "685:6:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 8351, "name": "assert", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8512, "src": "678:6:18", "typeDescriptions": { "typeIdentifier": "t_function_assert_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 8355, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "678:14:18", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 8356, "nodeType": "ExpressionStatement", "src": "678:14:18" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8359, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8357, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8344, "src": "705:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 8358, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8346, "src": "709:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "705:5:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 8350, "id": 8360, "nodeType": "Return", "src": "698:12:18" } ] }, "documentation": null, "id": 8362, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 8347, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8344, "name": "a", "nodeType": "VariableDeclaration", "scope": 8362, "src": "618:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8343, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "618:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8346, "name": "b", "nodeType": "VariableDeclaration", "scope": 8362, "src": "629:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8345, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "629:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "617:22:18" }, "payable": false, "returnParameters": { "id": 8350, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8349, "name": "", "nodeType": "VariableDeclaration", "scope": 8362, "src": "663:7:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8348, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "663:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "662:9:18" }, "scope": 8387, "src": "605:110:18", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 8385, "nodeType": "Block", "src": "786:62:18", "statements": [ { "assignments": [ 8372 ], "declarations": [ { "constant": false, "id": 8372, "name": "c", "nodeType": "VariableDeclaration", "scope": 8386, "src": "792:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8371, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "792:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 8376, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8375, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8373, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8364, "src": "804:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 8374, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8366, "src": "808:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "804:5:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "792:17:18" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8380, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8378, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8372, "src": "822:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 8379, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8364, "src": "827:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "822:6:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 8377, "name": "assert", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8512, "src": "815:6:18", "typeDescriptions": { "typeIdentifier": "t_function_assert_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 8381, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "815:14:18", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 8382, "nodeType": "ExpressionStatement", "src": "815:14:18" }, { "expression": { "argumentTypes": null, "id": 8383, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8372, "src": "842:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 8370, "id": 8384, "nodeType": "Return", "src": "835:8:18" } ] }, "documentation": null, "id": 8386, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 8367, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8364, "name": "a", "nodeType": "VariableDeclaration", "scope": 8386, "src": "732:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8363, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "732:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8366, "name": "b", "nodeType": "VariableDeclaration", "scope": 8386, "src": "743:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8365, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "743:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "731:22:18" }, "payable": false, "returnParameters": { "id": 8370, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8369, "name": "", "nodeType": "VariableDeclaration", "scope": 8386, "src": "777:7:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8368, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "777:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "776:9:18" }, "scope": 8387, "src": "719:129:18", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 8388, "src": "127:723:18" } ], "src": "0:851:18" }, "legacyAST": { "absolutePath": "@realitio/realitio-contracts/truffle/contracts/RealitioSafeMath256.sol", "exportedSymbols": { "RealitioSafeMath256": [ 8387 ] }, "id": 8388, "nodeType": "SourceUnit", "nodes": [ { "id": 8291, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "0:24:18" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title ReailtioSafeMath256\n@dev Math operations with safety checks that throw on error", "fullyImplemented": true, "id": 8387, "linearizedBaseContracts": [ 8387 ], "name": "RealitioSafeMath256", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 8323, "nodeType": "Block", "src": "226:106:18", "statements": [ { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8302, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8300, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8293, "src": "236:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "hexValue": "30", "id": 8301, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "241:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "236:6:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": null, "id": 8306, "nodeType": "IfStatement", "src": "232:35:18", "trueBody": { "id": 8305, "nodeType": "Block", "src": "244:23:18", "statements": [ { "expression": { "argumentTypes": null, "hexValue": "30", "id": 8303, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "259:1:18", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "functionReturnParameters": 8299, "id": 8304, "nodeType": "Return", "src": "252:8:18" } ] } }, { "assignments": [ 8308 ], "declarations": [ { "constant": false, "id": 8308, "name": "c", "nodeType": "VariableDeclaration", "scope": 8324, "src": "272:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8307, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "272:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 8312, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8311, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8309, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8293, "src": "284:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "id": 8310, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8295, "src": "288:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "284:5:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "272:17:18" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8318, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8316, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8314, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8308, "src": "302:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 8315, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8293, "src": "306:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "302:5:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "==", "rightExpression": { "argumentTypes": null, "id": 8317, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8295, "src": "311:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "302:10:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 8313, "name": "assert", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8512, "src": "295:6:18", "typeDescriptions": { "typeIdentifier": "t_function_assert_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 8319, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "295:18:18", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 8320, "nodeType": "ExpressionStatement", "src": "295:18:18" }, { "expression": { "argumentTypes": null, "id": 8321, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8308, "src": "326:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 8299, "id": 8322, "nodeType": "Return", "src": "319:8:18" } ] }, "documentation": null, "id": 8324, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "mul", "nodeType": "FunctionDefinition", "parameters": { "id": 8296, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8293, "name": "a", "nodeType": "VariableDeclaration", "scope": 8324, "src": "172:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8292, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "172:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8295, "name": "b", "nodeType": "VariableDeclaration", "scope": 8324, "src": "183:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8294, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "183:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "171:22:18" }, "payable": false, "returnParameters": { "id": 8299, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8298, "name": "", "nodeType": "VariableDeclaration", "scope": 8324, "src": "217:7:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8297, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "217:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "216:9:18" }, "scope": 8387, "src": "159:173:18", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 8341, "nodeType": "Block", "src": "403:198:18", "statements": [ { "assignments": [ 8334 ], "declarations": [ { "constant": false, "id": 8334, "name": "c", "nodeType": "VariableDeclaration", "scope": 8342, "src": "483:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8333, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "483:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 8338, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8337, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8335, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8326, "src": "495:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 8336, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8328, "src": "499:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "495:5:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "483:17:18" }, { "expression": { "argumentTypes": null, "id": 8339, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8334, "src": "595:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 8332, "id": 8340, "nodeType": "Return", "src": "588:8:18" } ] }, "documentation": null, "id": 8342, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "div", "nodeType": "FunctionDefinition", "parameters": { "id": 8329, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8326, "name": "a", "nodeType": "VariableDeclaration", "scope": 8342, "src": "349:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8325, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "349:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8328, "name": "b", "nodeType": "VariableDeclaration", "scope": 8342, "src": "360:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8327, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "360:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "348:22:18" }, "payable": false, "returnParameters": { "id": 8332, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8331, "name": "", "nodeType": "VariableDeclaration", "scope": 8342, "src": "394:7:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8330, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "394:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "393:9:18" }, "scope": 8387, "src": "336:265:18", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 8361, "nodeType": "Block", "src": "672:43:18", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8354, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8352, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8346, "src": "685:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "<=", "rightExpression": { "argumentTypes": null, "id": 8353, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8344, "src": "690:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "685:6:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 8351, "name": "assert", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8512, "src": "678:6:18", "typeDescriptions": { "typeIdentifier": "t_function_assert_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 8355, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "678:14:18", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 8356, "nodeType": "ExpressionStatement", "src": "678:14:18" }, { "expression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8359, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8357, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8344, "src": "705:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 8358, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8346, "src": "709:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "705:5:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 8350, "id": 8360, "nodeType": "Return", "src": "698:12:18" } ] }, "documentation": null, "id": 8362, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "sub", "nodeType": "FunctionDefinition", "parameters": { "id": 8347, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8344, "name": "a", "nodeType": "VariableDeclaration", "scope": 8362, "src": "618:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8343, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "618:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8346, "name": "b", "nodeType": "VariableDeclaration", "scope": 8362, "src": "629:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8345, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "629:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "617:22:18" }, "payable": false, "returnParameters": { "id": 8350, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8349, "name": "", "nodeType": "VariableDeclaration", "scope": 8362, "src": "663:7:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8348, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "663:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "662:9:18" }, "scope": 8387, "src": "605:110:18", "stateMutability": "pure", "superFunction": null, "visibility": "internal" }, { "body": { "id": 8385, "nodeType": "Block", "src": "786:62:18", "statements": [ { "assignments": [ 8372 ], "declarations": [ { "constant": false, "id": 8372, "name": "c", "nodeType": "VariableDeclaration", "scope": 8386, "src": "792:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8371, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "792:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 8376, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8375, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8373, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8364, "src": "804:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 8374, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8366, "src": "808:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "804:5:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "792:17:18" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 8380, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8378, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8372, "src": "822:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 8379, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8364, "src": "827:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "822:6:18", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 8377, "name": "assert", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8512, "src": "815:6:18", "typeDescriptions": { "typeIdentifier": "t_function_assert_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 8381, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "815:14:18", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 8382, "nodeType": "ExpressionStatement", "src": "815:14:18" }, { "expression": { "argumentTypes": null, "id": 8383, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8372, "src": "842:1:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "functionReturnParameters": 8370, "id": 8384, "nodeType": "Return", "src": "835:8:18" } ] }, "documentation": null, "id": 8386, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 8367, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8364, "name": "a", "nodeType": "VariableDeclaration", "scope": 8386, "src": "732:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8363, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "732:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8366, "name": "b", "nodeType": "VariableDeclaration", "scope": 8386, "src": "743:9:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8365, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "743:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "731:22:18" }, "payable": false, "returnParameters": { "id": 8370, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8369, "name": "", "nodeType": "VariableDeclaration", "scope": 8386, "src": "777:7:18", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 8368, "name": "uint256", "nodeType": "ElementaryTypeName", "src": "777:7:18", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "776:9:18" }, "scope": 8387, "src": "719:129:18", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 8388, "src": "127:723:18" } ], "src": "0:851:18" }, "compiler": { "name": "solc", "version": "0.4.25+commit.59dbf8f1.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.0.0-beta.1", "updatedAt": "2018-11-11T16:30:48.214Z" }