petshop-scene-shipShopOrder.spp

petshop/fulfillment/petshop-scene-shipShopOrder.spp

Download original file · Petstore source contents

1domain petshop;23Scenario serial shipShopOrder(Buyer, StockLine[], ShopOrder, ShipmentAgreement) {4    checkBuyerCredential;5    initializeShipmentAgreement;6    checkShipmentAgreementInput;78    parallel {9        findBuyer;10        findShopOrder;11    }12    identify(Buyer);13    identify(ShopOrder);14    checkOrderOwner;15    prepareOrderInventory;16    findStockLine;17    identify(StockLine[]);18    checkShipmentEligibility;19    checkReservedInventory;20    prepareShipment;21    prepareShipmentAgreementReceipt;22    transaction {23        shipInventory bounds {24            StockLine[].reserved: [0, null];25            StockLine[].sold: [0, null];26        };27        updateShopOrder;2829        insertReceipt(ShipmentAgreement.receipt);30    }31}