Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
protocol_message.scala
Sprache: VDM
|
class TransmitTMC
is subclass of EnvironmentTask
operations
public TransmitTMC: nat ==> TransmitTMC
TransmitTMC (pno) == max_stimuli := pno;
public HandleEvent: nat ==> ()
HandleEvent (pev) == logSysToEnv(pev)
post checkResponseTimes(e2s,s2e,40000000000);
public Run: () ==> ()
Run () == start(self); --,TransmitTMCT);
createSignal: () ==> ()
createSignal () ==
( dcl num2 : nat := getNum();
logEnvToSys(num2);
RadNavSys`radio.HandleTMC(num2) )
thread
periodic (4000E6,400,3910,0)
(createSignal)
end TransmitTMC
[ Seitenstruktur0.21Drucken
etwas mehr zur Ethik
]
|
|
