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 +++++++++++++++++++++ .../usecase/class-use/Registration.html | 138 +++++++++++ .../registration/usecase/package-frame.html | 32 +++ .../registration/usecase/package-summary.html | 153 +++++++++++++ .../library/registration/usecase/package-tree.html | 145 ++++++++++++ .../library/registration/usecase/package-use.html | 138 +++++++++++ 6 files changed, 859 insertions(+) create mode 100644 Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/Registration.html create mode 100644 Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/class-use/Registration.html create mode 100644 Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/package-frame.html create mode 100644 Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/package-summary.html create mode 100644 Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/package-tree.html create mode 100644 Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/package-use.html (limited to 'Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase') 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
+ + + +
+ + + diff --git a/Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/class-use/Registration.html b/Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/class-use/Registration.html new file mode 100644 index 0000000..e97a1f8 --- /dev/null +++ b/Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/class-use/Registration.html @@ -0,0 +1,138 @@ + + + + + + +Uses of Interface de.h_da.library.registration.usecase.Registration + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ + + + + + + + + + + +
Overview  Package  Class   Use  Tree  Index  Help 
+		 + +
+ PREV  + NEXT + FRAMES   + NO FRAMES   +  + + + +
+ + + +
+
+

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

+
+No usage of de.h_da.library.registration.usecase.Registration +

+

+ + + + + + + + + + + + + + + +
+ + + + + + + + + + + +
Overview  Package  Class   Use  Tree  Index  Help 
+		 + +
+ PREV  + NEXT + FRAMES   + NO FRAMES   +  + + + +
+ + + +
+ + + diff --git a/Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/package-frame.html b/Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/package-frame.html new file mode 100644 index 0000000..417dd62 --- /dev/null +++ b/Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/package-frame.html @@ -0,0 +1,32 @@ + + + + + + +de.h_da.library.registration.usecase + + + + + + + + + + + +de.h_da.library.registration.usecase + + + + +
+Interfaces  + +
+Registration
+ + + + diff --git a/Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/package-summary.html b/Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/package-summary.html new file mode 100644 index 0000000..dcd6395 --- /dev/null +++ b/Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/package-summary.html @@ -0,0 +1,153 @@ + + + + + + +de.h_da.library.registration.usecase + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ + + + + + + + + + + +
Overview   Package  Class  Use  Tree  Index  Help 
+		 + +
+ PREV PACKAGE  + NEXT PACKAGE + FRAMES   + NO FRAMES   +  + + + +
+ + + +
+

+Package de.h_da.library.registration.usecase +

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

+

+
+
+ + + + + + + + + + + + + + + +
+ + + + + + + + + + + +
Overview   Package  Class  Use  Tree  Index  Help 
+		 + +
+ PREV PACKAGE  + NEXT PACKAGE + FRAMES   + NO FRAMES   +  + + + +
+ + + +
+ + + diff --git a/Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/package-tree.html b/Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/package-tree.html new file mode 100644 index 0000000..a34ffc4 --- /dev/null +++ b/Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/package-tree.html @@ -0,0 +1,145 @@ + + + + + + +de.h_da.library.registration.usecase Class Hierarchy + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ + + + + + + + + + + +
Overview  Package  Class  Use   Tree  Index  Help 
+		 + +
+ PREV  + NEXT + FRAMES   + NO FRAMES   +  + + + +
+ + + +
+
+

+Hierarchy For Package de.h_da.library.registration.usecase +

+
+
+
Package Hierarchies:
All Packages
+
+

+Interface Hierarchy +

+ +
+ + + + + + + + + + + + + + + +
+ + + + + + + + + + + +
Overview  Package  Class  Use   Tree  Index  Help 
+		 + +
+ PREV  + NEXT + FRAMES   + NO FRAMES   +  + + + +
+ + + +
+ + + diff --git a/Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/package-use.html b/Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/package-use.html new file mode 100644 index 0000000..de3cb86 --- /dev/null +++ b/Master/Reference Architectures and Patterns/doc/de/h_da/library/registration/usecase/package-use.html @@ -0,0 +1,138 @@ + + + + + + +Uses of Package de.h_da.library.registration.usecase + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ + + + + + + + + + + +
Overview  Package  Class   Use  Tree  Index  Help 
+		 + +
+ PREV  + NEXT + FRAMES   + NO FRAMES   +  + + + +
+ + + +
+
+

+Uses of Package
de.h_da.library.registration.usecase

+
+No usage of de.h_da.library.registration.usecase +

+

+ + + + + + + + + + + + + + + +
+ + + + + + + + + + + +
Overview  Package  Class   Use  Tree  Index  Help 
+		 + +
+ PREV  + NEXT + FRAMES   + NO FRAMES   +  + + + +
+ + + +
+ + + -- cgit v1.2.3