Elementare Datentypen
Die VDM-Basistypen
Speicherverwaltung
Neben den im vorigen Abschnitt bereits angesprochenen Kopier- und
Lösch-Operationen zur Speicherverwaltung gibt es noch einige andere universell
verfügbare Operationen, die Sie hier an zentraler Stelle zusammengefaßt
finden. Auch in der Befehlsreferenz im Anhang B sind diese
Operationen ausgegliedert.
- prundprintsorgen für die Ausgabe eines
beliebigen Objekts, pr formatiert zusätzlich. Sie können diese
Operationen während des Programmtests sinnvoll einsetzen; in der fertigen
Applikation sollten sie aber nicht mehr vorkommen, denn sie kosten viel
Speicherplatz und reichen für eine wirklich ,,schöne`` Ausgabe nicht.
- hashwird intern verwendet, um strukturierte Objekte schnell
und speicherplatzsparend abzuspeichern. Sie können zwar auf der Basis dieser
Operation eigene Speicherverwaltungsfunktionen schreiben; die VDM-Operationen
sind allerdings schon sehr gut und vor allem stabil. So ist der Einsatz von
hash nur selten sinnvoll.
Die übrigen generellen Operationen werden Sie in der Regel nicht benötigen,
denn sie dienen nur als Hilfsfunktionen für andere, wichtigere Operationen.
VDM Class Library