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