Interaktiver Test der Beispiele
VDM WWW Help
Vorgehensweise der Texterstellung
Die Vorgehensweisen für die Einbettung von Beispielen zu der VDM Klassenbibliothek wurden bereits behandelt. Für die Erstellung neuer Beispiele sind detailierte Kenntnisse der Abläufe des Systems nicht erforderlich. Vielmehr wird eine Anleitung benötigt, wie neue Beispiele mit VDM erstellt werden, und auf welche Weise die Dokumentation der Beispiele erfolgen muß, um diese in das Informations- und Hilfesystem zu integrieren.
Die Beispiele zur Klassenbibliothek befinden sich ausgehend vom Verzeichnis ./Test(*) in einer Verzeichnisstruktur. Sie werden über Textdateien verkettet, die eine übliche HTML-Seite beschreiben und zusätzlich über einen speziellen Tag verfügen, der im Satz der definierten HTML-Tags nicht vorkommt, sondern vom Informations- und Hilfesystem umgesetzt wird.
Dieser Tag ermöglicht nicht nur eine Verknüpfung der Textdateien, die der Baumstruktur der Beispiele folgen, auf jede erdenkliche Weise, sondern läßt auch die Anzeige von Quellcode, Definitions- und Makedateien sowie die Ausführung von Systemkommandos und Programmen zu.