--
-- Created automatically by VDMJ ASTgen. DO NOT EDIT.
-- Wed Mar 17 17:56:54 CET 2010
--
class SimpleParameter is subclass of SimpleNode
operations
public getName: () ==> SimpleIdentifier
getName() == is subclass responsibility;
public getType: () ==> SimpleType
getType() == is subclass responsibility;
end SimpleParameter
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤
|
Laden
Fehler beim Verzeichnis:
in der Quellcodebibliothek suchen
Die farbliche Syntaxdarstellung ist noch experimentell.
|