Zusammenfassung
Im vorigen Kapitel wurde ein allgemeines Objektmodell beschrieben, das den Ansprüchen an ein programmiersprachliches Typsystem ebenso gerecht wird wie den Erwartungen an ein Datenmodell. Die zentrale Eigenschaft des Modells ist die orthogonale Kombinierbarkeit der Mengen- und Tupelkonstruktion mit dem Prinzip der Datenabstraktion. Die auf diese Weise entstehenden komplexen Objekte können mit Hilfe vordefinierter Operationen inspiziert und manipuliert werden. Wie sich dieses Objektmodell im Rahmen einer (beliebigen) objektorientierten Zielsprache realisieren läßt, zeigt das vorliegende Kapitel.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literaturhinweise
Teilsprache deshalb, weil nur diejenigen Sprachelemente Erwähnung finden, die für komplexe Objekte relevant sind.
Deshalb ist es berechtigt, statt struct(C) auch struct(T) zu verwenden, falls? der zu C gehörende Klassentyp ist. Dasselbe gilt für features(T).
Der implizit deklarierte Bezeichner für den Rückgabewert einer Funktion ist z.B. ein Variablenbezeichner.
Erweiterte Backus-Naur-Form
Die in Kap. 5.2 außerdem noch aufgeführten aufgeführten Aufrufe Flatten-call und Con-cat-call erfordern keine besondere Syntax.
Beispiel für Verträglichkeitsregel in Eiffel: „Ein Typ? heißt mit T’ verträglich (oder konform), wenn? ein Erbe von T’ ist.“
siehe auch Kap. 3 in [Kemp 92].
Rights and permissions
Copyright information
© 1993 Deutscher Universitäts-Verlag GmbH, Wiesbaden
About this chapter
Cite this chapter
Rehm, S. (1993). Abbildung auf eine objektorientierte Zielsprache. In: Komplexe Objekte und Anfragen in der Programmierung. Deutscher Universitätsverlag. https://doi.org/10.1007/978-3-322-85803-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-322-85803-0_5
Publisher Name: Deutscher Universitätsverlag
Print ISBN: 978-3-8244-2040-7
Online ISBN: 978-3-322-85803-0
eBook Packages: Springer Book Archive