4. Typen und Datenstrukturen
 
zurück
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.


 
zurück
 Index   Ada Tour - Dokumentation  
© 2003 Förderverein Ada Deutschland e.V.