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