petshop-scene-cancelUnpaidShopOrder.spp

petshop/order/petshop-scene-cancelUnpaidShopOrder.spp

Download original file · Petstore source contents

1domain petshop;23Scenario serial cancelUnpaidShopOrder(Buyer, StockLine[], ShopOrder, UnpaidCancellationAgreement) {4    checkBuyerCredential;5    initializeUnpaidCancellationAgreement;6    checkUnpaidCancellationAgreementInput;78    parallel {9        findBuyer;10        findShopOrder;11    }12    identify(Buyer);13    identify(ShopOrder);14    checkOrderOwner;15    prepareOrderInventory;16    findStockLine;17    identify(StockLine[]);18    checkUnpaidCancellation;19    checkReservedInventory;20    prepareUnpaidCancellation;21    prepareUnpaidCancellationAgreementReceipt;22    transaction {23        releaseUnpaidInventory bounds {24            StockLine[].available: [0, null];25            StockLine[].reserved: [0, null];26        };27        updateShopOrder;2829        insertReceipt(UnpaidCancellationAgreement.receipt);30    }31}