petshop-05-checks.spp

petshop/membership/petshop-05-checks.spp

Download original file · Petstore source contents

1domain petshop;23atomic check checkProfileAgreementInput(ProfileAgreement) {4    require(ProfileAgreement.newName != null && ProfileAgreement.newName != "", "NAME_REQUIRED");5    require(ProfileAgreement.newEmail != null && ProfileAgreement.newEmail != "", "EMAIL_REQUIRED");6    require(ProfileAgreement.newAddress != null && ProfileAgreement.newAddress != "", "ADDRESS_REQUIRED");7    require(8        ProfileAgreement.newTier == MemberTier.NORMAL || ProfileAgreement.newTier == MemberTier.VIP,9        "INVALID_MEMBER_TIER"10    );11}