Grundlagen der Informatik I “Programmierung”

Constant ::= Manifest constant | Identifier
Manifest constant ::= Siehe Abschnitt 4.4
Routine ::= [ obsolete Manifest string ]
[ Comment ]
[ require [ else ] [ Assertions ] ] Vorbedingungen
[ local [ Entity declarations ] ] Lokale Variablen
Routine body Anweisungsteil
[ ensure [ then ] [ Assertions ] ] Nachbedingungen
[ rescue Compound ] Ausnahmebehandlung Siehe Abschnitt 4.3
end [ -- Feature name ]
Routine body ::= deferred
| do Compound
| once Compound
| External
External ::= nicht besprochen – siehe [Meyer, 1992, Seite 402ff]
Compound ::= Siehe Abschnitt 4.3
Expression ::= Siehe Abschnitt 4.4
Assertions ::= Assertion clause [ ; Assertions ]
Assertion clause ::= [ Identifier : ] Unlabeled assertion clause
Unlabeled assertion clause ::= Expression | Comment
3.11.2 Statische und Dynamische Semantik
Eine detaillierte Besprechung der statischen und dynamischen Semantik von Klassendeklarationen einschließlich
Vererbung, Benutzung und Generizität ist verhältnismäßig zeitaufwendig. In diesem Semester werden wir
dieses Thema zugunsten einer ausführlicheren Diskussion von systematischer Implementierung und Verifikation
von Software bis auf weiteres verschieben und ggf. auslassen.
An dieser Stelle wollen wir nur anmerken, daß Groß- und Kleinschreibung in Eiffel zwar erlaubt ist, aber
nicht unterschieden wird. INTEGER bedeutet dasselbe wie Integer oder integer. Es hat sich als Konvention
eingebürgert, Klassennamen groß zu schreiben und features klein. Natürlich dürfen Schlüsselworte wie class,
Current, Result nicht mehr als Namen für selbstdefinierte Klassen oder features verwendet werden. Eine
ausführlichere Diskussion stilistischer Standards und lexikalischer Konventionen findet man in [Meyer, 1988,
Kapitel 8.1-8.2]
3.12 Ergänzende Literatur
Viele Themen dieses Kapitels werden in [Meyer, 1988, Kapitel 5, 6, 7.1-7.6, 10 und 11] in ausführlicherer Form
behandelt. Man beachte jedoch, daß sich beim Übergang von der ursprünglichen Form von Eiffel zu Eiffel-3
eine Reihe von Änderungen ergeben haben. Die wesentlichen Unterschiede sind in [Meyer, 1992, Anhang E]
aufgeführt und müssen dort im Detail unter dem entsprechenden Stichwort nachgeschlagen werden.
3.13 Deutsch-Englisches Begriffswörterbuch
Die meisten Begriffe der Programmierung sind unabhängig voneinander sowohl im deutschsprachigen als auch
im englischsprachigem Raum geprägt worden und haben sich entsprechend in der Literatur niedergeschlagen.