Quelle BaseThread.vdmpp Sprache: VDM

class BaseThread

instance variables

protected period : nat1 := 1;
protected isPeriodic : bool := true;

operations

protected BaseThread : () ==> BaseThread
BaseThread() ==
(World`timerRef.RegisterThread(self);
  if(not World`timerRef.IsInitialising())
  then start(self);
);

public SetPeriod : nat1 ==> ()
SetPeriod(p) ==
  period := p;

protected Step : () ==> ()
Step() ==
  is subclass responsibility

thread
(if isPeriodic
  then (while true
        do
         (Step();
          World`timerRef.WaitRelative(period);
         )
       )
  else (Step();
        World`timerRef.WaitRelative(0);
        World`timerRef.UnRegisterThread();
       )
);

end BaseThread

quality84%

¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet) ¤

Versionsinformation zu Columbo

Bemerkung:

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Anfrage:

Dauer der Verarbeitung:

Sekunden

sprechenden Kalenders