From 33613a85afc4b1481367fbe92a17ee59c240250b Mon Sep 17 00:00:00 2001 From: Sven Eisenhauer Date: Fri, 10 Nov 2023 15:11:48 +0100 Subject: add new repo --- .../library/registration/usecase/Registration.html | 253 +++++++++++++++++++++ 1 file changed, 253 insertions(+) create mode 100644 Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/Registration.html (limited to 'Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/Registration.html') diff --git a/Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/Registration.html b/Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/Registration.html new file mode 100644 index 0000000..05f28ab --- /dev/null +++ b/Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/Registration.html @@ -0,0 +1,253 @@ + + + + + + +Registration + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ + + + + + + + + + + +
Overview  Package   Class  Use  Tree  Index  Help 
+		 + +
+ PREV CLASS  + NEXT CLASS + FRAMES   + NO FRAMES   +  + + + +
+ SUMMARY: NESTED | FIELD | CONSTR | METHOD +DETAIL: FIELD | CONSTR | METHOD
+ + + +
+ +

+ +de.h_da.library.registration.usecase +
+Interface Registration

+
+
+
public interface Registration
+ + +

+[usecase] This use case comprises all functionality used by library staff to + register new customers. +

+ +

+

+ +

+ + + + + + + + + + + + + + + + +
+Method Summary
+ voidmodifyRestistration(Customer customer) + +
+          Modifies the data of an already registered customer
+ intregister(Customer customer) + +
+          [command] Registers a new customer and generates an invoice for the + registration fee.
+  +

+ + + + + + + + +
+Method Detail
+ +

+modifyRestistration

+
+void modifyRestistration(Customer customer)
+
+
Modifies the data of an already registered customer +

+

+
Parameters:
customer - a volatile Customer object with id + + 
+        [pre exists Customer c: c.id == customer.id
+         post c.name.equals(customer.name)
+         analogous for all other attributes of entity Customer
+        ]
+
+
+
+
+ +

+register

+
+int register(Customer customer)
+
+
[command] Registers a new customer and generates an invoice for the + registration fee. +

+

+
Parameters:
customer - [inout] a volatile Customer object +
Returns:
[out] the id of the persistent Customer object + + 
+        [pre not exists Customer c: c.id == result
+         post exists Customer c: c.id == result
+         post c.name.equals(customer.name)
+         analogous for all other attributes of entity Customer
+         post exists Invoice i: 
+              i.date is current date 
+              && i.subject.equals("Registration fee") 
+              && i.name.equals(customer.name) 
+              && i.address.equals(customer.address)
+              && i.amount = 500 && // EUR 5.00 registration fee
+        ]
+
+
+
+ +
+ + + + + + + + + + + + + + + + + + + +
+ + + + + + + + + + + +
Overview  Package   Class  Use  Tree  Index  Help 
+		 + +
+ PREV CLASS  + NEXT CLASS + FRAMES   + NO FRAMES   +  + + + +
+ SUMMARY: NESTED | FIELD | CONSTR | METHOD +DETAIL: FIELD | CONSTR | METHOD
+ + + +
+ + + -- cgit v1.2.3