petshop-scene-payShopOrder.spp
petshop/payment/petshop-scene-payShopOrder.spp
Download original file · Petstore source contents
1domain petshop;23Scenario serial payShopOrder(Buyer, Merchant, ShopOrder, PaymentAgreement) {4checkBuyerCredential;5initializePaymentAgreement;6configureMerchantLookup;7parallel {8findBuyer;9findMerchant;10}11identify(Buyer);12identify(Merchant);13findShopOrder;14identify(ShopOrder);15checkOrderOwner;16checkPaymentEligibility;17preparePayment;18preparePaymentAgreementReceipt;19transaction {20transaction REQUIRED {21payOrderFunds bounds {22Buyer.wallet: [0, null];23Merchant.cash: [0, null];24};25}26updateShopOrder;27insertReceipt(PaymentAgreement.receipt);28}29}