|
--
-- Created automatically by VDMJ ASTgen. DO NOT EDIT.
-- Wed Mar 17 17:56:54 CET 2010
--
class SimpleSpecification is subclass of SimpleNode
operations
public getDefs: () ==> seq of SimpleDefinition
getDefs() == is subclass responsibility;
end SimpleSpecification
¤ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
¤
|
