From e03195a9325d2671208efc45f4a4d083664eafe2 Mon Sep 17 00:00:00 2001 From: manuel Date: Mon, 23 May 2011 19:28:45 +0200 Subject: make all void-safe and much more improvements --- bank-eiffel/person.e | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) (limited to 'bank-eiffel/person.e') diff --git a/bank-eiffel/person.e b/bank-eiffel/person.e index 54e1a45..9a2b281 100644 --- a/bank-eiffel/person.e +++ b/bank-eiffel/person.e @@ -14,11 +14,9 @@ feature -- Access surname: STRING_8 assign set_surname -- Nachname - attribute Result := ({like surname}).default end --| Remove line when Void Safety is properly set firstname: STRING_8 assign set_firstname -- Vorname - attribute Result := ({like firstname}).default end --| Remove line when Void Safety is properly set feature {NONE} -- Initialization @@ -33,7 +31,7 @@ feature {NONE} -- Implementation set_surname (a_surname: like surname) -- Assign `surname' with `a_surname'. require - a_surname_not_empty: a_surname /= Void and then not a_surname.is_empty + a_surname_not_empty: not a_surname.is_empty do surname := a_surname ensure @@ -43,7 +41,7 @@ feature {NONE} -- Implementation set_firstname (a_firstname: like firstname) -- Assign `firstname' with `a_firstname'. require - a_firstname_not_empty: a_firstname /= Void and then not a_firstname.is_empty + a_firstname_not_empty: not a_firstname.is_empty do firstname := a_firstname ensure @@ -51,6 +49,6 @@ feature {NONE} -- Implementation end invariant - firstname_not_empty: firstname /= Void and then not firstname.is_empty - surname_not_empty: surname /= Void and then not surname.is_empty + firstname_not_empty: not firstname.is_empty + surname_not_empty: not surname.is_empty end -- cgit v1.2.3 From 1daf62f05c19e6f96d16d3688055dfd20d89d2b8 Mon Sep 17 00:00:00 2001 From: manuel Date: Mon, 23 May 2011 20:37:54 +0200 Subject: - add tests - remove notes - fix minamount for subaccounts --- bank-eiffel/person.e | 6 ------ 1 file changed, 6 deletions(-) (limited to 'bank-eiffel/person.e') diff --git a/bank-eiffel/person.e b/bank-eiffel/person.e index 9a2b281..ffaab72 100644 --- a/bank-eiffel/person.e +++ b/bank-eiffel/person.e @@ -1,9 +1,3 @@ -note - description: "Summary description for {PERSON}." - author: "" - date: "$Date$" - revision: "$Revision$" - class PERSON -- cgit v1.2.3