| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMPP/CodegenPP/AST/simple/intf/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 258 B |
|
Quelle SimpleIdentifier.vdmpp Sprache: VDM |
|||||||||||||||
|
-- -- Created automatically by VDMJ ASTgen. DO NOT EDIT. -- Wed Mar 17 17:56:54 CET 2010 -- class SimpleIdentifier is subclass of SimpleType operations public getName: () ==> seq of char getName() == is subclass responsibility; end SimpleIdentifier
¤ Dauer der Verarbeitung: 0.10 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-04-02