@josojo/forkonomics-contracts
Version:
realitytoken basic contracts
1,312 lines (1,311 loc) • 52.1 kB
JSON
{
"contractName": "Migrations",
"abi": [
{
"constant": true,
"inputs": [],
"name": "last_completed_migration",
"outputs": [
{
"name": "",
"type": "uint256"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"constant": true,
"inputs": [],
"name": "owner",
"outputs": [
{
"name": "",
"type": "address"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"payable": false,
"stateMutability": "nonpayable",
"type": "constructor"
},
{
"constant": false,
"inputs": [
{
"name": "completed",
"type": "uint256"
}
],
"name": "setCompleted",
"outputs": [],
"payable": false,
"stateMutability": "nonpayable",
"type": "function"
},
{
"constant": false,
"inputs": [
{
"name": "new_address",
"type": "address"
}
],
"name": "upgrade",
"outputs": [],
"payable": false,
"stateMutability": "nonpayable",
"type": "function"
}
],
"bytecode": "0x608060405234801561001057600080fd5b5060008054600160a060020a0319163317905561023c806100326000396000f3006080604052600436106100615763ffffffff7c01000000000000000000000000000000000000000000000000000000006000350416630900f0108114610066578063445df0ac146100965780638da5cb5b146100bd578063fdacd576146100fb575b600080fd5b34801561007257600080fd5b5061009473ffffffffffffffffffffffffffffffffffffffff60043516610113565b005b3480156100a257600080fd5b506100ab6101c5565b60408051918252519081900360200190f35b3480156100c957600080fd5b506100d26101cb565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b34801561010757600080fd5b506100946004356101e7565b6000805473ffffffffffffffffffffffffffffffffffffffff163314156101c1578190508073ffffffffffffffffffffffffffffffffffffffff1663fdacd5766001546040518263ffffffff167c010000000000000000000000000000000000000000000000000000000002815260040180828152602001915050600060405180830381600087803b1580156101a857600080fd5b505af11580156101bc573d6000803e3d6000fd5b505050505b5050565b60015481565b60005473ffffffffffffffffffffffffffffffffffffffff1681565b60005473ffffffffffffffffffffffffffffffffffffffff1633141561020d5760018190555b505600a165627a7a723058207e398ffec767ee8fbfe4a1215b57bd8d2215078dcc37eeaa6d639f34b2f6aabb0029",
"deployedBytecode": "0x6080604052600436106100615763ffffffff7c01000000000000000000000000000000000000000000000000000000006000350416630900f0108114610066578063445df0ac146100965780638da5cb5b146100bd578063fdacd576146100fb575b600080fd5b34801561007257600080fd5b5061009473ffffffffffffffffffffffffffffffffffffffff60043516610113565b005b3480156100a257600080fd5b506100ab6101c5565b60408051918252519081900360200190f35b3480156100c957600080fd5b506100d26101cb565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b34801561010757600080fd5b506100946004356101e7565b6000805473ffffffffffffffffffffffffffffffffffffffff163314156101c1578190508073ffffffffffffffffffffffffffffffffffffffff1663fdacd5766001546040518263ffffffff167c010000000000000000000000000000000000000000000000000000000002815260040180828152602001915050600060405180830381600087803b1580156101a857600080fd5b505af11580156101bc573d6000803e3d6000fd5b505050505b5050565b60015481565b60005473ffffffffffffffffffffffffffffffffffffffff1681565b60005473ffffffffffffffffffffffffffffffffffffffff1633141561020d5760018190555b505600a165627a7a723058207e398ffec767ee8fbfe4a1215b57bd8d2215078dcc37eeaa6d639f34b2f6aabb0029",
"sourceMap": "26:572:4:-;;;192:68;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;235:5:4;:18;;-1:-1:-1;;;;;;235:18:4;243:10;235:18;;;26:572;;;;;;",
"deployedSourceMap": "26:572:4:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;401:195;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;401:195:4;;;;;;;;;78:36;;8:9:-1;5:2;;;30:1;27;20:12;5:2;78:36:4;;;;;;;;;;;;;;;;;;;;52:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;52:20:4;;;;;;;;;;;;;;;;;;;;;;;266:129;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;266:129:4;;;;;401:195;487:19;171:5;;;;157:10;:19;153:26;;;520:11;487:45;;542:8;:21;;;564:24;;542:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;542:47:4;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;542:47:4;;;;153:26;401:195;;:::o;78:36::-;;;;:::o;52:20::-;;;;;;:::o;266:129::-;171:5;;;;157:10;:19;153:26;;;352:24;:36;;;153:26;266:129;:::o",
"source": "pragma solidity ^0.4.21;\n\ncontract Migrations {\n address public owner;\n uint public last_completed_migration;\n\n modifier restricted() {\n if (msg.sender == owner) _;\n }\n\n constructor()\n public\n {\n owner = msg.sender;\n }\n\n function setCompleted(uint completed)\n public\n restricted\n {\n last_completed_migration = completed;\n }\n\n function upgrade(address new_address)\n public\n restricted\n {\n Migrations upgraded = Migrations(new_address);\n upgraded.setCompleted(last_completed_migration);\n }\n}",
"sourcePath": "/home/josojo/reality/subjectivocracy/contracts/Mirations.sol",
"ast": {
"absolutePath": "/home/josojo/reality/subjectivocracy/contracts/Mirations.sol",
"exportedSymbols": {
"Migrations": [
2319
]
},
"id": 2320,
"nodeType": "SourceUnit",
"nodes": [
{
"id": 2264,
"literals": [
"solidity",
"^",
"0.4",
".21"
],
"nodeType": "PragmaDirective",
"src": "0:24:4"
},
{
"baseContracts": [],
"contractDependencies": [],
"contractKind": "contract",
"documentation": null,
"fullyImplemented": true,
"id": 2319,
"linearizedBaseContracts": [
2319
],
"name": "Migrations",
"nodeType": "ContractDefinition",
"nodes": [
{
"constant": false,
"id": 2266,
"name": "owner",
"nodeType": "VariableDeclaration",
"scope": 2319,
"src": "52:20:4",
"stateVariable": true,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
},
"typeName": {
"id": 2265,
"name": "address",
"nodeType": "ElementaryTypeName",
"src": "52:7:4",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
}
},
"value": null,
"visibility": "public"
},
{
"constant": false,
"id": 2268,
"name": "last_completed_migration",
"nodeType": "VariableDeclaration",
"scope": 2319,
"src": "78:36:4",
"stateVariable": true,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
},
"typeName": {
"id": 2267,
"name": "uint",
"nodeType": "ElementaryTypeName",
"src": "78:4:4",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"value": null,
"visibility": "public"
},
{
"body": {
"id": 2276,
"nodeType": "Block",
"src": "143:43:4",
"statements": [
{
"condition": {
"argumentTypes": null,
"commonType": {
"typeIdentifier": "t_address",
"typeString": "address"
},
"id": 2273,
"isConstant": false,
"isLValue": false,
"isPure": false,
"lValueRequested": false,
"leftExpression": {
"argumentTypes": null,
"expression": {
"argumentTypes": null,
"id": 2270,
"name": "msg",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 5393,
"src": "157:3:4",
"typeDescriptions": {
"typeIdentifier": "t_magic_message",
"typeString": "msg"
}
},
"id": 2271,
"isConstant": false,
"isLValue": false,
"isPure": false,
"lValueRequested": false,
"memberName": "sender",
"nodeType": "MemberAccess",
"referencedDeclaration": null,
"src": "157:10:4",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
}
},
"nodeType": "BinaryOperation",
"operator": "==",
"rightExpression": {
"argumentTypes": null,
"id": 2272,
"name": "owner",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 2266,
"src": "171:5:4",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
}
},
"src": "157:19:4",
"typeDescriptions": {
"typeIdentifier": "t_bool",
"typeString": "bool"
}
},
"falseBody": null,
"id": 2275,
"nodeType": "IfStatement",
"src": "153:26:4",
"trueBody": {
"id": 2274,
"nodeType": "PlaceholderStatement",
"src": "178:1:4"
}
}
]
},
"documentation": null,
"id": 2277,
"name": "restricted",
"nodeType": "ModifierDefinition",
"parameters": {
"id": 2269,
"nodeType": "ParameterList",
"parameters": [],
"src": "140:2:4"
},
"src": "121:65:4",
"visibility": "internal"
},
{
"body": {
"id": 2285,
"nodeType": "Block",
"src": "225:35:4",
"statements": [
{
"expression": {
"argumentTypes": null,
"id": 2283,
"isConstant": false,
"isLValue": false,
"isPure": false,
"lValueRequested": false,
"leftHandSide": {
"argumentTypes": null,
"id": 2280,
"name": "owner",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 2266,
"src": "235:5:4",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
}
},
"nodeType": "Assignment",
"operator": "=",
"rightHandSide": {
"argumentTypes": null,
"expression": {
"argumentTypes": null,
"id": 2281,
"name": "msg",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 5393,
"src": "243:3:4",
"typeDescriptions": {
"typeIdentifier": "t_magic_message",
"typeString": "msg"
}
},
"id": 2282,
"isConstant": false,
"isLValue": false,
"isPure": false,
"lValueRequested": false,
"memberName": "sender",
"nodeType": "MemberAccess",
"referencedDeclaration": null,
"src": "243:10:4",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
}
},
"src": "235:18:4",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
}
},
"id": 2284,
"nodeType": "ExpressionStatement",
"src": "235:18:4"
}
]
},
"documentation": null,
"id": 2286,
"implemented": true,
"isConstructor": true,
"isDeclaredConst": false,
"modifiers": [],
"name": "",
"nodeType": "FunctionDefinition",
"parameters": {
"id": 2278,
"nodeType": "ParameterList",
"parameters": [],
"src": "203:2:4"
},
"payable": false,
"returnParameters": {
"id": 2279,
"nodeType": "ParameterList",
"parameters": [],
"src": "225:0:4"
},
"scope": 2319,
"src": "192:68:4",
"stateMutability": "nonpayable",
"superFunction": null,
"visibility": "public"
},
{
"body": {
"id": 2297,
"nodeType": "Block",
"src": "342:53:4",
"statements": [
{
"expression": {
"argumentTypes": null,
"id": 2295,
"isConstant": false,
"isLValue": false,
"isPure": false,
"lValueRequested": false,
"leftHandSide": {
"argumentTypes": null,
"id": 2293,
"name": "last_completed_migration",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 2268,
"src": "352:24:4",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"nodeType": "Assignment",
"operator": "=",
"rightHandSide": {
"argumentTypes": null,
"id": 2294,
"name": "completed",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 2288,
"src": "379:9:4",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"src": "352:36:4",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"id": 2296,
"nodeType": "ExpressionStatement",
"src": "352:36:4"
}
]
},
"documentation": null,
"id": 2298,
"implemented": true,
"isConstructor": false,
"isDeclaredConst": false,
"modifiers": [
{
"arguments": null,
"id": 2291,
"modifierName": {
"argumentTypes": null,
"id": 2290,
"name": "restricted",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 2277,
"src": "327:10:4",
"typeDescriptions": {
"typeIdentifier": "t_modifier$__$",
"typeString": "modifier ()"
}
},
"nodeType": "ModifierInvocation",
"src": "327:10:4"
}
],
"name": "setCompleted",
"nodeType": "FunctionDefinition",
"parameters": {
"id": 2289,
"nodeType": "ParameterList",
"parameters": [
{
"constant": false,
"id": 2288,
"name": "completed",
"nodeType": "VariableDeclaration",
"scope": 2298,
"src": "288:14:4",
"stateVariable": false,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
},
"typeName": {
"id": 2287,
"name": "uint",
"nodeType": "ElementaryTypeName",
"src": "288:4:4",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"value": null,
"visibility": "internal"
}
],
"src": "287:16:4"
},
"payable": false,
"returnParameters": {
"id": 2292,
"nodeType": "ParameterList",
"parameters": [],
"src": "342:0:4"
},
"scope": 2319,
"src": "266:129:4",
"stateMutability": "nonpayable",
"superFunction": null,
"visibility": "public"
},
{
"body": {
"id": 2317,
"nodeType": "Block",
"src": "477:119:4",
"statements": [
{
"assignments": [
2306
],
"declarations": [
{
"constant": false,
"id": 2306,
"name": "upgraded",
"nodeType": "VariableDeclaration",
"scope": 2318,
"src": "487:19:4",
"stateVariable": false,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_contract$_Migrations_$2319",
"typeString": "contract Migrations"
},
"typeName": {
"contractScope": null,
"id": 2305,
"name": "Migrations",
"nodeType": "UserDefinedTypeName",
"referencedDeclaration": 2319,
"src": "487:10:4",
"typeDescriptions": {
"typeIdentifier": "t_contract$_Migrations_$2319",
"typeString": "contract Migrations"
}
},
"value": null,
"visibility": "internal"
}
],
"id": 2310,
"initialValue": {
"argumentTypes": null,
"arguments": [
{
"argumentTypes": null,
"id": 2308,
"name": "new_address",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 2300,
"src": "520:11:4",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
}
}
],
"expression": {
"argumentTypes": [
{
"typeIdentifier": "t_address",
"typeString": "address"
}
],
"id": 2307,
"name": "Migrations",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 2319,
"src": "509:10:4",
"typeDescriptions": {
"typeIdentifier": "t_type$_t_contract$_Migrations_$2319_$",
"typeString": "type(contract Migrations)"
}
},
"id": 2309,
"isConstant": false,
"isLValue": false,
"isPure": false,
"kind": "typeConversion",
"lValueRequested": false,
"names": [],
"nodeType": "FunctionCall",
"src": "509:23:4",
"typeDescriptions": {
"typeIdentifier": "t_contract$_Migrations_$2319",
"typeString": "contract Migrations"
}
},
"nodeType": "VariableDeclarationStatement",
"src": "487:45:4"
},
{
"expression": {
"argumentTypes": null,
"arguments": [
{
"argumentTypes": null,
"id": 2314,
"name": "last_completed_migration",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 2268,
"src": "564:24:4",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
}
],
"expression": {
"argumentTypes": [
{
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
],
"expression": {
"argumentTypes": null,
"id": 2311,
"name": "upgraded",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 2306,
"src": "542:8:4",
"typeDescriptions": {
"typeIdentifier": "t_contract$_Migrations_$2319",
"typeString": "contract Migrations"
}
},
"id": 2313,
"isConstant": false,
"isLValue": false,
"isPure": false,
"lValueRequested": false,
"memberName": "setCompleted",
"nodeType": "MemberAccess",
"referencedDeclaration": 2298,
"src": "542:21:4",
"typeDescriptions": {
"typeIdentifier": "t_function_external_nonpayable$_t_uint256_$returns$__$",
"typeString": "function (uint256) external"
}
},
"id": 2315,
"isConstant": false,
"isLValue": false,
"isPure": false,
"kind": "functionCall",
"lValueRequested": false,
"names": [],
"nodeType": "FunctionCall",
"src": "542:47:4",
"typeDescriptions": {
"typeIdentifier": "t_tuple$__$",
"typeString": "tuple()"
}
},
"id": 2316,
"nodeType": "ExpressionStatement",
"src": "542:47:4"
}
]
},
"documentation": null,
"id": 2318,
"implemented": true,
"isConstructor": false,
"isDeclaredConst": false,
"modifiers": [
{
"arguments": null,
"id": 2303,
"modifierName": {
"argumentTypes": null,
"id": 2302,
"name": "restricted",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 2277,
"src": "462:10:4",
"typeDescriptions": {
"typeIdentifier": "t_modifier$__$",
"typeString": "modifier ()"
}
},
"nodeType": "ModifierInvocation",
"src": "462:10:4"
}
],
"name": "upgrade",
"nodeType": "FunctionDefinition",
"parameters": {
"id": 2301,
"nodeType": "ParameterList",
"parameters": [
{
"constant": false,
"id": 2300,
"name": "new_address",
"nodeType": "VariableDeclaration",
"scope": 2318,
"src": "418:19:4",
"stateVariable": false,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
},
"typeName": {
"id": 2299,
"name": "address",
"nodeType": "ElementaryTypeName",
"src": "418:7:4",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
}
},
"value": null,
"visibility": "internal"
}
],
"src": "417:21:4"
},
"payable": false,
"returnParameters": {
"id": 2304,
"nodeType": "ParameterList",
"parameters": [],
"src": "477:0:4"
},
"scope": 2319,
"src": "401:195:4",
"stateMutability": "nonpayable",
"superFunction": null,
"visibility": "public"
}
],
"scope": 2320,
"src": "26:572:4"
}
],
"src": "0:598:4"
},
"legacyAST": {
"absolutePath": "/home/josojo/reality/subjectivocracy/contracts/Mirations.sol",
"exportedSymbols": {
"Migrations": [
2319
]
},
"id": 2320,
"nodeType": "SourceUnit",
"nodes": [
{
"id": 2264,
"literals": [
"solidity",
"^",
"0.4",
".21"
],
"nodeType": "PragmaDirective",
"src": "0:24:4"
},
{
"baseContracts": [],
"contractDependencies": [],
"contractKind": "contract",
"documentation": null,
"fullyImplemented": true,
"id": 2319,
"linearizedBaseContracts": [
2319
],
"name": "Migrations",
"nodeType": "ContractDefinition",
"nodes": [
{
"constant": false,
"id": 2266,
"name": "owner",
"nodeType": "VariableDeclaration",
"scope": 2319,
"src": "52:20:4",
"stateVariable": true,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
},
"typeName": {
"id": 2265,
"name": "address",
"nodeType": "ElementaryTypeName",
"src": "52:7:4",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
}
},
"value": null,
"visibility": "public"
},
{
"constant": false,
"id": 2268,
"name": "last_completed_migration",
"nodeType": "VariableDeclaration",
"scope": 2319,
"src": "78:36:4",
"stateVariable": true,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
},
"typeName": {
"id": 2267,
"name": "uint",
"nodeType": "ElementaryTypeName",
"src": "78:4:4",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"value": null,
"visibility": "public"
},
{
"body": {
"id": 2276,
"nodeType": "Block",
"src": "143:43:4",
"statements": [
{
"condition": {
"argumentTypes": null,
"commonType": {
"typeIdentifier": "t_address",
"typeString": "address"
},
"id": 2273,
"isConstant": false,
"isLValue": false,
"isPure": false,
"lValueRequested": false,
"leftExpression": {
"argumentTypes": null,
"expression": {
"argumentTypes": null,
"id": 2270,
"name": "msg",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 5393,
"src": "157:3:4",
"typeDescriptions": {
"typeIdentifier": "t_magic_message",
"typeString": "msg"
}
},
"id": 2271,
"isConstant": false,
"isLValue": false,
"isPure": false,
"lValueRequested": false,
"memberName": "sender",
"nodeType": "MemberAccess",
"referencedDeclaration": null,
"src": "157:10:4",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
}
},
"nodeType": "BinaryOperation",
"operator": "==",
"rightExpression": {
"argumentTypes": null,
"id": 2272,
"name": "owner",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 2266,
"src": "171:5:4",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
}
},
"src": "157:19:4",
"typeDescriptions": {
"typeIdentifier": "t_bool",
"typeString": "bool"
}
},
"falseBody": null,
"id": 2275,
"nodeType": "IfStatement",
"src": "153:26:4",
"trueBody": {
"id": 2274,
"nodeType": "PlaceholderStatement",
"src": "178:1:4"
}
}
]
},
"documentation": null,
"id": 2277,
"name": "restricted",
"nodeType": "ModifierDefinition",
"parameters": {
"id": 2269,
"nodeType": "ParameterList",
"parameters": [],
"src": "140:2:4"
},
"src": "121:65:4",
"visibility": "internal"
},
{
"body": {
"id": 2285,
"nodeType": "Block",
"src": "225:35:4",
"statements": [
{
"expression": {
"argumentTypes": null,
"id": 2283,
"isConstant": false,
"isLValue": false,
"isPure": false,
"lValueRequested": false,
"leftHandSide": {
"argumentTypes": null,
"id": 2280,
"name": "owner",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 2266,
"src": "235:5:4",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
}
},
"nodeType": "Assignment",
"operator": "=",
"rightHandSide": {
"argumentTypes": null,
"expression": {
"argumentTypes": null,
"id": 2281,
"name": "msg",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 5393,
"src": "243:3:4",
"typeDescriptions": {
"typeIdentifier": "t_magic_message",
"typeString": "msg"
}
},
"id": 2282,
"isConstant": false,
"isLValue": false,
"isPure": false,
"lValueRequested": false,
"memberName": "sender",
"nodeType": "MemberAccess",
"referencedDeclaration": null,
"src": "243:10:4",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
}
},
"src": "235:18:4",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
}
},
"id": 2284,
"nodeType": "ExpressionStatement",
"src": "235:18:4"
}
]
},
"documentation": null,
"id": 2286,
"implemented": true,
"isConstructor": true,
"isDeclaredConst": false,
"modifiers": [],
"name": "",
"nodeType": "FunctionDefinition",
"parameters": {
"id": 2278,
"nodeType": "ParameterList",
"parameters": [],
"src": "203:2:4"
},
"payable": false,
"returnParameters": {
"id": 2279,
"nodeType": "ParameterList",
"parameters": [],
"src": "225:0:4"
},
"scope": 2319,
"src": "192:68:4",
"stateMutability": "nonpayable",
"superFunction": null,
"visibility": "public"
},
{
"body": {
"id": 2297,
"nodeType": "Block",
"src": "342:53:4",
"statements": [
{
"expression": {
"argumentTypes": null,
"id": 2295,
"isConstant": false,
"isLValue": false,
"isPure": false,
"lValueRequested": false,
"leftHandSide": {
"argumentTypes": null,
"id": 2293,
"name": "last_completed_migration",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 2268,
"src": "352:24:4",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"nodeType": "Assignment",
"operator": "=",
"rightHandSide": {
"argumentTypes": null,
"id": 2294,
"name": "completed",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 2288,
"src": "379:9:4",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"src": "352:36:4",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"id": 2296,
"nodeType": "ExpressionStatement",
"src": "352:36:4"
}
]
},
"documentation": null,
"id": 2298,
"implemented": true,
"isConstructor": false,
"isDeclaredConst": false,
"modifiers": [
{
"arguments": null,
"id": 2291,
"modifierName": {
"argumentTypes": null,
"id": 2290,
"name": "restricted",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 2277,
"src": "327:10:4",
"typeDescriptions": {
"typeIdentifier": "t_modifier$__$",
"typeString": "modifier ()"
}
},
"nodeType": "ModifierInvocation",
"src": "327:10:4"
}
],
"name": "setCompleted",
"nodeType": "FunctionDefinition",
"parameters": {
"id": 2289,
"nodeType": "ParameterList",
"parameters": [
{
"constant": false,
"id": 2288,
"name": "completed",
"nodeType": "VariableDeclaration",
"scope": 2298,
"src": "288:14:4",
"stateVariable": false,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
},
"typeName": {
"id": 2287,
"name": "uint",
"nodeType": "ElementaryTypeName",
"src": "288:4:4",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"value": null,
"visibility": "internal"
}
],
"src": "287:16:4"
},
"payable": false,
"returnParameters": {
"id": 2292,
"nodeType": "ParameterList",
"parameters": [],
"src": "342:0:4"
},
"scope": 2319,
"src": "266:129:4",
"stateMutability": "nonpayable",
"superFunction": null,
"visibility": "public"
},
{
"body": {
"id": 2317,
"nodeType": "Block",
"src": "477:119:4",
"statements": [
{
"assignments": [
2306
],
"declarations": [
{
"constant": false,
"id": 2306,
"name": "upgraded",
"nodeType": "VariableDeclaration",
"scope": 2318,
"src": "487:19:4",
"stateVariable": false,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_contract$_Migrations_$2319",
"typeString": "contract Migrations"
},
"typeName": {
"contractScope": null,
"id": 2305,
"name": "Migrations",
"nodeType": "UserDefinedTypeName",
"referencedDeclaration": 2319,
"src": "487:10:4",
"typeDescriptions": {
"typeIdentifier": "t_contract$_Migrations_$2319",
"typeString": "contract Migrations"
}
},
"value": null,
"visibility": "internal"
}
],
"id": 2310,
"initialValue": {
"argumentTypes": null,
"arguments": [
{
"argumentTypes": null,
"id": 2308,
"name": "new_address",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 2300,
"src": "520:11:4",
"typeDescriptions": {
"typeIdentifier": "t_address",
"typeString": "address"
}
}
],
"expression": {
"argumentTypes": [
{
"typeIdentifier": "t_address",
"typeString": "address"
}
],
"id": 2307,
"name": "Migrations",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 2319,
"src": "509:10:4",
"typeDescriptions": {
"typeIdentifier": "t_type$_t_contract$_Migrations_$2319_$",
"typeString": "type(contract Migrations)"
}
},
"id": 2309,
"isConstant": false,
"isLValue": false,
"isPure": false,
"kind": "typeConversion",
"lValueRequested": false,
"names": [],
"nodeType": "FunctionCall",
"src": "509:23:4",
"typeDescriptions": {
"typeIdentifier": "t_contract$_Migrations_$2319",
"typeString": "contract Migrations"
}
},
"nodeType": "VariableDeclarationStatement",
"src": "487:45:4"
},
{
"expression": {
"argumentTypes": null,
"arguments": [
{
"argumentTypes": null,
"id": 2314,
"name": "last_completed_migration",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 2268,
"src": "564:24:4",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
}
],
"expression": {
"argumentTypes": [
{
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
],
"expression": {
"argumentTypes": null,
"id": 2311,
"name": "upgraded",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 2306,
"src": "542:8:4",
"typeDescriptions": {
"typeIdentifier": "t_contract$_Migrations_$2319",
"typeString": "contract Migrations"
}
},
"id": 2313,
"isConstant": false,
"isLValue": false,
"isPure": false,
"lValueRequested": false,
"memberName": "setCompleted",
"nodeType": "MemberAccess",
"referencedDeclaration": 2298,
"src": "542:21:4",
"typeDescriptions": {
"typeIdentifier": "t_function_external_nonpayable$_t_uint256_$returns$__$",
"typeString": "function (uint256) external"
}
},
"id": 2315,
"isConstant": false,
"isLValue": false,
"isPure": false,
"kind": "functionCall",
"lValueRequested": false,
"names": [],
"nodeType": "FunctionCall",
"src": "542:47:4",
"typeDescriptions": {
"typeIdentifier": "t_tuple$__$",
"typeString": "tuple()"
}
},
"id": 2316,
"nodeType": "ExpressionStatement",
"src": "542:47:4"
}
]
},
"documentation": null,
"id": 2318,
"implemented": true,
"isConstructor": false,
"isDeclaredConst": false,
"modifiers": [
{
"arguments": null,
"id": 2303,
"modifierName": {
"argumentTypes": null,
"id": 2302,
"name": "restricted",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 2277,
"src": "462:10:4",
"typeDescriptions": {
"typeIdentifier": "t_modifier$__$",
"typeString": "modifier ()"