|
4.2 Das strenge Typkonzept von Ada
Jedes Objekt wird durch eine Menge von Eigenschaften charakterisiert, die durch
den Typ des Objekts bestimmt werden.
Eine Typdefinition legt fest
- welche Werte ein Objekt eines Types annehmen kann
- welche Operationen für
die Objekte dieses Types definiert sind
Ada ist streng typgebunden. Das bedeutet, daß Objekte eines Typs nur
die durch diesen Typ definierten Werte annehmen können und zusätzlich
nur die für den Typ definierten Operationen auf die Objekte anwendbar sind.
Durch die Typisierung wird deutlich, wofür ein Objekt benötigt wird
- werden strukturierte Objekte erzeugt
- werden komplexe Daten organisiert und überschaubar
Das strenge Typkonzept erhöht die Zuverlässigkeit, denn sie ermöglicht
es dem Übersetzer, viele Fehler (Fehler
allgemein) zur Übersetzungszeit zu finden. Darüber hinaus
kann das Laufzeitsystem Fehler, die zur Laufzeit auftreten, wohldefiniert
behandeln.
|