1 files changed, 25 insertions, 0 deletions

diff --git a/eiffel-fragen/eiffel-fragen.txt b/eiffel-fragen/eiffel-fragen.txt
new file mode 100644
index 0000000..0c46496
--- /dev/null
+++ b/eiffel-fragen/eiffel-fragen.txt
@@ -0,0 +1,25 @@
+- Wie hoch ist der Aufwand in Eiffel, um Zusicherungen im Programmcode zu formulieren?
+Eine Zusicherung ist nur eine Zeile lang und der Block von Zusicherungen wird durch nur ein Wort (require, ensure, invariant) eingeleitet. Der Schreibaufwand ist also sehr gering.
+
+Außerdem können die Zusicherungen als Schnittstellendefinitionen verwedet werden. Daher verursachen sie, aus dieser Perspektive, keine zusätzlichen Aufwand wenn sie eine andere Art von Schnittstellendefinition ersetzen.
+
+(siehe http://archive.eiffel.com/eiffel/nutshell.html "What's this "Design by Contract" thing?")
+
+ 
+----------------------------------------------------------------------------------------- 
+- Wie stark wirkt sich die Überprüfung von Zusicherungen auf die Laufzeit aus?
+Die Zusicherungen wirken sich zwangsläufig stark auf die Laufzeit aus. Sie sind jedoch normalerweise nur während der Entwicklung eingeschaltet. In den produktiv eingesetzten Binaries sind sie typischer weise ganz abgeschaltet. Es besteht auch die Möglichkeit sie für jede Klasse einzeln auf verschiedene Level (no check, preconditions only, preconditions and postconditions, everything) einzustellen.
+
+(siehe http://www.faqs.org/faqs/eiffel-faq/ "How fast do Eiffel applications run?")
+
+ 
+----------------------------------------------------------------------------------------- 
+- 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?
+
+ 
+----------------------------------------------------------------------------------------- 
+- 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?
+
+ 
+----------------------------------------------------------------------------------------- 
+- Vereinfachen kovariante Eingangsparametertypen die Programmierung? Unter welchen Bedingungen ist das so?
\ No newline at end of file