petshop-10-services.spp

petshop/returns/petshop-10-services.spp

Download original file · Petstore source contents

1domain petshop;23atomic update returnInventory(StockLine[], ReturnRefundAgreement);4quantum update refundReturnFunds(Buyer, Merchant, ReturnRefundAgreement) {5    Buyer.wallet += ReturnRefundAgreement.refundAmount;6    Merchant.cash -= ReturnRefundAgreement.refundAmount;7}