From 800ec1793dc7bfece6a81de374c839d6c8acb6df Mon Sep 17 00:00:00 2001
From: manuel <manuel@mausz.at>
Date: Sat, 21 May 2011 15:28:39 +0200
Subject: add missing other classes

---
 bank-eiffel/account.e        | 14 ++++++++++++++
 bank-eiffel/retiree.e        | 13 +++++++++++++
 bank-eiffel/retireeaccount.e | 13 +++++++++++++
 bank-eiffel/student.e        | 13 +++++++++++++
 bank-eiffel/studentaccount.e | 13 +++++++++++++
 5 files changed, 66 insertions(+)
 create mode 100644 bank-eiffel/retiree.e
 create mode 100644 bank-eiffel/retireeaccount.e
 create mode 100644 bank-eiffel/student.e
 create mode 100644 bank-eiffel/studentaccount.e

diff --git a/bank-eiffel/account.e b/bank-eiffel/account.e
index 578aec2..6c240de 100644
--- a/bank-eiffel/account.e
+++ b/bank-eiffel/account.e
@@ -12,6 +12,9 @@ inherit
 
 feature -- Access
 
+	transfer_minamount: REAL_32 assign set_transfer_minamount
+			-- Mindestbetrag für jede Einzahlung, Auszahlung und Überweisung
+
 	authorized_signers: SET [PERSON] assign set_authorized_signers
 			-- Zeichnungsberechtigte
 		attribute Result := ({like authorized_signers}).default end --| Remove line when Void Safety is properly set
@@ -30,6 +33,16 @@ feature -- Access
 
 feature -- Element change
 
+	set_transfer_minamount (a_transfer_minamount: like transfer_minamount)
+			-- Assign `transfer_minamount' with `a_transfer_minamount'.
+		require
+			a_transfer_minamount_positive: a_transfer_minamount > 0.0
+		do
+			transfer_minamount := a_transfer_minamount
+		ensure
+			transfer_minamount_assigned: transfer_minamount = a_transfer_minamount
+		end
+
 	set_authorized_signers (an_authorized_signers: like authorized_signers)
 			-- Assign `authorized_signers' with `an_authorized_signers'.
 		require
@@ -72,4 +85,5 @@ invariant
 	interest_debit_within_bounds: interest_debit >= 0.0 and interest_debit <= 1.0
 	interest_deposit_within_bounds: interest_deposit >= 0.0 and interest_deposit <= 1.0
 	authorized_signers_attached: authorized_signers /= Void
+	transfer_minamount_positive: transfer_minamount > 0.0
 end
diff --git a/bank-eiffel/retiree.e b/bank-eiffel/retiree.e
new file mode 100644
index 0000000..57e5d05
--- /dev/null
+++ b/bank-eiffel/retiree.e
@@ -0,0 +1,13 @@
+note
+	description: "Summary description for {RETIREE}."
+	author: ""
+	date: "$Date$"
+	revision: "$Revision$"
+
+class
+	RETIREE
+
+inherit
+	PERSON
+
+end
diff --git a/bank-eiffel/retireeaccount.e b/bank-eiffel/retireeaccount.e
new file mode 100644
index 0000000..3b935d7
--- /dev/null
+++ b/bank-eiffel/retireeaccount.e
@@ -0,0 +1,13 @@
+note
+	description: "Summary description for {RETIREEACCOUNT}."
+	author: ""
+	date: "$Date$"
+	revision: "$Revision$"
+
+class
+	RETIREEACCOUNT
+
+inherit
+	ACCOUNT
+
+end
diff --git a/bank-eiffel/student.e b/bank-eiffel/student.e
new file mode 100644
index 0000000..2b5afd4
--- /dev/null
+++ b/bank-eiffel/student.e
@@ -0,0 +1,13 @@
+note
+	description: "Summary description for {STUDENT}."
+	author: ""
+	date: "$Date$"
+	revision: "$Revision$"
+
+class
+	STUDENT
+
+inherit
+	PERSON
+
+end
diff --git a/bank-eiffel/studentaccount.e b/bank-eiffel/studentaccount.e
new file mode 100644
index 0000000..831cb6a
--- /dev/null
+++ b/bank-eiffel/studentaccount.e
@@ -0,0 +1,13 @@
+note
+	description: "Summary description for {STUDENTACCOUNT}."
+	author: ""
+	date: "$Date$"
+	revision: "$Revision$"
+
+class
+	STUDENTACCOUNT
+
+inherit
+	ACCOUNT
+
+end
-- 
cgit v1.2.3