Die Operationen der ADT

Zu jedem VDM-Basistyp werden hier alle verfügbaren Operationen mit ihrer Syntax und kurzer Erläuterung in alphabetischer Reihenfolge aufgelistet. Hinzu kommen eventuell zusätzlich nötige Definitionen, preconditions und spezielle Anmerkungen wie z.B. über Referenzparameter oder die Arbeitsweise; falls eine Operation nicht in allen Implementationen zur Verfügung steht, ist das ebenfalls angegeben. Ganz wichtig: zur Vermeidung unnötigen impliziten Kopieraufwandes wird bei vielen Operationen das manipulierte Objekt zerstört! Auf diese wird besonders hingewiesen, Sie finden am Rand das kleine Ausrufungszeichen (wie hier). Auf die gleiche Weise wird auf Referenzparameter hingewiesen (beabsichtigte Veränderung).

Bei Verletzung einer precondition wird in jedem Fall eine Fehler-Prozedur aufgerufen!

Die Syntax wird in ANSI-C spezifiziert! Dies geschieht aus Gründen der Platzersparnis. Bei selbstdefinierten Funktionen achten Sie bitte darauf, ob Ihr Compiler ANSI-C verarbeitet.

Erweiterung der Namen Sie finden hier die generischen Operationsnamen, die für ihre Anwendung noch erweitert werden: dazu wird erst ein Unterstrich angehängt, danach folgt in der Regel der ADT-Name, für den die Operation erzeugt wird. Bei Trees und Unions gibt es aber Operationen, die mit dem Namen der Komponente erweitert werden -- diese Ausnahmen sind explizit angegeben. Alle Großbuchstaben werden allerdings bei der Erweiterung der Operationsnamen in Kleinbuchstaben umgewandelt, so daß diese nur aus Kleinbuchstaben, Ziffern und Unterstrichen bestehen!

Einige Operationen sind für alle ADT definiert, sie werden im ersten Abschnitt separat behandelt.

VDM Class Library