{ "contractName": "ScalarEventProxy", "abi": [ { "constant": true, "inputs": [], "name": "outcome", "outputs": [ { "name": "", "type": "int256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "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": "oracle", "outputs": [ { "name": "", "type": "address" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [ { "name": "", "type": "uint256" } ], "name": "outcomeTokens", "outputs": [ { "name": "", "type": "address" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "lowerBound", "outputs": [ { "name": "", "type": "int256" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "masterCopy", "outputs": [ { "name": "", "type": "address" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "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" }, { "constant": true, "inputs": [], "name": "collateralToken", "outputs": [ { "name": "", "type": "address" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "constant": true, "inputs": [], "name": "isOutcomeSet", "outputs": [ { "name": "", "type": "bool" } ], "payable": false, "stateMutability": "view", "type": "function" }, { "inputs": [ { "name": "proxied", "type": "address" }, { "name": "outcomeTokenMasterCopy", "type": "address" }, { "name": "_collateralToken", "type": "address" }, { "name": "_oracle", "type": "address" }, { "name": "_lowerBound", "type": "int256" }, { "name": "_upperBound", "type": "int256" } ], "payable": false, "stateMutability": "nonpayable", "type": "constructor" }, { "payable": true, "stateMutability": "payable", "type": "fallback" }, { "anonymous": false, "inputs": [ { "indexed": false, "name": "outcomeToken", "type": "address" }, { "indexed": false, "name": "index", "type": "uint8" } ], "name": "OutcomeTokenCreation", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "buyer", "type": "address" }, { "indexed": false, "name": "collateralTokenCount", "type": "uint256" } ], "name": "OutcomeTokenSetIssuance", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "seller", "type": "address" }, { "indexed": false, "name": "outcomeTokenCount", "type": "uint256" } ], "name": "OutcomeTokenSetRevocation", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "name": "outcome", "type": "int256" } ], "name": "OutcomeAssignment", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "name": "receiver", "type": "address" }, { "indexed": false, "name": "winnings", "type": "uint256" } ], "name": "WinningsRedemption", "type": "event" } ], "metadata": "{\"compiler\":{\"version\":\"0.5.6+commit.b259423e\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"constant\":true,\"inputs\":[],\"name\":\"outcome\",\"outputs\":[{\"name\":\"\",\"type\":\"int256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"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\":\"oracle\",\"outputs\":[{\"name\":\"\",\"type\":\"address\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[{\"name\":\"\",\"type\":\"uint256\"}],\"name\":\"outcomeTokens\",\"outputs\":[{\"name\":\"\",\"type\":\"address\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"lowerBound\",\"outputs\":[{\"name\":\"\",\"type\":\"int256\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"masterCopy\",\"outputs\":[{\"name\":\"\",\"type\":\"address\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"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\"},{\"constant\":true,\"inputs\":[],\"name\":\"collateralToken\",\"outputs\":[{\"name\":\"\",\"type\":\"address\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"constant\":true,\"inputs\":[],\"name\":\"isOutcomeSet\",\"outputs\":[{\"name\":\"\",\"type\":\"bool\"}],\"payable\":false,\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"name\":\"proxied\",\"type\":\"address\"},{\"name\":\"outcomeTokenMasterCopy\",\"type\":\"address\"},{\"name\":\"_collateralToken\",\"type\":\"address\"},{\"name\":\"_oracle\",\"type\":\"address\"},{\"name\":\"_lowerBound\",\"type\":\"int256\"},{\"name\":\"_upperBound\",\"type\":\"int256\"}],\"payable\":false,\"stateMutability\":\"nonpayable\",\"type\":\"constructor\"},{\"payable\":true,\"stateMutability\":\"payable\",\"type\":\"fallback\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"name\":\"outcomeToken\",\"type\":\"address\"},{\"indexed\":false,\"name\":\"index\",\"type\":\"uint8\"}],\"name\":\"OutcomeTokenCreation\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"name\":\"buyer\",\"type\":\"address\"},{\"indexed\":false,\"name\":\"collateralTokenCount\",\"type\":\"uint256\"}],\"name\":\"OutcomeTokenSetIssuance\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"name\":\"seller\",\"type\":\"address\"},{\"indexed\":false,\"name\":\"outcomeTokenCount\",\"type\":\"uint256\"}],\"name\":\"OutcomeTokenSetRevocation\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":false,\"name\":\"outcome\",\"type\":\"int256\"}],\"name\":\"OutcomeAssignment\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"name\":\"receiver\",\"type\":\"address\"},{\"indexed\":false,\"name\":\"winnings\",\"type\":\"uint256\"}],\"name\":\"WinningsRedemption\",\"type\":\"event\"}],\"devdoc\":{\"methods\":{\"constructor\":{\"details\":\"Contract constructor validates and sets basic event properties\",\"params\":{\"_collateralToken\":\"Tokens used as collateral in exchange for outcome tokens\",\"_lowerBound\":\"Lower bound for event outcome\",\"_oracle\":\"Oracle contract used to resolve the event\",\"_upperBound\":\"Lower bound for event outcome\"}}}},\"userdoc\":{\"methods\":{}}},\"settings\":{\"compilationTarget\":{\"/home/alan/src/github.com/gnosis/pm-contracts/contracts/Events/ScalarEvent.sol\":\"ScalarEventProxy\"},\"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": "0x608060405234801561001057600080fd5b5060405160c080610a5d833981018060405260c081101561003057600080fd5b8101908080519060200190929190805190602001909291908051906020019092919080519060200190929190805190602001909291908051906020019092919050505085600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156100ae57600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff16141580156101595750600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614155b61016257600080fd5b83600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555082600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060008090505b60028160ff16101561033f5760008660405161020590610365565b808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050604051809103906000f080158015610257573d6000803e3d6000fd5b50905060048190806001815401808255809150509060018203906000526020600020016000909192909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550507fad24776dc347085865b6988e249c191fc22d9b31cf54cb62233c3c16be1736ee8183604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018260ff1660ff1681526020019250505060405180910390a15080806001019150506101ea565b5081811361034c57600080fd5b8160058190555080600681905550505050505050610372565b61021c8061084183390190565b6104c0806103816000396000f3fe60806040526004361061009c5760003560e01c8063a384d6ff11610064578063a384d6ff1461024d578063a619486e14610278578063a871da91146102cf578063b09ad8a014610300578063b2016bd41461032b578063ccdf68f3146103825761009c565b806327793f87146100ea578063561cce0a146101155780636e5452fe146101465780637dc0d1d01461017b5780638abe59ea146101d2575b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050366000803760008036600084600019f43d6000803e80600081146100e5573d6000f35b3d6000fd5b3480156100f657600080fd5b506100ff6103b1565b6040518082815260200191505060405180910390f35b34801561012157600080fd5b5061012a6103b7565b604051808260ff1660ff16815260200191505060405180910390f35b34801561015257600080fd5b5061015b6103bc565b604051808262ffffff1662ffffff16815260200191505060405180910390f35b34801561018757600080fd5b506101906103c3565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156101de57600080fd5b5061020b600480360360208110156101f557600080fd5b81019080803590602001909291905050506103e9565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561025957600080fd5b50610262610425565b6040518082815260200191505060405180910390f35b34801561028457600080fd5b5061028d61042b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156102db57600080fd5b506102e4610450565b604051808260ff1660ff16815260200191505060405180910390f35b34801561030c57600080fd5b50610315610455565b6040518082815260200191505060405180910390f35b34801561033757600080fd5b5061034061045b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561038e57600080fd5b50610397610481565b604051808215151515815260200191505060405180910390f35b60035481565b600181565b620f424081565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600481815481106103f657fe5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60055481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600081565b60065481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600260149054906101000a900460ff168156fea165627a7a723058201ad326563df01e279e60dfba8f6610d07e653666c4be8ecd67c56aa15da6c7750029608060405234801561001057600080fd5b5060405160208061021c8339810180604052602081101561003057600080fd5b810190808051906020019092919050505080600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561007c57600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505033600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505061010e8061010e6000396000f3fe608060405260043610601c5760003560e01c8063a619486e146069575b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050366000803760008036600084600019f43d6000803e80600081146064573d6000f35b3d6000fd5b348015607457600080fd5b50607b60bd565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff168156fea165627a7a72305820cbbb84b03efb936eec7a7a63670e9c47ced04c53284f2b0435d190970bfd2eb40029", "deployedBytecode": "0x60806040526004361061009c5760003560e01c8063a384d6ff11610064578063a384d6ff1461024d578063a619486e14610278578063a871da91146102cf578063b09ad8a014610300578063b2016bd41461032b578063ccdf68f3146103825761009c565b806327793f87146100ea578063561cce0a146101155780636e5452fe146101465780637dc0d1d01461017b5780638abe59ea146101d2575b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050366000803760008036600084600019f43d6000803e80600081146100e5573d6000f35b3d6000fd5b3480156100f657600080fd5b506100ff6103b1565b6040518082815260200191505060405180910390f35b34801561012157600080fd5b5061012a6103b7565b604051808260ff1660ff16815260200191505060405180910390f35b34801561015257600080fd5b5061015b6103bc565b604051808262ffffff1662ffffff16815260200191505060405180910390f35b34801561018757600080fd5b506101906103c3565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156101de57600080fd5b5061020b600480360360208110156101f557600080fd5b81019080803590602001909291905050506103e9565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561025957600080fd5b50610262610425565b6040518082815260200191505060405180910390f35b34801561028457600080fd5b5061028d61042b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156102db57600080fd5b506102e4610450565b604051808260ff1660ff16815260200191505060405180910390f35b34801561030c57600080fd5b50610315610455565b6040518082815260200191505060405180910390f35b34801561033757600080fd5b5061034061045b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561038e57600080fd5b50610397610481565b604051808215151515815260200191505060405180910390f35b60035481565b600181565b620f424081565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600481815481106103f657fe5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60055481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600081565b60065481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600260149054906101000a900460ff168156fea165627a7a723058201ad326563df01e279e60dfba8f6610d07e653666c4be8ecd67c56aa15da6c7750029", "sourceMap": "387:1296:3:-;;;801:880;8:9:-1;5:2;;;30:1;27;20:12;5:2;801:880:3;;;;;;;;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;801:880:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1004:7;644:1:29;621:25;;:11;:25;;;;613:34;;;;;;670:11;657:10;;:24;;;;;;;;;;;;;;;;;;551:137;1113:1:3;1076:39;;1084:16;1076:39;;;;:73;;;;;1147:1;1119:30;;1127:7;1119:30;;;;1076:73;1068:82;;;;;;1178:16;1160:15;;:34;;;;;;;;;;;;;;;;;;1213:7;1204:6;;:16;;;;;;;;;;;;;;;;;;1287:7;1297:1;1287:11;;1282:253;1304:1;1300;:5;;;1282:253;;;1326:25;1397:22;1375:45;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;1375:45:3;1326:96;;1436:13;1455:12;1436:32;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;1436:32:3;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1487:37;1508:12;1522:1;1487:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1282:253;1307:3;;;;;;;1282:253;;;;1594:11;1580;:25;1572:34;;;;;;1629:11;1616:10;:24;;;;1663:11;1650:10;:24;;;;801:880;;;;;;387:1296;;;;;;;;;;:::o;:::-;;;;;;;", "deployedSourceMap": "387:1296:3:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;848:19:29;870:10;;;;;;;;;;;848:32;;932:14;929:1;926;913:34;1031:1;1028;1012:14;1009:1;996:11;992:1;988:6;975:58;1067:16;1064:1;1061;1046:38;1104:7;1129:1;1124:38;;;;1195:16;1192:1;1185:27;1124:38;1143:16;1140:1;1133:27;748:18:1;;8:9:-1;5:2;;;30:1;27;20:12;5:2;748:18:1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;214:30:3;;8:9:-1;5:2;;;30:1;27;20:12;5:2;214:30:3;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;250:46;;8:9:-1;5:2;;;30:1;27;20:12;5:2;250:46:3;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;692:20:1;;8:9:-1;5:2;;;30:1;27;20:12;5:2;692:20:1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;772:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;772:35:1;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;772:35:1;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;334:21:3;;8:9:-1;5:2;;;30:1;27;20:12;5:2;334:21:3;;;:::i;:::-;;;;;;;;;;;;;;;;;;;205:25:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;205:25:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;177:31:3;;8:9:-1;5:2;;;30:1;27;20:12;5:2;177:31:3;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;361:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;361:21:3;;;:::i;:::-;;;;;;;;;;;;;;;;;;;658:28:1;;8:9:-1;5:2;;;30:1;27;20:12;5:2;658:28:1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;718:24;;8:9:-1;5:2;;;30:1;27;20:12;5:2;718:24:1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;748:18;;;;:::o;214:30:3:-;243:1;214:30;:::o;250:46::-;289:7;250:46;:::o;692:20:1:-;;;;;;;;;;;;;:::o;772:35::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;334:21:3:-;;;;:::o;205:25:29:-;;;;;;;;;;;;;:::o;177:31:3:-;207:1;177:31;:::o;361:21::-;;;;:::o;658:28:1:-;;;;;;;;;;;;;:::o;718:24::-;;;;;;;;;;;;;:::o", "source": "pragma solidity ^0.5.0;\nimport \"../Events/Event.sol\";\nimport \"@gnosis.pm/util-contracts/contracts/Proxy.sol\";\n\n\ncontract 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.122Z", "devdoc": { "methods": { "constructor": { "details": "Contract constructor validates and sets basic event properties", "params": { "_collateralToken": "Tokens used as collateral in exchange for outcome tokens", "_lowerBound": "Lower bound for event outcome", "_oracle": "Oracle contract used to resolve the event", "_upperBound": "Lower bound for event outcome" } } } }, "userdoc": { "methods": {} } }