petshop-30-agreements.spp

petshop/order/petshop-30-agreements.spp

Download original file · Petstore source contents

1domain petshop;23atomic calculate initializeUnpaidCancellationAgreement(Buyer, ShopOrder, UnpaidCancellationAgreement) {4    UnpaidCancellationAgreement.buyer = Buyer;5    UnpaidCancellationAgreement.order = ShopOrder;67    UnpaidCancellationAgreement.releasedQuantity = 0;8}910atomic calculate initializePaidCancellationAgreement(Buyer, Merchant, ShopOrder, PaidCancellationAgreement) {11    PaidCancellationAgreement.buyer = Buyer;12    PaidCancellationAgreement.order = ShopOrder;13    PaidCancellationAgreement.seller = Merchant;1415    PaidCancellationAgreement.releasedQuantity = 0;16    PaidCancellationAgreement.refundAmount = 0;17}1819atomic calculate prepareUnpaidCancellationAgreementReceipt(ShopOrder, UnpaidCancellationAgreement) {20    UnpaidCancellationAgreement.order = ShopOrder;21    UnpaidCancellationAgreement.receipt = new Receipt();22    UnpaidCancellationAgreement.receipt.order = ShopOrder;23    UnpaidCancellationAgreement.receipt.buyer = ShopOrder.buyer;24    UnpaidCancellationAgreement.receipt.status = ReceiptStatus.COMPLETED;25    UnpaidCancellationAgreement.receipt.orderStatus = ShopOrder.status;26}2728atomic calculate preparePaidCancellationAgreementReceipt(ShopOrder, PaidCancellationAgreement) {29    PaidCancellationAgreement.order = ShopOrder;30    PaidCancellationAgreement.receipt = new Receipt();31    PaidCancellationAgreement.receipt.order = ShopOrder;32    PaidCancellationAgreement.receipt.buyer = ShopOrder.buyer;33    PaidCancellationAgreement.receipt.status = ReceiptStatus.COMPLETED;34    PaidCancellationAgreement.receipt.orderStatus = ShopOrder.status;35}3637atomic calculate preparePurchaseReceipt(ShopOrder, Receipt) {38    Receipt.buyer = ShopOrder.buyer;39    Receipt.order = ShopOrder;40    Receipt.status = ReceiptStatus.COMPLETED;41    Receipt.orderStatus = ShopOrder.status;42}