petshop-00-model.spp

petshop/shared/petshop-00-model.spp

Download original file · Petstore source contents

1domain petshop;23Role Merchant {4}56take Person as Merchant {7    takeall;8    String tradingName;9    String shopName;10    quantum BigDecimal(19, 2) cash;11}1213Entity Receipt {14    business("Business receipt number") String receiptNumber;15    Buyer buyer;16    ShopOrder order;17    ReceiptStatus status;18    OrderStatus orderStatus;19}