petshop-scene-requestShopReturn.spp

petshop/returns/petshop-scene-requestShopReturn.spp

Download original file · Petstore source contents

1domain petshop;23Scenario serial requestShopReturn(Buyer, ShopOrder, ReturnRequestAgreement) {4    checkReturnRequestAgreementInput;5    initializeReturnRequestAgreement;6    findBuyer;7    identify(Buyer);8    findShopOrder;9    identify(ShopOrder);10    checkOrderOwner;11    checkReturnRequest;12    prepareReturnRequest;13    prepareReturnRequestReceipt;14    transaction {15        updateShopOrder;16        insertReceipt(ReturnRequestAgreement.Receipt);17    }18}