petshop-30-agreements.spp
petshop/membership/petshop-30-agreements.spp
Download original file · Petstore source contents
1domain petshop;23atomic calculate initializeRegistrationAgreement(Buyer, Cart, RegistrationAgreement) {4RegistrationAgreement.buyer = Buyer;5RegistrationAgreement.cart = Cart;6}78atomic calculate initializeProfileAgreement(Buyer, ProfileAgreement) {9ProfileAgreement.buyer = Buyer;10}1112atomic calculate prepareRegistrationAgreementReceipt(Buyer, RegistrationAgreement) {13RegistrationAgreement.receipt = new Receipt();14RegistrationAgreement.receipt.buyer = Buyer;15RegistrationAgreement.receipt.status = ReceiptStatus.COMPLETED;16}1718atomic calculate prepareProfileAgreementReceipt(Buyer, ProfileAgreement) {19ProfileAgreement.receipt = new Receipt();20ProfileAgreement.receipt.buyer = Buyer;21ProfileAgreement.receipt.status = ReceiptStatus.COMPLETED;22}