Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
parseToVdmpp.bat
Sprache: Unknown
|
@echo off
echo Parsing %1
java -cp "simpleParser.jar;vdmj-2.0.1-jar-with-dependencies.jar" Simple.ASTParseToFile -vdmpp %1
[ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
]
|
