escrow.213.sopb.exp

@compiler >=6

main contract Escrow =

    record state = {
            buyer : address,
            payee : address,
            arbiter : address,
            amount : int,
            fee : int
        }

    payable entrypoint init(payee : address, arbiter : address, fee : int) = {
            buyer = Call.caller,
            payee = payee,
            arbiter = arbiter,
            amount = Call.value,
            fee = fee
        }



    stateful function transfer(to : address, amount : int) =
        Chain.spend(to, amount)


    function permit(authorized : address) =
        require(Call.caller == authorized, "access")


    stateful entrypoint pay_out() =
        permit(state.arbiter)
        transfer(state.arbiter, state.fee)
        transfer(state.payee, Contract.balance)


    stateful entrypoint pay_back() =
        permit(state.arbiter)
        transfer(state.arbiter, state.fee)
        transfer(state.buyer, Contract.balance)