diff options
Diffstat (limited to 'eiffel-fragen/eiffel-fragen.txt')
| -rw-r--r-- | eiffel-fragen/eiffel-fragen.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/eiffel-fragen/eiffel-fragen.txt b/eiffel-fragen/eiffel-fragen.txt index 62fcef2..3fac8d0 100644 --- a/eiffel-fragen/eiffel-fragen.txt +++ b/eiffel-fragen/eiffel-fragen.txt | |||
| @@ -16,6 +16,12 @@ Die Zusicherungen wirken sich zwangsläufig stark auf die Laufzeit aus. Sie sind | |||
| 16 | ----------------------------------------------------------------------------------------- | 16 | ----------------------------------------------------------------------------------------- |
| 17 | - Vorbedingungen dürfen im Untertyp nicht stärker und Nachbedingungen nicht schwächer werden, um Ersetzbarkeit zu garantieren. Der Eiffel-Compiler überprüft diese Bedingungen. Ist es (trotz eingeschalteter Überprüfung von Zusicherungen) möglich, diese Bedingungen zu umgehen? Wenn ja, wie? | 17 | - Vorbedingungen dürfen im Untertyp nicht stärker und Nachbedingungen nicht schwächer werden, um Ersetzbarkeit zu garantieren. Der Eiffel-Compiler überprüft diese Bedingungen. Ist es (trotz eingeschalteter Überprüfung von Zusicherungen) möglich, diese Bedingungen zu umgehen? Wenn ja, wie? |
| 18 | 18 | ||
| 19 | Ja, indem ein "redefine" von Metodhen gemacht wird, die einem "ensure" verwendet werden kann dieses schwächer werden ohne, dass der Compiler es merkt. | ||
| 20 | |||
| 21 | Im Bsp: | ||
| 22 | Der interne Zustand von "item" dürfte nie negativ werden, daher auch ct.get() nie einen negativen wert liefern. | ||
| 23 | Bei CHILD wird der interene Zustand allerdings negativ, sichtbar durch ch.get(). | ||
| 24 | |||
| 19 | 25 | ||
| 20 | ----------------------------------------------------------------------------------------- | 26 | ----------------------------------------------------------------------------------------- |
| 21 | - Eiffel erlaubt kovariante Eingangsparametertypen. Unter welchen Bedingungen führt das zu Problemen, und wie äußern sich diese? Können Sie ein Programm schreiben, in dem die Verwendung kovarianter Eingangsparametertypen zu einer Exception führt? | 27 | - Eiffel erlaubt kovariante Eingangsparametertypen. Unter welchen Bedingungen führt das zu Problemen, und wie äußern sich diese? Können Sie ein Programm schreiben, in dem die Verwendung kovarianter Eingangsparametertypen zu einer Exception führt? |