| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMRT/oldcarradioRT/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 564 B |
|
Quelle RadioHandleTMC.vdmrt Sprache: VDM |
|||||||||
|
\begin{vdm_al}
class RadioHandleTMC is subclass of BasicTask operations public RadioHandleTMC: EventDispatcher ==> RadioHandleTMC RadioHandleTMC (pde) == BasicTask("HandleTMC",pde); -- we do not specify *what* the operation does -- we only specify its execution time public HandleTMC: () ==> () HandleTMC () == duration (1000) skip; protected handleEvent: Event ==> () handleEvent (pe) == ( HandleTMC(); -- send message to the next task in this scenario sendMessage("DecodeTMC", pe.getEvent()) ) end RadioHandleTMC \end{vdm_al} ¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28