@realitio/realitio-contracts
Version:
Collection of smart contracts for the Realitio fact verification platform
703 lines • 26.5 kB
JSON
{
"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"
}