UNPKG

@realitio/realitio-contracts

Version:

Collection of smart contracts for the Realitio fact verification platform

703 lines 26.5 kB
{ "contractName": "RealitioSafeMath32", "abi": [], "bytecode": "0x604c602c600b82828239805160001a60731460008114601c57601e565bfe5b5030600052607381538281f30073000000000000000000000000000000000000000030146080604052600080fd00a165627a7a72305820bd68db793184bb4442582deb6bd7444d92450def0c7c6133d1b3cd61203fb1b00029", "deployedBytecode": "0x73000000000000000000000000000000000000000030146080604052600080fd00a165627a7a72305820bd68db793184bb4442582deb6bd7444d92450def0c7c6133d1b3cd61203fb1b00029", "sourceMap": "224:158:16:-;;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:16:-;;;;;;;;", "source": "pragma solidity ^0.4.25;\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": "/home/ed/working/realitio-contracts/truffle/contracts/RealitioSafeMath32.sol", "ast": { "absolutePath": "/home/ed/working/realitio-contracts/truffle/contracts/RealitioSafeMath32.sol", "exportedSymbols": { "RealitioSafeMath32": [ 7095 ] }, "id": 7096, "nodeType": "SourceUnit", "nodes": [ { "id": 7070, "literals": [ "solidity", "^", "0.4", ".25" ], "nodeType": "PragmaDirective", "src": "0:24:16" }, { "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": 7095, "linearizedBaseContracts": [ 7095 ], "name": "RealitioSafeMath32", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 7093, "nodeType": "Block", "src": "319:61:16", "statements": [ { "assignments": [ 7080 ], "declarations": [ { "constant": false, "id": 7080, "name": "c", "nodeType": "VariableDeclaration", "scope": 7094, "src": "325:8:16", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 7079, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "325:6:16", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": null, "visibility": "internal" } ], "id": 7084, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "id": 7083, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 7081, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7072, "src": "336:1:16", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 7082, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7074, "src": "340:1:16", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "336:5:16", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "nodeType": "VariableDeclarationStatement", "src": "325:16:16" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "id": 7088, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 7086, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7080, "src": "354:1:16", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 7087, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7072, "src": "359:1:16", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "354:6:16", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 7085, "name": "assert", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9692, "src": "347:6:16", "typeDescriptions": { "typeIdentifier": "t_function_assert_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 7089, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "347:14:16", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 7090, "nodeType": "ExpressionStatement", "src": "347:14:16" }, { "expression": { "argumentTypes": null, "id": 7091, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7080, "src": "374:1:16", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "functionReturnParameters": 7078, "id": 7092, "nodeType": "Return", "src": "367:8:16" } ] }, "documentation": null, "id": 7094, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 7075, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 7072, "name": "a", "nodeType": "VariableDeclaration", "scope": 7094, "src": "268:8:16", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 7071, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "268:6:16", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 7074, "name": "b", "nodeType": "VariableDeclaration", "scope": 7094, "src": "278:8:16", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 7073, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "278:6:16", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": null, "visibility": "internal" } ], "src": "267:20:16" }, "payable": false, "returnParameters": { "id": 7078, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 7077, "name": "", "nodeType": "VariableDeclaration", "scope": 7094, "src": "311:6:16", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 7076, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "311:6:16", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": null, "visibility": "internal" } ], "src": "310:8:16" }, "scope": 7095, "src": "255:125:16", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 7096, "src": "224:158:16" } ], "src": "0:383:16" }, "legacyAST": { "absolutePath": "/home/ed/working/realitio-contracts/truffle/contracts/RealitioSafeMath32.sol", "exportedSymbols": { "RealitioSafeMath32": [ 7095 ] }, "id": 7096, "nodeType": "SourceUnit", "nodes": [ { "id": 7070, "literals": [ "solidity", "^", "0.4", ".25" ], "nodeType": "PragmaDirective", "src": "0:24:16" }, { "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": 7095, "linearizedBaseContracts": [ 7095 ], "name": "RealitioSafeMath32", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 7093, "nodeType": "Block", "src": "319:61:16", "statements": [ { "assignments": [ 7080 ], "declarations": [ { "constant": false, "id": 7080, "name": "c", "nodeType": "VariableDeclaration", "scope": 7094, "src": "325:8:16", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 7079, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "325:6:16", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": null, "visibility": "internal" } ], "id": 7084, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "id": 7083, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 7081, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7072, "src": "336:1:16", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "nodeType": "BinaryOperation", "operator": "+", "rightExpression": { "argumentTypes": null, "id": 7082, "name": "b", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7074, "src": "340:1:16", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "336:5:16", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "nodeType": "VariableDeclarationStatement", "src": "325:16:16" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "id": 7088, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 7086, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7080, "src": "354:1:16", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "id": 7087, "name": "a", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7072, "src": "359:1:16", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "src": "354:6:16", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 7085, "name": "assert", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9692, "src": "347:6:16", "typeDescriptions": { "typeIdentifier": "t_function_assert_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 7089, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "347:14:16", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 7090, "nodeType": "ExpressionStatement", "src": "347:14:16" }, { "expression": { "argumentTypes": null, "id": 7091, "name": "c", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7080, "src": "374:1:16", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "functionReturnParameters": 7078, "id": 7092, "nodeType": "Return", "src": "367:8:16" } ] }, "documentation": null, "id": 7094, "implemented": true, "isConstructor": false, "isDeclaredConst": true, "modifiers": [], "name": "add", "nodeType": "FunctionDefinition", "parameters": { "id": 7075, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 7072, "name": "a", "nodeType": "VariableDeclaration", "scope": 7094, "src": "268:8:16", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 7071, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "268:6:16", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 7074, "name": "b", "nodeType": "VariableDeclaration", "scope": 7094, "src": "278:8:16", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 7073, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "278:6:16", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": null, "visibility": "internal" } ], "src": "267:20:16" }, "payable": false, "returnParameters": { "id": 7078, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 7077, "name": "", "nodeType": "VariableDeclaration", "scope": 7094, "src": "311:6:16", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" }, "typeName": { "id": 7076, "name": "uint32", "nodeType": "ElementaryTypeName", "src": "311:6:16", "typeDescriptions": { "typeIdentifier": "t_uint32", "typeString": "uint32" } }, "value": null, "visibility": "internal" } ], "src": "310:8:16" }, "scope": 7095, "src": "255:125:16", "stateMutability": "pure", "superFunction": null, "visibility": "internal" } ], "scope": 7096, "src": "224:158:16" } ], "src": "0:383:16" }, "compiler": { "name": "solc", "version": "0.4.25+commit.59dbf8f1.Emscripten.clang", "optimizer": false, "runs": 200 }, "networks": {}, "schemaVersion": "2.3.3", "updatedAt": "2021-01-13T02:23:04.461Z" }