Abbildung 8.1: Struktur der VDM-Bibliothek
Der Aufruf von vdminfo
Online-Hilfe mit vdminfo
Online-Hilfe mit vdminfo
Um die Benutzung von vdminfo verstehen zu können, sollten Sie die grundsätzliche Struktur der VDM-Bibliothek kennen; sie ist in Abb. 8.1 dargestellt.
Abbildung 8.1: Struktur der VDM-Bibliothek
In der VDM-Bibliothek sind einige grundlegende Basistypen enthalten, die jeweils in mindestens einer Implementation vorliegen. Implementationen sind grundlegende Datenstrukturen, die den ADT realisieren (z.B. die verkettete Liste ); dazu gehören einerseits alle Verwaltungsfunktionen für diese Datenstruktur -- mit denen Sie nie direkt in Berührung kommen --, andererseits die mit Hilfe dieser Verwaltungsfunktionen codierten, zum Basistyp gehörenden Operationen.
Wie der Abbildung zu entnehmen ist, ist die VDM-Bibliothek hierarchisch aufgebaut. Um Informationen über eine Implementation zu erhalten, müssen Sie daher angeben, auf welchen Basistyp Sie sich beziehen -- brauchen Sie eine Angabe über eine Operation, müssen Sie zusätzlich noch die gewünschte Implementation nennen. Ein Hinweis: wie bereits erwähnt, soll grundsätzlich jede Implementation alle Operationen bereitstellen; es ist also meistens egal, welche Implementation Sie dabei angeben. Allerdings sind einige Operationen in bestimmten Implementationen sehr effizient realisiert, während sie in anderen Implementationen nur in einer generellen, nicht besonders schnellen Version vorliegen. Wenn Sie detaillierte Informationen über eine Implementation anfordern, erhalten Sie eine Kurzbeschreibung aller Operationen, gegliedert nach speziellen und generellen Realisierungen.
Die wenigen Operationen, die nicht in allen Implementationen vorhanden sind, sind bei den jeweiligen VDM-Basistypen im Kapitel 5 und im Anhang B angegeben.