{ "contractName": "CategoricalEventProxy", "abi": [ { "constant": true, "inputs": [], "name": "outcome", "outputs": [ { "name": "", "type": "int256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "oracle", "outputs": [ { "name": "", "type": "address" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "", "type": "uint256" } ], "name": "outcomeTokens", "outputs": [ { "name": "", "type": "address" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "masterCopy", "outputs": [ { "name": "", "type": "address" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "collateralToken", "outputs": [ { "name": "", "type": "address" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "isOutcomeSet", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "inputs": [ { "name": "proxied", "type": "address" }, { "name": "outcomeTokenMasterCopy", "type": "address" }, { "name": "_collateralToken", "type": "address" }, { "name": "_oracle", "type": "address" }, { "name": "outcomeCount", "type": "uint8" } ], "payable": false, "stateMutability": "nonpayable", "type": "constructor" }, { "payable": true, "stateMutability": "payable", "type": "fallback" }, { "anonymous": false, "inputs": [ { "indexed": false, "name": "outcomeToken", "type": "address" }, { "indexed": false, "name": "index", "type": "uint8" } ], "name": "OutcomeTokenCreation", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "buyer", "type": "address" }, { "indexed": false, "name": "collateralTokenCount", "type": "uint256" } ], "name": "OutcomeTokenSetIssuance", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "seller", "type": "address" }, { "indexed": false, "name": "outcomeTokenCount", "type": "uint256" } ], "name": "OutcomeTokenSetRevocation", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "name": "outcome", "type": "int256" } ], "name": "OutcomeAssignment", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "receiver", "type": "address" }, { "indexed": false, "name": "winnings", "type": "uint256" } ], "name": "WinningsRedemption", "type": "event" } ], "metadata": "{\"compiler\":{\"version\":\"0.5.6+commit.b259423e\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"constant\":true,\"inputs\":[],\"name\":\"outcome\",\"outputs\":[{\"name\":\"\",\"type\":\"int256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"oracle\",\"outputs\":[{\"name\":\"\",\"type\":\"address\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[{\"name\":\"\",\"type\":\"uint256\"}],\"name\":\"outcomeTokens\",\"outputs\":[{\"name\":\"\",\"type\":\"address\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"masterCopy\",\"outputs\":[{\"name\":\"\",\"type\":\"address\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"collateralToken\",\"outputs\":[{\"name\":\"\",\"type\":\"address\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"isOutcomeSet\",\"outputs\":[{\"name\":\"\",\"type\":\"bool\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"name\":\"proxied\",\"type\":\"address\"},{\"name\":\"outcomeTokenMasterCopy\",\"type\":\"address\"},{\"name\":\"_collateralToken\",\"type\":\"address\"},{\"name\":\"_oracle\",\"type\":\"address\"},{\"name\":\"outcomeCount\",\"type\":\"uint8\"}],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"constructor\"},{\"payable\":true,\"stateMutability\":\"payable\",\"type\":\"fallback\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"name\":\"outcomeToken\",\"type\":\"address\"},{\"indexed\":false,\"name\":\"index\",\"type\":\"uint8\"}],\"name\":\"OutcomeTokenCreation\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"name\":\"buyer\",\"type\":\"address\"},{\"indexed\":false,\"name\":\"collateralTokenCount\",\"type\":\"uint256\"}],\"name\":\"OutcomeTokenSetIssuance\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"name\":\"seller\",\"type\":\"address\"},{\"indexed\":false,\"name\":\"outcomeTokenCount\",\"type\":\"uint256\"}],\"name\":\"OutcomeTokenSetRevocation\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"name\":\"outcome\",\"type\":\"int256\"}],\"name\":\"OutcomeAssignment\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"name\":\"receiver\",\"type\":\"address\"},{\"indexed\":false,\"name\":\"winnings\",\"type\":\"uint256\"}],\"name\":\"WinningsRedemption\",\"type\":\"event\"}],\"devdoc\":{\"methods\":{\"constructor\":{\"details\":\"Contract constructor validates and sets basic event properties\",\"params\":{\"_collateralToken\":\"Tokens used as collateral in exchange for outcome tokens\",\"_oracle\":\"Oracle contract used to resolve the event\",\"outcomeCount\":\"Number of event outcomes\"}}}},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"/home/alan/src/github.com/gnosis/pm-contracts/contracts/Events/CategoricalEvent.sol\":\"CategoricalEventProxy\"},\"evmVersion\":\"petersburg\",\"libraries\":{},\"optimizer\":{\"enabled\":false,\"runs\":200},\"remappings\":[]},\"sources\":{\"/home/alan/src/github.com/gnosis/pm-contracts/contracts/Events/CategoricalEvent.sol\":{\"keccak256\":\"0x0d618ff0e76444e82eb38603d60798a2ca697ca0262ef541ed0987503ed493da\",\"urls\":[\"bzzr://a8677480e10d1c369ab348a093598f84d85a51f400d114ece3d1d5055a09267a\"]},\"/home/alan/src/github.com/gnosis/pm-contracts/contracts/Events/Event.sol\":{\"keccak256\":\"0xdcacfa25145426b5681ad7d8bafb3c117c92a37b7a0175d72a10b42f130fb8c1\",\"urls\":[\"bzzr://bd10fbdb82f0d50866442c9e95317b3176c8ee067def27d764529973fb36420a\"]},\"/home/alan/src/github.com/gnosis/pm-contracts/contracts/Oracles/Oracle.sol\":{\"keccak256\":\"0xf4d12f4a59c17e66dfa6791188f621a8914e2038a4e3f72d6fc9fb903ca8e18e\",\"urls\":[\"bzzr://a477ccd203e677cc904b1a4f8fcc85251c5b5e09c5c10eed27e01318584b16d1\"]},\"/home/alan/src/github.com/gnosis/pm-contracts/contracts/Tokens/OutcomeToken.sol\":{\"keccak256\":\"0x3d4c9ec14a60cf7577d366da5116e919a4331da8d6d993174f7d599f84ae74e0\",\"urls\":[\"bzzr://20f87450259a3af24ff1769faa9ab3b714d01921e9d8fa4efa75a0c277837a8a\"]},\"@gnosis.pm/util-contracts/contracts/Proxy.sol\":{\"keccak256\":\"0xeab0e83a9ec9e7f052c0455a11577061ec6d1994db08dae429abd6faaabf6555\",\"urls\":[\"bzzr://b2c1273d4ec30e2f9e768eea8c510f8493a7359b03e01923d93eea86b57ec145\"]},\"openzeppelin-solidity/contracts/math/SafeMath.sol\":{\"keccak256\":\"0x4ccf2d7b51873db1ccfd54ca2adae5eac3b184f9699911ed4490438419f1c690\",\"urls\":[\"bzzr://1604f5b6d6e916c154efd8c6720cda069e5ba32dfa0a9dedf2b42e5b02d07f89\"]},\"openzeppelin-solidity/contracts/token/ERC20/ERC20.sol\":{\"keccak256\":\"0x852793a3c2f86d336a683b30d688ec3dcfc57451af5a2bf5975cda3b7191a901\",\"urls\":[\"bzzr://07fb42206812a17c1f71e548cfa5cec6f9aa1ae0ca5df870718ca4aa9759d1a5\"]},\"openzeppelin-solidity/contracts/token/ERC20/IERC20.sol\":{\"keccak256\":\"0x90e8c2521653bbb1768b05889c5760031e688d9cd361f167489b89215e201b95\",\"urls\":[\"bzzr://aa8b45b57edafc3d67bc5d916327ea16807fae33f753ca163ae0c4061b789766\"]}},\"version\":1}", "bytecode": "0x608060405234801561001057600080fd5b5060405160a0806108f9833981018060405260a081101561003057600080fd5b81019080805190602001909291908051906020019092919080519060200190929190805190602001909291908051906020019092919050505084600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156100a457600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561014f5750600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b801561015f575060028160ff1610155b61016857600080fd5b82600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555081600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060008090505b8160ff168160ff1610156103475760008560405161020d90610352565b808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050604051809103906000f08015801561025f573d6000803e3d6000fd5b50905060048190806001815401808255809150509060018203906000526020600020016000909192909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550507fad24776dc347085865b6988e249c191fc22d9b31cf54cb62233c3c16be1736ee8183604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018260ff1660ff1681526020019250505060405180910390a15080806001019150506101f0565b50505050505061035f565b61021c806106dd83390190565b61036f8061036e6000396000f3fe6080604052600436106100555760003560e01c806327793f87146100a35780637dc0d1d0146100ce5780638abe59ea14610125578063a619486e146101a0578063b2016bd4146101f7578063ccdf68f31461024e575b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050366000803760008036600084600019f43d6000803e806000811461009e573d6000f35b3d6000fd5b3480156100af57600080fd5b506100b861027d565b6040518082815260200191505060405180910390f35b3480156100da57600080fd5b506100e3610283565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561013157600080fd5b5061015e6004803603602081101561014857600080fd5b81019080803590602001909291905050506102a9565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156101ac57600080fd5b506101b56102e5565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561020357600080fd5b5061020c61030a565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561025a57600080fd5b50610263610330565b604051808215151515815260200191505060405180910390f35b60035481565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600481815481106102b657fe5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600260149054906101000a900460ff168156fea165627a7a72305820014e05e63184c259de93dc2c6cc18e3837a4303e70d98d8e73308d4c09d57e8e0029608060405234801561001057600080fd5b5060405160208061021c8339810180604052602081101561003057600080fd5b810190808051906020019092919050505080600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561007c57600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505033600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505061010e8061010e6000396000f3fe608060405260043610601c5760003560e01c8063a619486e146069575b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050366000803760008036600084600019f43d6000803e80600081146064573d6000f35b3d6000fd5b348015607457600080fd5b50607b60bd565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff168156fea165627a7a72305820cbbb84b03efb936eec7a7a63670e9c47ced04c53284f2b0435d190970bfd2eb40029", "deployedBytecode": "0x6080604052600436106100555760003560e01c806327793f87146100a35780637dc0d1d0146100ce5780638abe59ea14610125578063a619486e146101a0578063b2016bd4146101f7578063ccdf68f31461024e575b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050366000803760008036600084600019f43d6000803e806000811461009e573d6000f35b3d6000fd5b3480156100af57600080fd5b506100b861027d565b6040518082815260200191505060405180910390f35b3480156100da57600080fd5b506100e3610283565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561013157600080fd5b5061015e6004803603602081101561014857600080fd5b81019080803590602001909291905050506102a9565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156101ac57600080fd5b506101b56102e5565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561020357600080fd5b5061020c61030a565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561025a57600080fd5b50610263610330565b604051808215151515815260200191505060405180910390f35b60035481565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600481815481106102b657fe5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600260149054906101000a900460ff168156fea165627a7a72305820014e05e63184c259de93dc2c6cc18e3837a4303e70d98d8e73308d4c09d57e8e0029", "sourceMap": "112:1047:0:-;;;453:704;8:9:-1;5:2;;;30:1;27;20:12;5:2;453:704:0;;;;;;;;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;453:704:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;588:7;644:1:29;621:25;;:11;:25;;;;613:34;;;;;;670:11;657:10;;:24;;;;;;;;;;;;;;;;;;551:137;697:1:0;660:39;;668:16;660:39;;;;:73;;;;;731:1;703:30;;711:7;703:30;;;;660:73;:94;;;;;753:1;737:12;:17;;;;660:94;652:103;;;;;;783:16;765:15;;:34;;;;;;;;;;;;;;;;;;818:7;809:6;;:16;;;;;;;;;;;;;;;;;;892:7;902:1;892:11;;887:264;909:12;905:16;;:1;:16;;;887:264;;;942:25;1013:22;991:45;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;991:45:0;942:96;;1052:13;1071:12;1052:32;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;1052:32:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1103:37;1124:12;1138:1;1103:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;887:264;923:3;;;;;;;887:264;;;;453:704;;;;;112:1047;;;;;;;;;;:::o;:::-;;;;;;;", "deployedSourceMap": "112:1047:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;848:19:29;870:10;;;;;;;;;;;848:32;;932:14;929:1;926;913:34;1031:1;1028;1012:14;1009:1;996:11;992:1;988:6;975:58;1067:16;1064:1;1061;1046:38;1104:7;1129:1;1124:38;;;;1195:16;1192:1;1185:27;1124:38;1143:16;1140:1;1133:27;748:18:1;;8:9:-1;5:2;;;30:1;27;20:12;5:2;748:18:1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;692:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;692:20:1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;772:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;772:35:1;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;772:35:1;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;205:25:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;205:25:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;658:28:1;;8:9:-1;5:2;;;30:1;27;20:12;5:2;658:28:1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;718:24;;8:9:-1;5:2;;;30:1;27;20:12;5:2;718:24:1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;748:18;;;;:::o;692:20::-;;;;;;;;;;;;;:::o;772:35::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;205:25:29:-;;;;;;;;;;;;;:::o;658:28:1:-;;;;;;;;;;;;;:::o;718:24::-;;;;;;;;;;;;;:::o", "source": "pragma solidity ^0.5.0;\nimport \"../Events/Event.sol\";\nimport \"@gnosis.pm/util-contracts/contracts/Proxy.sol\";\n\n\ncontract CategoricalEventProxy is Proxy, EventData {\n\n /// @dev Contract constructor validates and sets basic event properties\n /// @param _collateralToken Tokens used as collateral in exchange for outcome tokens\n /// @param _oracle Oracle contract used to resolve the event\n /// @param outcomeCount Number of event outcomes\n constructor(address proxied, address outcomeTokenMasterCopy, ERC20 _collateralToken, Oracle _oracle, uint8 outcomeCount)\n Proxy(proxied)\n public\n {\n // Validate input\n require(address(_collateralToken) != address(0) && address(_oracle) != address(0) && outcomeCount >= 2);\n collateralToken = _collateralToken;\n oracle = _oracle;\n // Create an outcome token for each outcome\n for (uint8 i = 0; i < outcomeCount; i++) {\n OutcomeToken outcomeToken = OutcomeToken(address(new OutcomeTokenProxy(outcomeTokenMasterCopy)));\n outcomeTokens.push(outcomeToken);\n emit OutcomeTokenCreation(outcomeToken, i);\n }\n }\n}\n\n/// @title Categorical event contract - Categorical events resolve to an outcome from a set of outcomes\n/// @author Stefan George - \ncontract CategoricalEvent is Proxied, Event {\n\n /*\n * Public functions\n */\n /// @dev Exchanges sender's winning outcome tokens for collateral tokens\n /// @return Sender's winnings\n function redeemWinnings()\n public\n returns (uint winnings)\n {\n // Winning outcome has to be set\n require(isOutcomeSet);\n // Calculate winnings\n winnings = outcomeTokens[uint(outcome)].balanceOf(msg.sender);\n // Revoke tokens from winning outcome\n outcomeTokens[uint(outcome)].revoke(msg.sender, winnings);\n // Payout winnings\n require(collateralToken.transfer(msg.sender, winnings));\n emit WinningsRedemption(msg.sender, winnings);\n }\n\n /// @dev Calculates and returns event hash\n /// @return Event hash\n function getEventHash()\n public\n view\n returns (bytes32)\n {\n return keccak256(abi.encodePacked(collateralToken, oracle, outcomeTokens.length));\n }\n}\n", "sourcePath": "/home/alan/src/github.com/gnosis/pm-contracts/contracts/Events/CategoricalEvent.sol", "ast": { "absolutePath": "/home/alan/src/github.com/gnosis/pm-contracts/contracts/Events/CategoricalEvent.sol", "exportedSymbols": { "CategoricalEvent": [ 158 ], "CategoricalEventProxy": [ 89 ] }, "id": 159, "nodeType": "SourceUnit", "nodes": [ { "id": 1, "literals": [ "solidity", "^", "0.5", ".0" ], "nodeType": "PragmaDirective", "src": "0:23:0" }, { "absolutePath": "/home/alan/src/github.com/gnosis/pm-contracts/contracts/Events/Event.sol", "file": "../Events/Event.sol", "id": 2, "nodeType": "ImportDirective", "scope": 159, "sourceUnit": 393, "src": "24:29:0", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@gnosis.pm/util-contracts/contracts/Proxy.sol", "file": "@gnosis.pm/util-contracts/contracts/Proxy.sol", "id": 3, "nodeType": "ImportDirective", "scope": 159, "sourceUnit": 6829, "src": "54:55:0", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 4, "name": "Proxy", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 6828, "src": "146:5:0", "typeDescriptions": { "typeIdentifier": "t_contract$_Proxy_$6828", "typeString": "contract Proxy" } }, "id": 5, "nodeType": "InheritanceSpecifier", "src": "146:5:0" }, { "arguments": null, "baseName": { "contractScope": null, "id": 6, "name": "EventData", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 204, "src": "153:9:0", "typeDescriptions": { "typeIdentifier": "t_contract$_EventData_$204", "typeString": "contract EventData" } }, "id": 7, "nodeType": "InheritanceSpecifier", "src": "153:9:0" } ], "contractDependencies": [ 204, 5721, 6798, 6828 ], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 89, "linearizedBaseContracts": [ 89, 204, 6828, 6798 ], "name": "CategoricalEventProxy", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 87, "nodeType": "Block", "src": "616:541:0", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 42, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 38, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 30, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 25, "name": "_collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13, "src": "668:16:0", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } ], "id": 24, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "660:7:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 26, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "660:25:0", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 28, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "697:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 27, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "689:7:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 29, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "689:10:0", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "src": "660:39:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 37, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 32, "name": "_oracle", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15, "src": "711:7:0", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } ], "id": 31, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "703:7:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 33, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "703:16:0", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 35, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "731:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 34, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "723:7:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 36, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "723:10:0", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "src": "703:30:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "660:73:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "id": 41, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 39, "name": "outcomeCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17, "src": "737:12:0", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "32", "id": 40, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "753:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "src": "737:17:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "660:94:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 23, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 7923, 7924 ], "referencedDeclaration": 7923, "src": "652:7:0", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 43, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "652:103:0", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 44, "nodeType": "ExpressionStatement", "src": "652:103:0" }, { "expression": { "argumentTypes": null, "id": 47, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 45, "name": "collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 194, "src": "765:15:0", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 46, "name": "_collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13, "src": "783:16:0", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "src": "765:34:0", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "id": 48, "nodeType": "ExpressionStatement", "src": "765:34:0" }, { "expression": { "argumentTypes": null, "id": 51, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 49, "name": "oracle", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 196, "src": "809:6:0", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 50, "name": "_oracle", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15, "src": "818:7:0", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "src": "809:16:0", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "id": 52, "nodeType": "ExpressionStatement", "src": "809:16:0" }, { "body": { "id": 85, "nodeType": "Block", "src": "928:223:0", "statements": [ { "assignments": [ 64 ], "declarations": [ { "constant": false, "id": 64, "name": "outcomeToken", "nodeType": "VariableDeclaration", "scope": 85, "src": "942:25:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" }, "typeName": { "contractScope": null, "id": 63, "name": "OutcomeToken", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 5793, "src": "942:12:0", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "value": null, "visibility": "internal" } ], "id": 73, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 69, "name": "outcomeTokenMasterCopy", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11, "src": "1013:22:0", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 68, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "NewExpression", "src": "991:21:0", "typeDescriptions": { "typeIdentifier": "t_function_creation_nonpayable$_t_address_$returns$_t_contract$_OutcomeTokenProxy_$5721_$", "typeString": "function (address) returns (contract OutcomeTokenProxy)" }, "typeName": { "contractScope": null, "id": 67, "name": "OutcomeTokenProxy", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 5721, "src": "995:17:0", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeTokenProxy_$5721", "typeString": "contract OutcomeTokenProxy" } } }, "id": 70, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "991:45:0", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeTokenProxy_$5721", "typeString": "contract OutcomeTokenProxy" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_OutcomeTokenProxy_$5721", "typeString": "contract OutcomeTokenProxy" } ], "id": 66, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "983:7:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 71, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "983:54:0", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" } ], "id": 65, "name": "OutcomeToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5793, "src": "970:12:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_OutcomeToken_$5793_$", "typeString": "type(contract OutcomeToken)" } }, "id": 72, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "970:68:0", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "nodeType": "VariableDeclarationStatement", "src": "942:96:0" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 77, "name": "outcomeToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 64, "src": "1071:12:0", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } ], "expression": { "argumentTypes": null, "id": 74, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "1052:13:0", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 76, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1052:18:0", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_contract$_OutcomeToken_$5793_$returns$_t_uint256_$", "typeString": "function (contract OutcomeToken) returns (uint256)" } }, "id": 78, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1052:32:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 79, "nodeType": "ExpressionStatement", "src": "1052:32:0" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 81, "name": "outcomeToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 64, "src": "1124:12:0", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, { "argumentTypes": null, "id": 82, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 54, "src": "1138:1:0", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" }, { "typeIdentifier": "t_uint8", "typeString": "uint8" } ], "id": 80, "name": "OutcomeTokenCreation", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 170, "src": "1103:20:0", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_contract$_OutcomeToken_$5793_$_t_uint8_$returns$__$", "typeString": "function (contract OutcomeToken,uint8)" } }, "id": 83, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1103:37:0", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 84, "nodeType": "EmitStatement", "src": "1098:42:0" } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "id": 59, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 57, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 54, "src": "905:1:0", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 58, "name": "outcomeCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17, "src": "909:12:0", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "src": "905:16:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 86, "initializationExpression": { "assignments": [ 54 ], "declarations": [ { "constant": false, "id": 54, "name": "i", "nodeType": "VariableDeclaration", "scope": 86, "src": "892:7:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 53, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "892:5:0", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": null, "visibility": "internal" } ], "id": 56, "initialValue": { "argumentTypes": null, "hexValue": "30", "id": 55, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "902:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "nodeType": "VariableDeclarationStatement", "src": "892:11:0" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 61, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "923:3:0", "subExpression": { "argumentTypes": null, "id": 60, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 54, "src": "923:1:0", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 62, "nodeType": "ExpressionStatement", "src": "923:3:0" }, "nodeType": "ForStatement", "src": "887:264:0" } ] }, "documentation": "@dev Contract constructor validates and sets basic event properties\n @param _collateralToken Tokens used as collateral in exchange for outcome tokens\n @param _oracle Oracle contract used to resolve the event\n @param outcomeCount Number of event outcomes", "id": 88, "implemented": true, "kind": "constructor", "modifiers": [ { "arguments": [ { "argumentTypes": null, "id": 20, "name": "proxied", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9, "src": "588:7:0", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "id": 21, "modifierName": { "argumentTypes": null, "id": 19, "name": "Proxy", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6828, "src": "582:5:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_Proxy_$6828_$", "typeString": "type(contract Proxy)" } }, "nodeType": "ModifierInvocation", "src": "582:14:0" } ], "name": "", "nodeType": "FunctionDefinition", "parameters": { "id": 18, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9, "name": "proxied", "nodeType": "VariableDeclaration", "scope": 88, "src": "465:15:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 8, "name": "address", "nodeType": "ElementaryTypeName", "src": "465:7:0", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11, "name": "outcomeTokenMasterCopy", "nodeType": "VariableDeclaration", "scope": 88, "src": "482:30:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10, "name": "address", "nodeType": "ElementaryTypeName", "src": "482:7:0", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 13, "name": "_collateralToken", "nodeType": "VariableDeclaration", "scope": 88, "src": "514:22:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" }, "typeName": { "contractScope": null, "id": 12, "name": "ERC20", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 7778, "src": "514:5:0", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 15, "name": "_oracle", "nodeType": "VariableDeclaration", "scope": 88, "src": "538:14:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" }, "typeName": { "contractScope": null, "id": 14, "name": "Oracle", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 4841, "src": "538:6:0", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 17, "name": "outcomeCount", "nodeType": "VariableDeclaration", "scope": 88, "src": "554:18:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 16, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "554:5:0", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": null, "visibility": "internal" } ], "src": "464:109:0" }, "returnParameters": { "id": 22, "nodeType": "ParameterList", "parameters": [], "src": "616:0:0" }, "scope": 89, "src": "453:704:0", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" } ], "scope": 159, "src": "112:1047:0" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 90, "name": "Proxied", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 6798, "src": "1341:7:0", "typeDescriptions": { "typeIdentifier": "t_contract$_Proxied_$6798", "typeString": "contract Proxied" } }, "id": 91, "nodeType": "InheritanceSpecifier", "src": "1341:7:0" }, { "arguments": null, "baseName": { "contractScope": null, "id": 92, "name": "Event", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 392, "src": "1350:5:0", "typeDescriptions": { "typeIdentifier": "t_contract$_Event_$392", "typeString": "contract Event" } }, "id": 93, "nodeType": "InheritanceSpecifier", "src": "1350:5:0" } ], "contractDependencies": [ 204, 392, 6798 ], "contractKind": "contract", "documentation": "@title Categorical event contract - Categorical events resolve to an outcome from a set of outcomes\n @author Stefan George - ", "fullyImplemented": true, "id": 158, "linearizedBaseContracts": [ 158, 392, 204, 6798 ], "name": "CategoricalEvent", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 140, "nodeType": "Block", "src": "1591:440:0", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 99, "name": "isOutcomeSet", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 198, "src": "1650:12:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 98, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 7923, 7924 ], "referencedDeclaration": 7923, "src": "1642:7:0", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 100, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1642:21:0", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 101, "nodeType": "ExpressionStatement", "src": "1642:21:0" }, { "expression": { "argumentTypes": null, "id": 112, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 102, "name": "winnings", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 96, "src": "1703:8:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 109, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "1753:3:0", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 110, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1753:10:0", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 103, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "1714:13:0", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 107, "indexExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 105, "name": "outcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 200, "src": "1733:7:0", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_int256", "typeString": "int256" } ], "id": 104, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1728:4:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint" }, "id": 106, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1728:13:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1714:28:0", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 108, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "balanceOf", "nodeType": "MemberAccess", "referencedDeclaration": 7422, "src": "1714:38:0", "typeDescriptions": { "typeIdentifier": "t_function_external_view$_t_address_$returns$_t_uint256_$", "typeString": "function (address) view external returns (uint256)" } }, "id": 111, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1714:50:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1703:61:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 113, "nodeType": "ExpressionStatement", "src": "1703:61:0" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 120, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "1856:3:0", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 121, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1856:10:0", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 122, "name": "winnings", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 96, "src": "1868:8:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 114, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "1820:13:0", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 118, "indexExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 116, "name": "outcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 200, "src": "1839:7:0", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_int256", "typeString": "int256" } ], "id": 115, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1834:4:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint" }, "id": 117, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1834:13:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1820:28:0", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 119, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "revoke", "nodeType": "MemberAccess", "referencedDeclaration": 5792, "src": "1820:35:0", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256) external" } }, "id": 123, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1820:57:0", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 124, "nodeType": "ExpressionStatement", "src": "1820:57:0" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 128, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "1947:3:0", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 129, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1947:10:0", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 130, "name": "winnings", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 96, "src": "1959:8:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 126, "name": "collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 194, "src": "1922:15:0", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "id": 127, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "transfer", "nodeType": "MemberAccess", "referencedDeclaration": 7441, "src": "1922:24:0", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_address_$_t_uint256_$returns$_t_bool_$", "typeString": "function (address,uint256) external returns (bool)" } }, "id": 131, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1922:46:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 125, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 7923, 7924 ], "referencedDeclaration": 7923, "src": "1914:7:0", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 132, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1914:55:0", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 133, "nodeType": "ExpressionStatement", "src": "1914:55:0" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 135, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "2003:3:0", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 136, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2003:10:0", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 137, "name": "winnings", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 96, "src": "2015:8:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 134, "name": "WinningsRedemption", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 192, "src": "1984:18:0", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 138, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1984:40:0", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 139, "nodeType": "EmitStatement", "src": "1979:45:0" } ] }, "documentation": "@dev Exchanges sender's winning outcome tokens for collateral tokens\n @return Sender's winnings", "id": 141, "implemented": true, "kind": "function", "modifiers": [], "name": "redeemWinnings", "nodeType": "FunctionDefinition", "parameters": { "id": 94, "nodeType": "ParameterList", "parameters": [], "src": "1537:2:0" }, "returnParameters": { "id": 97, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 96, "name": "winnings", "nodeType": "VariableDeclaration", "scope": 141, "src": "1572:13:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 95, "name": "uint", "nodeType": "ElementaryTypeName", "src": "1572:4:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1571:15:0" }, "scope": 158, "src": "1514:517:0", "stateMutability": "nonpayable", "superFunction": 391, "visibility": "public" }, { "body": { "id": 156, "nodeType": "Block", "src": "2193:98:0", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 149, "name": "collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 194, "src": "2237:15:0", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, { "argumentTypes": null, "id": 150, "name": "oracle", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 196, "src": "2254:6:0", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 151, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "2262:13:0", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 152, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2262:20:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" }, { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 147, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7907, "src": "2220:3:0", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 148, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2220:16:0", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 153, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2220:63:0", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 146, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7914, "src": "2210:9:0", "typeDescriptions": { "typeIdentifier": "t_function_keccak256_pure$_t_bytes_memory_ptr_$returns$_t_bytes32_$", "typeString": "function (bytes memory) pure returns (bytes32)" } }, "id": 154, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2210:74:0", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 145, "id": 155, "nodeType": "Return", "src": "2203:81:0" } ] }, "documentation": "@dev Calculates and returns event hash\n @return Event hash", "id": 157, "implemented": true, "kind": "function", "modifiers": [], "name": "getEventHash", "nodeType": "FunctionDefinition", "parameters": { "id": 142, "nodeType": "ParameterList", "parameters": [], "src": "2132:2:0" }, "returnParameters": { "id": 145, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 144, "name": "", "nodeType": "VariableDeclaration", "scope": 157, "src": "2180:7:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 143, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "2180:7:0", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "2179:9:0" }, "scope": 158, "src": "2111:180:0", "stateMutability": "view", "superFunction": 386, "visibility": "public" } ], "scope": 159, "src": "1312:981:0" } ], "src": "0:2294:0" }, "legacyAST": { "absolutePath": "/home/alan/src/github.com/gnosis/pm-contracts/contracts/Events/CategoricalEvent.sol", "exportedSymbols": { "CategoricalEvent": [ 158 ], "CategoricalEventProxy": [ 89 ] }, "id": 159, "nodeType": "SourceUnit", "nodes": [ { "id": 1, "literals": [ "solidity", "^", "0.5", ".0" ], "nodeType": "PragmaDirective", "src": "0:23:0" }, { "absolutePath": "/home/alan/src/github.com/gnosis/pm-contracts/contracts/Events/Event.sol", "file": "../Events/Event.sol", "id": 2, "nodeType": "ImportDirective", "scope": 159, "sourceUnit": 393, "src": "24:29:0", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@gnosis.pm/util-contracts/contracts/Proxy.sol", "file": "@gnosis.pm/util-contracts/contracts/Proxy.sol", "id": 3, "nodeType": "ImportDirective", "scope": 159, "sourceUnit": 6829, "src": "54:55:0", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 4, "name": "Proxy", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 6828, "src": "146:5:0", "typeDescriptions": { "typeIdentifier": "t_contract$_Proxy_$6828", "typeString": "contract Proxy" } }, "id": 5, "nodeType": "InheritanceSpecifier", "src": "146:5:0" }, { "arguments": null, "baseName": { "contractScope": null, "id": 6, "name": "EventData", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 204, "src": "153:9:0", "typeDescriptions": { "typeIdentifier": "t_contract$_EventData_$204", "typeString": "contract EventData" } }, "id": 7, "nodeType": "InheritanceSpecifier", "src": "153:9:0" } ], "contractDependencies": [ 204, 5721, 6798, 6828 ], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 89, "linearizedBaseContracts": [ 89, 204, 6828, 6798 ], "name": "CategoricalEventProxy", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 87, "nodeType": "Block", "src": "616:541:0", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 42, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 38, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 30, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 25, "name": "_collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13, "src": "668:16:0", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } ], "id": 24, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "660:7:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 26, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "660:25:0", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 28, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "697:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 27, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "689:7:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 29, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "689:10:0", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "src": "660:39:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 37, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 32, "name": "_oracle", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15, "src": "711:7:0", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } ], "id": 31, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "703:7:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 33, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "703:16:0", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 35, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "731:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 34, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "723:7:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 36, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "723:10:0", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "src": "703:30:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "660:73:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "id": 41, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 39, "name": "outcomeCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17, "src": "737:12:0", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "BinaryOperation", "operator": ">=", "rightExpression": { "argumentTypes": null, "hexValue": "32", "id": 40, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "753:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "src": "737:17:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "660:94:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 23, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 7923, 7924 ], "referencedDeclaration": 7923, "src": "652:7:0", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 43, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "652:103:0", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 44, "nodeType": "ExpressionStatement", "src": "652:103:0" }, { "expression": { "argumentTypes": null, "id": 47, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 45, "name": "collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 194, "src": "765:15:0", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 46, "name": "_collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 13, "src": "783:16:0", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "src": "765:34:0", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "id": 48, "nodeType": "ExpressionStatement", "src": "765:34:0" }, { "expression": { "argumentTypes": null, "id": 51, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 49, "name": "oracle", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 196, "src": "809:6:0", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 50, "name": "_oracle", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 15, "src": "818:7:0", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "src": "809:16:0", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "id": 52, "nodeType": "ExpressionStatement", "src": "809:16:0" }, { "body": { "id": 85, "nodeType": "Block", "src": "928:223:0", "statements": [ { "assignments": [ 64 ], "declarations": [ { "constant": false, "id": 64, "name": "outcomeToken", "nodeType": "VariableDeclaration", "scope": 85, "src": "942:25:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" }, "typeName": { "contractScope": null, "id": 63, "name": "OutcomeToken", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 5793, "src": "942:12:0", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "value": null, "visibility": "internal" } ], "id": 73, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 69, "name": "outcomeTokenMasterCopy", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 11, "src": "1013:22:0", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 68, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "NewExpression", "src": "991:21:0", "typeDescriptions": { "typeIdentifier": "t_function_creation_nonpayable$_t_address_$returns$_t_contract$_OutcomeTokenProxy_$5721_$", "typeString": "function (address) returns (contract OutcomeTokenProxy)" }, "typeName": { "contractScope": null, "id": 67, "name": "OutcomeTokenProxy", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 5721, "src": "995:17:0", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeTokenProxy_$5721", "typeString": "contract OutcomeTokenProxy" } } }, "id": 70, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "991:45:0", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeTokenProxy_$5721", "typeString": "contract OutcomeTokenProxy" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_OutcomeTokenProxy_$5721", "typeString": "contract OutcomeTokenProxy" } ], "id": 66, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "983:7:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 71, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "983:54:0", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" } ], "id": 65, "name": "OutcomeToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5793, "src": "970:12:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_OutcomeToken_$5793_$", "typeString": "type(contract OutcomeToken)" } }, "id": 72, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "970:68:0", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "nodeType": "VariableDeclarationStatement", "src": "942:96:0" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 77, "name": "outcomeToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 64, "src": "1071:12:0", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } ], "expression": { "argumentTypes": null, "id": 74, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "1052:13:0", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 76, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1052:18:0", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_contract$_OutcomeToken_$5793_$returns$_t_uint256_$", "typeString": "function (contract OutcomeToken) returns (uint256)" } }, "id": 78, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1052:32:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 79, "nodeType": "ExpressionStatement", "src": "1052:32:0" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 81, "name": "outcomeToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 64, "src": "1124:12:0", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, { "argumentTypes": null, "id": 82, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 54, "src": "1138:1:0", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" }, { "typeIdentifier": "t_uint8", "typeString": "uint8" } ], "id": 80, "name": "OutcomeTokenCreation", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 170, "src": "1103:20:0", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_contract$_OutcomeToken_$5793_$_t_uint8_$returns$__$", "typeString": "function (contract OutcomeToken,uint8)" } }, "id": 83, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1103:37:0", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 84, "nodeType": "EmitStatement", "src": "1098:42:0" } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "id": 59, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 57, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 54, "src": "905:1:0", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 58, "name": "outcomeCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 17, "src": "909:12:0", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "src": "905:16:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 86, "initializationExpression": { "assignments": [ 54 ], "declarations": [ { "constant": false, "id": 54, "name": "i", "nodeType": "VariableDeclaration", "scope": 86, "src": "892:7:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 53, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "892:5:0", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": null, "visibility": "internal" } ], "id": 56, "initialValue": { "argumentTypes": null, "hexValue": "30", "id": 55, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "902:1:0", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "nodeType": "VariableDeclarationStatement", "src": "892:11:0" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 61, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "923:3:0", "subExpression": { "argumentTypes": null, "id": 60, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 54, "src": "923:1:0", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 62, "nodeType": "ExpressionStatement", "src": "923:3:0" }, "nodeType": "ForStatement", "src": "887:264:0" } ] }, "documentation": "@dev Contract constructor validates and sets basic event properties\n @param _collateralToken Tokens used as collateral in exchange for outcome tokens\n @param _oracle Oracle contract used to resolve the event\n @param outcomeCount Number of event outcomes", "id": 88, "implemented": true, "kind": "constructor", "modifiers": [ { "arguments": [ { "argumentTypes": null, "id": 20, "name": "proxied", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 9, "src": "588:7:0", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "id": 21, "modifierName": { "argumentTypes": null, "id": 19, "name": "Proxy", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6828, "src": "582:5:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_Proxy_$6828_$", "typeString": "type(contract Proxy)" } }, "nodeType": "ModifierInvocation", "src": "582:14:0" } ], "name": "", "nodeType": "FunctionDefinition", "parameters": { "id": 18, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 9, "name": "proxied", "nodeType": "VariableDeclaration", "scope": 88, "src": "465:15:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 8, "name": "address", "nodeType": "ElementaryTypeName", "src": "465:7:0", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 11, "name": "outcomeTokenMasterCopy", "nodeType": "VariableDeclaration", "scope": 88, "src": "482:30:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 10, "name": "address", "nodeType": "ElementaryTypeName", "src": "482:7:0", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 13, "name": "_collateralToken", "nodeType": "VariableDeclaration", "scope": 88, "src": "514:22:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" }, "typeName": { "contractScope": null, "id": 12, "name": "ERC20", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 7778, "src": "514:5:0", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 15, "name": "_oracle", "nodeType": "VariableDeclaration", "scope": 88, "src": "538:14:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" }, "typeName": { "contractScope": null, "id": 14, "name": "Oracle", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 4841, "src": "538:6:0", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 17, "name": "outcomeCount", "nodeType": "VariableDeclaration", "scope": 88, "src": "554:18:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 16, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "554:5:0", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": null, "visibility": "internal" } ], "src": "464:109:0" }, "returnParameters": { "id": 22, "nodeType": "ParameterList", "parameters": [], "src": "616:0:0" }, "scope": 89, "src": "453:704:0", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" } ], "scope": 159, "src": "112:1047:0" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 90, "name": "Proxied", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 6798, "src": "1341:7:0", "typeDescriptions": { "typeIdentifier": "t_contract$_Proxied_$6798", "typeString": "contract Proxied" } }, "id": 91, "nodeType": "InheritanceSpecifier", "src": "1341:7:0" }, { "arguments": null, "baseName": { "contractScope": null, "id": 92, "name": "Event", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 392, "src": "1350:5:0", "typeDescriptions": { "typeIdentifier": "t_contract$_Event_$392", "typeString": "contract Event" } }, "id": 93, "nodeType": "InheritanceSpecifier", "src": "1350:5:0" } ], "contractDependencies": [ 204, 392, 6798 ], "contractKind": "contract", "documentation": "@title Categorical event contract - Categorical events resolve to an outcome from a set of outcomes\n @author Stefan George - ", "fullyImplemented": true, "id": 158, "linearizedBaseContracts": [ 158, 392, 204, 6798 ], "name": "CategoricalEvent", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 140, "nodeType": "Block", "src": "1591:440:0", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 99, "name": "isOutcomeSet", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 198, "src": "1650:12:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 98, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 7923, 7924 ], "referencedDeclaration": 7923, "src": "1642:7:0", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 100, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1642:21:0", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 101, "nodeType": "ExpressionStatement", "src": "1642:21:0" }, { "expression": { "argumentTypes": null, "id": 112, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 102, "name": "winnings", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 96, "src": "1703:8:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 109, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "1753:3:0", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 110, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1753:10:0", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 103, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "1714:13:0", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 107, "indexExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 105, "name": "outcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 200, "src": "1733:7:0", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_int256", "typeString": "int256" } ], "id": 104, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1728:4:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint" }, "id": 106, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1728:13:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1714:28:0", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 108, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "balanceOf", "nodeType": "MemberAccess", "referencedDeclaration": 7422, "src": "1714:38:0", "typeDescriptions": { "typeIdentifier": "t_function_external_view$_t_address_$returns$_t_uint256_$", "typeString": "function (address) view external returns (uint256)" } }, "id": 111, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1714:50:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1703:61:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 113, "nodeType": "ExpressionStatement", "src": "1703:61:0" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 120, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "1856:3:0", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 121, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1856:10:0", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 122, "name": "winnings", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 96, "src": "1868:8:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 114, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "1820:13:0", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 118, "indexExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 116, "name": "outcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 200, "src": "1839:7:0", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_int256", "typeString": "int256" } ], "id": 115, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1834:4:0", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint256_$", "typeString": "type(uint256)" }, "typeName": "uint" }, "id": 117, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1834:13:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1820:28:0", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 119, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "revoke", "nodeType": "MemberAccess", "referencedDeclaration": 5792, "src": "1820:35:0", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256) external" } }, "id": 123, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1820:57:0", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 124, "nodeType": "ExpressionStatement", "src": "1820:57:0" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 128, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "1947:3:0", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 129, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1947:10:0", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 130, "name": "winnings", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 96, "src": "1959:8:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 126, "name": "collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 194, "src": "1922:15:0", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "id": 127, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "transfer", "nodeType": "MemberAccess", "referencedDeclaration": 7441, "src": "1922:24:0", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_address_$_t_uint256_$returns$_t_bool_$", "typeString": "function (address,uint256) external returns (bool)" } }, "id": 131, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1922:46:0", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 125, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 7923, 7924 ], "referencedDeclaration": 7923, "src": "1914:7:0", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 132, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1914:55:0", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 133, "nodeType": "ExpressionStatement", "src": "1914:55:0" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 135, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "2003:3:0", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 136, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2003:10:0", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 137, "name": "winnings", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 96, "src": "2015:8:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 134, "name": "WinningsRedemption", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 192, "src": "1984:18:0", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 138, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1984:40:0", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 139, "nodeType": "EmitStatement", "src": "1979:45:0" } ] }, "documentation": "@dev Exchanges sender's winning outcome tokens for collateral tokens\n @return Sender's winnings", "id": 141, "implemented": true, "kind": "function", "modifiers": [], "name": "redeemWinnings", "nodeType": "FunctionDefinition", "parameters": { "id": 94, "nodeType": "ParameterList", "parameters": [], "src": "1537:2:0" }, "returnParameters": { "id": 97, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 96, "name": "winnings", "nodeType": "VariableDeclaration", "scope": 141, "src": "1572:13:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 95, "name": "uint", "nodeType": "ElementaryTypeName", "src": "1572:4:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1571:15:0" }, "scope": 158, "src": "1514:517:0", "stateMutability": "nonpayable", "superFunction": 391, "visibility": "public" }, { "body": { "id": 156, "nodeType": "Block", "src": "2193:98:0", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 149, "name": "collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 194, "src": "2237:15:0", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, { "argumentTypes": null, "id": 150, "name": "oracle", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 196, "src": "2254:6:0", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 151, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "2262:13:0", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 152, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2262:20:0", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" }, { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 147, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7907, "src": "2220:3:0", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 148, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2220:16:0", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 153, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2220:63:0", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 146, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7914, "src": "2210:9:0", "typeDescriptions": { "typeIdentifier": "t_function_keccak256_pure$_t_bytes_memory_ptr_$returns$_t_bytes32_$", "typeString": "function (bytes memory) pure returns (bytes32)" } }, "id": 154, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2210:74:0", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 145, "id": 155, "nodeType": "Return", "src": "2203:81:0" } ] }, "documentation": "@dev Calculates and returns event hash\n @return Event hash", "id": 157, "implemented": true, "kind": "function", "modifiers": [], "name": "getEventHash", "nodeType": "FunctionDefinition", "parameters": { "id": 142, "nodeType": "ParameterList", "parameters": [], "src": "2132:2:0" }, "returnParameters": { "id": 145, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 144, "name": "", "nodeType": "VariableDeclaration", "scope": 157, "src": "2180:7:0", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 143, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "2180:7:0", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "2179:9:0" }, "scope": 158, "src": "2111:180:0", "stateMutability": "view", "superFunction": 386, "visibility": "public" } ], "scope": 159, "src": "1312:981:0" } ], "src": "0:2294:0" }, "compiler": { "name": "solc", "version": "0.5.6+commit.b259423e.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.0.11", "updatedAt": "2019-09-20T17:46:52.107Z", "devdoc": { "methods": { "constructor": { "details": "Contract constructor validates and sets basic event properties", "params": { "_collateralToken": "Tokens used as collateral in exchange for outcome tokens", "_oracle": "Oracle contract used to resolve the event", "outcomeCount": "Number of event outcomes" } } } }, "userdoc": { "methods": {} } }