summaryrefslogtreecommitdiffstats
path: root/bank-eiffel/person.e
diff options
context:
space:
mode:
Diffstat (limited to 'bank-eiffel/person.e')
-rw-r--r--bank-eiffel/person.e27
1 files changed, 18 insertions, 9 deletions
diff --git a/bank-eiffel/person.e b/bank-eiffel/person.e
index 5230362..93ce339 100644
--- a/bank-eiffel/person.e
+++ b/bank-eiffel/person.e
@@ -7,11 +7,14 @@ note
7class 7class
8 PERSON 8 PERSON
9 9
10feature -- Access 10create
11 make
11 12
12 surename: STRING_8 13feature {NONE} -- Initialization
14
15 surname: STRING_8
13 -- Nachname 16 -- Nachname
14 attribute Result := ({like surename}).default end --| Remove line when Void Safety is properly set 17 attribute Result := ({like surname}).default end --| Remove line when Void Safety is properly set
15 18
16 firstname: STRING_8 assign set_firstname 19 firstname: STRING_8 assign set_firstname
17 -- Vorname 20 -- Vorname
@@ -19,14 +22,20 @@ feature -- Access
19 22
20feature -- Element change 23feature -- Element change
21 24
22 set_surename (a_surename: like surename) 25 make (a_surname: like surname; a_firstname: like firstname)
23 -- Assign `surename' with `a_surename'. 26 do
27 set_surname (a_surname)
28 set_firstname (a_firstname)
29 end
30
31 set_surname (a_surname: like surname)
32 -- Assign `surname' with `a_surname'.
24 require 33 require
25 a_surename_not_empty: a_surename /= Void and then not a_surename.is_empty 34 a_surname_not_empty: a_surname /= Void and then not a_surname.is_empty
26 do 35 do
27 surename := a_surename 36 surname := a_surname
28 ensure 37 ensure
29 surename_assigned: surename = a_surename 38 surname_assigned: surname = a_surname
30 end 39 end
31 40
32 set_firstname (a_firstname: like firstname) 41 set_firstname (a_firstname: like firstname)
@@ -41,5 +50,5 @@ feature -- Element change
41 50
42invariant 51invariant
43 firstname_not_empty: firstname /= Void and then not firstname.is_empty 52 firstname_not_empty: firstname /= Void and then not firstname.is_empty
44 surename_not_empty: surename /= Void and then not surename.is_empty 53 surname_not_empty: surname /= Void and then not surname.is_empty
45end 54end