Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
TntUnicodeVcl_Design100.bpl
Sprache: Unknown
|
@echo off
echo "Building AST for Giraffe"
echo Building VDM-PP...
echo Generating Interfaces
java -jar astgen-2.0.0-jar-with-dependencies.jar -lang vdm -kind intf -out . -class Giraffe giraffe.ast
echo Generating Implementation
java -jar astgen-2.0.0-jar-with-dependencies.jar -lang vdm -kind impl -out . -class Giraffe giraffe.ast
[ zur Elbe Produktseite wechseln0.1Quellennavigators
Analyse erneut starten
]
|
