petshop-30-agreements.spp

petshop/cart/petshop-30-agreements.spp

Download original file · Petstore source contents

1domain petshop;23atomic calculate initializeCartAdditionAgreement(Buyer, Cart, Goods, CartAdditionAgreement) {4    CartAdditionAgreement.buyer = Buyer;5    CartAdditionAgreement.cart = Cart;6    CartAdditionAgreement.goods = Goods;7}89atomic calculate initializeCartQuantityAgreement(Buyer, Cart, Goods, CartQuantityAgreement) {10    CartQuantityAgreement.buyer = Buyer;11    CartQuantityAgreement.cart = Cart;12    CartQuantityAgreement.goods = Goods;13}1415atomic calculate initializeCartRemovalAgreement(Buyer, Cart, Goods, CartRemovalAgreement) {16    CartRemovalAgreement.buyer = Buyer;17    CartRemovalAgreement.cart = Cart;18    CartRemovalAgreement.goods = Goods;19}2021atomic calculate initializeCartClearingAgreement(Buyer, Cart, CartClearingAgreement) {22    CartClearingAgreement.Buyer = Buyer;23    CartClearingAgreement.Cart = Cart;24}2526atomic calculate prepareCartAdditionAgreementReceipt(Buyer, CartAdditionAgreement) {27    CartAdditionAgreement.receipt = new Receipt();28    CartAdditionAgreement.receipt.buyer = Buyer;29    CartAdditionAgreement.receipt.status = ReceiptStatus.COMPLETED;30}3132atomic calculate prepareCartQuantityAgreementReceipt(Buyer, CartQuantityAgreement) {33    CartQuantityAgreement.receipt = new Receipt();34    CartQuantityAgreement.receipt.buyer = Buyer;35    CartQuantityAgreement.receipt.status = ReceiptStatus.COMPLETED;36}3738atomic calculate prepareCartRemovalAgreementReceipt(Buyer, CartRemovalAgreement) {39    CartRemovalAgreement.receipt = new Receipt();40    CartRemovalAgreement.receipt.buyer = Buyer;41    CartRemovalAgreement.receipt.status = ReceiptStatus.COMPLETED;42}4344atomic calculate prepareCartClearingAgreementReceipt(Buyer, CartClearingAgreement) {45    CartClearingAgreement.Receipt = new Receipt();46    CartClearingAgreement.Receipt.buyer = Buyer;47    CartClearingAgreement.Receipt.status = ReceiptStatus.COMPLETED;48}