Table of contents

Das Große SmartEiffel Buch

1 Geschichte und Ziele des SmartEiffel-Projekts

2 Einführung in die objekt-orientierte Programmierung und Design-By-Contract von Eiffel

2.1 Dynamisches Binden

2.2 Vergleich von Objekten

2.3 Objekte klonen

3 Die SmartEiffel-Standardbibliothek

3.1 Benutzung der Bibliothek

3.2 Aufbau der Bibliothek

4 Arbeiten mit SmartEiffel

4.1 Führung durch das Tutorial

4.2 Eigene Bibliotheken erstellen

4.3 Fehlersuche

4.4 Optimierung

6 Die Eiffel-Sprache von SmartEiffel

6.1 Syntax-Diagramme von Eiffel

6.2 expanded- oder reference-Objekt

6.3 Gültigkeit von Zuweisungen und Feature-Redefinitionen

6.4 Was Sie über Current wissen sollten

6.5 Eine Definition von Void

6.6 Tuples

6.7 Agents

6.8 Precursor

6.9 Manifest storage notation

6.10 Testen des dynamischen Typs

6.11 Der Typ von Integer-Konstanten

9 Anhänge

9.1 Richtlinien für Autoren für das gesamte Buch

9.2 Warum es keine Threads gibt

9.3 Die Ausgaben der Option -gc_info