Fehlermeldungen des VDM-Compilers
Der VDM-Compiler
Aufruf des VDM-Compilers
Die Option -v
*[1ex]
Der VDM-Compiler gibt seine momentane Tätigkeit zur Kontrolle am Bildschirm
aus.
Die Option -SParameter[=def]
*[1ex]
Der VDM-Compiler setzt einen globalen, für alle Implementationen und
Operationen gültigen Parameter.
Die Option -BLib-Name
*[1ex]
Der VDM-Compiler verwendet die angegebene Datei statt einer fest vorgegebenen
Default-Datei als Quellcode-Bibliothek.
Die Option -o Dateiname
*[1ex]
Damit können Sie den Hauptnamen der erzeugten Datei explizit bestimmen. Die
Endung ergibt sich aus der erzeugten Datei.
Die Option -e
*[1ex]
Der VDM-Compiler erstellt aus der angegebenen Datei die
Enrichment-Datei , um die nachfolgenden Aufrufe des
VDM-Compilers zu beschleunigen. Die Datei erhält die Endung .enr.
Die Option -n
*[1ex]
Die angegebene Datei wird nicht ,,angereichert``, während das
ADT-Implementations-Modul oder die Header-Datei erstellt wird -- Sie sollten
diese Option nur verwenden, wenn Sie bereits explizit die Enrichment-Datei
(mit -e) erstellt haben.
Die Option -c
*[1ex]
Der VDM-Compiler erstellt das ADT-Implementations-Modul. Die Datei erhält die
Endung .c. Haben Sie die Enrichment-Datei mit -e explizit
erstellt, sollten Sie zusätzlich -n angeben.
Die Option -h
*[1ex]
Der VDM-Compiler erstellt die Header-Datei. Die Datei erhält die
Endung .h. Haben Sie die Enrichment-Datei mit -e explizit
erstellt, sollten Sie zusätzlich -n angeben.