petshop-scene-updateShopCustomer.spp

petshop/membership/petshop-scene-updateShopCustomer.spp

Download original file · Petstore source contents

1domain petshop;23Scenario serial updateShopCustomer(Buyer, ProfileAgreement) {4    checkBuyerCredential;5    checkProfileAgreementInput;6    initializeProfileAgreement;7    prepareProfileAgreementReceipt;8    findBuyer;9    identify(Buyer);10    updateProfile;11    transaction {12        updatePerson(Buyer);13        updateBuyer;14        insertReceipt(ProfileAgreement.receipt);15    }16}