|
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
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
