ELEMENTARY (elem) Die Operationen der ADT Die Operationen der ADT

Generelle Operationen

Domaincopy(Domain x1)

Eine physikalische Kopie des Objekts x1 wird erzeugt; bei strukturierten Werten werden alle Sub-Strukturen ebenfalls kopiert.

Domaincopy1(Domain x1)

Eine physikalische Kopie des Objekts x1 wird erzeugt; bei strukturierten Objekten werden die Sub-Strukturen nicht kopiert, stattdessen weisen Pointer auf die Original-Substrukturen.

Str tex2html_wrap_inline6338 cvlines(Domain x1)

Liefert den Wert von x1 als formatierter Text (Hilfsfunktion für print)

Die Darstellung der ELEMENTARY-Objekte entspricht dem Ergebnis der Operation cvstr

voiddel(Domain x1)

Das Objekt x1 gelöscht (bei strukturierten Objekten werden alle Sub-Strukturen ebenfalls gelöscht).

voiddel1(Domain x1)

Das Objekt x1 gelöscht (bei strukturierten Objekten werden die Sub-Strukturen nicht gelöscht).

Nat0hash(Domain x1)

Ermittlung eines Hash-Wertes für das Objekt x1 (Hilfsfunktion für die Implementation von Sets und Maps mit Hilfe von Hash-Tabellen). Für strukturierte Objekte wird die Summe der Element-Hash-Werte gebildet.

Nat0, Nat1, Intg, Char: Ergebnis ist ein vorzeichenloser Wert

Parameter HASHSHIFT (optional): Anzahl von zusätzlichen, bitweisen Shifts nach rechts

Bool: Hash-Funktion ist die Identitäts-Funktion

Implementation ,,ptr``: Adresse wird in ,,unsigned int`` konvertiert und ein Shift um 2 Bits nach rechts durchgeführt

Boolis_eq(Domain x1,Domain x2)

Test auf Gleichheit

voidpr(Domain x1)

Ausgabe des Wertes von x1 auf stderr mit Hilfe der jeweiligen cvlines-Operation, (strukturierte Objekte werden in angemessener Form dargestellt)

voidprint(Domain x1)

Ausgabe des Wertes von x1 auf stderr mit Hilfe der jeweiligen cvlines-Operation, unformatiert

print Sollte nicht benutzt werden, denn pr erzeugt eine formatierte Ausgabe!



VDM Class Library