diff options
| author | manuel <manuel@mausz.at> | 2011-06-29 03:01:35 +0200 |
|---|---|---|
| committer | manuel <manuel@mausz.at> | 2011-06-29 03:01:35 +0200 |
| commit | 04c19bc7ccae1ce8e20733c075df5e9d6c448fc4 (patch) | |
| tree | 8957ab770ce6ea7a17d121c829a71eef781833e4 /bank-eiffel | |
| parent | 28d807be719079971d2af7c3d2b62199f490a7e0 (diff) | |
| download | foop-04c19bc7ccae1ce8e20733c075df5e9d6c448fc4.tar.gz foop-04c19bc7ccae1ce8e20733c075df5e9d6c448fc4.tar.bz2 foop-04c19bc7ccae1ce8e20733c075df5e9d6c448fc4.zip | |
add replaceabality test
Diffstat (limited to 'bank-eiffel')
| -rw-r--r-- | bank-eiffel/bank.e | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bank-eiffel/bank.e b/bank-eiffel/bank.e index 8a3fd2c..7b7105c 100644 --- a/bank-eiffel/bank.e +++ b/bank-eiffel/bank.e | |||
| @@ -53,7 +53,7 @@ feature {NONE} -- Initialization | |||
| 53 | 53 | ||
| 54 | feature -- Basic operations | 54 | feature -- Basic operations |
| 55 | 55 | ||
| 56 | --fail_kovariant | 56 | fail_kovariant |
| 57 | local | 57 | local |
| 58 | retiree: RETIREE | 58 | retiree: RETIREE |
| 59 | student: STUDENT | 59 | student: STUDENT |
| @@ -74,7 +74,7 @@ feature -- Basic operations | |||
| 74 | session | 74 | session |
| 75 | do | 75 | do |
| 76 | -- das auskommentieren, dann bekommt ihr eine exception wegen kovariant (das ist ein methodenaufruf): | 76 | -- das auskommentieren, dann bekommt ihr eine exception wegen kovariant (das ist ein methodenaufruf): |
| 77 | fail_kovariant | 77 | --fail_kovariant |
| 78 | from | 78 | from |
| 79 | until | 79 | until |
| 80 | over | 80 | over |