Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
GiraffeStatementImpl.vdmpp
Sprache: Unknown
|
--
-- Created automatically by VDMJ ASTgen. DO NOT EDIT.
-- Wed Mar 17 13:43:16 CET 2010
--
class GiraffeStatementImpl is subclass of GiraffeNodeImpl
-- empty
end GiraffeStatementImpl
[ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
]
|
|
