{ "contractName": "ScalarEventData", "abi": [ { "constant": true, "inputs": [], "name": "LONG", "outputs": [ { "name": "", "type": "uint8" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "OUTCOME_RANGE", "outputs": [ { "name": "", "type": "uint24" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "lowerBound", "outputs": [ { "name": "", "type": "int256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "SHORT", "outputs": [ { "name": "", "type": "uint8" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "upperBound", "outputs": [ { "name": "", "type": "int256" } ], "payable": false, "stateMutability": "view", "type": "function" } ], "metadata": "{\"compiler\":{\"version\":\"0.5.6+commit.b259423e\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"constant\":true,\"inputs\":[],\"name\":\"LONG\",\"outputs\":[{\"name\":\"\",\"type\":\"uint8\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"OUTCOME_RANGE\",\"outputs\":[{\"name\":\"\",\"type\":\"uint24\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"lowerBound\",\"outputs\":[{\"name\":\"\",\"type\":\"int256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"SHORT\",\"outputs\":[{\"name\":\"\",\"type\":\"uint8\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"upperBound\",\"outputs\":[{\"name\":\"\",\"type\":\"int256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"}],\"devdoc\":{\"methods\":{}},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"/home/alan/src/github.com/gnosis/pm-contracts/contracts/Events/ScalarEvent.sol\":\"ScalarEventData\"},\"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/Events/ScalarEvent.sol\":{\"keccak256\":\"0xb8113f1a3f63ec0b6ae2d1a833fbffcf2b2af9470d4d7591d8e2c2784a163b32\",\"urls\":[\"bzzr://feb468d84fdda273585ba31abbbf8cceb906df5a9142695ec30c98f000a05bd4\"]},\"/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": "0x608060405234801561001057600080fd5b50610151806100206000396000f3fe608060405234801561001057600080fd5b50600436106100575760003560e01c8063561cce0a1461005c5780636e5452fe14610080578063a384d6ff146100a8578063a871da91146100c6578063b09ad8a0146100ea575b600080fd5b610064610108565b604051808260ff1660ff16815260200191505060405180910390f35b61008861010d565b604051808262ffffff1662ffffff16815260200191505060405180910390f35b6100b0610114565b6040518082815260200191505060405180910390f35b6100ce61011a565b604051808260ff1660ff16815260200191505060405180910390f35b6100f261011f565b6040518082815260200191505060405180910390f35b600181565b620f424081565b60005481565b600081565b6001548156fea165627a7a723058205ae0d49e995f4959162ec3f5fc59be815b5430ee8394a280340b0794b07b09560029", "deployedBytecode": "0x608060405234801561001057600080fd5b50600436106100575760003560e01c8063561cce0a1461005c5780636e5452fe14610080578063a384d6ff146100a8578063a871da91146100c6578063b09ad8a0146100ea575b600080fd5b610064610108565b604051808260ff1660ff16815260200191505060405180910390f35b61008861010d565b604051808262ffffff1662ffffff16815260200191505060405180910390f35b6100b0610114565b6040518082815260200191505060405180910390f35b6100ce61011a565b604051808260ff1660ff16815260200191505060405180910390f35b6100f261011f565b6040518082815260200191505060405180910390f35b600181565b620f424081565b60005481565b600081565b6001548156fea165627a7a723058205ae0d49e995f4959162ec3f5fc59be815b5430ee8394a280340b0794b07b09560029", "sourceMap": "112:273:3:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;112:273:3;;;;;;;", "deployedSourceMap": "112:273:3:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;112:273:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;214:30;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;250:46;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;334:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;177:31;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;361:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;214:30;243:1;214:30;:::o;250:46::-;289:7;250:46;:::o;334:21::-;;;;:::o;177:31::-;207:1;177:31;:::o;361:21::-;;;;:::o", "source": "pragma solidity ^0.5.0;\nimport \"../Events/Event.sol\";\nimport \"@gnosis.pm/util-contracts/contracts/Proxy.sol\";\n\n\ncontract ScalarEventData {\n\n /*\n * Constants\n */\n uint8 public constant SHORT = 0;\n uint8 public constant LONG = 1;\n uint24 public constant OUTCOME_RANGE = 1000000;\n\n /*\n * Storage\n */\n int public lowerBound;\n int public upperBound;\n}\n\ncontract ScalarEventProxy is Proxy, EventData, ScalarEventData {\n\n /// @dev Contract constructor validates and sets basic event properties\n /// @param _collateralToken Tokens used as collateral in exchange for outcome tokens\n /// @param _oracle Oracle contract used to resolve the event\n /// @param _lowerBound Lower bound for event outcome\n /// @param _upperBound Lower bound for event outcome\n constructor(\n address proxied,\n address outcomeTokenMasterCopy,\n ERC20 _collateralToken,\n Oracle _oracle,\n int _lowerBound,\n int _upperBound\n )\n Proxy(proxied)\n public\n {\n // Validate input\n require(address(_collateralToken) != address(0) && address(_oracle) != address(0));\n collateralToken = _collateralToken;\n oracle = _oracle;\n // Create an outcome token for each outcome\n for (uint8 i = 0; i < 2; i++) {\n OutcomeToken outcomeToken = OutcomeToken(address(new OutcomeTokenProxy(outcomeTokenMasterCopy)));\n outcomeTokens.push(outcomeToken);\n emit OutcomeTokenCreation(outcomeToken, i);\n }\n\n // Validate bounds\n require(_upperBound > _lowerBound);\n lowerBound = _lowerBound;\n upperBound = _upperBound;\n }\n}\n\n/// @title Scalar event contract - Scalar events resolve to a number within a range\n/// @author Stefan George - \ncontract ScalarEvent is Proxied, Event, ScalarEventData {\n using SafeMath for *;\n\n /*\n * Public functions\n */\n /// @dev Exchanges sender's winning outcome tokens for collateral tokens\n /// @return Sender's winnings\n function redeemWinnings()\n public\n returns (uint winnings)\n {\n // Winning outcome has to be set\n require(isOutcomeSet);\n // Calculate winnings\n uint24 convertedWinningOutcome;\n // Outcome is lower than defined lower bound\n if (outcome < lowerBound)\n convertedWinningOutcome = 0;\n // Outcome is higher than defined upper bound\n else if (outcome > upperBound)\n convertedWinningOutcome = OUTCOME_RANGE;\n // Map outcome to outcome range\n else\n convertedWinningOutcome = uint24(OUTCOME_RANGE * (outcome - lowerBound) / (upperBound - lowerBound));\n uint factorShort = OUTCOME_RANGE - convertedWinningOutcome;\n uint factorLong = OUTCOME_RANGE - factorShort;\n uint shortOutcomeTokenCount = outcomeTokens[SHORT].balanceOf(msg.sender);\n uint longOutcomeTokenCount = outcomeTokens[LONG].balanceOf(msg.sender);\n winnings = shortOutcomeTokenCount.mul(factorShort).add(longOutcomeTokenCount.mul(factorLong)) / OUTCOME_RANGE;\n // Revoke all outcome tokens\n outcomeTokens[SHORT].revoke(msg.sender, shortOutcomeTokenCount);\n outcomeTokens[LONG].revoke(msg.sender, longOutcomeTokenCount);\n // Payout winnings to sender\n require(collateralToken.transfer(msg.sender, winnings));\n emit WinningsRedemption(msg.sender, winnings);\n }\n\n /// @dev Calculates and returns event hash\n /// @return Event hash\n function getEventHash()\n public\n view\n returns (bytes32)\n {\n return keccak256(abi.encodePacked(collateralToken, oracle, lowerBound, upperBound));\n }\n}\n", "sourcePath": "/home/alan/src/github.com/gnosis/pm-contracts/contracts/Events/ScalarEvent.sol", "ast": { "absolutePath": "/home/alan/src/github.com/gnosis/pm-contracts/contracts/Events/ScalarEvent.sol", "exportedSymbols": { "ScalarEvent": [ 870 ], "ScalarEventData": [ 620 ], "ScalarEventProxy": [ 720 ] }, "id": 871, "nodeType": "SourceUnit", "nodes": [ { "id": 604, "literals": [ "solidity", "^", "0.5", ".0" ], "nodeType": "PragmaDirective", "src": "0:23:3" }, { "absolutePath": "/home/alan/src/github.com/gnosis/pm-contracts/contracts/Events/Event.sol", "file": "../Events/Event.sol", "id": 605, "nodeType": "ImportDirective", "scope": 871, "sourceUnit": 393, "src": "24:29:3", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@gnosis.pm/util-contracts/contracts/Proxy.sol", "file": "@gnosis.pm/util-contracts/contracts/Proxy.sol", "id": 606, "nodeType": "ImportDirective", "scope": 871, "sourceUnit": 6829, "src": "54:55:3", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 620, "linearizedBaseContracts": [ 620 ], "name": "ScalarEventData", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "id": 609, "name": "SHORT", "nodeType": "VariableDeclaration", "scope": 620, "src": "177:31:3", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 607, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "177:5:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": { "argumentTypes": null, "hexValue": "30", "id": 608, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "207:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "visibility": "public" }, { "constant": true, "id": 612, "name": "LONG", "nodeType": "VariableDeclaration", "scope": 620, "src": "214:30:3", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 610, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "214:5:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": { "argumentTypes": null, "hexValue": "31", "id": 611, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "243:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "visibility": "public" }, { "constant": true, "id": 615, "name": "OUTCOME_RANGE", "nodeType": "VariableDeclaration", "scope": 620, "src": "250:46:3", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" }, "typeName": { "id": 613, "name": "uint24", "nodeType": "ElementaryTypeName", "src": "250:6:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "value": { "argumentTypes": null, "hexValue": "31303030303030", "id": 614, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "289:7:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1000000_by_1", "typeString": "int_const 1000000" }, "value": "1000000" }, "visibility": "public" }, { "constant": false, "id": 617, "name": "lowerBound", "nodeType": "VariableDeclaration", "scope": 620, "src": "334:21:3", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 616, "name": "int", "nodeType": "ElementaryTypeName", "src": "334:3:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 619, "name": "upperBound", "nodeType": "VariableDeclaration", "scope": 620, "src": "361:21:3", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 618, "name": "int", "nodeType": "ElementaryTypeName", "src": "361:3:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "public" } ], "scope": 871, "src": "112:273:3" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 621, "name": "Proxy", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 6828, "src": "416:5:3", "typeDescriptions": { "typeIdentifier": "t_contract$_Proxy_$6828", "typeString": "contract Proxy" } }, "id": 622, "nodeType": "InheritanceSpecifier", "src": "416:5:3" }, { "arguments": null, "baseName": { "contractScope": null, "id": 623, "name": "EventData", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 204, "src": "423:9:3", "typeDescriptions": { "typeIdentifier": "t_contract$_EventData_$204", "typeString": "contract EventData" } }, "id": 624, "nodeType": "InheritanceSpecifier", "src": "423:9:3" }, { "arguments": null, "baseName": { "contractScope": null, "id": 625, "name": "ScalarEventData", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 620, "src": "434:15:3", "typeDescriptions": { "typeIdentifier": "t_contract$_ScalarEventData_$620", "typeString": "contract ScalarEventData" } }, "id": 626, "nodeType": "InheritanceSpecifier", "src": "434:15:3" } ], "contractDependencies": [ 204, 620, 5721, 6798, 6828 ], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 720, "linearizedBaseContracts": [ 720, 620, 204, 6828, 6798 ], "name": "ScalarEventProxy", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 718, "nodeType": "Block", "src": "1032:649:3", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 659, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 651, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 646, "name": "_collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 632, "src": "1084:16:3", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } ], "id": 645, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1076:7:3", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 647, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1076:25:3", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 649, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1113:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 648, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1105:7:3", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 650, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1105:10:3", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "src": "1076:39:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 658, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 653, "name": "_oracle", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 634, "src": "1127:7:3", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } ], "id": 652, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1119:7:3", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 654, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1119:16:3", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 656, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1147:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 655, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1139:7:3", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 657, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1139:10:3", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "src": "1119:30:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1076:73:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 644, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 7923, 7924 ], "referencedDeclaration": 7923, "src": "1068:7:3", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 660, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1068:82:3", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 661, "nodeType": "ExpressionStatement", "src": "1068:82:3" }, { "expression": { "argumentTypes": null, "id": 664, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 662, "name": "collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 194, "src": "1160:15:3", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 663, "name": "_collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 632, "src": "1178:16:3", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "src": "1160:34:3", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "id": 665, "nodeType": "ExpressionStatement", "src": "1160:34:3" }, { "expression": { "argumentTypes": null, "id": 668, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 666, "name": "oracle", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 196, "src": "1204:6:3", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 667, "name": "_oracle", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 634, "src": "1213:7:3", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "src": "1204:16:3", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "id": 669, "nodeType": "ExpressionStatement", "src": "1204:16:3" }, { "body": { "id": 702, "nodeType": "Block", "src": "1312:223:3", "statements": [ { "assignments": [ 681 ], "declarations": [ { "constant": false, "id": 681, "name": "outcomeToken", "nodeType": "VariableDeclaration", "scope": 702, "src": "1326:25:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" }, "typeName": { "contractScope": null, "id": 680, "name": "OutcomeToken", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 5793, "src": "1326:12:3", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "value": null, "visibility": "internal" } ], "id": 690, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 686, "name": "outcomeTokenMasterCopy", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 630, "src": "1397:22:3", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 685, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "NewExpression", "src": "1375:21:3", "typeDescriptions": { "typeIdentifier": "t_function_creation_nonpayable$_t_address_$returns$_t_contract$_OutcomeTokenProxy_$5721_$", "typeString": "function (address) returns (contract OutcomeTokenProxy)" }, "typeName": { "contractScope": null, "id": 684, "name": "OutcomeTokenProxy", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 5721, "src": "1379:17:3", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeTokenProxy_$5721", "typeString": "contract OutcomeTokenProxy" } } }, "id": 687, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1375:45:3", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeTokenProxy_$5721", "typeString": "contract OutcomeTokenProxy" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_OutcomeTokenProxy_$5721", "typeString": "contract OutcomeTokenProxy" } ], "id": 683, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1367:7:3", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 688, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1367:54:3", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" } ], "id": 682, "name": "OutcomeToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5793, "src": "1354:12:3", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_OutcomeToken_$5793_$", "typeString": "type(contract OutcomeToken)" } }, "id": 689, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1354:68:3", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "nodeType": "VariableDeclarationStatement", "src": "1326:96:3" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 694, "name": "outcomeToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 681, "src": "1455:12:3", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } ], "expression": { "argumentTypes": null, "id": 691, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "1436:13:3", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 693, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1436:18:3", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_contract$_OutcomeToken_$5793_$returns$_t_uint256_$", "typeString": "function (contract OutcomeToken) returns (uint256)" } }, "id": 695, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1436:32:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 696, "nodeType": "ExpressionStatement", "src": "1436:32:3" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 698, "name": "outcomeToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 681, "src": "1508:12:3", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, { "argumentTypes": null, "id": 699, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 671, "src": "1522:1:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" }, { "typeIdentifier": "t_uint8", "typeString": "uint8" } ], "id": 697, "name": "OutcomeTokenCreation", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 170, "src": "1487:20:3", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_contract$_OutcomeToken_$5793_$_t_uint8_$returns$__$", "typeString": "function (contract OutcomeToken,uint8)" } }, "id": 700, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1487:37:3", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 701, "nodeType": "EmitStatement", "src": "1482:42:3" } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "id": 676, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 674, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 671, "src": "1300:1:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "hexValue": "32", "id": 675, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1304:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "src": "1300:5:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 703, "initializationExpression": { "assignments": [ 671 ], "declarations": [ { "constant": false, "id": 671, "name": "i", "nodeType": "VariableDeclaration", "scope": 703, "src": "1287:7:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 670, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "1287:5:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": null, "visibility": "internal" } ], "id": 673, "initialValue": { "argumentTypes": null, "hexValue": "30", "id": 672, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1297:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "nodeType": "VariableDeclarationStatement", "src": "1287:11:3" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 678, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "1307:3:3", "subExpression": { "argumentTypes": null, "id": 677, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 671, "src": "1307:1:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 679, "nodeType": "ExpressionStatement", "src": "1307:3:3" }, "nodeType": "ForStatement", "src": "1282:253:3" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 707, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 705, "name": "_upperBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 638, "src": "1580:11:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 706, "name": "_lowerBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 636, "src": "1594:11:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1580:25:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 704, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 7923, 7924 ], "referencedDeclaration": 7923, "src": "1572:7:3", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 708, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1572:34:3", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 709, "nodeType": "ExpressionStatement", "src": "1572:34:3" }, { "expression": { "argumentTypes": null, "id": 712, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 710, "name": "lowerBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 617, "src": "1616:10:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 711, "name": "_lowerBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 636, "src": "1629:11:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1616:24:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 713, "nodeType": "ExpressionStatement", "src": "1616:24:3" }, { "expression": { "argumentTypes": null, "id": 716, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 714, "name": "upperBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 619, "src": "1650:10:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 715, "name": "_upperBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 638, "src": "1663:11:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1650:24:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 717, "nodeType": "ExpressionStatement", "src": "1650:24:3" } ] }, "documentation": "@dev Contract constructor validates and sets basic event properties\n @param _collateralToken Tokens used as collateral in exchange for outcome tokens\n @param _oracle Oracle contract used to resolve the event\n @param _lowerBound Lower bound for event outcome\n @param _upperBound Lower bound for event outcome", "id": 719, "implemented": true, "kind": "constructor", "modifiers": [ { "arguments": [ { "argumentTypes": null, "id": 641, "name": "proxied", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 628, "src": "1004:7:3", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "id": 642, "modifierName": { "argumentTypes": null, "id": 640, "name": "Proxy", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6828, "src": "998:5:3", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_Proxy_$6828_$", "typeString": "type(contract Proxy)" } }, "nodeType": "ModifierInvocation", "src": "998:14:3" } ], "name": "", "nodeType": "FunctionDefinition", "parameters": { "id": 639, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 628, "name": "proxied", "nodeType": "VariableDeclaration", "scope": 719, "src": "822:15:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 627, "name": "address", "nodeType": "ElementaryTypeName", "src": "822:7:3", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 630, "name": "outcomeTokenMasterCopy", "nodeType": "VariableDeclaration", "scope": 719, "src": "847:30:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 629, "name": "address", "nodeType": "ElementaryTypeName", "src": "847:7:3", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 632, "name": "_collateralToken", "nodeType": "VariableDeclaration", "scope": 719, "src": "887:22:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" }, "typeName": { "contractScope": null, "id": 631, "name": "ERC20", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 7778, "src": "887:5:3", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 634, "name": "_oracle", "nodeType": "VariableDeclaration", "scope": 719, "src": "919:14:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" }, "typeName": { "contractScope": null, "id": 633, "name": "Oracle", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 4841, "src": "919:6:3", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 636, "name": "_lowerBound", "nodeType": "VariableDeclaration", "scope": 719, "src": "943:15:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 635, "name": "int", "nodeType": "ElementaryTypeName", "src": "943:3:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 638, "name": "_upperBound", "nodeType": "VariableDeclaration", "scope": 719, "src": "968:15:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 637, "name": "int", "nodeType": "ElementaryTypeName", "src": "968:3:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "812:177:3" }, "returnParameters": { "id": 643, "nodeType": "ParameterList", "parameters": [], "src": "1032:0:3" }, "scope": 720, "src": "801:880:3", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" } ], "scope": 871, "src": "387:1296:3" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 721, "name": "Proxied", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 6798, "src": "1840:7:3", "typeDescriptions": { "typeIdentifier": "t_contract$_Proxied_$6798", "typeString": "contract Proxied" } }, "id": 722, "nodeType": "InheritanceSpecifier", "src": "1840:7:3" }, { "arguments": null, "baseName": { "contractScope": null, "id": 723, "name": "Event", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 392, "src": "1849:5:3", "typeDescriptions": { "typeIdentifier": "t_contract$_Event_$392", "typeString": "contract Event" } }, "id": 724, "nodeType": "InheritanceSpecifier", "src": "1849:5:3" }, { "arguments": null, "baseName": { "contractScope": null, "id": 725, "name": "ScalarEventData", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 620, "src": "1856:15:3", "typeDescriptions": { "typeIdentifier": "t_contract$_ScalarEventData_$620", "typeString": "contract ScalarEventData" } }, "id": 726, "nodeType": "InheritanceSpecifier", "src": "1856:15:3" } ], "contractDependencies": [ 204, 392, 620, 6798 ], "contractKind": "contract", "documentation": "@title Scalar event contract - Scalar events resolve to a number within a range\n @author Stefan George - ", "fullyImplemented": true, "id": 870, "linearizedBaseContracts": [ 870, 620, 392, 204, 6798 ], "name": "ScalarEvent", "nodeType": "ContractDefinition", "nodes": [ { "id": 728, "libraryName": { "contractScope": null, "id": 727, "name": "SafeMath", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 7381, "src": "1884:8:3", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMath_$7381", "typeString": "library SafeMath" } }, "nodeType": "UsingForDirective", "src": "1878:21:3", "typeName": null }, { "body": { "id": 852, "nodeType": "Block", "src": "2133:1332:3", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 734, "name": "isOutcomeSet", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 198, "src": "2192:12:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 733, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 7923, 7924 ], "referencedDeclaration": 7923, "src": "2184:7:3", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 735, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2184:21:3", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 736, "nodeType": "ExpressionStatement", "src": "2184:21:3" }, { "assignments": [ 738 ], "declarations": [ { "constant": false, "id": 738, "name": "convertedWinningOutcome", "nodeType": "VariableDeclaration", "scope": 852, "src": "2245:30:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" }, "typeName": { "id": 737, "name": "uint24", "nodeType": "ElementaryTypeName", "src": "2245:6:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "value": null, "visibility": "internal" } ], "id": 739, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "2245:30:3" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 742, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 740, "name": "outcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 200, "src": "2342:7:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 741, "name": "lowerBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 617, "src": "2352:10:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2342:20:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 749, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 747, "name": "outcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 200, "src": "2476:7:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 748, "name": "upperBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 619, "src": "2486:10:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2476:20:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "expression": { "argumentTypes": null, "id": 768, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 754, "name": "convertedWinningOutcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 738, "src": "2616:23:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 766, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 761, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 756, "name": "OUTCOME_RANGE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 615, "src": "2649:13:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 759, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 757, "name": "outcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 200, "src": "2666:7:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 758, "name": "lowerBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 617, "src": "2676:10:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2666:20:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "id": 760, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2665:22:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2649:38:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 764, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 762, "name": "upperBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 619, "src": "2691:10:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 763, "name": "lowerBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 617, "src": "2704:10:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2691:23:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "id": 765, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2690:25:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2649:66:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_int256", "typeString": "int256" } ], "id": 755, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "2642:6:3", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint24_$", "typeString": "type(uint24)" }, "typeName": "uint24" }, "id": 767, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2642:74:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "src": "2616:100:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "id": 769, "nodeType": "ExpressionStatement", "src": "2616:100:3" }, "id": 770, "nodeType": "IfStatement", "src": "2472:244:3", "trueBody": { "expression": { "argumentTypes": null, "id": 752, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 750, "name": "convertedWinningOutcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 738, "src": "2510:23:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 751, "name": "OUTCOME_RANGE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 615, "src": "2536:13:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "src": "2510:39:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "id": 753, "nodeType": "ExpressionStatement", "src": "2510:39:3" } }, "id": 771, "nodeType": "IfStatement", "src": "2338:378:3", "trueBody": { "expression": { "argumentTypes": null, "id": 745, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 743, "name": "convertedWinningOutcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 738, "src": "2376:23:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 744, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2402:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2376:27:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "id": 746, "nodeType": "ExpressionStatement", "src": "2376:27:3" } }, { "assignments": [ 773 ], "declarations": [ { "constant": false, "id": 773, "name": "factorShort", "nodeType": "VariableDeclaration", "scope": 852, "src": "2726:16:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 772, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2726:4:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 777, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint24", "typeString": "uint24" }, "id": 776, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 774, "name": "OUTCOME_RANGE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 615, "src": "2745:13:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 775, "name": "convertedWinningOutcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 738, "src": "2761:23:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "src": "2745:39:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "nodeType": "VariableDeclarationStatement", "src": "2726:58:3" }, { "assignments": [ 779 ], "declarations": [ { "constant": false, "id": 779, "name": "factorLong", "nodeType": "VariableDeclaration", "scope": 852, "src": "2794:15:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 778, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2794:4:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 783, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 782, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 780, "name": "OUTCOME_RANGE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 615, "src": "2812:13:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 781, "name": "factorShort", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 773, "src": "2828:11:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2812:27:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2794:45:3" }, { "assignments": [ 785 ], "declarations": [ { "constant": false, "id": 785, "name": "shortOutcomeTokenCount", "nodeType": "VariableDeclaration", "scope": 852, "src": "2849:27:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 784, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2849:4:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 793, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 790, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "2910:3:3", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 791, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2910:10:3", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 786, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "2879:13:3", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 788, "indexExpression": { "argumentTypes": null, "id": 787, "name": "SHORT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 609, "src": "2893:5:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2879:20:3", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 789, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "balanceOf", "nodeType": "MemberAccess", "referencedDeclaration": 7422, "src": "2879:30:3", "typeDescriptions": { "typeIdentifier": "t_function_external_view$_t_address_$returns$_t_uint256_$", "typeString": "function (address) view external returns (uint256)" } }, "id": 792, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2879:42:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2849:72:3" }, { "assignments": [ 795 ], "declarations": [ { "constant": false, "id": 795, "name": "longOutcomeTokenCount", "nodeType": "VariableDeclaration", "scope": 852, "src": "2931:26:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 794, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2931:4:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 803, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 800, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "2990:3:3", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 801, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2990:10:3", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 796, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "2960:13:3", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 798, "indexExpression": { "argumentTypes": null, "id": 797, "name": "LONG", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 612, "src": "2974:4:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2960:19:3", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 799, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "balanceOf", "nodeType": "MemberAccess", "referencedDeclaration": 7422, "src": "2960:29:3", "typeDescriptions": { "typeIdentifier": "t_function_external_view$_t_address_$returns$_t_uint256_$", "typeString": "function (address) view external returns (uint256)" } }, "id": 802, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2960:41:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2931:70:3" }, { "expression": { "argumentTypes": null, "id": 817, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 804, "name": "winnings", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 731, "src": "3011:8:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 816, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 812, "name": "factorLong", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 779, "src": "3092:10:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 810, "name": "longOutcomeTokenCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 795, "src": "3066:21:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 811, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 7334, "src": "3066:25:3", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 813, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3066:37:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 807, "name": "factorShort", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 773, "src": "3049:11:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 805, "name": "shortOutcomeTokenCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 785, "src": "3022:22:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 806, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 7334, "src": "3022:26:3", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 808, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3022:39:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 809, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 7275, "src": "3022:43:3", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 814, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3022:82:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 815, "name": "OUTCOME_RANGE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 615, "src": "3107:13:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "src": "3022:98:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3011:109:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 818, "nodeType": "ExpressionStatement", "src": "3011:109:3" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 823, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "3195:3:3", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 824, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3195:10:3", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 825, "name": "shortOutcomeTokenCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 785, "src": "3207:22:3", "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": 819, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "3167:13:3", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 821, "indexExpression": { "argumentTypes": null, "id": 820, "name": "SHORT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 609, "src": "3181:5:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3167:20:3", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 822, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "revoke", "nodeType": "MemberAccess", "referencedDeclaration": 5792, "src": "3167:27:3", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256) external" } }, "id": 826, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3167:63:3", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 827, "nodeType": "ExpressionStatement", "src": "3167:63:3" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 832, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "3267:3:3", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 833, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3267:10:3", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 834, "name": "longOutcomeTokenCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 795, "src": "3279:21:3", "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": 828, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "3240:13:3", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 830, "indexExpression": { "argumentTypes": null, "id": 829, "name": "LONG", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 612, "src": "3254:4:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3240:19:3", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 831, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "revoke", "nodeType": "MemberAccess", "referencedDeclaration": 5792, "src": "3240:26:3", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256) external" } }, "id": 835, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3240:61:3", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 836, "nodeType": "ExpressionStatement", "src": "3240:61:3" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 840, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "3381:3:3", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 841, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3381:10:3", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 842, "name": "winnings", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 731, "src": "3393:8:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 838, "name": "collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 194, "src": "3356:15:3", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "id": 839, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "transfer", "nodeType": "MemberAccess", "referencedDeclaration": 7441, "src": "3356:24:3", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_address_$_t_uint256_$returns$_t_bool_$", "typeString": "function (address,uint256) external returns (bool)" } }, "id": 843, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3356:46:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 837, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 7923, 7924 ], "referencedDeclaration": 7923, "src": "3348:7:3", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 844, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3348:55:3", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 845, "nodeType": "ExpressionStatement", "src": "3348:55:3" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 847, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "3437:3:3", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 848, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3437:10:3", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 849, "name": "winnings", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 731, "src": "3449:8:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 846, "name": "WinningsRedemption", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 192, "src": "3418:18:3", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 850, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3418:40:3", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 851, "nodeType": "EmitStatement", "src": "3413:45:3" } ] }, "documentation": "@dev Exchanges sender's winning outcome tokens for collateral tokens\n @return Sender's winnings", "id": 853, "implemented": true, "kind": "function", "modifiers": [], "name": "redeemWinnings", "nodeType": "FunctionDefinition", "parameters": { "id": 729, "nodeType": "ParameterList", "parameters": [], "src": "2079:2:3" }, "returnParameters": { "id": 732, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 731, "name": "winnings", "nodeType": "VariableDeclaration", "scope": 853, "src": "2114:13:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 730, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2114:4:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2113:15:3" }, "scope": 870, "src": "2056:1409:3", "stateMutability": "nonpayable", "superFunction": 391, "visibility": "public" }, { "body": { "id": 868, "nodeType": "Block", "src": "3627:100:3", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 861, "name": "collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 194, "src": "3671:15:3", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, { "argumentTypes": null, "id": 862, "name": "oracle", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 196, "src": "3688:6:3", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, { "argumentTypes": null, "id": 863, "name": "lowerBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 617, "src": "3696:10:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, { "argumentTypes": null, "id": 864, "name": "upperBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 619, "src": "3708:10:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" }, { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" }, { "typeIdentifier": "t_int256", "typeString": "int256" }, { "typeIdentifier": "t_int256", "typeString": "int256" } ], "expression": { "argumentTypes": null, "id": 859, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7907, "src": "3654:3:3", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 860, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3654:16:3", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 865, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3654:65:3", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 858, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7914, "src": "3644:9:3", "typeDescriptions": { "typeIdentifier": "t_function_keccak256_pure$_t_bytes_memory_ptr_$returns$_t_bytes32_$", "typeString": "function (bytes memory) pure returns (bytes32)" } }, "id": 866, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3644:76:3", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 857, "id": 867, "nodeType": "Return", "src": "3637:83:3" } ] }, "documentation": "@dev Calculates and returns event hash\n @return Event hash", "id": 869, "implemented": true, "kind": "function", "modifiers": [], "name": "getEventHash", "nodeType": "FunctionDefinition", "parameters": { "id": 854, "nodeType": "ParameterList", "parameters": [], "src": "3566:2:3" }, "returnParameters": { "id": 857, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 856, "name": "", "nodeType": "VariableDeclaration", "scope": 869, "src": "3614:7:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 855, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3614:7:3", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "3613:9:3" }, "scope": 870, "src": "3545:182:3", "stateMutability": "view", "superFunction": 386, "visibility": "public" } ], "scope": 871, "src": "1816:1913:3" } ], "src": "0:3730:3" }, "legacyAST": { "absolutePath": "/home/alan/src/github.com/gnosis/pm-contracts/contracts/Events/ScalarEvent.sol", "exportedSymbols": { "ScalarEvent": [ 870 ], "ScalarEventData": [ 620 ], "ScalarEventProxy": [ 720 ] }, "id": 871, "nodeType": "SourceUnit", "nodes": [ { "id": 604, "literals": [ "solidity", "^", "0.5", ".0" ], "nodeType": "PragmaDirective", "src": "0:23:3" }, { "absolutePath": "/home/alan/src/github.com/gnosis/pm-contracts/contracts/Events/Event.sol", "file": "../Events/Event.sol", "id": 605, "nodeType": "ImportDirective", "scope": 871, "sourceUnit": 393, "src": "24:29:3", "symbolAliases": [], "unitAlias": "" }, { "absolutePath": "@gnosis.pm/util-contracts/contracts/Proxy.sol", "file": "@gnosis.pm/util-contracts/contracts/Proxy.sol", "id": 606, "nodeType": "ImportDirective", "scope": 871, "sourceUnit": 6829, "src": "54:55:3", "symbolAliases": [], "unitAlias": "" }, { "baseContracts": [], "contractDependencies": [], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 620, "linearizedBaseContracts": [ 620 ], "name": "ScalarEventData", "nodeType": "ContractDefinition", "nodes": [ { "constant": true, "id": 609, "name": "SHORT", "nodeType": "VariableDeclaration", "scope": 620, "src": "177:31:3", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 607, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "177:5:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": { "argumentTypes": null, "hexValue": "30", "id": 608, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "207:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "visibility": "public" }, { "constant": true, "id": 612, "name": "LONG", "nodeType": "VariableDeclaration", "scope": 620, "src": "214:30:3", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 610, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "214:5:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": { "argumentTypes": null, "hexValue": "31", "id": 611, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "243:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1_by_1", "typeString": "int_const 1" }, "value": "1" }, "visibility": "public" }, { "constant": true, "id": 615, "name": "OUTCOME_RANGE", "nodeType": "VariableDeclaration", "scope": 620, "src": "250:46:3", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" }, "typeName": { "id": 613, "name": "uint24", "nodeType": "ElementaryTypeName", "src": "250:6:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "value": { "argumentTypes": null, "hexValue": "31303030303030", "id": 614, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "289:7:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_1000000_by_1", "typeString": "int_const 1000000" }, "value": "1000000" }, "visibility": "public" }, { "constant": false, "id": 617, "name": "lowerBound", "nodeType": "VariableDeclaration", "scope": 620, "src": "334:21:3", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 616, "name": "int", "nodeType": "ElementaryTypeName", "src": "334:3:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "public" }, { "constant": false, "id": 619, "name": "upperBound", "nodeType": "VariableDeclaration", "scope": 620, "src": "361:21:3", "stateVariable": true, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 618, "name": "int", "nodeType": "ElementaryTypeName", "src": "361:3:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "public" } ], "scope": 871, "src": "112:273:3" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 621, "name": "Proxy", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 6828, "src": "416:5:3", "typeDescriptions": { "typeIdentifier": "t_contract$_Proxy_$6828", "typeString": "contract Proxy" } }, "id": 622, "nodeType": "InheritanceSpecifier", "src": "416:5:3" }, { "arguments": null, "baseName": { "contractScope": null, "id": 623, "name": "EventData", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 204, "src": "423:9:3", "typeDescriptions": { "typeIdentifier": "t_contract$_EventData_$204", "typeString": "contract EventData" } }, "id": 624, "nodeType": "InheritanceSpecifier", "src": "423:9:3" }, { "arguments": null, "baseName": { "contractScope": null, "id": 625, "name": "ScalarEventData", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 620, "src": "434:15:3", "typeDescriptions": { "typeIdentifier": "t_contract$_ScalarEventData_$620", "typeString": "contract ScalarEventData" } }, "id": 626, "nodeType": "InheritanceSpecifier", "src": "434:15:3" } ], "contractDependencies": [ 204, 620, 5721, 6798, 6828 ], "contractKind": "contract", "documentation": null, "fullyImplemented": true, "id": 720, "linearizedBaseContracts": [ 720, 620, 204, 6828, 6798 ], "name": "ScalarEventProxy", "nodeType": "ContractDefinition", "nodes": [ { "body": { "id": 718, "nodeType": "Block", "src": "1032:649:3", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_bool", "typeString": "bool" }, "id": 659, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 651, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 646, "name": "_collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 632, "src": "1084:16:3", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } ], "id": 645, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1076:7:3", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 647, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1076:25:3", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 649, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1113:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 648, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1105:7:3", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 650, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1105:10:3", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "src": "1076:39:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "nodeType": "BinaryOperation", "operator": "&&", "rightExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_address", "typeString": "address" }, "id": 658, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 653, "name": "_oracle", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 634, "src": "1127:7:3", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } ], "id": 652, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1119:7:3", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 654, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1119:16:3", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "nodeType": "BinaryOperation", "operator": "!=", "rightExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "hexValue": "30", "id": 656, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1147:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" } ], "id": 655, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1139:7:3", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 657, "isConstant": false, "isLValue": false, "isPure": true, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1139:10:3", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, "src": "1119:30:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "src": "1076:73:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 644, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 7923, 7924 ], "referencedDeclaration": 7923, "src": "1068:7:3", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 660, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1068:82:3", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 661, "nodeType": "ExpressionStatement", "src": "1068:82:3" }, { "expression": { "argumentTypes": null, "id": 664, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 662, "name": "collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 194, "src": "1160:15:3", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 663, "name": "_collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 632, "src": "1178:16:3", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "src": "1160:34:3", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "id": 665, "nodeType": "ExpressionStatement", "src": "1160:34:3" }, { "expression": { "argumentTypes": null, "id": 668, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 666, "name": "oracle", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 196, "src": "1204:6:3", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 667, "name": "_oracle", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 634, "src": "1213:7:3", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "src": "1204:16:3", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "id": 669, "nodeType": "ExpressionStatement", "src": "1204:16:3" }, { "body": { "id": 702, "nodeType": "Block", "src": "1312:223:3", "statements": [ { "assignments": [ 681 ], "declarations": [ { "constant": false, "id": 681, "name": "outcomeToken", "nodeType": "VariableDeclaration", "scope": 702, "src": "1326:25:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" }, "typeName": { "contractScope": null, "id": 680, "name": "OutcomeToken", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 5793, "src": "1326:12:3", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "value": null, "visibility": "internal" } ], "id": 690, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 686, "name": "outcomeTokenMasterCopy", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 630, "src": "1397:22:3", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address", "typeString": "address" } ], "id": 685, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "NewExpression", "src": "1375:21:3", "typeDescriptions": { "typeIdentifier": "t_function_creation_nonpayable$_t_address_$returns$_t_contract$_OutcomeTokenProxy_$5721_$", "typeString": "function (address) returns (contract OutcomeTokenProxy)" }, "typeName": { "contractScope": null, "id": 684, "name": "OutcomeTokenProxy", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 5721, "src": "1379:17:3", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeTokenProxy_$5721", "typeString": "contract OutcomeTokenProxy" } } }, "id": 687, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1375:45:3", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeTokenProxy_$5721", "typeString": "contract OutcomeTokenProxy" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_OutcomeTokenProxy_$5721", "typeString": "contract OutcomeTokenProxy" } ], "id": 683, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "1367:7:3", "typeDescriptions": { "typeIdentifier": "t_type$_t_address_$", "typeString": "type(address)" }, "typeName": "address" }, "id": 688, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1367:54:3", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" } ], "id": 682, "name": "OutcomeToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 5793, "src": "1354:12:3", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_OutcomeToken_$5793_$", "typeString": "type(contract OutcomeToken)" } }, "id": 689, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1354:68:3", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "nodeType": "VariableDeclarationStatement", "src": "1326:96:3" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 694, "name": "outcomeToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 681, "src": "1455:12:3", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } ], "expression": { "argumentTypes": null, "id": 691, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "1436:13:3", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 693, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "push", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "1436:18:3", "typeDescriptions": { "typeIdentifier": "t_function_arraypush_nonpayable$_t_contract$_OutcomeToken_$5793_$returns$_t_uint256_$", "typeString": "function (contract OutcomeToken) returns (uint256)" } }, "id": 695, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1436:32:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 696, "nodeType": "ExpressionStatement", "src": "1436:32:3" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 698, "name": "outcomeToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 681, "src": "1508:12:3", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, { "argumentTypes": null, "id": 699, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 671, "src": "1522:1:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" }, { "typeIdentifier": "t_uint8", "typeString": "uint8" } ], "id": 697, "name": "OutcomeTokenCreation", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 170, "src": "1487:20:3", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_contract$_OutcomeToken_$5793_$_t_uint8_$returns$__$", "typeString": "function (contract OutcomeToken,uint8)" } }, "id": 700, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1487:37:3", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 701, "nodeType": "EmitStatement", "src": "1482:42:3" } ] }, "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "id": 676, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 674, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 671, "src": "1300:1:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "hexValue": "32", "id": 675, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1304:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_2_by_1", "typeString": "int_const 2" }, "value": "2" }, "src": "1300:5:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "id": 703, "initializationExpression": { "assignments": [ 671 ], "declarations": [ { "constant": false, "id": 671, "name": "i", "nodeType": "VariableDeclaration", "scope": 703, "src": "1287:7:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" }, "typeName": { "id": 670, "name": "uint8", "nodeType": "ElementaryTypeName", "src": "1287:5:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "value": null, "visibility": "internal" } ], "id": 673, "initialValue": { "argumentTypes": null, "hexValue": "30", "id": 672, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "1297:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "nodeType": "VariableDeclarationStatement", "src": "1287:11:3" }, "loopExpression": { "expression": { "argumentTypes": null, "id": 678, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "UnaryOperation", "operator": "++", "prefix": false, "src": "1307:3:3", "subExpression": { "argumentTypes": null, "id": 677, "name": "i", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 671, "src": "1307:1:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "id": 679, "nodeType": "ExpressionStatement", "src": "1307:3:3" }, "nodeType": "ForStatement", "src": "1282:253:3" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 707, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 705, "name": "_upperBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 638, "src": "1580:11:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 706, "name": "_lowerBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 636, "src": "1594:11:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1580:25:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 704, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 7923, 7924 ], "referencedDeclaration": 7923, "src": "1572:7:3", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 708, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "1572:34:3", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 709, "nodeType": "ExpressionStatement", "src": "1572:34:3" }, { "expression": { "argumentTypes": null, "id": 712, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 710, "name": "lowerBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 617, "src": "1616:10:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 711, "name": "_lowerBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 636, "src": "1629:11:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1616:24:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 713, "nodeType": "ExpressionStatement", "src": "1616:24:3" }, { "expression": { "argumentTypes": null, "id": 716, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 714, "name": "upperBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 619, "src": "1650:10:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 715, "name": "_upperBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 638, "src": "1663:11:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "1650:24:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "id": 717, "nodeType": "ExpressionStatement", "src": "1650:24:3" } ] }, "documentation": "@dev Contract constructor validates and sets basic event properties\n @param _collateralToken Tokens used as collateral in exchange for outcome tokens\n @param _oracle Oracle contract used to resolve the event\n @param _lowerBound Lower bound for event outcome\n @param _upperBound Lower bound for event outcome", "id": 719, "implemented": true, "kind": "constructor", "modifiers": [ { "arguments": [ { "argumentTypes": null, "id": 641, "name": "proxied", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 628, "src": "1004:7:3", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } } ], "id": 642, "modifierName": { "argumentTypes": null, "id": 640, "name": "Proxy", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 6828, "src": "998:5:3", "typeDescriptions": { "typeIdentifier": "t_type$_t_contract$_Proxy_$6828_$", "typeString": "type(contract Proxy)" } }, "nodeType": "ModifierInvocation", "src": "998:14:3" } ], "name": "", "nodeType": "FunctionDefinition", "parameters": { "id": 639, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 628, "name": "proxied", "nodeType": "VariableDeclaration", "scope": 719, "src": "822:15:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 627, "name": "address", "nodeType": "ElementaryTypeName", "src": "822:7:3", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 630, "name": "outcomeTokenMasterCopy", "nodeType": "VariableDeclaration", "scope": 719, "src": "847:30:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" }, "typeName": { "id": 629, "name": "address", "nodeType": "ElementaryTypeName", "src": "847:7:3", "stateMutability": "nonpayable", "typeDescriptions": { "typeIdentifier": "t_address", "typeString": "address" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 632, "name": "_collateralToken", "nodeType": "VariableDeclaration", "scope": 719, "src": "887:22:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" }, "typeName": { "contractScope": null, "id": 631, "name": "ERC20", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 7778, "src": "887:5:3", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 634, "name": "_oracle", "nodeType": "VariableDeclaration", "scope": 719, "src": "919:14:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" }, "typeName": { "contractScope": null, "id": 633, "name": "Oracle", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 4841, "src": "919:6:3", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 636, "name": "_lowerBound", "nodeType": "VariableDeclaration", "scope": 719, "src": "943:15:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 635, "name": "int", "nodeType": "ElementaryTypeName", "src": "943:3:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" }, { "constant": false, "id": 638, "name": "_upperBound", "nodeType": "VariableDeclaration", "scope": 719, "src": "968:15:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" }, "typeName": { "id": 637, "name": "int", "nodeType": "ElementaryTypeName", "src": "968:3:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "value": null, "visibility": "internal" } ], "src": "812:177:3" }, "returnParameters": { "id": 643, "nodeType": "ParameterList", "parameters": [], "src": "1032:0:3" }, "scope": 720, "src": "801:880:3", "stateMutability": "nonpayable", "superFunction": null, "visibility": "public" } ], "scope": 871, "src": "387:1296:3" }, { "baseContracts": [ { "arguments": null, "baseName": { "contractScope": null, "id": 721, "name": "Proxied", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 6798, "src": "1840:7:3", "typeDescriptions": { "typeIdentifier": "t_contract$_Proxied_$6798", "typeString": "contract Proxied" } }, "id": 722, "nodeType": "InheritanceSpecifier", "src": "1840:7:3" }, { "arguments": null, "baseName": { "contractScope": null, "id": 723, "name": "Event", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 392, "src": "1849:5:3", "typeDescriptions": { "typeIdentifier": "t_contract$_Event_$392", "typeString": "contract Event" } }, "id": 724, "nodeType": "InheritanceSpecifier", "src": "1849:5:3" }, { "arguments": null, "baseName": { "contractScope": null, "id": 725, "name": "ScalarEventData", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 620, "src": "1856:15:3", "typeDescriptions": { "typeIdentifier": "t_contract$_ScalarEventData_$620", "typeString": "contract ScalarEventData" } }, "id": 726, "nodeType": "InheritanceSpecifier", "src": "1856:15:3" } ], "contractDependencies": [ 204, 392, 620, 6798 ], "contractKind": "contract", "documentation": "@title Scalar event contract - Scalar events resolve to a number within a range\n @author Stefan George - ", "fullyImplemented": true, "id": 870, "linearizedBaseContracts": [ 870, 620, 392, 204, 6798 ], "name": "ScalarEvent", "nodeType": "ContractDefinition", "nodes": [ { "id": 728, "libraryName": { "contractScope": null, "id": 727, "name": "SafeMath", "nodeType": "UserDefinedTypeName", "referencedDeclaration": 7381, "src": "1884:8:3", "typeDescriptions": { "typeIdentifier": "t_contract$_SafeMath_$7381", "typeString": "library SafeMath" } }, "nodeType": "UsingForDirective", "src": "1878:21:3", "typeName": null }, { "body": { "id": 852, "nodeType": "Block", "src": "2133:1332:3", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 734, "name": "isOutcomeSet", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 198, "src": "2192:12:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 733, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 7923, 7924 ], "referencedDeclaration": 7923, "src": "2184:7:3", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 735, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2184:21:3", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 736, "nodeType": "ExpressionStatement", "src": "2184:21:3" }, { "assignments": [ 738 ], "declarations": [ { "constant": false, "id": 738, "name": "convertedWinningOutcome", "nodeType": "VariableDeclaration", "scope": 852, "src": "2245:30:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" }, "typeName": { "id": 737, "name": "uint24", "nodeType": "ElementaryTypeName", "src": "2245:6:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "value": null, "visibility": "internal" } ], "id": 739, "initialValue": null, "nodeType": "VariableDeclarationStatement", "src": "2245:30:3" }, { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 742, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 740, "name": "outcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 200, "src": "2342:7:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "<", "rightExpression": { "argumentTypes": null, "id": 741, "name": "lowerBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 617, "src": "2352:10:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2342:20:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "condition": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 749, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 747, "name": "outcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 200, "src": "2476:7:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": ">", "rightExpression": { "argumentTypes": null, "id": 748, "name": "upperBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 619, "src": "2486:10:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2476:20:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } }, "falseBody": { "expression": { "argumentTypes": null, "id": 768, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 754, "name": "convertedWinningOutcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 738, "src": "2616:23:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 766, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 761, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 756, "name": "OUTCOME_RANGE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 615, "src": "2649:13:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "nodeType": "BinaryOperation", "operator": "*", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 759, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 757, "name": "outcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 200, "src": "2666:7:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 758, "name": "lowerBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 617, "src": "2676:10:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2666:20:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "id": 760, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2665:22:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2649:38:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "components": [ { "argumentTypes": null, "commonType": { "typeIdentifier": "t_int256", "typeString": "int256" }, "id": 764, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 762, "name": "upperBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 619, "src": "2691:10:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 763, "name": "lowerBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 617, "src": "2704:10:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2691:23:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "id": 765, "isConstant": false, "isInlineArray": false, "isLValue": false, "isPure": false, "lValueRequested": false, "nodeType": "TupleExpression", "src": "2690:25:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, "src": "2649:66:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_int256", "typeString": "int256" } ], "id": 755, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "nodeType": "ElementaryTypeNameExpression", "src": "2642:6:3", "typeDescriptions": { "typeIdentifier": "t_type$_t_uint24_$", "typeString": "type(uint24)" }, "typeName": "uint24" }, "id": 767, "isConstant": false, "isLValue": false, "isPure": false, "kind": "typeConversion", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2642:74:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "src": "2616:100:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "id": 769, "nodeType": "ExpressionStatement", "src": "2616:100:3" }, "id": 770, "nodeType": "IfStatement", "src": "2472:244:3", "trueBody": { "expression": { "argumentTypes": null, "id": 752, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 750, "name": "convertedWinningOutcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 738, "src": "2510:23:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "id": 751, "name": "OUTCOME_RANGE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 615, "src": "2536:13:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "src": "2510:39:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "id": 753, "nodeType": "ExpressionStatement", "src": "2510:39:3" } }, "id": 771, "nodeType": "IfStatement", "src": "2338:378:3", "trueBody": { "expression": { "argumentTypes": null, "id": 745, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 743, "name": "convertedWinningOutcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 738, "src": "2376:23:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "hexValue": "30", "id": 744, "isConstant": false, "isLValue": false, "isPure": true, "kind": "number", "lValueRequested": false, "nodeType": "Literal", "src": "2402:1:3", "subdenomination": null, "typeDescriptions": { "typeIdentifier": "t_rational_0_by_1", "typeString": "int_const 0" }, "value": "0" }, "src": "2376:27:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "id": 746, "nodeType": "ExpressionStatement", "src": "2376:27:3" } }, { "assignments": [ 773 ], "declarations": [ { "constant": false, "id": 773, "name": "factorShort", "nodeType": "VariableDeclaration", "scope": 852, "src": "2726:16:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 772, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2726:4:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 777, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint24", "typeString": "uint24" }, "id": 776, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 774, "name": "OUTCOME_RANGE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 615, "src": "2745:13:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 775, "name": "convertedWinningOutcome", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 738, "src": "2761:23:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "src": "2745:39:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "nodeType": "VariableDeclarationStatement", "src": "2726:58:3" }, { "assignments": [ 779 ], "declarations": [ { "constant": false, "id": 779, "name": "factorLong", "nodeType": "VariableDeclaration", "scope": 852, "src": "2794:15:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 778, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2794:4:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 783, "initialValue": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 782, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "id": 780, "name": "OUTCOME_RANGE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 615, "src": "2812:13:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "nodeType": "BinaryOperation", "operator": "-", "rightExpression": { "argumentTypes": null, "id": 781, "name": "factorShort", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 773, "src": "2828:11:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "2812:27:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2794:45:3" }, { "assignments": [ 785 ], "declarations": [ { "constant": false, "id": 785, "name": "shortOutcomeTokenCount", "nodeType": "VariableDeclaration", "scope": 852, "src": "2849:27:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 784, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2849:4:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 793, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 790, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "2910:3:3", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 791, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2910:10:3", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 786, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "2879:13:3", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 788, "indexExpression": { "argumentTypes": null, "id": 787, "name": "SHORT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 609, "src": "2893:5:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2879:20:3", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 789, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "balanceOf", "nodeType": "MemberAccess", "referencedDeclaration": 7422, "src": "2879:30:3", "typeDescriptions": { "typeIdentifier": "t_function_external_view$_t_address_$returns$_t_uint256_$", "typeString": "function (address) view external returns (uint256)" } }, "id": 792, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2879:42:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2849:72:3" }, { "assignments": [ 795 ], "declarations": [ { "constant": false, "id": 795, "name": "longOutcomeTokenCount", "nodeType": "VariableDeclaration", "scope": 852, "src": "2931:26:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 794, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2931:4:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "id": 803, "initialValue": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 800, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "2990:3:3", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 801, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "2990:10:3", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" } ], "expression": { "argumentTypes": null, "baseExpression": { "argumentTypes": null, "id": 796, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "2960:13:3", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 798, "indexExpression": { "argumentTypes": null, "id": 797, "name": "LONG", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 612, "src": "2974:4:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "2960:19:3", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 799, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "balanceOf", "nodeType": "MemberAccess", "referencedDeclaration": 7422, "src": "2960:29:3", "typeDescriptions": { "typeIdentifier": "t_function_external_view$_t_address_$returns$_t_uint256_$", "typeString": "function (address) view external returns (uint256)" } }, "id": 802, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "2960:41:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "VariableDeclarationStatement", "src": "2931:70:3" }, { "expression": { "argumentTypes": null, "id": 817, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftHandSide": { "argumentTypes": null, "id": 804, "name": "winnings", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 731, "src": "3011:8:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "Assignment", "operator": "=", "rightHandSide": { "argumentTypes": null, "commonType": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "id": 816, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "leftExpression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 812, "name": "factorLong", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 779, "src": "3092:10:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 810, "name": "longOutcomeTokenCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 795, "src": "3066:21:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 811, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 7334, "src": "3066:25:3", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 813, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3066:37:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 807, "name": "factorShort", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 773, "src": "3049:11:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 805, "name": "shortOutcomeTokenCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 785, "src": "3022:22:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 806, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "mul", "nodeType": "MemberAccess", "referencedDeclaration": 7334, "src": "3022:26:3", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 808, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3022:39:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 809, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "add", "nodeType": "MemberAccess", "referencedDeclaration": 7275, "src": "3022:43:3", "typeDescriptions": { "typeIdentifier": "t_function_internal_pure$_t_uint256_$_t_uint256_$returns$_t_uint256_$bound_to$_t_uint256_$", "typeString": "function (uint256,uint256) pure returns (uint256)" } }, "id": 814, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3022:82:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "nodeType": "BinaryOperation", "operator": "/", "rightExpression": { "argumentTypes": null, "id": 815, "name": "OUTCOME_RANGE", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 615, "src": "3107:13:3", "typeDescriptions": { "typeIdentifier": "t_uint24", "typeString": "uint24" } }, "src": "3022:98:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "src": "3011:109:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "id": 818, "nodeType": "ExpressionStatement", "src": "3011:109:3" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 823, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "3195:3:3", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 824, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3195:10:3", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 825, "name": "shortOutcomeTokenCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 785, "src": "3207:22:3", "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": 819, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "3167:13:3", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 821, "indexExpression": { "argumentTypes": null, "id": 820, "name": "SHORT", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 609, "src": "3181:5:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3167:20:3", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 822, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "revoke", "nodeType": "MemberAccess", "referencedDeclaration": 5792, "src": "3167:27:3", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256) external" } }, "id": 826, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3167:63:3", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 827, "nodeType": "ExpressionStatement", "src": "3167:63:3" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 832, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "3267:3:3", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 833, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3267:10:3", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 834, "name": "longOutcomeTokenCount", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 795, "src": "3279:21:3", "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": 828, "name": "outcomeTokens", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 203, "src": "3240:13:3", "typeDescriptions": { "typeIdentifier": "t_array$_t_contract$_OutcomeToken_$5793_$dyn_storage", "typeString": "contract OutcomeToken[] storage ref" } }, "id": 830, "indexExpression": { "argumentTypes": null, "id": 829, "name": "LONG", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 612, "src": "3254:4:3", "typeDescriptions": { "typeIdentifier": "t_uint8", "typeString": "uint8" } }, "isConstant": false, "isLValue": true, "isPure": false, "lValueRequested": false, "nodeType": "IndexAccess", "src": "3240:19:3", "typeDescriptions": { "typeIdentifier": "t_contract$_OutcomeToken_$5793", "typeString": "contract OutcomeToken" } }, "id": 831, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "revoke", "nodeType": "MemberAccess", "referencedDeclaration": 5792, "src": "3240:26:3", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256) external" } }, "id": 835, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3240:61:3", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 836, "nodeType": "ExpressionStatement", "src": "3240:61:3" }, { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 840, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "3381:3:3", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 841, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3381:10:3", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 842, "name": "winnings", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 731, "src": "3393:8:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "expression": { "argumentTypes": null, "id": 838, "name": "collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 194, "src": "3356:15:3", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, "id": 839, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "transfer", "nodeType": "MemberAccess", "referencedDeclaration": 7441, "src": "3356:24:3", "typeDescriptions": { "typeIdentifier": "t_function_external_nonpayable$_t_address_$_t_uint256_$returns$_t_bool_$", "typeString": "function (address,uint256) external returns (bool)" } }, "id": 843, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3356:46:3", "typeDescriptions": { "typeIdentifier": "t_bool", "typeString": "bool" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bool", "typeString": "bool" } ], "id": 837, "name": "require", "nodeType": "Identifier", "overloadedDeclarations": [ 7923, 7924 ], "referencedDeclaration": 7923, "src": "3348:7:3", "typeDescriptions": { "typeIdentifier": "t_function_require_pure$_t_bool_$returns$__$", "typeString": "function (bool) pure" } }, "id": 844, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3348:55:3", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 845, "nodeType": "ExpressionStatement", "src": "3348:55:3" }, { "eventCall": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "expression": { "argumentTypes": null, "id": 847, "name": "msg", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7920, "src": "3437:3:3", "typeDescriptions": { "typeIdentifier": "t_magic_message", "typeString": "msg" } }, "id": 848, "isConstant": false, "isLValue": false, "isPure": false, "lValueRequested": false, "memberName": "sender", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3437:10:3", "typeDescriptions": { "typeIdentifier": "t_address_payable", "typeString": "address payable" } }, { "argumentTypes": null, "id": 849, "name": "winnings", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 731, "src": "3449:8:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_address_payable", "typeString": "address payable" }, { "typeIdentifier": "t_uint256", "typeString": "uint256" } ], "id": 846, "name": "WinningsRedemption", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 192, "src": "3418:18:3", "typeDescriptions": { "typeIdentifier": "t_function_event_nonpayable$_t_address_$_t_uint256_$returns$__$", "typeString": "function (address,uint256)" } }, "id": 850, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3418:40:3", "typeDescriptions": { "typeIdentifier": "t_tuple$__$", "typeString": "tuple()" } }, "id": 851, "nodeType": "EmitStatement", "src": "3413:45:3" } ] }, "documentation": "@dev Exchanges sender's winning outcome tokens for collateral tokens\n @return Sender's winnings", "id": 853, "implemented": true, "kind": "function", "modifiers": [], "name": "redeemWinnings", "nodeType": "FunctionDefinition", "parameters": { "id": 729, "nodeType": "ParameterList", "parameters": [], "src": "2079:2:3" }, "returnParameters": { "id": 732, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 731, "name": "winnings", "nodeType": "VariableDeclaration", "scope": 853, "src": "2114:13:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" }, "typeName": { "id": 730, "name": "uint", "nodeType": "ElementaryTypeName", "src": "2114:4:3", "typeDescriptions": { "typeIdentifier": "t_uint256", "typeString": "uint256" } }, "value": null, "visibility": "internal" } ], "src": "2113:15:3" }, "scope": 870, "src": "2056:1409:3", "stateMutability": "nonpayable", "superFunction": 391, "visibility": "public" }, { "body": { "id": 868, "nodeType": "Block", "src": "3627:100:3", "statements": [ { "expression": { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "arguments": [ { "argumentTypes": null, "id": 861, "name": "collateralToken", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 194, "src": "3671:15:3", "typeDescriptions": { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" } }, { "argumentTypes": null, "id": 862, "name": "oracle", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 196, "src": "3688:6:3", "typeDescriptions": { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" } }, { "argumentTypes": null, "id": 863, "name": "lowerBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 617, "src": "3696:10:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } }, { "argumentTypes": null, "id": 864, "name": "upperBound", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 619, "src": "3708:10:3", "typeDescriptions": { "typeIdentifier": "t_int256", "typeString": "int256" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_contract$_ERC20_$7778", "typeString": "contract ERC20" }, { "typeIdentifier": "t_contract$_Oracle_$4841", "typeString": "contract Oracle" }, { "typeIdentifier": "t_int256", "typeString": "int256" }, { "typeIdentifier": "t_int256", "typeString": "int256" } ], "expression": { "argumentTypes": null, "id": 859, "name": "abi", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7907, "src": "3654:3:3", "typeDescriptions": { "typeIdentifier": "t_magic_abi", "typeString": "abi" } }, "id": 860, "isConstant": false, "isLValue": false, "isPure": true, "lValueRequested": false, "memberName": "encodePacked", "nodeType": "MemberAccess", "referencedDeclaration": null, "src": "3654:16:3", "typeDescriptions": { "typeIdentifier": "t_function_abiencodepacked_pure$__$returns$_t_bytes_memory_ptr_$", "typeString": "function () pure returns (bytes memory)" } }, "id": 865, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3654:65:3", "typeDescriptions": { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } } ], "expression": { "argumentTypes": [ { "typeIdentifier": "t_bytes_memory_ptr", "typeString": "bytes memory" } ], "id": 858, "name": "keccak256", "nodeType": "Identifier", "overloadedDeclarations": [], "referencedDeclaration": 7914, "src": "3644:9:3", "typeDescriptions": { "typeIdentifier": "t_function_keccak256_pure$_t_bytes_memory_ptr_$returns$_t_bytes32_$", "typeString": "function (bytes memory) pure returns (bytes32)" } }, "id": 866, "isConstant": false, "isLValue": false, "isPure": false, "kind": "functionCall", "lValueRequested": false, "names": [], "nodeType": "FunctionCall", "src": "3644:76:3", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "functionReturnParameters": 857, "id": 867, "nodeType": "Return", "src": "3637:83:3" } ] }, "documentation": "@dev Calculates and returns event hash\n @return Event hash", "id": 869, "implemented": true, "kind": "function", "modifiers": [], "name": "getEventHash", "nodeType": "FunctionDefinition", "parameters": { "id": 854, "nodeType": "ParameterList", "parameters": [], "src": "3566:2:3" }, "returnParameters": { "id": 857, "nodeType": "ParameterList", "parameters": [ { "constant": false, "id": 856, "name": "", "nodeType": "VariableDeclaration", "scope": 869, "src": "3614:7:3", "stateVariable": false, "storageLocation": "default", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" }, "typeName": { "id": 855, "name": "bytes32", "nodeType": "ElementaryTypeName", "src": "3614:7:3", "typeDescriptions": { "typeIdentifier": "t_bytes32", "typeString": "bytes32" } }, "value": null, "visibility": "internal" } ], "src": "3613:9:3" }, "scope": 870, "src": "3545:182:3", "stateMutability": "view", "superFunction": 386, "visibility": "public" } ], "scope": 871, "src": "1816:1913:3" } ], "src": "0:3730:3" }, "compiler": { "name": "solc", "version": "0.5.6+commit.b259423e.Emscripten.clang" }, "networks": {}, "schemaVersion": "3.0.11", "updatedAt": "2019-09-20T17:46:52.119Z", "devdoc": { "methods": {} }, "userdoc": { "methods": {} } }