\section{Printer Class }----------------------------------------------- -- Class: Printer -- Description: Printes text seq via IO ----------------------------------------------- -- -- class definition -- class Printerinstance variables private static echo : bool := true -- -- Operations definition section -- operations public static Echo : bool ==> ()public static OutAlways: seq of char ==> ()def - = new IO().echo(pstr ^ "\n" ) in skip ;public static OutWithTS: seq of char ==> ()def - = new IO().echo(Printer`natToString(time ) ": " ^ pstr ^ "\n" ) in skip ;public static natToString : nat ==> seq of char return VDMUtil`val2seq_of_char[nat ](n);public static intToString : int ==> seq of char return VDMUtil`val2seq_of_char[int ](i);sync mutex (OutWithTS)end Printerend {vdm_al}end {rtinfo}quality 100%
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.14Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤ *Eine klare Vorstellung vom Zielzustand
