| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/ReaderWriterPP/ (Vienna Development Method ©) Datei vom 13.4.2020 mit Größe 422 B |
|
Quelle TestClass.vdmppSprache: VDM |
|||||||||||||||
|
class TestClass instance variables B : Buffer; operations public Run: () ==> () Run() == ( B := new Buffer(); def - = new IO().echo("Going to fire writer" ^ "\n") in skip; start(new Writer(B)); def - = new IO().echo("Going to fire reader"^ "\n") in skip; start(new Reader(B)); def - = new IO().echo("TestClass is now going to wait"^"\n") in skip; B.IsFinished(); ) end TestClass
¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet am 2026-06-08) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09