| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMPP/BuslinesPP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 583 B |
|
Quelle Printer.vdmpp Sprache: VDM |
|||||||||
|
class Printer
operations public static Out: seq of char ==> () Out (pstr) == def - = new IO().echo(pstr ^ "\n") in skip; public static natToString : nat ==> seq of char natToString(n) == ( return VDMUtil`val2seq_of_char[nat](n); ); public static OutWithTS: seq of char ==> () OutWithTS (pstr) == def - = new IO().echo(Printer`natToString(World`timerRef.GetTime()) ^": " ^ pstr ^ "\n") i public static intToString : int ==> seq of char intToString(i) == ( return VDMUtil`val2seq_of_char[int](i); ); end Printer ¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28