Vorhandene Beispiele
Integration von VDM Anwendungsbeispielen
Integration von VDM Anwendungsbeispielen
Grundsätzlich sind drei Möglichkeiten vorhanden, über das Hypertext-System auf die VDM Beispiele zuzugreifen. Zum einen ist über Auswahl des Hyperlinks ,,Hilfe`` aus der Home-Page des Systems ein Verweis auf die Datei README.html die im Hauptverzeichnis der Beispiele ./Test abgelegt ist, gegeben. Diese Datei zeigt eine vollständige Liste der Beispiele an, und erlaubt den Zugriff auf diese. Eine zweite Alternative ist der Aufruf des VDM Klients vom Browser unter Angabe des konkreten Beispiels, das ausgeführt werden soll. Die dritte Möglichkeit ist der Zugriff auf ein Beispiel direkt aus dem Hypertext des Informations- und Hilfesystems heraus, um beispielsweise ein Thema durch dieses Anwendungsbeispiel zu verdeutlichen.
In Abschnitt [*] ist definiert, welche Parameter der
URL des VDM Web-Klienten hinzugefügt werden müssen, um direkt zu einem Beispiel
zu verzweigen. Diese können in der Regel auch bei der Ausführung von Beispielen
über das Informations- und Hilfesystem an der URL-Anzeige des Browsers abgelesen
werden. Abschnitt [*] zeigt, wie Links zu Beispielen
über Hyptertext-Makroerweiterungen in die Dokumentation der Klassenbibliothek
integriert werden.