{ "contractName": "RealitioSafeMath32", "abi": [], "bytecode": "0x604c602c600b82828239805160001a60731460008114601c57601e565bfe5b5030600052607381538281f30073000000000000000000000000000000000000000030146080604052600080fd00a165627a7a723058209a0219975c4c241b6a0b5147cd7c9190b785daa095da433fe62c9fc980e4d1340029", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fd00a165627a7a723058209a0219975c4c241b6a0b5147cd7c9190b785daa095da433fe62c9fc980e4d1340029", "sourceMap": "224:158:19:-;;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": "224:158:19:-;;;;;;;;", "source": "pragma solidity ^0.4.24;\n\n/**\n * @title RealitioSafeMath32\n * @dev Math operations with safety checks that throw on error\n * @dev Copy of SafeMath but for uint32 instead of uint256\n * @dev Deleted functions we don't use\n */\nlibrary RealitioSafeMath32 {\n function add(uint32 a, uint32 b) internal pure returns (uint32) {\n uint32 c = a + b;\n assert(c >= a);\n return c;\n }\n}\n", "sourcePath": "@realitio/realitio-contracts/truffle/contracts/RealitioSafeMath32.sol", "ast": { "absolutePath": "@realitio/realitio-contracts/truffle/contracts/RealitioSafeMath32.sol", "exportedSymbols": { "RealitioSafeMath32": [ 8414 ] }, "id": 8415, "nodeType": "SourceUnit", "nodes": [ { "id": 8389, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "0:24:19" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title RealitioSafeMath32\n@dev Math operations with safety checks that throw on error\n@dev Copy of SafeMath but for uint32 instead of uint256\n@dev Deleted functions we don't use", "fullyImplemented": true, "id": 8414, "linearizedBaseContracts": [ 8414 ], "name": "RealitioSafeMath32", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 8412, "nodeType": "Block", "src": "319:61:19", "statements": [ { "assignments": [ 8399 ], "declarations": [ { "constant": false, "id": 8399, "name": "c", "nodeType": "VariableDeclaration", "scope": 8413, "src": "325:8:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 8398, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "325:6:19", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": null, "visibility": "internal" } ], "id": 8403, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "id": 8402, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8400, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8391, "src": "336:1:19", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 8401, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8393, "src": "340:1:19", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "336:5:19", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "nodeType": "VariableDeclarationStatement", "src": "325:16:19" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "id": 8407, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8405, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8399, "src": "354:1:19", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 8406, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8391, "src": "359:1:19", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "354:6:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 8404, "name": "assert", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8512, "src": "347:6:19", "typeDescriptions": { "typeIdentifier": "t_function_assert_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 8408, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "347:14:19", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 8409, "nodeType": "ExpressionStatement", "src": "347:14:19" }, { "expression": { "argumentTypes": null, "id": 8410, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8399, "src": "374:1:19", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "functionReturnParameters": 8397, "id": 8411, "nodeType": "Return", "src": "367:8:19" } ] }, "documentation": null, "id": 8413, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 8394, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8391, "name": "a", "nodeType": "VariableDeclaration", "scope": 8413, "src": "268:8:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 8390, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "268:6:19", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8393, "name": "b", "nodeType": "VariableDeclaration", "scope": 8413, "src": "278:8:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 8392, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "278:6:19", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": null, "visibility": "internal" } ], "src": "267:20:19" }, "payable": false, "returnParameters": { "id": 8397, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8396, "name": "", "nodeType": "VariableDeclaration", "scope": 8413, "src": "311:6:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 8395, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "311:6:19", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": null, "visibility": "internal" } ], "src": "310:8:19" }, "scope": 8414, "src": "255:125:19", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 8415, "src": "224:158:19" } ], "src": "0:383:19" }, "legacyAST": { "absolutePath": "@realitio/realitio-contracts/truffle/contracts/RealitioSafeMath32.sol", "exportedSymbols": { "RealitioSafeMath32": [ 8414 ] }, "id": 8415, "nodeType": "SourceUnit", "nodes": [ { "id": 8389, "literals": [ "solidity", "^", "0.4", ".24" ], "nodeType": "PragmaDirective", "src": "0:24:19" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "library", "documentation": "@title RealitioSafeMath32\n@dev Math operations with safety checks that throw on error\n@dev Copy of SafeMath but for uint32 instead of uint256\n@dev Deleted functions we don't use", "fullyImplemented": true, "id": 8414, "linearizedBaseContracts": [ 8414 ], "name": "RealitioSafeMath32", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 8412, "nodeType": "Block", "src": "319:61:19", "statements": [ { "assignments": [ 8399 ], "declarations": [ { "constant": false, "id": 8399, "name": "c", "nodeType": "VariableDeclaration", "scope": 8413, "src": "325:8:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 8398, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "325:6:19", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": null, "visibility": "internal" } ], "id": 8403, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "id": 8402, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8400, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8391, "src": "336:1:19", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 8401, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8393, "src": "340:1:19", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "336:5:19", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "nodeType": "VariableDeclarationStatement", "src": "325:16:19" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "id": 8407, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 8405, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8399, "src": "354:1:19", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 8406, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8391, "src": "359:1:19", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "354:6:19", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 8404, "name": "assert", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8512, "src": "347:6:19", "typeDescriptions": { "typeIdentifier": "t_function_assert_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 8408, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "347:14:19", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 8409, "nodeType": "ExpressionStatement", "src": "347:14:19" }, { "expression": { "argumentTypes": null, "id": 8410, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 8399, "src": "374:1:19", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "functionReturnParameters": 8397, "id": 8411, "nodeType": "Return", "src": "367:8:19" } ] }, "documentation": null, "id": 8413, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 8394, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8391, "name": "a", "nodeType": "VariableDeclaration", "scope": 8413, "src": "268:8:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 8390, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "268:6:19", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 8393, "name": "b", "nodeType": "VariableDeclaration", "scope": 8413, "src": "278:8:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 8392, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "278:6:19", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": null, "visibility": "internal" } ], "src": "267:20:19" }, "payable": false, "returnParameters": { "id": 8397, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 8396, "name": "", "nodeType": "VariableDeclaration", "scope": 8413, "src": "311:6:19", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 8395, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "311:6:19", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": null, "visibility": "internal" } ], "src": "310:8:19" }, "scope": 8414, "src": "255:125:19", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 8415, "src": "224:158:19" } ], "src": "0:383:19" }, "compiler": { "name": "solc", "version": "0.4.25+commit.59dbf8f1.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.0.0-beta.1", "updatedAt": "2018-11-11T16:30:48.215Z" }