Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Sprache: VDM
--
-- Created automatically by VDMJ ASTgen. DO NOT EDIT.
-- Wed Mar 17 17:56:54 CET 2010
--
class SimpleExpression is subclass of SimpleNode
-- Abstract
end SimpleExpression
[ Dauer der Verarbeitung: 0.29 Sekunden
(vorverarbeitet)
]
|