Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: build_giraffe_vdmpp.sh Sprache: Shell

Original von: VDM^©

#!/bin/bash

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

¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet) ¤

Kontakt Drucken
Kontakt sprechenden Kalenders
in der Quellcodebibliothek suchen

schauen Sie vor die Tür

Fenster

Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.