0 txs
141 calls
constructor
No constructor.
functions
prepareRecollateralizationTrade
viewfunction prepareRecollateralizationTrade(tuple ctx, tuple reg) view returns (bool doTrade, tuple req, tuple prices)
events
No events.
errors
UIntOutOfBounds
error UIntOutOfBounds()
creation bytecode
0x61263661003a600b82828239805160001a60731461002d57634e487b7160e01b600052600060045260246000fd5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600436106100355760003560e01c8063ba00555a1461003a575b600080fd5b61004d61004836600461215e565b6100cc565b60408051931515845282516001600160a01b0390811660208087019190915280850151909116858301528382015160608087019190915293840151608086015282516001600160c01b0390811660a087015290830151811660c086015290820151811660e0850152910151166101008201526101200160405180910390f35b60006100d6611de5565b60408051608081018252600080825260208201819052918101829052606081018290529061010486866102a2565b905060006101138787846108b1565b80519091506001600160a01b03161580610138575060208101516001600160a01b0316155b156101485760009450505061029b565b6080810151516001600160c01b03161580610247575080600001516001600160a01b031663c59b3d636040518163ffffffff1660e01b8152600401602060405180830381865afa1580156101a0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906101c491906122a3565b80156102475750600081600001516001600160a01b031663200d2ed26040518163ffffffff1660e01b8152600401602060405180830381865afa15801561020f573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061023391906122db565b6002811115610244576102446122c5565b14155b1561026b5760c087015160e088015161026191839161107a565b9095509350610286565b60c087015160e08801516102809183916112bf565b90955093505b84610293576102936122fc565b608001519150505b9250925092565b604080518082019091526000808252602082015260008084602001516001600160a01b031663a035b1fe6040518163ffffffff1660e01b81526004016040805180830381865afa1580156102fa573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061031e9190612312565b91509150816001600160c01b031660001415801561034557506001600160c01b0381811614155b6103845760405162461bcd60e51b815260206004820152600c60248201526b10955cc81d5b9c1c9a58d95960a21b604482015260640160405180910390fd5b60008560a001516001600160a01b0316637121c2736040518163ffffffff1660e01b8152600401602060405180830381865afa1580156103c8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906103ec919061234c565b9050806001600160c01b03168660000151602001516001600160c01b031611156104235785516001600160c01b0382166020909101525b60008060005b875151811015610771578860a001516001600160a01b03168860000151828151811061045757610457612369565b60200260200101516001600160a01b03160315610761576000808960200151838151811061048757610487612369565b60200260200101516001600160a01b031663a035b1fe6040518163ffffffff1660e01b81526004016040805180830381865afa1580156104cb573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906104ef9190612312565b915091508a6101000151838151811061050a5761050a612369565b60200260200101516001600160c01b0316600014801561057257506105708a60200151848151811061053e5761053e612369565b60200260200101518c6101200151858151811061055d5761055d612369565b6020026020010151848e60c001516113e8565b155b1561057e575050610761565b60006105c58c600001516020015160028e610100015187815181106105a5576105a5612369565b60200260200101516001600160c01b03166114959092919063ffffffff16565b90508b610120015184815181106105de576105de612369565b60200260200101516001600160c01b0316816001600160c01b031611156106595761063f8c6101200151858151811061061957610619612369565b60200260200101518261062c9190612395565b6001600160c01b038516908a60006114cc565b610652906001600160c01b0316876123bc565b95506106af565b610699818d6101200151868151811061067457610674612369565b60200260200101516106869190612395565b6001600160c01b038416908b60026114f8565b6106ac906001600160c01b0316876123dc565b95505b5060006106d78c600001516000015160008e610100015187815181106105a5576105a5612369565b9050600061071a828e610120015187815181106106f6576106f6612369565b60200260200101516107089190612395565b6001600160c01b038616906000611495565b90508c60c001516001600160c01b0316816001600160c01b03161061074d5760c08d01516107489082612395565b610750565b60005b61075a9087612404565b9550505050505b61076a81612424565b9050610429565b5060008212156107af5761078c6107878361243d565b6116fd565b88516020015161079c9190612395565b6001600160c01b0316602087015261080a565b8751602001516001600160c01b03906107ca90821684612459565b11156107e2576001600160c01b03602087015261080a565b6107eb826116fd565b8851602001516107fb9190612404565b6001600160c01b031660208701525b60e08801516108399061082690670de0b6b3a76400009061172b565b6001600160c01b038316908660006114cc565b8851516108469190612404565b6001600160c01b039081168752602087015184821691161115610873576001600160c01b03831660208701525b85602001516001600160c01b031686600001516001600160c01b031611156108a65760208601516001600160c01b031686525b505050505092915050565b6108b9611e1f565b604080516060810182526000602082018190529181018290526001815284515190915b855151811015610ee7578660a001516001600160a01b03168660000151828151811061090a5761090a612369565b60200260200101516001600160a01b03160315610ed75786608001516001600160a01b03168660000151828151811061094557610945612369565b60200260200101516001600160a01b03160361096357809150610ed7565b60006109a6886101000151838151811061097f5761097f612369565b6020026020010151600288602001516001600160c01b03166114959092919063ffffffff16565b90506109e28189610120015184815181106109c3576109c3612369565b60200260200101516001600160c01b031661174090919063ffffffff16565b15610cf05760008088602001518481518110610a0057610a00612369565b60200260200101516001600160a01b031663a035b1fe6040518163ffffffff1660e01b81526004016040805180830381865afa158015610a44573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a689190612312565b91509150806001600160c01b0316600003610a8557505050610ed7565b6000610ad7836000610ac7878f61012001518a81518110610aa857610aa8612369565b60200260200101516001600160c01b031661172b90919063ffffffff16565b6001600160c01b03169190611495565b905060008a602001518681518110610af157610af1612369565b60200260200101516001600160a01b031663c59b3d636040518163ffffffff1660e01b8152600401602060405180830381865afa158015610b36573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b5a91906122a3565b15610be1578a602001518681518110610b7557610b75612369565b60200260200101516001600160a01b031663200d2ed26040518163ffffffff1660e01b8152600401602060405180830381865afa158015610bba573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610bde91906122db565b90505b610bec888284611751565b8015610c3a5750610c3a8b602001518781518110610c0c57610c0c612369565b6020026020010151610c2f878f61012001518a81518110610aa857610aa8612369565b868f60c001516113e8565b15610ce7578a602001518681518110610c5557610c55612369565b60209081029190910101516001600160a01b031689526101208c01518051610c8991879189908110610aa857610aa8612369565b6001600160c01b0390811660408b015260808a01805186831690525190841660209091015287816002811115610cc157610cc16122c5565b90816002811115610cd457610cd46122c5565b9052506001600160c01b03821660208901525b50505050610ed5565b610d288861010001518381518110610d0a57610d0a612369565b602090810291909101015187516001600160c01b0316906002611495565b9050610d64818961012001518481518110610d4557610d45612369565b60200260200101516001600160c01b031661181790919063ffffffff16565b15610ed5576000610da58961012001518481518110610d8557610d85612369565b6020026020010151836001600160c01b031661172b90919063ffffffff16565b905060008089602001518581518110610dc057610dc0612369565b60200260200101516001600160a01b031663a035b1fe6040518163ffffffff1660e01b81526004016040805180830381865afa158015610e04573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610e289190612312565b90925090506000610e446001600160c01b038516836002611495565b9050610e668860400151826001600160c01b031661174090919063ffffffff16565b15610ed0578a602001518681518110610e8157610e81612369565b6020908102919091018101516001600160a01b0316908a01526001600160c01b038085166060808c019190915260808b0180518684166040918201529051858416920191909152908216908901525b505050505b505b610ee081612424565b90506108dc565b5082516001600160a01b0316158015610f0c575060208301516001600160a01b031615155b156110715760008086602001518381518110610f2a57610f2a612369565b60200260200101516001600160a01b031663a035b1fe6040518163ffffffff1660e01b81526004016040805180830381865afa158015610f6e573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f929190612312565b91509150806001600160c01b0316600014158015610ff65750610ff687602001518481518110610fc457610fc4612369565b60200260200101518961012001518581518110610fe357610fe3612369565b6020026020010151848b60c001516113e8565b1561106e578660200151838151811061101157611011612369565b60209081029190910101516001600160a01b0316855261012088015180518490811061103f5761103f612369565b6020908102919091018101516001600160c01b0390811660408801526080870180518583169052519083169101525b50505b50509392505050565b6000611084611de5565b6080850151606001516001600160c01b0316158015906110b657506080850151606001516001600160c01b0390811614155b80156110d157506080850151516001600160c01b0390811614155b6110dd576110dd6122fc565b845160408601516080870151516110f6929190876113e8565b9150600061111586600001518760200151886080015160000151611828565b90506000816001600160c01b031687604001516001600160c01b031611611140578660400151611142565b815b6080880151805160609091015191925060009161119291906002611181611171670de0b6b3a76400008c61172b565b6001600160c01b03881690611932565b6001600160c01b03169291906114f8565b905061120f88600001516001600160a01b0316633cb5d3796040518163ffffffff1660e01b8152600401602060405180830381865afa1580156111d9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111fd919061246c565b6001600160c01b038416906000611940565b84604001818152505061129388602001516001600160a01b0316633cb5d3796040518163ffffffff1660e01b8152600401602060405180830381865afa15801561125d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611281919061246c565b6001600160c01b038316906002611940565b6060850152505085516001600160a01b0390811683526020808801519091169083015250935093915050565b60006112c9611de5565b6080850151516001600160c01b0316158015906112f557506080850151516001600160c01b0390811614155b801561131157506080850151606001516001600160c01b031615155b801561132f57506080850151606001516001600160c01b0390811614155b61133b5761133b6122fc565b61135a856060015161135586886080015160600151611a18565b611a67565b6001600160c01b03166060808701829052608087015190810151905160009261138692909160026114cc565b905060006113b161139f670de0b6b3a76400008761172b565b6001600160c01b038416906002611a8f565b90506113c1818860400151611ac2565b6001600160c01b031660408801526113da87878761107a565b935093505050935093915050565b600061140a6113f78385611a18565b6001600160c01b03908116908616101590565b801561148a57506001611488866001600160a01b0316633cb5d3796040518163ffffffff1660e01b8152600401602060405180830381865afa158015611454573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611478919061246c565b6001600160c01b03871690611ae3565b115b90505b949350505050565b60006114c26107876114b36001600160c01b0380871690881661248f565b670de0b6b3a764000085611af1565b90505b9392505050565b600061148a610787866001600160c01b0316866001600160c01b0316866001600160c01b031686611b96565b60006001600160c01b038516158061151757506001600160c01b038416155b156115245750600061148d565b6001600160c01b03858116148061154357506001600160c01b03848116145b8061155557506001600160c01b038316155b1561156857506001600160c01b0361148d565b6000806000611589886001600160c01b0316886001600160c01b0316611c43565b91509150856001600160c01b031682106115af576001600160c01b03935050505061148d565b6000866001600160c01b0316806115c8576115c86124a6565b886001600160c01b03168a6001600160c01b0316099050818111156115ee576001830392505b90819003906001600160c01b03600088900388168116908816818181611616576116166124a6565b049050818481611628576116286124a6565b04935081826000038161163d5761163d6124a6565b046001018502939093016002848103808602820302808602820302808602820302808602820302808602820302808602820302808602820302828102975091949190896002811115611691576116916122c5565b036116a85783156116a3576001870196505b6116d7565b60018960028111156116bc576116bc6122c5565b036116d75760026000198301048411156116d7576001870196505b5050505050506001600160c01b038016811061148a576001600160c01b0391505061148d565b60006001600160c01b038211156117275760405163f44398f560e01b815260040160405180910390fd5b5090565b60006117378284612395565b90505b92915050565b6001600160c01b0390811691161190565b6000600284516002811115611768576117686122c5565b036117a65760025b836002811115611782576117826122c5565b14801561179f575060208401516001600160c01b03908116908316115b90506114c5565b6000845160028111156117bb576117bb6122c5565b036117e25760028360028111156117d4576117d46122c5565b148061179f57506000611770565b60018360028111156117f6576117f66122c5565b14158061179f575060208401516001600160c01b039081169083161161179f565b6001600160c01b0390811691161090565b60008061190d8360006118fd886001600160a01b03166395acc4ae6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611872573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611896919061234c565b886001600160a01b03166395acc4ae6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156118d4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906118f8919061234c565b611ac2565b6001600160c01b03169190611c70565b9050806001600160c01b0316600003611927576001611929565b805b95945050505050565b600061173783836001611495565b6000836001600160c01b031660000361195b575060006114c5565b6029198360000b1361199457600282600281111561197b5761197b6122c5565b1461198757600061198a565b60015b60ff1690506114c5565b8260000b6060136119b85760405163f44398f560e01b815260040160405180910390fd5b6119c36012846124bc565b925060006119d38460000b611cea565b6119de90600a6125b9565b905060008460000b1215611a0557611a00856001600160c01b03168285611af1565b611929565b611929816001600160c01b03871661248f565b6000806001600160c01b03831615611a4457611a3f6001600160c01b038516846002611a8f565b611a4d565b6001600160c01b035b9050806001600160c01b03166000036114c557600161148d565b6000816001600160c01b0316836001600160c01b031611611a885781611737565b5090919050565b60006114c2610787611ab2670de0b6b3a76400006001600160c01b03881661248f565b856001600160c01b031685611af1565b6000816001600160c01b0316836001600160c01b031610611a885781611737565b600061173783836000611940565b600080611afe84866125c5565b90506000836002811115611b1457611b146122c5565b03611b205790506114c5565b6001836002811115611b3457611b346122c5565b03611b73576002611b466001866125d9565b611b5091906125c5565b611b5a85876125ec565b1115611b6e5780611b6a81612424565b9150505b611927565b611b7d84866125ec565b156119275780611b8c81612424565b9695505050505050565b600080611ba4868686611d02565b90506000836002811115611bba57611bba6122c5565b03611bc657905061148d565b60008480611bd657611bd66124a6565b86880990506002846002811115611bef57611bef6122c5565b03611c0d578015611c0857611c05600183612459565b91505b611c39565b6002611c1a6001876125d9565b611c2491906125c5565b811115611c3957611c36600183612459565b91505b5095945050505050565b6000808060001984860990508385029150818103925081811015611c68576001830392505b509250929050565b6000836001600160c01b0316600003611c8b575060006114c5565b826001600160c01b0316600003611caa57506001600160c01b036114c5565b6000611cca611ab26001600160c01b038716670de0b6b3a764000061248f565b90506001600160c01b038110611927576001600160c01b039150506114c5565b6000808212611cf9578161173a565b61173a8261243d565b6000806000611d118686611c43565b91509150838210611d355760405163f44398f560e01b815260040160405180910390fd5b60008480611d4557611d456124a6565b868809905081811115611d59576001830392505b908190039060008590038516808681611d7457611d746124a6565b049550808381611d8657611d866124a6565b049250808160000381611d9b57611d9b6124a6565b046001019390930291909101600285810380870282030280870282030280870282030280870282030280870282030280870282030295860290039094029390930295945050505050565b604051806080016040528060006001600160a01b0316815260200160006001600160a01b0316815260200160008152602001600081525090565b6040805160a081018252600080825260208201819052918101829052606081019190915260808101611e7160408051608081018252600080825260208201819052918101829052606081019190915290565b905290565b634e487b7160e01b600052604160045260246000fd5b6040805190810167ffffffffffffffff81118282101715611eaf57611eaf611e76565b60405290565b604051610140810167ffffffffffffffff81118282101715611eaf57611eaf611e76565b604051601f8201601f1916810167ffffffffffffffff81118282101715611f0257611f02611e76565b604052919050565b6001600160c01b0381168114611f1f57600080fd5b50565b8035611f2d81611f0a565b919050565b600060408284031215611f4457600080fd5b611f4c611e8c565b90508135611f5981611f0a565b81526020820135611f6981611f0a565b602082015292915050565b6001600160a01b0381168114611f1f57600080fd5b8035611f2d81611f74565b600067ffffffffffffffff821115611fae57611fae611e76565b5060051b60200190565b600082601f830112611fc957600080fd5b81356020611fde611fd983611f94565b611ed9565b82815260059290921b84018101918181019086841115611ffd57600080fd5b8286015b8481101561202157803561201481611f0a565b8352918301918301612001565b509695505050505050565b600082601f83011261203d57600080fd5b8135602061204d611fd983611f94565b82815260059290921b8401810191818101908684111561206c57600080fd5b8286015b8481101561202157803561208381611f74565b8352918301918301612070565b6000604082840312156120a257600080fd5b6120aa611e8c565b9050813567ffffffffffffffff808211156120c457600080fd5b818401915084601f8301126120d857600080fd5b813560206120e8611fd983611f94565b82815260059290921b8401810191818101908884111561210757600080fd5b948201945b8386101561212e57853561211f81611f74565b8252948201949082019061210c565b8652508581013593508284111561214457600080fd5b6121508785880161202c565b818601525050505092915050565b6000806040838503121561217157600080fd5b823567ffffffffffffffff8082111561218957600080fd5b90840190610160828703121561219e57600080fd5b6121a6611eb5565b6121b08784611f32565b81526121be60408401611f89565b60208201526121cf60608401611f89565b60408201526121e060808401611f89565b60608201526121f160a08401611f89565b608082015261220260c08401611f89565b60a082015261221360e08401611f22565b60c0820152610100612226818501611f22565b60e0830152610120808501358481111561223f57600080fd5b61224b8a828801611fb8565b838501525061014085013591508382111561226557600080fd5b61227189838701611fb8565b90830152509350602085013591508082111561228c57600080fd5b5061229985828601612090565b9150509250929050565b6000602082840312156122b557600080fd5b815180151581146114c557600080fd5b634e487b7160e01b600052602160045260246000fd5b6000602082840312156122ed57600080fd5b8151600381106114c557600080fd5b634e487b7160e01b600052600160045260246000fd5b6000806040838503121561232557600080fd5b825161233081611f0a565b602084015190925061234181611f0a565b809150509250929050565b60006020828403121561235e57600080fd5b81516114c581611f0a565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b6001600160c01b038281168282160390808211156123b5576123b561237f565b5092915050565b81810360008312801583831316838312821617156123b5576123b561237f565b80820182811260008312801582168215821617156123fc576123fc61237f565b505092915050565b6001600160c01b038181168382160190808211156123b5576123b561237f565b6000600182016124365761243661237f565b5060010190565b6000600160ff1b82016124525761245261237f565b5060000390565b8082018082111561173a5761173a61237f565b60006020828403121561247e57600080fd5b815160ff811681146114c557600080fd5b808202811582820484141761173a5761173a61237f565b634e487b7160e01b600052601260045260246000fd5b600082810b9082900b03607f198112607f8213171561173a5761173a61237f565b600181815b80851115611c685781600019048211156124fe576124fe61237f565b8085161561250b57918102915b93841c93908002906124e2565b6000826125275750600161173a565b816125345750600061173a565b816001811461254a576002811461255457612570565b600191505061173a565b60ff8411156125655761256561237f565b50506001821b61173a565b5060208310610133831016604e8410600b8410161715612593575081810a61173a565b61259d83836124dd565b80600019048211156125b1576125b161237f565b029392505050565b60006117378383612518565b6000826125d4576125d46124a6565b500490565b8181038181111561173a5761173a61237f565b6000826125fb576125fb6124a6565b50069056fea26469706673582212205e84674778b124efac6b65b5b523dab4277aa27efa7d3aedad23e87fd0f32f4d64736f6c63430008130033