Elementare Datentypen Die VDM-Basistypen Speicherverwaltung

Generelle Operationen

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.