Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
TestClass.vdmpp
Sprache: Unknown
|
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.13 Sekunden
(vorverarbeitet)
]
|
|
