diff options
Diffstat (limited to 'bank-eiffel/person.e')
| -rw-r--r-- | bank-eiffel/person.e | 27 |
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 | |||
| 7 | class | 7 | class |
| 8 | PERSON | 8 | PERSON |
| 9 | 9 | ||
| 10 | feature -- Access | 10 | create |
| 11 | make | ||
| 11 | 12 | ||
| 12 | surename: STRING_8 | 13 | feature {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 | ||
| 20 | feature -- Element change | 23 | feature -- 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 | ||
| 42 | invariant | 51 | invariant |
| 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 |
| 45 | end | 54 | end |
