{ "contractName": "Event", "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": "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" }, { "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" }, { "constant": false, "inputs": [ { "name": "collateralTokenCount", "type": "uint256" } ], "name": "buyAllOutcomes", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [ { "name": "outcomeTokenCount", "type": "uint256" } ], "name": "sellAllOutcomes", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": false, "inputs": [], "name": "setOutcome", "outputs": [], "payable": false, "stateMutability": "nonpayable", "type": "function" }, { "constant": true, "inputs": [], "name": "getOutcomeCount", "outputs": [ { "name": "", "type": "uint8" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "getOutcomeTokens", "outputs": [ { "name": "", "type": "address[]" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "owner", "type": "address" } ], "name": "getOutcomeTokenDistribution", "outputs": [ { "name": "outcomeTokenDistribution", "type": "uint256[]" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "getEventHash", "outputs": [ { "name": "", "type": "bytes32" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": false, "inputs": [], "name": "redeemWinnings", "outputs": [ { "name": "", "type": "uint256" } ], "payable": false, "stateMutability": "nonpayable", "type": "function" } ], "metadata": "{\"compiler\":{\"version\":\"0.5.6+commit.b259423e\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"constant\":false,\"inputs\":[],\"name\":\"setOutcome\",\"outputs\":[],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"outcome\",\"outputs\":[{\"name\":\"\",\"type\":\"int256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":false,\"inputs\":[{\"name\":\"collateralTokenCount\",\"type\":\"uint256\"}],\"name\":\"buyAllOutcomes\",\"outputs\":[],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[{\"name\":\"owner\",\"type\":\"address\"}],\"name\":\"getOutcomeTokenDistribution\",\"outputs\":[{\"name\":\"outcomeTokenDistribution\",\"type\":\"uint256[]\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":false,\"inputs\":[{\"name\":\"outcomeTokenCount\",\"type\":\"uint256\"}],\"name\":\"sellAllOutcomes\",\"outputs\":[],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"oracle\",\"outputs\":[{\"name\":\"\",\"type\":\"address\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"getOutcomeCount\",\"outputs\":[{\"name\":\"\",\"type\":\"uint8\"}],\"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\":false,\"inputs\":[],\"name\":\"redeemWinnings\",\"outputs\":[{\"name\":\"\",\"type\":\"uint256\"}],\"payable\":false,\"stateMutability\":\"nonpayable\",\"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\"},{\"constant\":true,\"inputs\":[],\"name\":\"getEventHash\",\"outputs\":[{\"name\":\"\",\"type\":\"bytes32\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"getOutcomeTokens\",\"outputs\":[{\"name\":\"\",\"type\":\"address[]\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"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\":{\"author\":\"Stefan George - \",\"methods\":{\"buyAllOutcomes(uint256)\":{\"details\":\"Buys equal number of tokens of all outcomes, exchanging collateral tokens and sets of outcome tokens 1:1\",\"params\":{\"collateralTokenCount\":\"Number of collateral tokens\"}},\"getEventHash()\":{\"details\":\"Calculates and returns event hash\",\"return\":\"Event hash\"},\"getOutcomeCount()\":{\"details\":\"Returns outcome count\",\"return\":\"Outcome count\"},\"getOutcomeTokenDistribution(address)\":{\"details\":\"Returns the amount of outcome tokens held by owner\",\"return\":\"Outcome token distribution\"},\"getOutcomeTokens()\":{\"details\":\"Returns outcome tokens array\",\"return\":\"Outcome tokens\"},\"redeemWinnings()\":{\"details\":\"Exchanges sender's winning outcome tokens for collateral tokens\",\"return\":\"Sender's winnings\"},\"sellAllOutcomes(uint256)\":{\"details\":\"Sells equal number of tokens of all outcomes, exchanging collateral tokens and sets of outcome tokens 1:1\",\"params\":{\"outcomeTokenCount\":\"Number of outcome tokens\"}},\"setOutcome()\":{\"details\":\"Sets winning event outcome\"}},\"title\":\"Event contract - Provide basic functionality required by different event types\"},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"/home/alan/src/github.com/gnosis/pm-contracts/contracts/Events/Event.sol\":\"Event\"},\"evmVersion\":\"petersburg\",\"libraries\":{},\"optimizer\":{\"enabled\":false,\"runs\":200},\"remappings\":[]},\"sources\":{\"/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": "0x", "deployedBytecode": "0x", "sourceMap": "", "deployedSourceMap": "", "source": "pragma solidity ^0.5.0;\nimport \"openzeppelin-solidity/contracts/token/ERC20/ERC20.sol\";\nimport \"../Tokens/OutcomeToken.sol\";\nimport \"../Oracles/Oracle.sol\";\nimport \"@gnosis.pm/util-contracts/contracts/Proxy.sol\";\n\n\ncontract EventData {\n\n /*\n * Events\n */\n event OutcomeTokenCreation(OutcomeToken outcomeToken, uint8 index);\n event OutcomeTokenSetIssuance(address indexed buyer, uint collateralTokenCount);\n event OutcomeTokenSetRevocation(address indexed seller, uint outcomeTokenCount);\n event OutcomeAssignment(int outcome);\n event WinningsRedemption(address indexed receiver, uint winnings);\n\n /*\n * Storage\n */\n ERC20 public collateralToken;\n Oracle public oracle;\n bool public isOutcomeSet;\n int public outcome;\n OutcomeToken[] public outcomeTokens;\n}\n\n/// @title Event contract - Provide basic functionality required by different event types\n/// @author Stefan George - \ncontract Event is EventData {\n\n /*\n * Public functions\n */\n /// @dev Buys equal number of tokens of all outcomes, exchanging collateral tokens and sets of outcome tokens 1:1\n /// @param collateralTokenCount Number of collateral tokens\n function buyAllOutcomes(uint collateralTokenCount)\n public\n {\n // Transfer collateral tokens to events contract\n require(collateralToken.transferFrom(msg.sender, address(this), collateralTokenCount));\n // Issue new outcome tokens to sender\n for (uint8 i = 0; i < outcomeTokens.length; i++)\n outcomeTokens[i].issue(msg.sender, collateralTokenCount);\n emit OutcomeTokenSetIssuance(msg.sender, collateralTokenCount);\n }\n\n /// @dev Sells equal number of tokens of all outcomes, exchanging collateral tokens and sets of outcome tokens 1:1\n /// @param outcomeTokenCount Number of outcome tokens\n function sellAllOutcomes(uint outcomeTokenCount)\n public\n {\n // Revoke sender's outcome tokens of all outcomes\n for (uint8 i = 0; i < outcomeTokens.length; i++)\n outcomeTokens[i].revoke(msg.sender, outcomeTokenCount);\n // Transfer collateral tokens to sender\n require(collateralToken.transfer(msg.sender, outcomeTokenCount));\n emit OutcomeTokenSetRevocation(msg.sender, outcomeTokenCount);\n }\n\n /// @dev Sets winning event outcome\n function setOutcome()\n public\n {\n // Winning outcome is not set yet in event contract but in oracle contract\n require(!isOutcomeSet && oracle.isOutcomeSet());\n // Set winning outcome\n outcome = oracle.getOutcome();\n isOutcomeSet = true;\n emit OutcomeAssignment(outcome);\n }\n\n /// @dev Returns outcome count\n /// @return Outcome count\n function getOutcomeCount()\n public\n view\n returns (uint8)\n {\n return uint8(outcomeTokens.length);\n }\n\n /// @dev Returns outcome tokens array\n /// @return Outcome tokens\n function getOutcomeTokens()\n public\n view\n returns (OutcomeToken[] memory)\n {\n return outcomeTokens;\n }\n\n /// @dev Returns the amount of outcome tokens held by owner\n /// @return Outcome token distribution\n function getOutcomeTokenDistribution(address owner)\n public\n view\n returns (uint[] memory outcomeTokenDistribution)\n {\n outcomeTokenDistribution = new uint[](outcomeTokens.length);\n for (uint8 i = 0; i < outcomeTokenDistribution.length; i++)\n outcomeTokenDistribution[i] = outcomeTokens[i].balanceOf(owner);\n }\n\n /// @dev Calculates and returns event hash\n /// @return Event hash\n function getEventHash() public view returns (bytes32);\n\n /// @dev Exchanges sender's winning outcome tokens for collateral tokens\n /// @return Sender's winnings\n function redeemWinnings() public returns (uint);\n}\n", "sourcePath": "/home/alan/src/github.com/gnosis/pm-contracts/contracts/Events/Event.sol", "ast": { "absolutePath": "/home/alan/src/github.com/gnosis/pm-contracts/contracts/Events/Event.sol", "exportedSymbols": { "Event": [ 392 ], "EventData": [ 204 ] }, "id": 393, "nodeType": "SourceUnit", "nodes": [ { "id": 160, "literals": [ "solidity", "^", "0.5", ".0" ], "nodeType": "PragmaDirective", "src": "0:23:1" }, { "absolutePath": "openzeppelin-solidity/contracts/token/ERC20/ERC20.sol", "file": "openzeppelin-solidity/contracts/token/ERC20/ERC20.sol", "id": 161, "nodeType": "ImportDirective", "scope": 393, "sourceUnit": 7779, "src": "24:63:1", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/home/alan/src/github.com/gnosis/pm-contracts/contracts/Tokens/OutcomeToken.sol", "file": "../Tokens/OutcomeToken.sol", "id": 162, "nodeType": "ImportDirective", "scope": 393, "sourceUnit": 5794, "src": "88:36:1", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/home/alan/src/github.com/gnosis/pm-contracts/contracts/Oracles/Oracle.sol", "file": "../Oracles/Oracle.sol", "id": 163, "nodeType": "ImportDirective", "scope": 393, "sourceUnit": 4842, "src": "125:31:1", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@gnosis.pm/util-contracts/contracts/Proxy.sol", "file": "@gnosis.pm/util-contracts/contracts/Proxy.sol", "id": 164, "nodeType": "ImportDirective", "scope": 393, "sourceUnit": 6829, "src": "157:55:1", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 204, "linearizedBaseContracts": [ 204 ], "name": "EventData", "nodeType": "ContractDefinition", "nodes": [ { "anonymous": false, "documentation": null, "id": 170, "name": "OutcomeTokenCreation", "nodeType": "EventDefinition", "parameters": { "id": 169, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 166, "indexed": false, "name": "outcomeToken", "nodeType": "VariableDeclaration", "scope": 170, "src": "298:25:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" }, "typeName": { "contractScope": null, "id": 165, "name": "OutcomeToken", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 5793, "src": "298:12:1", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 168, "indexed": false, "name": "index", "nodeType": "VariableDeclaration", "scope": 170, "src": "325:11:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 167, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "325:5:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": null, "visibility": "internal" } ], "src": "297:40:1" }, "src": "271:67:1" }, { "anonymous": false, "documentation": null, "id": 176, "name": "OutcomeTokenSetIssuance", "nodeType": "EventDefinition", "parameters": { "id": 175, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 172, "indexed": true, "name": "buyer", "nodeType": "VariableDeclaration", "scope": 176, "src": "373:21:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 171, "name": "address", "nodeType": "ElementaryTypeName", "src": "373:7:1", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 174, "indexed": false, "name": "collateralTokenCount", "nodeType": "VariableDeclaration", "scope": 176, "src": "396:25:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 173, "name": "uint", "nodeType": "ElementaryTypeName", "src": "396:4:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "372:50:1" }, "src": "343:80:1" }, { "anonymous": false, "documentation": null, "id": 182, "name": "OutcomeTokenSetRevocation", "nodeType": "EventDefinition", "parameters": { "id": 181, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 178, "indexed": true, "name": "seller", "nodeType": "VariableDeclaration", "scope": 182, "src": "460:22:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 177, "name": "address", "nodeType": "ElementaryTypeName", "src": "460:7:1", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 180, "indexed": false, "name": "outcomeTokenCount", "nodeType": "VariableDeclaration", "scope": 182, "src": "484:22:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 179, "name": "uint", "nodeType": "ElementaryTypeName", "src": "484:4:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "459:48:1" }, "src": "428:80:1" }, { "anonymous": false, "documentation": null, "id": 186, "name": "OutcomeAssignment", "nodeType": "EventDefinition", "parameters": { "id": 185, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 184, "indexed": false, "name": "outcome", "nodeType": "VariableDeclaration", "scope": 186, "src": "537:11:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 183, "name": "int", "nodeType": "ElementaryTypeName", "src": "537:3:1", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "536:13:1" }, "src": "513:37:1" }, { "anonymous": false, "documentation": null, "id": 192, "name": "WinningsRedemption", "nodeType": "EventDefinition", "parameters": { "id": 191, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 188, "indexed": true, "name": "receiver", "nodeType": "VariableDeclaration", "scope": 192, "src": "580:24:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 187, "name": "address", "nodeType": "ElementaryTypeName", "src": "580:7:1", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 190, "indexed": false, "name": "winnings", "nodeType": "VariableDeclaration", "scope": 192, "src": "606:13:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 189, "name": "uint", "nodeType": "ElementaryTypeName", "src": "606:4:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "579:41:1" }, "src": "555:66:1" }, { "constant": false, "id": 194, "name": "collateralToken", "nodeType": "VariableDeclaration", "scope": 204, "src": "658:28:1", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" }, "typeName": { "contractScope": null, "id": 193, "name": "ERC20", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 7778, "src": "658:5:1", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 196, "name": "oracle", "nodeType": "VariableDeclaration", "scope": 204, "src": "692:20:1", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" }, "typeName": { "contractScope": null, "id": 195, "name": "Oracle", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 4841, "src": "692:6:1", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 198, "name": "isOutcomeSet", "nodeType": "VariableDeclaration", "scope": 204, "src": "718:24:1", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 197, "name": "bool", "nodeType": "ElementaryTypeName", "src": "718:4:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 200, "name": "outcome", "nodeType": "VariableDeclaration", "scope": 204, "src": "748:18:1", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 199, "name": "int", "nodeType": "ElementaryTypeName", "src": "748:3:1", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 203, "name": "outcomeTokens", "nodeType": "VariableDeclaration", "scope": 204, "src": "772:35:1", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[]" }, "typeName": { "baseType": { "contractScope": null, "id": 201, "name": "OutcomeToken", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 5793, "src": "772:12:1", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 202, "length": null, "nodeType": "ArrayTypeName", "src": "772:14:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage_ptr", "typeString": "contract OutcomeToken[]" } }, "value": null, "visibility": "public" } ], "scope": 393, "src": "215:595:1" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 205, "name": "EventData", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 204, "src": "967:9:1", "typeDescriptions": { "typeIdentifier": "t_contract$_EventData_$204", "typeString": "contract EventData" } }, "id": 206, "nodeType": "InheritanceSpecifier", "src": "967:9:1" } ], "contractDependencies": [ 204 ], "contractKind": "contract", "documentation": "@title Event contract - Provide basic functionality required by different event types\n @author Stefan George - ", "fullyImplemented": false, "id": 392, "linearizedBaseContracts": [ 392, 204 ], "name": "Event", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 250, "nodeType": "Block", "src": "1276:405:1", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 214, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "1380:3:1", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 215, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1380:10:1", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 217, "name": "this", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7952, "src": "1400:4:1", "typeDescriptions": { "typeIdentifier": "t_contract$_Event_$392", "typeString": "contract Event" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_Event_$392", "typeString": "contract Event" } ], "id": 216, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1392:7:1", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 218, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1392:13:1", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 219, "name": "collateralTokenCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 208, "src": "1407:20:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 212, "name": "collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 194, "src": "1351:15:1", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "id": 213, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "transferFrom", "nodeType": "MemberAccess", "referencedDeclaration": 7511, "src": "1351:28:1", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$_t_bool_$", "typeString": "function (address,address,uint256) external returns (bool)" } }, "id": 220, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1351:77:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 211, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 7923, 7924 ], "referencedDeclaration": 7923, "src": "1343:7:1", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 221, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1343:86:1", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 222, "nodeType": "ExpressionStatement", "src": "1343:86:1" }, { "body": { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 238, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "1569:3:1", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 239, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1569:10:1", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 240, "name": "collateralTokenCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 208, "src": "1581:20:1", "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": 234, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "1546:13:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 236, "indexExpression": { "argumentTypes": null, "id": 235, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 224, "src": "1560:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1546:16:1", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 237, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "issue", "nodeType": "MemberAccess", "referencedDeclaration": 5772, "src": "1546:22:1", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256) external" } }, "id": 241, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1546:56:1", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 242, "nodeType": "ExpressionStatement", "src": "1546:56:1" }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 230, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 227, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 224, "src": "1503:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 228, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "1507:13:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 229, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1507:20:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1503:24:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 243, "initializationExpression": { "assignments": [ 224 ], "declarations": [ { "constant": false, "id": 224, "name": "i", "nodeType": "VariableDeclaration", "scope": 243, "src": "1490:7:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 223, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "1490:5:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": null, "visibility": "internal" } ], "id": 226, "initialValue": { "argumentTypes": null, "hexValue": "30", "id": 225, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1500:1:1", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "nodeType": "VariableDeclarationStatement", "src": "1490:11:1" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 232, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "1529:3:1", "subExpression": { "argumentTypes": null, "id": 231, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 224, "src": "1529:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 233, "nodeType": "ExpressionStatement", "src": "1529:3:1" }, "nodeType": "ForStatement", "src": "1485:117:1" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 245, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "1641:3:1", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 246, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1641:10:1", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 247, "name": "collateralTokenCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 208, "src": "1653:20:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 244, "name": "OutcomeTokenSetIssuance", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 176, "src": "1617:23:1", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 248, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1617:57:1", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 249, "nodeType": "EmitStatement", "src": "1612:62:1" } ] }, "documentation": "@dev Buys equal number of tokens of all outcomes, exchanging collateral tokens and sets of outcome tokens 1:1\n @param collateralTokenCount Number of collateral tokens", "id": 251, "implemented": true, "kind": "function", "modifiers": [], "name": "buyAllOutcomes", "nodeType": "FunctionDefinition", "parameters": { "id": 209, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 208, "name": "collateralTokenCount", "nodeType": "VariableDeclaration", "scope": 251, "src": "1230:25:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 207, "name": "uint", "nodeType": "ElementaryTypeName", "src": "1230:4:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1229:27:1" }, "returnParameters": { "id": 210, "nodeType": "ParameterList", "parameters": [], "src": "1276:0:1" }, "scope": 392, "src": "1206:475:1", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 292, "nodeType": "Block", "src": "1932:383:1", "statements": [ { "body": { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 271, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "2085:3:1", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 272, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2085:10:1", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 273, "name": "outcomeTokenCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 253, "src": "2097:17:1", "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": 267, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "2061:13:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 269, "indexExpression": { "argumentTypes": null, "id": 268, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 257, "src": "2075:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2061:16:1", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 270, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "revoke", "nodeType": "MemberAccess", "referencedDeclaration": 5792, "src": "2061:23:1", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256) external" } }, "id": 274, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2061:54:1", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 275, "nodeType": "ExpressionStatement", "src": "2061:54:1" }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 263, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 260, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 257, "src": "2018:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 261, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "2022:13:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 262, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2022:20:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2018:24:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 276, "initializationExpression": { "assignments": [ 257 ], "declarations": [ { "constant": false, "id": 257, "name": "i", "nodeType": "VariableDeclaration", "scope": 276, "src": "2005:7:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 256, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "2005:5:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": null, "visibility": "internal" } ], "id": 259, "initialValue": { "argumentTypes": null, "hexValue": "30", "id": 258, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2015:1:1", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "nodeType": "VariableDeclarationStatement", "src": "2005:11:1" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 265, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "2044:3:1", "subExpression": { "argumentTypes": null, "id": 264, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 257, "src": "2044:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 266, "nodeType": "ExpressionStatement", "src": "2044:3:1" }, "nodeType": "ForStatement", "src": "2000:115:1" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 280, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "2206:3:1", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 281, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2206:10:1", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 282, "name": "outcomeTokenCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 253, "src": "2218:17:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 278, "name": "collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 194, "src": "2181:15:1", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "id": 279, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "transfer", "nodeType": "MemberAccess", "referencedDeclaration": 7441, "src": "2181:24:1", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_address_$_t_uint256_$returns$_t_bool_$", "typeString": "function (address,uint256) external returns (bool)" } }, "id": 283, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2181:55:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 277, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 7923, 7924 ], "referencedDeclaration": 7923, "src": "2173:7:1", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 284, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2173:64:1", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 285, "nodeType": "ExpressionStatement", "src": "2173:64:1" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 287, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "2278:3:1", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 288, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2278:10:1", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 289, "name": "outcomeTokenCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 253, "src": "2290:17:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 286, "name": "OutcomeTokenSetRevocation", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 182, "src": "2252:25:1", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 290, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2252:56:1", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 291, "nodeType": "EmitStatement", "src": "2247:61:1" } ] }, "documentation": "@dev Sells equal number of tokens of all outcomes, exchanging collateral tokens and sets of outcome tokens 1:1\n @param outcomeTokenCount Number of outcome tokens", "id": 293, "implemented": true, "kind": "function", "modifiers": [], "name": "sellAllOutcomes", "nodeType": "FunctionDefinition", "parameters": { "id": 254, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 253, "name": "outcomeTokenCount", "nodeType": "VariableDeclaration", "scope": 293, "src": "1889:22:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 252, "name": "uint", "nodeType": "ElementaryTypeName", "src": "1889:4:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1888:24:1" }, "returnParameters": { "id": 255, "nodeType": "ParameterList", "parameters": [], "src": "1932:0:1" }, "scope": 392, "src": "1864:451:1", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 319, "nodeType": "Block", "src": "2402:287:1", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 302, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 298, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "2503:13:1", "subExpression": { "argumentTypes": null, "id": 297, "name": "isOutcomeSet", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 198, "src": "2504:12:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "id": 299, "name": "oracle", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 196, "src": "2520:6:1", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "id": 300, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "isOutcomeSet", "nodeType": "MemberAccess", "referencedDeclaration": 4835, "src": "2520:19:1", "typeDescriptions": { "typeIdentifier": "t_function_external_view$__$returns$_t_bool_$", "typeString": "function () view external returns (bool)" } }, "id": 301, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2520:21:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "2503:38:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 296, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 7923, 7924 ], "referencedDeclaration": 7923, "src": "2495:7:1", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 303, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2495:47:1", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 304, "nodeType": "ExpressionStatement", "src": "2495:47:1" }, { "expression": { "argumentTypes": null, "id": 309, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 305, "name": "outcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 200, "src": "2583:7:1", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "id": 306, "name": "oracle", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 196, "src": "2593:6:1", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "id": 307, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "getOutcome", "nodeType": "MemberAccess", "referencedDeclaration": 4840, "src": "2593:17:1", "typeDescriptions": { "typeIdentifier": "t_function_external_view$__$returns$_t_int256_$", "typeString": "function () view external returns (int256)" } }, "id": 308, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2593:19:1", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2583:29:1", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 310, "nodeType": "ExpressionStatement", "src": "2583:29:1" }, { "expression": { "argumentTypes": null, "id": 313, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 311, "name": "isOutcomeSet", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 198, "src": "2622:12:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "74727565", "id": 312, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2637:4:1", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "src": "2622:19:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 314, "nodeType": "ExpressionStatement", "src": "2622:19:1" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 316, "name": "outcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 200, "src": "2674:7:1", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_int256", "typeString": "int256" } ], "id": 315, "name": "OutcomeAssignment", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 186, "src": "2656:17:1", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_int256_$returns$__$", "typeString": "function (int256)" } }, "id": 317, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2656:26:1", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 318, "nodeType": "EmitStatement", "src": "2651:31:1" } ] }, "documentation": "@dev Sets winning event outcome", "id": 320, "implemented": true, "kind": "function", "modifiers": [], "name": "setOutcome", "nodeType": "FunctionDefinition", "parameters": { "id": 294, "nodeType": "ParameterList", "parameters": [], "src": "2380:2:1" }, "returnParameters": { "id": 295, "nodeType": "ParameterList", "parameters": [], "src": "2402:0:1" }, "scope": 392, "src": "2361:328:1", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 330, "nodeType": "Block", "src": "2843:51:1", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 326, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "2866:13:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 327, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2866:20:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 325, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "2860:5:1", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint8_$", "typeString": "type(uint8)" }, "typeName": "uint8" }, "id": 328, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2860:27:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "functionReturnParameters": 324, "id": 329, "nodeType": "Return", "src": "2853:34:1" } ] }, "documentation": "@dev Returns outcome count\n @return Outcome count", "id": 331, "implemented": true, "kind": "function", "modifiers": [], "name": "getOutcomeCount", "nodeType": "FunctionDefinition", "parameters": { "id": 321, "nodeType": "ParameterList", "parameters": [], "src": "2784:2:1" }, "returnParameters": { "id": 324, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 323, "name": "", "nodeType": "VariableDeclaration", "scope": 331, "src": "2832:5:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 322, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "2832:5:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": null, "visibility": "internal" } ], "src": "2831:7:1" }, "scope": 392, "src": "2760:134:1", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 339, "nodeType": "Block", "src": "3073:37:1", "statements": [ { "expression": { "argumentTypes": null, "id": 337, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "3090:13:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "functionReturnParameters": 336, "id": 338, "nodeType": "Return", "src": "3083:20:1" } ] }, "documentation": "@dev Returns outcome tokens array\n @return Outcome tokens", "id": 340, "implemented": true, "kind": "function", "modifiers": [], "name": "getOutcomeTokens", "nodeType": "FunctionDefinition", "parameters": { "id": 332, "nodeType": "ParameterList", "parameters": [], "src": "2998:2:1" }, "returnParameters": { "id": 336, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 335, "name": "", "nodeType": "VariableDeclaration", "scope": 340, "src": "3046:21:1", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_memory_ptr", "typeString": "contract OutcomeToken[]" }, "typeName": { "baseType": { "contractScope": null, "id": 333, "name": "OutcomeToken", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 5793, "src": "3046:12:1", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 334, "length": null, "nodeType": "ArrayTypeName", "src": "3046:14:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage_ptr", "typeString": "contract OutcomeToken[]" } }, "value": null, "visibility": "internal" } ], "src": "3045:23:1" }, "scope": 392, "src": "2973:137:1", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 380, "nodeType": "Block", "src": "3364:221:1", "statements": [ { "expression": { "argumentTypes": null, "id": 355, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 348, "name": "outcomeTokenDistribution", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 346, "src": "3374:24:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[] memory" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 352, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "3412:13:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 353, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3412:20:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 351, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "NewExpression", "src": "3401:10:1", "typeDescriptions": { "typeIdentifier": "t_function_objectcreation_pure$_t_uint256_$returns$_t_array$_t_uint256_$dyn_memory_$", "typeString": "function (uint256) pure returns (uint256[] memory)" }, "typeName": { "baseType": { "id": 349, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3405:4:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 350, "length": null, "nodeType": "ArrayTypeName", "src": "3405:6:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } } }, "id": 354, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3401:32:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory", "typeString": "uint256[] memory" } }, "src": "3374:59:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[] memory" } }, "id": 356, "nodeType": "ExpressionStatement", "src": "3374:59:1" }, { "body": { "expression": { "argumentTypes": null, "id": 377, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 368, "name": "outcomeTokenDistribution", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 346, "src": "3515:24:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[] memory" } }, "id": 370, "indexExpression": { "argumentTypes": null, "id": 369, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 358, "src": "3540:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "3515:27:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 375, "name": "owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 342, "src": "3572:5:1", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 371, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "3545:13:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 373, "indexExpression": { "argumentTypes": null, "id": 372, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 358, "src": "3559:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3545:16:1", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 374, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "balanceOf", "nodeType": "MemberAccess", "referencedDeclaration": 7422, "src": "3545:26:1", "typeDescriptions": { "typeIdentifier": "t_function_external_view$_t_address_$returns$_t_uint256_$", "typeString": "function (address) view external returns (uint256)" } }, "id": 376, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3545:33:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3515:63:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 378, "nodeType": "ExpressionStatement", "src": "3515:63:1" }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 364, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 361, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 358, "src": "3461:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 362, "name": "outcomeTokenDistribution", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 346, "src": "3465:24:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[] memory" } }, "id": 363, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3465:31:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3461:35:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 379, "initializationExpression": { "assignments": [ 358 ], "declarations": [ { "constant": false, "id": 358, "name": "i", "nodeType": "VariableDeclaration", "scope": 379, "src": "3448:7:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 357, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "3448:5:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": null, "visibility": "internal" } ], "id": 360, "initialValue": { "argumentTypes": null, "hexValue": "30", "id": 359, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3458:1:1", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "nodeType": "VariableDeclarationStatement", "src": "3448:11:1" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 366, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "3498:3:1", "subExpression": { "argumentTypes": null, "id": 365, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 358, "src": "3498:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 367, "nodeType": "ExpressionStatement", "src": "3498:3:1" }, "nodeType": "ForStatement", "src": "3443:135:1" } ] }, "documentation": "@dev Returns the amount of outcome tokens held by owner\n @return Outcome token distribution", "id": 381, "implemented": true, "kind": "function", "modifiers": [], "name": "getOutcomeTokenDistribution", "nodeType": "FunctionDefinition", "parameters": { "id": 343, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 342, "name": "owner", "nodeType": "VariableDeclaration", "scope": 381, "src": "3260:13:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 341, "name": "address", "nodeType": "ElementaryTypeName", "src": "3260:7:1", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "3259:15:1" }, "returnParameters": { "id": 347, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 346, "name": "outcomeTokenDistribution", "nodeType": "VariableDeclaration", "scope": 381, "src": "3320:38:1", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[]" }, "typeName": { "baseType": { "id": 344, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3320:4:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 345, "length": null, "nodeType": "ArrayTypeName", "src": "3320:6:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } }, "value": null, "visibility": "internal" } ], "src": "3319:40:1" }, "scope": 392, "src": "3223:362:1", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": null, "documentation": "@dev Calculates and returns event hash\n @return Event hash", "id": 386, "implemented": false, "kind": "function", "modifiers": [], "name": "getEventHash", "nodeType": "FunctionDefinition", "parameters": { "id": 382, "nodeType": "ParameterList", "parameters": [], "src": "3686:2:1" }, "returnParameters": { "id": 385, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 384, "name": "", "nodeType": "VariableDeclaration", "scope": 386, "src": "3710:7:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 383, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3710:7:1", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "3709:9:1" }, "scope": 392, "src": "3665:54:1", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": null, "documentation": "@dev Exchanges sender's winning outcome tokens for collateral tokens\n @return Sender's winnings", "id": 391, "implemented": false, "kind": "function", "modifiers": [], "name": "redeemWinnings", "nodeType": "FunctionDefinition", "parameters": { "id": 387, "nodeType": "ParameterList", "parameters": [], "src": "3859:2:1" }, "returnParameters": { "id": 390, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 389, "name": "", "nodeType": "VariableDeclaration", "scope": 391, "src": "3878:4:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 388, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3878:4:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3877:6:1" }, "scope": 392, "src": "3836:48:1", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" } ], "scope": 393, "src": "949:2937:1" } ], "src": "0:3887:1" }, "legacyAST": { "absolutePath": "/home/alan/src/github.com/gnosis/pm-contracts/contracts/Events/Event.sol", "exportedSymbols": { "Event": [ 392 ], "EventData": [ 204 ] }, "id": 393, "nodeType": "SourceUnit", "nodes": [ { "id": 160, "literals": [ "solidity", "^", "0.5", ".0" ], "nodeType": "PragmaDirective", "src": "0:23:1" }, { "absolutePath": "openzeppelin-solidity/contracts/token/ERC20/ERC20.sol", "file": "openzeppelin-solidity/contracts/token/ERC20/ERC20.sol", "id": 161, "nodeType": "ImportDirective", "scope": 393, "sourceUnit": 7779, "src": "24:63:1", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/home/alan/src/github.com/gnosis/pm-contracts/contracts/Tokens/OutcomeToken.sol", "file": "../Tokens/OutcomeToken.sol", "id": 162, "nodeType": "ImportDirective", "scope": 393, "sourceUnit": 5794, "src": "88:36:1", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "/home/alan/src/github.com/gnosis/pm-contracts/contracts/Oracles/Oracle.sol", "file": "../Oracles/Oracle.sol", "id": 163, "nodeType": "ImportDirective", "scope": 393, "sourceUnit": 4842, "src": "125:31:1", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@gnosis.pm/util-contracts/contracts/Proxy.sol", "file": "@gnosis.pm/util-contracts/contracts/Proxy.sol", "id": 164, "nodeType": "ImportDirective", "scope": 393, "sourceUnit": 6829, "src": "157:55:1", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 204, "linearizedBaseContracts": [ 204 ], "name": "EventData", "nodeType": "ContractDefinition", "nodes": [ { "anonymous": false, "documentation": null, "id": 170, "name": "OutcomeTokenCreation", "nodeType": "EventDefinition", "parameters": { "id": 169, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 166, "indexed": false, "name": "outcomeToken", "nodeType": "VariableDeclaration", "scope": 170, "src": "298:25:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" }, "typeName": { "contractScope": null, "id": 165, "name": "OutcomeToken", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 5793, "src": "298:12:1", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 168, "indexed": false, "name": "index", "nodeType": "VariableDeclaration", "scope": 170, "src": "325:11:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 167, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "325:5:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": null, "visibility": "internal" } ], "src": "297:40:1" }, "src": "271:67:1" }, { "anonymous": false, "documentation": null, "id": 176, "name": "OutcomeTokenSetIssuance", "nodeType": "EventDefinition", "parameters": { "id": 175, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 172, "indexed": true, "name": "buyer", "nodeType": "VariableDeclaration", "scope": 176, "src": "373:21:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 171, "name": "address", "nodeType": "ElementaryTypeName", "src": "373:7:1", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 174, "indexed": false, "name": "collateralTokenCount", "nodeType": "VariableDeclaration", "scope": 176, "src": "396:25:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 173, "name": "uint", "nodeType": "ElementaryTypeName", "src": "396:4:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "372:50:1" }, "src": "343:80:1" }, { "anonymous": false, "documentation": null, "id": 182, "name": "OutcomeTokenSetRevocation", "nodeType": "EventDefinition", "parameters": { "id": 181, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 178, "indexed": true, "name": "seller", "nodeType": "VariableDeclaration", "scope": 182, "src": "460:22:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 177, "name": "address", "nodeType": "ElementaryTypeName", "src": "460:7:1", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 180, "indexed": false, "name": "outcomeTokenCount", "nodeType": "VariableDeclaration", "scope": 182, "src": "484:22:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 179, "name": "uint", "nodeType": "ElementaryTypeName", "src": "484:4:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "459:48:1" }, "src": "428:80:1" }, { "anonymous": false, "documentation": null, "id": 186, "name": "OutcomeAssignment", "nodeType": "EventDefinition", "parameters": { "id": 185, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 184, "indexed": false, "name": "outcome", "nodeType": "VariableDeclaration", "scope": 186, "src": "537:11:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 183, "name": "int", "nodeType": "ElementaryTypeName", "src": "537:3:1", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "536:13:1" }, "src": "513:37:1" }, { "anonymous": false, "documentation": null, "id": 192, "name": "WinningsRedemption", "nodeType": "EventDefinition", "parameters": { "id": 191, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 188, "indexed": true, "name": "receiver", "nodeType": "VariableDeclaration", "scope": 192, "src": "580:24:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 187, "name": "address", "nodeType": "ElementaryTypeName", "src": "580:7:1", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 190, "indexed": false, "name": "winnings", "nodeType": "VariableDeclaration", "scope": 192, "src": "606:13:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 189, "name": "uint", "nodeType": "ElementaryTypeName", "src": "606:4:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "579:41:1" }, "src": "555:66:1" }, { "constant": false, "id": 194, "name": "collateralToken", "nodeType": "VariableDeclaration", "scope": 204, "src": "658:28:1", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" }, "typeName": { "contractScope": null, "id": 193, "name": "ERC20", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 7778, "src": "658:5:1", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 196, "name": "oracle", "nodeType": "VariableDeclaration", "scope": 204, "src": "692:20:1", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" }, "typeName": { "contractScope": null, "id": 195, "name": "Oracle", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 4841, "src": "692:6:1", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 198, "name": "isOutcomeSet", "nodeType": "VariableDeclaration", "scope": 204, "src": "718:24:1", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "typeName": { "id": 197, "name": "bool", "nodeType": "ElementaryTypeName", "src": "718:4:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 200, "name": "outcome", "nodeType": "VariableDeclaration", "scope": 204, "src": "748:18:1", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 199, "name": "int", "nodeType": "ElementaryTypeName", "src": "748:3:1", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 203, "name": "outcomeTokens", "nodeType": "VariableDeclaration", "scope": 204, "src": "772:35:1", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[]" }, "typeName": { "baseType": { "contractScope": null, "id": 201, "name": "OutcomeToken", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 5793, "src": "772:12:1", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 202, "length": null, "nodeType": "ArrayTypeName", "src": "772:14:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage_ptr", "typeString": "contract OutcomeToken[]" } }, "value": null, "visibility": "public" } ], "scope": 393, "src": "215:595:1" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 205, "name": "EventData", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 204, "src": "967:9:1", "typeDescriptions": { "typeIdentifier": "t_contract$_EventData_$204", "typeString": "contract EventData" } }, "id": 206, "nodeType": "InheritanceSpecifier", "src": "967:9:1" } ], "contractDependencies": [ 204 ], "contractKind": "contract", "documentation": "@title Event contract - Provide basic functionality required by different event types\n @author Stefan George - ", "fullyImplemented": false, "id": 392, "linearizedBaseContracts": [ 392, 204 ], "name": "Event", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 250, "nodeType": "Block", "src": "1276:405:1", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 214, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "1380:3:1", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 215, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1380:10:1", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 217, "name": "this", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7952, "src": "1400:4:1", "typeDescriptions": { "typeIdentifier": "t_contract$_Event_$392", "typeString": "contract Event" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_Event_$392", "typeString": "contract Event" } ], "id": 216, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1392:7:1", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 218, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1392:13:1", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, { "argumentTypes": null, "id": 219, "name": "collateralTokenCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 208, "src": "1407:20:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_address", "typeString": "address" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 212, "name": "collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 194, "src": "1351:15:1", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "id": 213, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "transferFrom", "nodeType": "MemberAccess", "referencedDeclaration": 7511, "src": "1351:28:1", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_address_$_t_address_$_t_uint256_$returns$_t_bool_$", "typeString": "function (address,address,uint256) external returns (bool)" } }, "id": 220, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1351:77:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 211, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 7923, 7924 ], "referencedDeclaration": 7923, "src": "1343:7:1", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 221, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1343:86:1", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 222, "nodeType": "ExpressionStatement", "src": "1343:86:1" }, { "body": { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 238, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "1569:3:1", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 239, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1569:10:1", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 240, "name": "collateralTokenCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 208, "src": "1581:20:1", "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": 234, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "1546:13:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 236, "indexExpression": { "argumentTypes": null, "id": 235, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 224, "src": "1560:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "1546:16:1", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 237, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "issue", "nodeType": "MemberAccess", "referencedDeclaration": 5772, "src": "1546:22:1", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256) external" } }, "id": 241, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1546:56:1", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 242, "nodeType": "ExpressionStatement", "src": "1546:56:1" }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 230, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 227, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 224, "src": "1503:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 228, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "1507:13:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 229, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1507:20:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "1503:24:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 243, "initializationExpression": { "assignments": [ 224 ], "declarations": [ { "constant": false, "id": 224, "name": "i", "nodeType": "VariableDeclaration", "scope": 243, "src": "1490:7:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 223, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "1490:5:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": null, "visibility": "internal" } ], "id": 226, "initialValue": { "argumentTypes": null, "hexValue": "30", "id": 225, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1500:1:1", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "nodeType": "VariableDeclarationStatement", "src": "1490:11:1" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 232, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "1529:3:1", "subExpression": { "argumentTypes": null, "id": 231, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 224, "src": "1529:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 233, "nodeType": "ExpressionStatement", "src": "1529:3:1" }, "nodeType": "ForStatement", "src": "1485:117:1" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 245, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "1641:3:1", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 246, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1641:10:1", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 247, "name": "collateralTokenCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 208, "src": "1653:20:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 244, "name": "OutcomeTokenSetIssuance", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 176, "src": "1617:23:1", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 248, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1617:57:1", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 249, "nodeType": "EmitStatement", "src": "1612:62:1" } ] }, "documentation": "@dev Buys equal number of tokens of all outcomes, exchanging collateral tokens and sets of outcome tokens 1:1\n @param collateralTokenCount Number of collateral tokens", "id": 251, "implemented": true, "kind": "function", "modifiers": [], "name": "buyAllOutcomes", "nodeType": "FunctionDefinition", "parameters": { "id": 209, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 208, "name": "collateralTokenCount", "nodeType": "VariableDeclaration", "scope": 251, "src": "1230:25:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 207, "name": "uint", "nodeType": "ElementaryTypeName", "src": "1230:4:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1229:27:1" }, "returnParameters": { "id": 210, "nodeType": "ParameterList", "parameters": [], "src": "1276:0:1" }, "scope": 392, "src": "1206:475:1", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 292, "nodeType": "Block", "src": "1932:383:1", "statements": [ { "body": { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 271, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "2085:3:1", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 272, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2085:10:1", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 273, "name": "outcomeTokenCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 253, "src": "2097:17:1", "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": 267, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "2061:13:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 269, "indexExpression": { "argumentTypes": null, "id": 268, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 257, "src": "2075:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2061:16:1", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 270, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "revoke", "nodeType": "MemberAccess", "referencedDeclaration": 5792, "src": "2061:23:1", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256) external" } }, "id": 274, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2061:54:1", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 275, "nodeType": "ExpressionStatement", "src": "2061:54:1" }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 263, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 260, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 257, "src": "2018:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 261, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "2022:13:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 262, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2022:20:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2018:24:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 276, "initializationExpression": { "assignments": [ 257 ], "declarations": [ { "constant": false, "id": 257, "name": "i", "nodeType": "VariableDeclaration", "scope": 276, "src": "2005:7:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 256, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "2005:5:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": null, "visibility": "internal" } ], "id": 259, "initialValue": { "argumentTypes": null, "hexValue": "30", "id": 258, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2015:1:1", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "nodeType": "VariableDeclarationStatement", "src": "2005:11:1" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 265, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "2044:3:1", "subExpression": { "argumentTypes": null, "id": 264, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 257, "src": "2044:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 266, "nodeType": "ExpressionStatement", "src": "2044:3:1" }, "nodeType": "ForStatement", "src": "2000:115:1" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 280, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "2206:3:1", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 281, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2206:10:1", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 282, "name": "outcomeTokenCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 253, "src": "2218:17:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 278, "name": "collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 194, "src": "2181:15:1", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "id": 279, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "transfer", "nodeType": "MemberAccess", "referencedDeclaration": 7441, "src": "2181:24:1", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_address_$_t_uint256_$returns$_t_bool_$", "typeString": "function (address,uint256) external returns (bool)" } }, "id": 283, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2181:55:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 277, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 7923, 7924 ], "referencedDeclaration": 7923, "src": "2173:7:1", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 284, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2173:64:1", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 285, "nodeType": "ExpressionStatement", "src": "2173:64:1" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 287, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "2278:3:1", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 288, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2278:10:1", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 289, "name": "outcomeTokenCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 253, "src": "2290:17:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 286, "name": "OutcomeTokenSetRevocation", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 182, "src": "2252:25:1", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 290, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2252:56:1", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 291, "nodeType": "EmitStatement", "src": "2247:61:1" } ] }, "documentation": "@dev Sells equal number of tokens of all outcomes, exchanging collateral tokens and sets of outcome tokens 1:1\n @param outcomeTokenCount Number of outcome tokens", "id": 293, "implemented": true, "kind": "function", "modifiers": [], "name": "sellAllOutcomes", "nodeType": "FunctionDefinition", "parameters": { "id": 254, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 253, "name": "outcomeTokenCount", "nodeType": "VariableDeclaration", "scope": 293, "src": "1889:22:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 252, "name": "uint", "nodeType": "ElementaryTypeName", "src": "1889:4:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "1888:24:1" }, "returnParameters": { "id": 255, "nodeType": "ParameterList", "parameters": [], "src": "1932:0:1" }, "scope": 392, "src": "1864:451:1", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 319, "nodeType": "Block", "src": "2402:287:1", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 302, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 298, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "!", "prefix": true, "src": "2503:13:1", "subExpression": { "argumentTypes": null, "id": 297, "name": "isOutcomeSet", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 198, "src": "2504:12:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "id": 299, "name": "oracle", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 196, "src": "2520:6:1", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "id": 300, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "isOutcomeSet", "nodeType": "MemberAccess", "referencedDeclaration": 4835, "src": "2520:19:1", "typeDescriptions": { "typeIdentifier": "t_function_external_view$__$returns$_t_bool_$", "typeString": "function () view external returns (bool)" } }, "id": 301, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2520:21:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "2503:38:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 296, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 7923, 7924 ], "referencedDeclaration": 7923, "src": "2495:7:1", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 303, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2495:47:1", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 304, "nodeType": "ExpressionStatement", "src": "2495:47:1" }, { "expression": { "argumentTypes": null, "id": 309, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 305, "name": "outcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 200, "src": "2583:7:1", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [], "expression": { "argumentTypes": [], "expression": { "argumentTypes": null, "id": 306, "name": "oracle", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 196, "src": "2593:6:1", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "id": 307, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "getOutcome", "nodeType": "MemberAccess", "referencedDeclaration": 4840, "src": "2593:17:1", "typeDescriptions": { "typeIdentifier": "t_function_external_view$__$returns$_t_int256_$", "typeString": "function () view external returns (int256)" } }, "id": 308, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2593:19:1", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2583:29:1", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 310, "nodeType": "ExpressionStatement", "src": "2583:29:1" }, { "expression": { "argumentTypes": null, "id": 313, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 311, "name": "isOutcomeSet", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 198, "src": "2622:12:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "74727565", "id": 312, "isConstant": false, "isLValue": false, "isPure": true, "kind": "bool", "lValueRequested": false, "nodeType": "Literal", "src": "2637:4:1", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" }, "value": "true" }, "src": "2622:19:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 314, "nodeType": "ExpressionStatement", "src": "2622:19:1" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 316, "name": "outcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 200, "src": "2674:7:1", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_int256", "typeString": "int256" } ], "id": 315, "name": "OutcomeAssignment", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 186, "src": "2656:17:1", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_int256_$returns$__$", "typeString": "function (int256)" } }, "id": 317, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2656:26:1", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 318, "nodeType": "EmitStatement", "src": "2651:31:1" } ] }, "documentation": "@dev Sets winning event outcome", "id": 320, "implemented": true, "kind": "function", "modifiers": [], "name": "setOutcome", "nodeType": "FunctionDefinition", "parameters": { "id": 294, "nodeType": "ParameterList", "parameters": [], "src": "2380:2:1" }, "returnParameters": { "id": 295, "nodeType": "ParameterList", "parameters": [], "src": "2402:0:1" }, "scope": 392, "src": "2361:328:1", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" }, { "body": { "id": 330, "nodeType": "Block", "src": "2843:51:1", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 326, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "2866:13:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 327, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2866:20:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 325, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "2860:5:1", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint8_$", "typeString": "type(uint8)" }, "typeName": "uint8" }, "id": 328, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2860:27:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "functionReturnParameters": 324, "id": 329, "nodeType": "Return", "src": "2853:34:1" } ] }, "documentation": "@dev Returns outcome count\n @return Outcome count", "id": 331, "implemented": true, "kind": "function", "modifiers": [], "name": "getOutcomeCount", "nodeType": "FunctionDefinition", "parameters": { "id": 321, "nodeType": "ParameterList", "parameters": [], "src": "2784:2:1" }, "returnParameters": { "id": 324, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 323, "name": "", "nodeType": "VariableDeclaration", "scope": 331, "src": "2832:5:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 322, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "2832:5:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": null, "visibility": "internal" } ], "src": "2831:7:1" }, "scope": 392, "src": "2760:134:1", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 339, "nodeType": "Block", "src": "3073:37:1", "statements": [ { "expression": { "argumentTypes": null, "id": 337, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "3090:13:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "functionReturnParameters": 336, "id": 338, "nodeType": "Return", "src": "3083:20:1" } ] }, "documentation": "@dev Returns outcome tokens array\n @return Outcome tokens", "id": 340, "implemented": true, "kind": "function", "modifiers": [], "name": "getOutcomeTokens", "nodeType": "FunctionDefinition", "parameters": { "id": 332, "nodeType": "ParameterList", "parameters": [], "src": "2998:2:1" }, "returnParameters": { "id": 336, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 335, "name": "", "nodeType": "VariableDeclaration", "scope": 340, "src": "3046:21:1", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_memory_ptr", "typeString": "contract OutcomeToken[]" }, "typeName": { "baseType": { "contractScope": null, "id": 333, "name": "OutcomeToken", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 5793, "src": "3046:12:1", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 334, "length": null, "nodeType": "ArrayTypeName", "src": "3046:14:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage_ptr", "typeString": "contract OutcomeToken[]" } }, "value": null, "visibility": "internal" } ], "src": "3045:23:1" }, "scope": 392, "src": "2973:137:1", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": { "id": 380, "nodeType": "Block", "src": "3364:221:1", "statements": [ { "expression": { "argumentTypes": null, "id": 355, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 348, "name": "outcomeTokenDistribution", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 346, "src": "3374:24:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[] memory" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 352, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "3412:13:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 353, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3412:20:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 351, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "NewExpression", "src": "3401:10:1", "typeDescriptions": { "typeIdentifier": "t_function_objectcreation_pure$_t_uint256_$returns$_t_array$_t_uint256_$dyn_memory_$", "typeString": "function (uint256) pure returns (uint256[] memory)" }, "typeName": { "baseType": { "id": 349, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3405:4:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 350, "length": null, "nodeType": "ArrayTypeName", "src": "3405:6:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } } }, "id": 354, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3401:32:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory", "typeString": "uint256[] memory" } }, "src": "3374:59:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[] memory" } }, "id": 356, "nodeType": "ExpressionStatement", "src": "3374:59:1" }, { "body": { "expression": { "argumentTypes": null, "id": 377, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 368, "name": "outcomeTokenDistribution", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 346, "src": "3515:24:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[] memory" } }, "id": 370, "indexExpression": { "argumentTypes": null, "id": 369, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 358, "src": "3540:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": true, "nodeType": "IndexAccess", "src": "3515:27:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 375, "name": "owner", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 342, "src": "3572:5:1", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 371, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "3545:13:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 373, "indexExpression": { "argumentTypes": null, "id": 372, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 358, "src": "3559:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3545:16:1", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 374, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "balanceOf", "nodeType": "MemberAccess", "referencedDeclaration": 7422, "src": "3545:26:1", "typeDescriptions": { "typeIdentifier": "t_function_external_view$_t_address_$returns$_t_uint256_$", "typeString": "function (address) view external returns (uint256)" } }, "id": 376, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3545:33:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3515:63:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 378, "nodeType": "ExpressionStatement", "src": "3515:63:1" }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 364, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 361, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 358, "src": "3461:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 362, "name": "outcomeTokenDistribution", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 346, "src": "3465:24:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[] memory" } }, "id": 363, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "length", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3465:31:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3461:35:1", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 379, "initializationExpression": { "assignments": [ 358 ], "declarations": [ { "constant": false, "id": 358, "name": "i", "nodeType": "VariableDeclaration", "scope": 379, "src": "3448:7:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 357, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "3448:5:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": null, "visibility": "internal" } ], "id": 360, "initialValue": { "argumentTypes": null, "hexValue": "30", "id": 359, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "3458:1:1", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "nodeType": "VariableDeclarationStatement", "src": "3448:11:1" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 366, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "3498:3:1", "subExpression": { "argumentTypes": null, "id": 365, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 358, "src": "3498:1:1", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 367, "nodeType": "ExpressionStatement", "src": "3498:3:1" }, "nodeType": "ForStatement", "src": "3443:135:1" } ] }, "documentation": "@dev Returns the amount of outcome tokens held by owner\n @return Outcome token distribution", "id": 381, "implemented": true, "kind": "function", "modifiers": [], "name": "getOutcomeTokenDistribution", "nodeType": "FunctionDefinition", "parameters": { "id": 343, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 342, "name": "owner", "nodeType": "VariableDeclaration", "scope": 381, "src": "3260:13:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 341, "name": "address", "nodeType": "ElementaryTypeName", "src": "3260:7:1", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" } ], "src": "3259:15:1" }, "returnParameters": { "id": 347, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 346, "name": "outcomeTokenDistribution", "nodeType": "VariableDeclaration", "scope": 381, "src": "3320:38:1", "stateVariable": false, "storageLocation": "memory", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_memory_ptr", "typeString": "uint256[]" }, "typeName": { "baseType": { "id": 344, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3320:4:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 345, "length": null, "nodeType": "ArrayTypeName", "src": "3320:6:1", "typeDescriptions": { "typeIdentifier": "t_array$_t_uint256_$dyn_storage_ptr", "typeString": "uint256[]" } }, "value": null, "visibility": "internal" } ], "src": "3319:40:1" }, "scope": 392, "src": "3223:362:1", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": null, "documentation": "@dev Calculates and returns event hash\n @return Event hash", "id": 386, "implemented": false, "kind": "function", "modifiers": [], "name": "getEventHash", "nodeType": "FunctionDefinition", "parameters": { "id": 382, "nodeType": "ParameterList", "parameters": [], "src": "3686:2:1" }, "returnParameters": { "id": 385, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 384, "name": "", "nodeType": "VariableDeclaration", "scope": 386, "src": "3710:7:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 383, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3710:7:1", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "3709:9:1" }, "scope": 392, "src": "3665:54:1", "stateMutability": "view", "superFunction": null, "visibility": "public" }, { "body": null, "documentation": "@dev Exchanges sender's winning outcome tokens for collateral tokens\n @return Sender's winnings", "id": 391, "implemented": false, "kind": "function", "modifiers": [], "name": "redeemWinnings", "nodeType": "FunctionDefinition", "parameters": { "id": 387, "nodeType": "ParameterList", "parameters": [], "src": "3859:2:1" }, "returnParameters": { "id": 390, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 389, "name": "", "nodeType": "VariableDeclaration", "scope": 391, "src": "3878:4:1", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 388, "name": "uint", "nodeType": "ElementaryTypeName", "src": "3878:4:1", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "3877:6:1" }, "scope": 392, "src": "3836:48:1", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" } ], "scope": 393, "src": "949:2937:1" } ], "src": "0:3887:1" }, "compiler": { "name": "solc", "version": "0.5.6+commit.b259423e.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.0.11", "updatedAt": "2019-09-20T17:46:52.108Z", "devdoc": { "author": "Stefan George - ", "methods": { "buyAllOutcomes(uint256)": { "details": "Buys equal number of tokens of all outcomes, exchanging collateral tokens and sets of outcome tokens 1:1", "params": { "collateralTokenCount": "Number of collateral tokens" } }, "getEventHash()": { "details": "Calculates and returns event hash", "return": "Event hash" }, "getOutcomeCount()": { "details": "Returns outcome count", "return": "Outcome count" }, "getOutcomeTokenDistribution(address)": { "details": "Returns the amount of outcome tokens held by owner", "return": "Outcome token distribution" }, "getOutcomeTokens()": { "details": "Returns outcome tokens array", "return": "Outcome tokens" }, "redeemWinnings()": { "details": "Exchanges sender's winning outcome tokens for collateral tokens", "return": "Sender's winnings" }, "sellAllOutcomes(uint256)": { "details": "Sells equal number of tokens of all outcomes, exchanging collateral tokens and sets of outcome tokens 1:1", "params": { "outcomeTokenCount": "Number of outcome tokens" } }, "setOutcome()": { "details": "Sets winning event outcome" } }, "title": "Event contract - Provide basic functionality required by different event types" }, "userdoc": { "methods": {} } }