Optionen des VDM-Compilers Der VDM-Compiler Der VDM-Compiler

Aufruf des VDM-Compilers

 

Der VDM-Compiler hat folgendes Aufruf-Format:

vdm[Optionen] Eingabedatei(en)
*[1.5ex]

Sie können also mehrere DSL-Spezifikationen bzw. Enrichment-Dateien (die ja auch nur erweiterte DSL-Spezifikationen sind) gleichzeitig verarbeiten lassen, z.B. um die Spezifikation eines Typgenerators in einer Datei mit dem gewünschten Elementtyp in einer anderen Datei zu verbinden.

Übliche Aufrufe sind:

• Erzeugung einer Enrichment-Datei:
  * vdm -v -e My_ADT.vdm -o My_ADT
  *
• Erzeugung des ADT-Implementations-Moduls aus einer Enrichment-Datei:
  * vdm -v -c -n My_ADT.enr -o My_ADT
  *
• Erzeugung der Header-Datei aus einer Enrichment-Datei:
  * vdm -v -h -n My_ADT.enr -o My_ADT
  *
• Erzeugung des ADT-Implementations-Moduls aus einer DSL-Spezifikation:
  * vdm -v -c My_ADT.vdm -o My_ADT
  *
• Erzeugung der Header-Datei aus einer DSL-Spezifikation:
  * vdm -v -h My_ADT.vdm -o My_ADT
  *