Die Struktur der VDM-Bibliothek VDM Tutor Das Steuerprogramm

Online-Hilfe mit vdminfo

 

Wie Sie bereits in Abschnitt 3.2.4 erfahren haben, sind die VDM-Basistypen zusammen mit ihrer Dokumentation in der VDM-Bibliothek  gespeichert. vdminfo  ist ein kommandozeilengesteuertes Anfrageprogramm, mit dem Sie auf die Dokumentation zugreifen können, indem Sie es mit entsprechend gewählten Parametern aufrufen, Sie bekommen also Hilfe  während der Arbeit am Rechner. Wie Sie mit vdminfo arbeiten, beschreibt dieses Kapitel.





VDM Class Library