Grundlagen der Informatik I “Programmierung”

3.13 Klassendefinition mit Initialisierungsprozedur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
3.14 Vordefinierte Operationen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
3.15 Klassendefinition mit Datenkapselung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
3.16 Klassendefinition mit selektivem Export von Features . . . . . . . . . . . . . . . . . . . . . . . . . 81
3.17 Semantik von Eiffel-Typen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
3.18 Klassendefinition mit mssxexpanded . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
3.19 Generische Klassendefinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
3.20 Regeln für formale generische Parameter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
3.21 Klassendefinition für Felder (mit mssxinfix Deklaration) . . . . . . . . . . . . . . . . . . . . . . . . 88
3.22 boolesche Ausdrücke in Eiffel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
3.23 Klassendefinition mit Vor- und Nachbedingungen . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
3.24 Nachbedingung mit mssxold . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
3.25 Klassendefinition mit Klasseninvarianten . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
3.26 Klassendefinition mit unvollständigen Zusicherungen . . . . . . . . . . . . . . . . . . . . . . . . . 95
3.27 Klassendefinition mit Vererbung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
3.28 Vererbung als Diagramm: ENTLEIHER und ARBEITNEHMER erben von PERSON . . . . . . . . . . . . . . 97
3.29 Klassendefinition mit Export geerbter features . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
3.30 Klassendefinition mit selektivem Export geerbter features . . . . . . . . . . . . . . . . . . . . . . . 99
3.31 Vererbung und Datenkapselung: Verschiedene Sichten auf eine Datenstruktur . . . . . . . . . . . . . 99
3.32 Vererbung mit Redefinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
3.33 Eine polymorphe Liste . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
3.34 Typdeklaration durch Assoziation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
3.35 Aufgeschobene Klasse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
3.36 Mehrfachvererbung als Diagramm: HILFSKRAFT erbt von STUDENT und ARBEITNEHMER . . . . . . . . . 109
3.37 Mehrfachvererbung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
3.38 Mehrfachvererbung: Realisierung einer deferred class durch Routinen einer anderen . . . . . . . . . . 111
3.39 Vererbung mit Umbenennung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
3.40 Wiederholtes Erben . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
4.1 Verstärkungs- und Abschwächungsregeln für Programmbeweise . . . . . . . . . . . . . . . . . . . . . 143
4.2 Regeln für die Kombination von Zusicherungen in Programmbeweisen . . . . . . . . . . . . . . . . . 143
4.3 Verifikationsregel und Prädikatentransformer für die Wertzuweisung . . . . . . . . . . . . . . . . . 145
4.4 Verifikationsregeln für Prozeduraufrufe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
4.5 Verifikationsregel für Funktionsaufrufe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
4.6 Verifikationsregel und Prädikatentransformer für zusammengesetzte Anweisungen . . . . . . . . . . . 151
4.7 Syntax der bedingten Anweisung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
4.8 Syntax der Fallunterscheidung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154