* not implemented domain constructor for ADT
*[1ex] Sie haben mit Hilfe des Konstruktors
einen Domain spezifiziert, ohne daß der Konstruktor name in der
VDM-Bibliothek existiert.
Glossar
Der VDM-Compiler
Optionen des VDM-Compilers
Die wichtigsten Fehlermeldungen sind hier (wenn möglich) in der Reihenfolge ihres Auftretens geordnet. Zunächst finden Sie die Fehler, die den Ablauf der Übersetzung betreffen, danach die Fehler, die in einer DSL-Spezifikation auftreten können.
can't open Dateiname
*[1ex]
Die angegebene DSL-Spezifikations-Datei kann nicht geöffnet werden.
-o: missing output name
*[1ex]
Sie haben zwar mit der Option -o angezeigt, daß Sie den Hauptnamen der
zu erstellenden Datei selbst festlegen möchten, haben diesen aber nicht
angegeben.
vdm database DB-Name not found
*[1ex]
Sie haben mit der Option -B eine VDM-Bibliothek gewählt, die es nicht
gibt.
unknown option -opt ignored
*[1ex]
Warnung: Sie haben eine unbekannte Option gewählt. Sie wird aber bei der
Bearbeitung ignoriert.
syntax error near line n
*
illegal domain equation oder illegal implementation equation
*[1ex]
Syntaktischer Fehler in Ihrer DSL-Spezifikation.
missing implementation description for ADT
*[1ex]
Sie haben eine Domain-Gleichung für einen ADT erstellt, ohne seine
Implementation ebenfalls festzulegen.
missing domain equation for ADT
*[1ex]
In Ihrer Implementationsbeschreibung kommt ein ADT vor, für den Sie keine
Domain-Gleichung angegeben haben.
implementation impl for constr ADT not found
*[1ex]
Die für einen ADT gewünschte Implementation gibt es nicht. Haben Sie
versehentlich eine Implementation eines anderen VDM-Basistyps ausgewählt ?
enrichment op for constr ADT, implementation impl
not found
*[1ex]
Die angegebene Implementation für den ADT kennt die gewünschte Operation
nicht.
unknown flag par for domain ADT, enrichment op
*[1ex]
Sie haben bei einer Operation einen Parameter angegeben, der nicht definiert
ist.
dependency cycle detected
*[1ex]
Sie haben einen ADT rekursiv definiert, ohne dafür zu sorgen, daß einer der
beteiligten VDM-Basistypen als Pointer implementiert ist (siehe
Kapitel 6).
inconsistent domain equations for ADT in files f1 and
f2
*[1ex]
Sie bearbeiten mehrere DSL-Spezifikationen gleichzeitig, haben dabei aber den
gleichen ADT auf unterschiedliche Weise spezifiziert. Prüfen Sie, ob Sie sich
eventuell verschrieben haben.
ambiguous implementation specification for domain ADT
*[1ex]
Sie bearbeiten mehrere DSL-Spezifikationen gleichzeitig, haben dabei den
gleichen ADT mehrfach spezifiziert, aber unterschiedliche Angaben für dessen
Implementation gemacht.
inconsistent implem.param. for ADT, par1(par2) in files
f1 and f2
*[1ex]
Sie bearbeiten mehrere DSL-Spezifikationen gleichzeitig, haben dabei den
gleichen ADT mehrfach korrekt spezifiziert, aber der Implementation
unterschiedliche Parameter oder Parameter mit unterschiedlichem Inhalt
mitgegeben.
unknown domain constructor for ADT
*
not implemented domain constructor for ADT
*[1ex]
Sie haben mit Hilfe des Konstruktors
einen Domain spezifiziert, ohne daß der Konstruktor name in der
VDM-Bibliothek existiert.