kleros-interaction-2
Version:
Smart contracts interacting with Kleros.
799 lines • 288 kB
JSON
{
"contractName": "BackedUpArbitrator",
"abi": [
{
"constant": true,
"inputs": [],
"name": "arbitratorExtraData",
"outputs": [
{
"name": "",
"type": "bytes"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"constant": true,
"inputs": [
{
"name": "_disputeID",
"type": "uint256"
}
],
"name": "disputeStatus",
"outputs": [
{
"name": "status",
"type": "uint8"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"constant": true,
"inputs": [
{
"name": "_disputeID",
"type": "uint256"
}
],
"name": "currentRuling",
"outputs": [
{
"name": "ruling",
"type": "uint256"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"constant": false,
"inputs": [
{
"name": "_disputeID",
"type": "uint256"
},
{
"name": "_ruling",
"type": "uint256"
}
],
"name": "rule",
"outputs": [],
"payable": false,
"stateMutability": "nonpayable",
"type": "function"
},
{
"constant": true,
"inputs": [
{
"name": "",
"type": "uint256"
}
],
"name": "appealDisputes",
"outputs": [
{
"name": "creationTime",
"type": "uint256"
},
{
"name": "appealDisputeID",
"type": "uint256"
},
{
"name": "appealed",
"type": "bool"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"constant": true,
"inputs": [
{
"name": "",
"type": "uint256"
}
],
"name": "disputes",
"outputs": [
{
"name": "arbitrated",
"type": "address"
},
{
"name": "choices",
"type": "uint256"
},
{
"name": "fee",
"type": "uint256"
},
{
"name": "ruling",
"type": "uint256"
},
{
"name": "status",
"type": "uint8"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"constant": true,
"inputs": [],
"name": "timeOut",
"outputs": [
{
"name": "",
"type": "uint256"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"constant": true,
"inputs": [],
"name": "arbitrator",
"outputs": [
{
"name": "",
"type": "address"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"constant": true,
"inputs": [],
"name": "owner",
"outputs": [
{
"name": "",
"type": "address"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"constant": true,
"inputs": [
{
"name": "_disputeID",
"type": "uint256"
}
],
"name": "appealPeriod",
"outputs": [
{
"name": "start",
"type": "uint256"
},
{
"name": "end",
"type": "uint256"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"constant": true,
"inputs": [
{
"name": "_extraData",
"type": "bytes"
}
],
"name": "arbitrationCost",
"outputs": [
{
"name": "fee",
"type": "uint256"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
},
{
"constant": false,
"inputs": [
{
"name": "_arbitrationPrice",
"type": "uint256"
}
],
"name": "setArbitrationPrice",
"outputs": [],
"payable": false,
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [
{
"name": "_arbitrationPrice",
"type": "uint256"
},
{
"name": "_arbitrator",
"type": "address"
},
{
"name": "_arbitratorExtraData",
"type": "bytes"
},
{
"name": "_timeOut",
"type": "uint256"
}
],
"payable": false,
"stateMutability": "nonpayable",
"type": "constructor"
},
{
"anonymous": false,
"inputs": [
{
"indexed": true,
"name": "_metaEvidenceID",
"type": "uint256"
},
{
"indexed": false,
"name": "_evidence",
"type": "string"
}
],
"name": "MetaEvidence",
"type": "event"
},
{
"anonymous": false,
"inputs": [
{
"indexed": true,
"name": "_arbitrator",
"type": "address"
},
{
"indexed": true,
"name": "_disputeID",
"type": "uint256"
},
{
"indexed": false,
"name": "_metaEvidenceID",
"type": "uint256"
}
],
"name": "Dispute",
"type": "event"
},
{
"anonymous": false,
"inputs": [
{
"indexed": true,
"name": "_arbitrator",
"type": "address"
},
{
"indexed": true,
"name": "_disputeID",
"type": "uint256"
},
{
"indexed": true,
"name": "_party",
"type": "address"
},
{
"indexed": false,
"name": "_evidence",
"type": "string"
}
],
"name": "Evidence",
"type": "event"
},
{
"anonymous": false,
"inputs": [
{
"indexed": true,
"name": "_arbitrator",
"type": "address"
},
{
"indexed": true,
"name": "_disputeID",
"type": "uint256"
},
{
"indexed": false,
"name": "_ruling",
"type": "uint256"
}
],
"name": "Ruling",
"type": "event"
},
{
"anonymous": false,
"inputs": [
{
"indexed": true,
"name": "_disputeID",
"type": "uint256"
},
{
"indexed": true,
"name": "_arbitrable",
"type": "address"
}
],
"name": "DisputeCreation",
"type": "event"
},
{
"anonymous": false,
"inputs": [
{
"indexed": true,
"name": "_disputeID",
"type": "uint256"
},
{
"indexed": true,
"name": "_arbitrable",
"type": "address"
}
],
"name": "AppealPossible",
"type": "event"
},
{
"anonymous": false,
"inputs": [
{
"indexed": true,
"name": "_disputeID",
"type": "uint256"
},
{
"indexed": true,
"name": "_arbitrable",
"type": "address"
}
],
"name": "AppealDecision",
"type": "event"
},
{
"constant": false,
"inputs": [
{
"name": "_timeOut",
"type": "uint256"
}
],
"name": "changeTimeOut",
"outputs": [],
"payable": false,
"stateMutability": "nonpayable",
"type": "function"
},
{
"constant": false,
"inputs": [
{
"name": "_choices",
"type": "uint256"
},
{
"name": "_extraData",
"type": "bytes"
}
],
"name": "createDispute",
"outputs": [
{
"name": "disputeID",
"type": "uint256"
}
],
"payable": true,
"stateMutability": "payable",
"type": "function"
},
{
"constant": false,
"inputs": [
{
"name": "_disputeID",
"type": "uint256"
},
{
"name": "_extraData",
"type": "bytes"
}
],
"name": "appeal",
"outputs": [],
"payable": true,
"stateMutability": "payable",
"type": "function"
},
{
"constant": false,
"inputs": [
{
"name": "_disputeID",
"type": "uint256"
},
{
"name": "_ruling",
"type": "uint256"
}
],
"name": "giveRuling",
"outputs": [],
"payable": false,
"stateMutability": "nonpayable",
"type": "function"
},
{
"constant": true,
"inputs": [
{
"name": "_disputeID",
"type": "uint256"
},
{
"name": "_extraData",
"type": "bytes"
}
],
"name": "appealCost",
"outputs": [
{
"name": "cost",
"type": "uint256"
}
],
"payable": false,
"stateMutability": "view",
"type": "function"
}
],
"bytecode": "0x608060405260008054600160a060020a031916331790553480156200002357600080fd5b50604051620012ae380380620012ae8339810160409081528151602080840151928401516060850151600184905560038054600160a060020a031916600160a060020a03871617905594018051929490929091849184916200008b916004918401906200009b565b5050506005555062000140915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620000de57805160ff19168380011785556200010e565b828001600101855582156200010e579182015b828111156200010e578251825591602001919060010190620000f1565b506200011c92915062000120565b5090565b6200013d91905b808211156200011c576000815560010162000127565b90565b61115e80620001506000396000f3006080604052600436106100f05763ffffffff7c01000000000000000000000000000000000000000000000000000000006000350416630c7ac7b681146100f557806310f169e81461017f5780631c3db16d146101bb578063311a6c56146101e557806337025d211461020257806349912f881461023a578063564a565d1461028b578063614d85e1146102f55780636cc6cde11461030a5780638da5cb5b1461033b57806394e9cb9614610350578063afe15cfb14610368578063c13517e114610399578063c97c4d5c146103ea578063f23f16e614610405578063f7434ea914610463578063ffb43c48146104bc575b600080fd5b34801561010157600080fd5b5061010a6104d4565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561014457818101518382015260200161012c565b50505050905090810190601f1680156101715780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561018b57600080fd5b50610197600435610562565b604051808260028111156101a757fe5b60ff16815260200191505060405180910390f35b3480156101c757600080fd5b506101d3600435610590565b60408051918252519081900360200190f35b3480156101f157600080fd5b506102006004356024356105ba565b005b34801561020e57600080fd5b5061021a600435610687565b604080519384526020840192909252151582820152519081900360600190f35b60408051602060046024803582810135601f81018590048502860185019096528585526102009583359536956044949193909101919081908401838280828437509497506106ab9650505050505050565b34801561029757600080fd5b506102a3600435610888565b6040518086600160a060020a0316600160a060020a031681526020018581526020018481526020018381526020018260028111156102dd57fe5b60ff1681526020019550505050505060405180910390f35b34801561030157600080fd5b506101d36108d4565b34801561031657600080fd5b5061031f6108da565b60408051600160a060020a039092168252519081900360200190f35b34801561034757600080fd5b5061031f6108e9565b34801561035c57600080fd5b506102006004356108f8565b34801561037457600080fd5b5061038060043561095f565b6040805192835260208301919091528051918290030190f35b60408051602060046024803582810135601f81018590048502860185019096528585526101d39583359536956044949193909101919081908401838280828437509497506109679650505050505050565b3480156103f657600080fd5b5061020060043560243561098b565b34801561041157600080fd5b5060408051602060046024803582810135601f81018590048502860185019096528585526101d3958335953695604494919390910191908190840183828082843750949750610a6e9650505050505050565b34801561046f57600080fd5b506040805160206004803580820135601f81018490048402850184019095528484526101d3943694929360249392840191908190840183828082843750949750610c069650505050505050565b3480156104c857600080fd5b50610200600435610c0d565b6004805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561055a5780601f1061052f5761010080835404028352916020019161055a565b820191906000526020600020905b81548152906001019060200180831161053d57829003601f168201915b505050505081565b600060028281548110151561057357fe5b600091825260209091206005909102016004015460ff1692915050565b60006002828154811015156105a157fe5b9060005260206000209060050201600301549050919050565b600354600160a060020a03163314610642576040805160e560020a62461bcd02815260206004820152602560248201527f43616e206f6e6c792062652063616c6c6564206279207468652061726269747260448201527f61746f722e000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b604080518281529051839133917f394027a5fa6e098a1191094d1719d6929b9abc535fcc0c8f448d6a4e756222769181900360200190a36106838282610c74565b5050565b60066020526000908152604090208054600182015460029092015490919060ff1683565b81816106b78282610a6e565b341015610734576040805160e560020a62461bcd02815260206004820152602560248201527f4e6f7420656e6f7567682045544820746f20636f7665722061707065616c206360448201527f6f7374732e000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b61073e8484610c90565b60035460028054600160a060020a039092169163c13517e191908790811061076257fe5b906000526020600020906005020160010154856040518363ffffffff167c01000000000000000000000000000000000000000000000000000000000281526004018083815260200180602001828103825283818151815260200191508051906020019080838360005b838110156107e35781810151838201526020016107cb565b50505050905090810190601f1680156108105780820380516001836020036101000a031916815260200191505b509350505050602060405180830381600087803b15801561083057600080fd5b505af1158015610844573d6000803e3d6000fd5b505050506040513d602081101561085a57600080fd5b5051600094855260066020526040909420600180820195909555600201805460ff1916909417909355505050565b600280548290811061089657fe5b600091825260209091206005909102018054600182015460028301546003840154600490940154600160a060020a0390931694509092909160ff1685565b60055481565b600354600160a060020a031681565b600054600160a060020a031681565b600054600160a060020a0316331461095a576040805160e560020a62461bcd02815260206004820181905260248201527f43616e206f6e6c792062652063616c6c656420627920746865206f776e65722e604482015290519081900360640190fd5b600555565b600080915091565b60006109738383610d4c565b60008181526006602052604090204290559392505050565b60008281526006602052604090206002015460ff161580156109b75750600054600160a060020a031633145b806109e8575060008281526006602052604090206002015460ff1680156109e85750600354600160a060020a031633145b1515610a64576040805160e560020a62461bcd02815260206004820152603a60248201527f41707065616c6564206469737075746573206d7573742062652072756c65642060448201527f627920746865206261636b2075702061726269747261746f722e000000000000606482015290519081900360840190fd5b6106838282610e69565b60055460008381526006602052604081205490914291909103118015610ac25750600280805485908110610a9e57fe5b600091825260209091206004600590920201015460ff166002811115610ac057fe5b105b8015610ae0575060008381526006602052604090206002015460ff16155b15610bdd576003546040517ff7434ea9000000000000000000000000000000000000000000000000000000008152602060048201818152855160248401528551600160a060020a039094169363f7434ea993879383926044909201919085019080838360005b83811015610b5e578181015183820152602001610b46565b50505050905090810190601f168015610b8b5780820380516001836020036101000a031916815260200191505b5092505050602060405180830381600087803b158015610baa57600080fd5b505af1158015610bbe573d6000803e3d6000fd5b505050506040513d6020811015610bd457600080fd5b50519050610c00565b507f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff5b92915050565b5060015490565b600054600160a060020a03163314610c6f576040805160e560020a62461bcd02815260206004820181905260248201527f43616e206f6e6c792062652063616c6c656420627920746865206f776e65722e604482015290519081900360640190fd5b600155565b600082815260066020526040902060010154610683908261098b565b8181610c9c8282610a6e565b341015610d19576040805160e560020a62461bcd02815260206004820152602560248201527f4e6f7420656e6f7567682045544820746f20636f7665722061707065616c206360448201527f6f7374732e000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b604051339085907f9c9b64db9e130f48381bf697abf638e73117dbfbfd7a4484f2da3ba188f4187d90600090a350505050565b6000610d588383610ed5565b506001600260a06040519081016040528033600160a060020a031681526020018681526020013481526020016000815260200160006002811115610d9857fe5b90528154600180820180855560009485526020948590208451600590940201805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a03909416939093178355938301518282015560408301516002808401919091556060840151600384015560808401516004840180549193909260ff19909216918490811115610e2257fe5b0217905550505003905033600160a060020a0316817f141dfc18aa6a56fc816f44f0e9e2f1ebc92b15ab167770e17db5b084c10ed99560405160405180910390a392915050565b600054600160a060020a03163314610ecb576040805160e560020a62461bcd02815260206004820181905260248201527f43616e206f6e6c792062652063616c6c656420627920746865206f776e65722e604482015290519081900360640190fd5b6106838282610f65565b600081610ee181610c06565b341015610f5e576040805160e560020a62461bcd02815260206004820152602a60248201527f4e6f7420656e6f7567682045544820746f20636f76657220617262697472617460448201527f696f6e20636f7374732e00000000000000000000000000000000000000000000606482015290519081900360840190fd5b5092915050565b6000600283815481101515610f7657fe5b9060005260206000209060050201905080600101548211151515610fe4576040805160e560020a62461bcd02815260206004820152600f60248201527f496e76616c69642072756c696e672e0000000000000000000000000000000000604482015290519081900360640190fd5b6002600482015460ff166002811115610ff957fe5b1415611075576040805160e560020a62461bcd02815260206004820152602760248201527f5468652064697370757465206d757374206e6f7420626520736f6c766564206160448201527f6c72656164792e00000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b6003810182905560048101805460ff1916600290811790915581015460405133916108fc811502916000818181858888f150508354604080517f311a6c5600000000000000000000000000000000000000000000000000000000815260048101899052602481018890529051600160a060020a03909216945063311a6c569350604480820193506000929182900301818387803b15801561111557600080fd5b505af1158015611129573d6000803e3d6000fd5b505050505050505600a165627a7a723058206191e707bc684d41a5a34d88a6bc12c691d89a9c9a157ecf8cb446cb6402f51f0029",
"deployedBytecode": "0x6080604052600436106100f05763ffffffff7c01000000000000000000000000000000000000000000000000000000006000350416630c7ac7b681146100f557806310f169e81461017f5780631c3db16d146101bb578063311a6c56146101e557806337025d211461020257806349912f881461023a578063564a565d1461028b578063614d85e1146102f55780636cc6cde11461030a5780638da5cb5b1461033b57806394e9cb9614610350578063afe15cfb14610368578063c13517e114610399578063c97c4d5c146103ea578063f23f16e614610405578063f7434ea914610463578063ffb43c48146104bc575b600080fd5b34801561010157600080fd5b5061010a6104d4565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561014457818101518382015260200161012c565b50505050905090810190601f1680156101715780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561018b57600080fd5b50610197600435610562565b604051808260028111156101a757fe5b60ff16815260200191505060405180910390f35b3480156101c757600080fd5b506101d3600435610590565b60408051918252519081900360200190f35b3480156101f157600080fd5b506102006004356024356105ba565b005b34801561020e57600080fd5b5061021a600435610687565b604080519384526020840192909252151582820152519081900360600190f35b60408051602060046024803582810135601f81018590048502860185019096528585526102009583359536956044949193909101919081908401838280828437509497506106ab9650505050505050565b34801561029757600080fd5b506102a3600435610888565b6040518086600160a060020a0316600160a060020a031681526020018581526020018481526020018381526020018260028111156102dd57fe5b60ff1681526020019550505050505060405180910390f35b34801561030157600080fd5b506101d36108d4565b34801561031657600080fd5b5061031f6108da565b60408051600160a060020a039092168252519081900360200190f35b34801561034757600080fd5b5061031f6108e9565b34801561035c57600080fd5b506102006004356108f8565b34801561037457600080fd5b5061038060043561095f565b6040805192835260208301919091528051918290030190f35b60408051602060046024803582810135601f81018590048502860185019096528585526101d39583359536956044949193909101919081908401838280828437509497506109679650505050505050565b3480156103f657600080fd5b5061020060043560243561098b565b34801561041157600080fd5b5060408051602060046024803582810135601f81018590048502860185019096528585526101d3958335953695604494919390910191908190840183828082843750949750610a6e9650505050505050565b34801561046f57600080fd5b506040805160206004803580820135601f81018490048402850184019095528484526101d3943694929360249392840191908190840183828082843750949750610c069650505050505050565b3480156104c857600080fd5b50610200600435610c0d565b6004805460408051602060026001851615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561055a5780601f1061052f5761010080835404028352916020019161055a565b820191906000526020600020905b81548152906001019060200180831161053d57829003601f168201915b505050505081565b600060028281548110151561057357fe5b600091825260209091206005909102016004015460ff1692915050565b60006002828154811015156105a157fe5b9060005260206000209060050201600301549050919050565b600354600160a060020a03163314610642576040805160e560020a62461bcd02815260206004820152602560248201527f43616e206f6e6c792062652063616c6c6564206279207468652061726269747260448201527f61746f722e000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b604080518281529051839133917f394027a5fa6e098a1191094d1719d6929b9abc535fcc0c8f448d6a4e756222769181900360200190a36106838282610c74565b5050565b60066020526000908152604090208054600182015460029092015490919060ff1683565b81816106b78282610a6e565b341015610734576040805160e560020a62461bcd02815260206004820152602560248201527f4e6f7420656e6f7567682045544820746f20636f7665722061707065616c206360448201527f6f7374732e000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b61073e8484610c90565b60035460028054600160a060020a039092169163c13517e191908790811061076257fe5b906000526020600020906005020160010154856040518363ffffffff167c01000000000000000000000000000000000000000000000000000000000281526004018083815260200180602001828103825283818151815260200191508051906020019080838360005b838110156107e35781810151838201526020016107cb565b50505050905090810190601f1680156108105780820380516001836020036101000a031916815260200191505b509350505050602060405180830381600087803b15801561083057600080fd5b505af1158015610844573d6000803e3d6000fd5b505050506040513d602081101561085a57600080fd5b5051600094855260066020526040909420600180820195909555600201805460ff1916909417909355505050565b600280548290811061089657fe5b600091825260209091206005909102018054600182015460028301546003840154600490940154600160a060020a0390931694509092909160ff1685565b60055481565b600354600160a060020a031681565b600054600160a060020a031681565b600054600160a060020a0316331461095a576040805160e560020a62461bcd02815260206004820181905260248201527f43616e206f6e6c792062652063616c6c656420627920746865206f776e65722e604482015290519081900360640190fd5b600555565b600080915091565b60006109738383610d4c565b60008181526006602052604090204290559392505050565b60008281526006602052604090206002015460ff161580156109b75750600054600160a060020a031633145b806109e8575060008281526006602052604090206002015460ff1680156109e85750600354600160a060020a031633145b1515610a64576040805160e560020a62461bcd02815260206004820152603a60248201527f41707065616c6564206469737075746573206d7573742062652072756c65642060448201527f627920746865206261636b2075702061726269747261746f722e000000000000606482015290519081900360840190fd5b6106838282610e69565b60055460008381526006602052604081205490914291909103118015610ac25750600280805485908110610a9e57fe5b600091825260209091206004600590920201015460ff166002811115610ac057fe5b105b8015610ae0575060008381526006602052604090206002015460ff16155b15610bdd576003546040517ff7434ea9000000000000000000000000000000000000000000000000000000008152602060048201818152855160248401528551600160a060020a039094169363f7434ea993879383926044909201919085019080838360005b83811015610b5e578181015183820152602001610b46565b50505050905090810190601f168015610b8b5780820380516001836020036101000a031916815260200191505b5092505050602060405180830381600087803b158015610baa57600080fd5b505af1158015610bbe573d6000803e3d6000fd5b505050506040513d6020811015610bd457600080fd5b50519050610c00565b507f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff5b92915050565b5060015490565b600054600160a060020a03163314610c6f576040805160e560020a62461bcd02815260206004820181905260248201527f43616e206f6e6c792062652063616c6c656420627920746865206f776e65722e604482015290519081900360640190fd5b600155565b600082815260066020526040902060010154610683908261098b565b8181610c9c8282610a6e565b341015610d19576040805160e560020a62461bcd02815260206004820152602560248201527f4e6f7420656e6f7567682045544820746f20636f7665722061707065616c206360448201527f6f7374732e000000000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b604051339085907f9c9b64db9e130f48381bf697abf638e73117dbfbfd7a4484f2da3ba188f4187d90600090a350505050565b6000610d588383610ed5565b506001600260a06040519081016040528033600160a060020a031681526020018681526020013481526020016000815260200160006002811115610d9857fe5b90528154600180820180855560009485526020948590208451600590940201805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a03909416939093178355938301518282015560408301516002808401919091556060840151600384015560808401516004840180549193909260ff19909216918490811115610e2257fe5b0217905550505003905033600160a060020a0316817f141dfc18aa6a56fc816f44f0e9e2f1ebc92b15ab167770e17db5b084c10ed99560405160405180910390a392915050565b600054600160a060020a03163314610ecb576040805160e560020a62461bcd02815260206004820181905260248201527f43616e206f6e6c792062652063616c6c656420627920746865206f776e65722e604482015290519081900360640190fd5b6106838282610f65565b600081610ee181610c06565b341015610f5e576040805160e560020a62461bcd02815260206004820152602a60248201527f4e6f7420656e6f7567682045544820746f20636f76657220617262697472617460448201527f696f6e20636f7374732e00000000000000000000000000000000000000000000606482015290519081900360840190fd5b5092915050565b6000600283815481101515610f7657fe5b9060005260206000209060050201905080600101548211151515610fe4576040805160e560020a62461bcd02815260206004820152600f60248201527f496e76616c69642072756c696e672e0000000000000000000000000000000000604482015290519081900360640190fd5b6002600482015460ff166002811115610ff957fe5b1415611075576040805160e560020a62461bcd02815260206004820152602760248201527f5468652064697370757465206d757374206e6f7420626520736f6c766564206160448201527f6c72656164792e00000000000000000000000000000000000000000000000000606482015290519081900360840190fd5b6003810182905560048101805460ff1916600290811790915581015460405133916108fc811502916000818181858888f150508354604080517f311a6c5600000000000000000000000000000000000000000000000000000000815260048101899052602481018890529051600160a060020a03909216945063311a6c569350604480820193506000929182900301818387803b15801561111557600080fd5b505af1158015611129573d6000803e3d6000fd5b505050505050505600a165627a7a723058206191e707bc684d41a5a34d88a6bc12c691d89a9c9a157ecf8cb446cb6402f51f0029",
"sourceMap": "233:3579:10:-;;;411:31:12;;;-1:-1:-1;;;;;;411:31:12;432:10;411:31;;;906:270:10;5:2:-1;;;;30:1;27;20:12;5:2;906:270:10;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1129:16:12;:36;;;2848:10:2;:24;;-1:-1:-1;;;;;;2848:24:2;-1:-1:-1;;;;;2848:24:2;;;;;906:270:10;;2882:42:2;;906:270:10;;;;;;;;;;2882:42:2;;:19;;:42;;;;:::i;:::-;-1:-1:-1;;;1151:7:10;:18;-1:-1:-1;233:3579:10;;-1:-1:-1;;233:3579:10;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;233:3579:10;;;-1:-1:-1;233:3579:10;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;:::o;:::-;;;;;;;",
"deployedSourceMap": "233:3579:10:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;691:32:2;;8:9:-1;5:2;;;30:1;27;20:12;5:2;691:32:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;691:32:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4249:133:12;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4249:133:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4556:124;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;4556:124:12;;;;;;;;;;;;;;;;;;;;;3332:182:2;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3332:182:2;;;;;;;;;481:52:10;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;481:52:10;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1978:333;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1978:333:10;;-1:-1:-1;1978:333:10;;-1:-1:-1;;;;;;;1978:333:10;903:31:12;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;903:31:12;;;;;;;;;;-1:-1:-1;;;;;903:31:12;-1:-1:-1;;;;;903:31:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;456:19:10;;8:9:-1;5:2;;;30:1;27;20:12;5:2;456:19:10;;;;657:28:2;;8:9:-1;5:2;;;30:1;27;20:12;5:2;657:28:2;;;;;;;;-1:-1:-1;;;;;657:28:2;;;;;;;;;;;;;;411:31:12;;8:9:-1;5:2;;;30:1;27;20:12;5:2;411:31:12;;;;1291:92:10;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1291:92:10;;;;;3874:83:9;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3874:83:9;;;;;;;;;;;;;;;;;;;;;;;;;;;;1604:220:10;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1604:220:10;;-1:-1:-1;1604:220:10;;-1:-1:-1;;;;;;;1604:220:10;2438:421;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2438:421:10;;;;;;;3110:380;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;3110:380:10;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3110:380:10;;-1:-1:-1;3110:380:10;;-1:-1:-1;;;;;;;3110:380:10;1610:113:12;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1610:113:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1610:113:12;;-1:-1:-1;1610:113:12;;-1:-1:-1;;;;;;;1610:113:12;1320:123;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;1320:123:12;;;;;691:32:2;;;;;;;;;;;;;;;-1:-1:-1;;691:32:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4249:133:12:-;4309:20;4348:8;4357:10;4348:20;;;;;;;;;;;;;;;;;;;;;;;:27;;;;;;4249:133;-1:-1:-1;;4249:133:12:o;4556:124::-;4616:11;4646:8;4655:10;4646:20;;;;;;;;;;;;;;;;;;;;:27;;;4639:34;;4556:124;;;:::o;3332:182:2:-;851:10;;-1:-1:-1;;;;;851:10:2;829;:33;821:83;;;;;-1:-1:-1;;;;;821:83:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3414:49;;;;;;;;3444:10;;3432;;3414:49;;;;;;;;;3474:33;3488:10;3499:7;3474:13;:33::i;:::-;3332:182;;:::o;481:52:10:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1978:333::-;2061:10;2073;1031:34:9;1042:10;1054;1031;:34::i;:::-;1018:9;:47;;1010:97;;;;;-1:-1:-1;;;;;1010:97:9;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2095:36:10;2108:10;2120;2095:12;:36::i;:::-;2186:10;;2211:8;:20;;-1:-1:-1;;;;;2186:10:10;;;;:24;;2211:8;2220:10;;2211:20;;;;;;;;;;;;;;;;:28;;;2241:10;2186:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;2186:66:10;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2186:66:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2186:66:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2186:66:10;2141:26;;;;:14;2186:66;2141:26;;;;;:42;;;;:111;;;;2262:35;;:42;;-1:-1:-1;;2262:42:10;;;;;;;-1:-1:-1;;;1978:333:10:o;903:31:12:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;903:31:12;;;;-1:-1:-1;903:31:12;;;;;;;:::o;456:19:10:-;;;;:::o;657:28:2:-;;;-1:-1:-1;;;;;657:28:2;;:::o;411:31:12:-;;;-1:-1:-1;;;;;411:31:12;;:::o;1291:92:10:-;850:5:12;;-1:-1:-1;;;;;850:5:12;838:10;:17;830:62;;;;;-1:-1:-1;;;;;830:62:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1358:7:10;:18;1291:92::o;3874:83:9:-;3933:10;3945:8;3874:83;;;:::o;1604:220:10:-;1683:14;1722:41;1742:8;1752:10;1722:19;:41::i;:::-;1773:25;;;;:14;:25;;;;;1814:3;1773:44;;1710:53;1604:220;-1:-1:-1;;;1604:220:10:o;2438:421::-;2581:26;;;;:14;:26;;;;;:35;;;;;2580:36;:59;;;;-1:-1:-1;2634:5:10;;-1:-1:-1;;;;;2634:5:10;2620:10;:19;2580:59;2579:142;;;-1:-1:-1;2645:26:10;;;;:14;:26;;;;;:35;;;;;:75;;;;-1:-1:-1;2710:10:10;;-1:-1:-1;;;;;2710:10:10;2695;2684:36;2645:75;2506:299;;;;;;;-1:-1:-1;;;;;2506:299:10;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2815:37;2832:10;2844:7;2815:16;:37::i;3110:380::-;3271:7;;3185:9;3229:26;;;:14;:26;;;;;:39;3185:9;;3223:3;:45;;;;:55;:109;;;;-1:-1:-1;3312:20:10;3282:8;:20;;3291:10;;3282:20;;;;;;;;;;;;;;:27;:20;;;;;:27;;;;:50;;;;;;;;;3223:109;:149;;;;-1:-1:-1;3337:26:10;;;;:14;:26;;;;;:35;;;;;3336:36;3223:149;3206:277;;;3406:10;;:38;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3406:10:10;;;;:26;;3433:10;;3406:38;;;;;;;;;;;;;;:10;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;3406:38:10;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3406:38:10;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3406:38:10;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3406:38:10;;-1:-1:-1;3206:277:10;;;-1:-1:-1;576:12:12;3206:277:10;3110:380;;;;:::o;1610:113:12:-;-1:-1:-1;1700:16:12;;;1610:113::o;1320:123::-;850:5;;-1:-1:-1;;;;;850:5:12;838:10;:17;830:62;;;;;-1:-1:-1;;;;;830:62:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1400:16;:36;1320:123::o;3667:143:10:-;3751:26;;;;:14;:26;;;;;:42;;;3740:63;;3795:7;3740:10;:63::i;3011:178:9:-;3086:10;3097;1031:34;1042:10;1054;1031;:34::i;:::-;1018:9;:47;;1010:97;;;;;-1:-1:-1;;;;;1010:97:9;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3132:50;;3170:10;;3147;;3132:50;;;;;3011:178;;;;:::o;2525:532:12:-;2604:14;2631:40;2651:8;2660:10;2631:19;:40::i;:::-;;2913:1;2693:8;2707:202;;;;;;;;;2758:10;-1:-1:-1;;;;;2707:202:12;;;;;2792:8;2707:202;;;;2819:9;2707:202;;;;2850:1;2707:202;;;;2873:21;2707:202;;;;;;;;;;27:10:-1;;39:1;23:18;;;45:23;;;-1:-1;2693:217:12;;;;;;;;;;;;;;;;;-1:-1:-1;;2693:217:12;-1:-1:-1;;;;;2693:217:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;2693:217:12;;;;;;;;;;;;;;;;;;;;:221;2681:233;;3012:10;-1:-1:-1;;;;;2974:50:12;2990:9;2974:50;;;;;;;;;;2525:532;;;;:::o;3966:124::-;850:5;;-1:-1:-1;;;;;850:5:12;838:10;:17;830:62;;;;;-1:-1:-1;;;;;830:62:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4051:32;4063:10;4075:7;4051:11;:32::i;2220:131:9:-;2333:14;2305:10;842:27;858:10;842:15;:27::i;:::-;829:9;:40;;821:95;;;;;-1:-1:-1;;;;;821:95:9;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2220:131;;;;;:::o;3272:479:12:-;3343:21;3367:8;3376:10;3367:20;;;;;;;;;;;;;;;;;;;;3343:44;;3416:7;:15;;;3405:7;:26;;3397:54;;;;;;;-1:-1:-1;;;;;3397:54:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;3487:20;3469:14;;;;;;:38;;;;;;;;;;3461:90;;;;;-1:-1:-1;;;;;3461:90:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3562:14;;;:24;;;3596:14;;;:37;;-1:-1:-1;;3596:37:12;3613:20;3596:37;;;;;;3660:11;;;3644:28;;:10;;:28;;;;;-1:-1:-1;3644:28:12;-1:-1:-1;3644:28:12;3660:11;3644:10;:28;;-1:-1:-1;;3701:18:12;;:43;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3701:18:12;;;;-1:-1:-1;3701:23:12;;-1:-1:-1;3701:43:12;;;;;-1:-1:-1;3701:18:12;;:43;;;;;;:18;;:43;;;5:2:-1;;;;30:1;27;20:12;5:2;3701:43:12;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3701:43:12;;;;3272:479;;;:::o",
"source": "pragma solidity ^0.4.24;\n\nimport \"./CentralizedArbitrator.sol\";\n\n/**\n * @title BackedUpArbitrator\n * @author Enrique Piqueras - <epiquerass@gmail.com>\n * @dev A centralized arbitrator that can be appealed when not responsive.\n */\ncontract BackedUpArbitrator is CentralizedArbitrator, Arbitrable {\n /* Structs */\n\n struct AppealDispute {\n uint creationTime;\n uint appealDisputeID;\n bool appealed;\n }\n\n /* Storage */\n\n uint public timeOut;\n mapping(uint => AppealDispute) public appealDisputes;\n\n /* Constructor */\n\n /** @dev Constructs the BackedUpArbitrator contract.\n * @param _arbitrationPrice The amount to be paid for arbitration.\n * @param _arbitrator The back up arbitrator.\n * @param _arbitratorExtraData Not used by this contract.\n * @param _timeOut The time that needs to pass for a pending dispute to be appealable.\n */\n constructor(\n uint _arbitrationPrice,\n Arbitrator _arbitrator,\n bytes _arbitratorExtraData,\n uint _timeOut\n ) public CentralizedArbitrator(_arbitrationPrice) Arbitrable(_arbitrator, _arbitratorExtraData) {\n timeOut = _timeOut;\n }\n\n /* External */\n \n /** @dev Changes the time out.\n * @param _timeOut The new time out.\n */\n function changeTimeOut(uint _timeOut) external onlyOwner {\n timeOut = _timeOut;\n }\n\n /* Public */\n\n /** @dev Creates a dispute.\n * @param _choices The amount of choices in the dispute.\n * @param _extraData Not used by this contract.\n * @return The created dispute's ID.\n */\n function createDispute(uint _choices, bytes _extraData) public payable returns(uint disputeID) {\n disputeID = super.createDispute(_choices, _extraData);\n appealDisputes[disputeID].creationTime = now;\n }\n\n /** @dev Appeals a ruling.\n * @param _disputeID The ID of the dispute.\n * @param _extraData Additional info about the appeal.\n */\n function appeal(uint _disputeID, bytes _extraData) public payable requireAppealFee(_disputeID, _extraData) {\n super.appeal(_disputeID, _extraData);\n appealDisputes[_disputeID].appealDisputeID = arbitrator.createDispute(disputes[_disputeID].choices, _extraData);\n appealDisputes[_disputeID].appealed = true;\n }\n\n /** @dev Gives a ruling.\n * @param _disputeID The ID of the dispute.\n * @param _ruling The ruling.\n */\n function giveRuling(uint _disputeID, uint _ruling) public {\n require(\n // solium-disable-next-line indentation\n (!appealDisputes[_disputeID].appealed && msg.sender == owner) || (appealDisputes[_disputeID].appealed && Arbitrator(msg.sender) == arbitrator),\n \"Appealed disputes must be ruled by the back up arbitrator.\"\n );\n super.giveRuling(_disputeID, _ruling);\n }\n\n /* Public Views */\n\n /** @dev Gets the cost of appeal for the specified dispute.\n * @param _disputeID The ID of the dispute.\n * @param _extraData Additional info about the appeal.\n * @return The cost of the appeal.\n */\n function appealCost(uint _disputeID, bytes _extraData) public view returns(uint cost) {\n if (\n now - appealDisputes[_disputeID].creationTime > timeOut && disputes[_disputeID].status < DisputeStatus.Solved && !appealDisputes[_disputeID].appealed\n )\n cost = arbitrator.arbitrationCost(_extraData);\n else cost = NOT_PAYABLE_VALUE;\n }\n\n /* Internal */\n\n /** @dev Executes the ruling of the specified dispute.\n * @param _disputeID The ID of the dispute.\n * @param _ruling The ruling.\n */\n function executeRuling(uint _disputeID, uint _ruling) internal {\n giveRuling(appealDisputes[_disputeID].appealDisputeID, _ruling);\n }\n}\n",
"sourcePath": "/private/tmp/kleros-interaction/contracts/standard/arbitration/BackedUpArbitrator.sol",
"ast": {
"absolutePath": "/private/tmp/kleros-interaction/contracts/standard/arbitration/BackedUpArbitrator.sol",
"exportedSymbols": {
"BackedUpArbitrator": [
4245
]
},
"id": 4246,
"nodeType": "SourceUnit",
"nodes": [
{
"id": 4023,
"literals": [
"solidity",
"^",
"0.4",
".24"
],
"nodeType": "PragmaDirective",
"src": "0:24:10"
},
{
"absolutePath": "/private/tmp/kleros-interaction/contracts/standard/arbitration/CentralizedArbitrator.sol",
"file": "./CentralizedArbitrator.sol",
"id": 4024,
"nodeType": "ImportDirective",
"scope": 4246,
"sourceUnit": 4490,
"src": "26:37:10",
"symbolAliases": [],
"unitAlias": ""
},
{
"baseContracts": [
{
"arguments": null,
"baseName": {
"contractScope": null,
"id": 4025,
"name": "CentralizedArbitrator",
"nodeType": "UserDefinedTypeName",
"referencedDeclaration": 4489,
"src": "264:21:10",
"typeDescriptions": {
"typeIdentifier": "t_contract$_CentralizedArbitrator_$4489",
"typeString": "contract CentralizedArbitrator"
}
},
"id": 4026,
"nodeType": "InheritanceSpecifier",
"src": "264:21:10"
},
{
"arguments": null,
"baseName": {
"contractScope": null,
"id": 4027,
"name": "Arbitrable",
"nodeType": "UserDefinedTypeName",
"referencedDeclaration": 595,
"src": "287:10:10",
"typeDescriptions": {
"typeIdentifier": "t_contract$_Arbitrable_$595",
"typeString": "contract Arbitrable"
}
},
"id": 4028,
"nodeType": "InheritanceSpecifier",
"src": "287:10:10"
}
],
"contractDependencies": [
595,
4021,
4489
],
"contractKind": "contract",
"documentation": " @title BackedUpArbitrator\n @author Enrique Piqueras - <epiquerass@gmail.com>\n @dev A centralized arbitrator that can be appealed when not responsive.",
"fullyImplemented": true,
"id": 4245,
"linearizedBaseContracts": [
4245,
595,
4489,
4021
],
"name": "BackedUpArbitrator",
"nodeType": "ContractDefinition",
"nodes": [
{
"canonicalName": "BackedUpArbitrator.AppealDispute",
"id": 4035,
"members": [
{
"constant": false,
"id": 4030,
"name": "creationTime",
"nodeType": "VariableDeclaration",
"scope": 4035,
"src": "354:17:10",
"stateVariable": false,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
},
"typeName": {
"id": 4029,
"name": "uint",
"nodeType": "ElementaryTypeName",
"src": "354:4:10",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"value": null,
"visibility": "internal"
},
{
"constant": false,
"id": 4032,
"name": "appealDisputeID",
"nodeType": "VariableDeclaration",
"scope": 4035,
"src": "381:20:10",
"stateVariable": false,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
},
"typeName": {
"id": 4031,
"name": "uint",
"nodeType": "ElementaryTypeName",
"src": "381:4:10",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"value": null,
"visibility": "internal"
},
{
"constant": false,
"id": 4034,
"name": "appealed",
"nodeType": "VariableDeclaration",
"scope": 4035,
"src": "411:13:10",
"stateVariable": false,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_bool",
"typeString": "bool"
},
"typeName": {
"id": 4033,
"name": "bool",
"nodeType": "ElementaryTypeName",
"src": "411:4:10",
"typeDescriptions": {
"typeIdentifier": "t_bool",
"typeString": "bool"
}
},
"value": null,
"visibility": "internal"
}
],
"name": "AppealDispute",
"nodeType": "StructDefinition",
"scope": 4245,
"src": "323:108:10",
"visibility": "public"
},
{
"constant": false,
"id": 4037,
"name": "timeOut",
"nodeType": "VariableDeclaration",
"scope": 4245,
"src": "456:19:10",
"stateVariable": true,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
},
"typeName": {
"id": 4036,
"name": "uint",
"nodeType": "ElementaryTypeName",
"src": "456:4:10",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"value": null,
"visibility": "public"
},
{
"constant": false,
"id": 4041,
"name": "appealDisputes",
"nodeType": "VariableDeclaration",
"scope": 4245,
"src": "481:52:10",
"stateVariable": true,
"storageLocation": "default",
"typeDescriptions": {
"typeIdentifier": "t_mapping$_t_uint256_$_t_struct$_AppealDispute_$4035_storage_$",
"typeString": "mapping(uint256 => struct BackedUpArbitrator.AppealDispute)"
},
"typeName": {
"id": 4040,
"keyType": {
"id": 4038,
"name": "uint",
"nodeType": "ElementaryTypeName",
"src": "489:4:10",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"nodeType": "Mapping",
"src": "481:30:10",
"typeDescriptions": {
"typeIdentifier": "t_mapping$_t_uint256_$_t_struct$_AppealDispute_$4035_storage_$",
"typeString": "mapping(uint256 => struct BackedUpArbitrator.AppealDispute)"
},
"valueType": {
"contractScope": null,
"id": 4039,
"name": "AppealDispute",
"nodeType": "UserDefinedTypeName",
"referencedDeclaration": 4035,
"src": "497:13:10",
"typeDescriptions": {
"typeIdentifier": "t_struct$_AppealDispute_$4035_storage_ptr",
"typeString": "struct BackedUpArbitrator.AppealDispute"
}
}
},
"value": null,
"visibility": "public"
},
{
"body": {
"id": 4063,
"nodeType": "Block",
"src": "1141:35:10",
"statements": [
{
"expression": {
"argumentTypes": null,
"id": 4061,
"isConstant": false,
"isLValue": false,
"isPure": false,
"lValueRequested": false,
"leftHandSide": {
"argumentTypes": null,
"id": 4059,
"name": "timeOut",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 4037,
"src": "1151:7:10",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"nodeType": "Assignment",
"operator": "=",
"rightHandSide": {
"argumentTypes": null,
"id": 4060,
"name": "_timeOut",
"nodeType": "Identifier",
"overloadedDeclarations": [],
"referencedDeclaration": 4049,
"src": "1161:8:10",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"src": "1151:18:10",
"typeDescriptions": {
"typeIdentifier": "t_uint256",
"typeString": "uint256"
}
},
"id": 4062,
"n