MPP Homework Lecture 4

metadata.json

{"valueParameterInfo":[["Bank Deposit",{"valueParameterFormat":{"contents":[6,""],"tag":"DecimalFormat"},"valueParameterDescription":""}],["Client Deposit",{"valueParameterFormat":{"contents":[6,""],"tag":"DecimalFormat"},"valueParameterDescription":""}]],"timeParameterDescriptions":[["Bank Deposit Timeout",""],["Client Deposit Timeout 1",""]],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"Unknown","contractName":"Unknown","contractLongDescription":"We couldn't find information about this contract","choiceInfo":[]}

playground.marlowe

When
    [Case
        (Deposit
            (Role "Bank")
            (Role "Bank")
            (Token "" "")
            (ConstantParam "Bank Deposit")
        )
        (When
            [Case
                (Deposit
                    (Role "Bank")
                    (Role "Client")
                    (Token "" "")
                    (ConstantParam "Client Deposit")
                )
                (When
                    [Case
                        (Deposit
                            (Role "Bank")
                            (Role "Client")
                            (Token "" "")
                            (ConstantParam "Client Deposit")
                        )
                        (When
                            [Case
                                (Deposit
                                    (Role "Bank")
                                    (Role "Client")
                                    (Token "" "")
                                    (ConstantParam "Client Deposit")
                                )
                                (When
                                    [Case
                                        (Deposit
                                            (Role "Bank")
                                            (Role "Client")
                                            (Token "" "")
                                            (ConstantParam "Client Deposit")
                                        )
                                        (When
                                            [Case
                                                (Deposit
                                                    (Role "Bank")
                                                    (Role "Client")
                                                    (Token "" "")
                                                    (ConstantParam "Client Deposit")
                                                )
                                                (If
                                                    (ValueEQ
                                                        (AvailableMoney
                                                            (Role "Bank")
                                                            (Token "" "")
                                                        )
                                                        (AddValue
                                                            (ConstantParam "Bank Deposit")
                                                            (MulValue
                                                                (ConstantParam "Client Deposit")
                                                                (Constant 5)
                                                            )
                                                        )
                                                    )
                                                    (Pay
                                                        (Role "Bank")
                                                        (Account (Role "Client"))
                                                        (Token "" "")
                                                        (AddValue
                                                            (ConstantParam "Bank Deposit")
                                                            (MulValue
                                                                (ConstantParam "Client Deposit")
                                                                (Constant 5)
                                                            )
                                                        )
                                                        Close 
                                                    )
                                                    Close 
                                                )]
                                            (TimeParam "Client Deposit Timeout")
                                            Close 
                                        )]
                                    (TimeParam "Client Deposit Timeout")
                                    Close 
                                )]
                            (TimeParam "Client Deposit Timeout")
                            Close 
                        )]
                    (TimeParam "Client Deposit Timeout")
                    Close 
                )]
            (TimeParam "Client Deposit Timeout")
            Close 
        )]
    (TimeParam "Bank Deposit Timeout")
    Close 

playground.marlowe.json

{}