petshop-scene-previewShopOrder.spp

petshop/order/petshop-scene-previewShopOrder.spp

Download original file · Petstore source contents

1domain petshop;23Scenario serial previewShopOrder(Buyer, Cart, ShopOrder, Goods, Goods[]) {4    checkBuyerCredential;5    prepareProductSelection;6    findBuyer;7    identify(Buyer);8    locateBuyerCart;9    findCart;10    identify(Cart);11    checkCart;12    listProducts;13    checkQuotationInput;14    quoteOrder;15}