| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/vect_analysis/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 21 kB |
|
Quelle MMIHandleKeyPressTwo.vdmrt Sprache: VDM |
|||||||||
|
\begin{vdm_al}
class MMIHandleKeyPressTwo is subclass of BasicTask operations public MMIHandleKeyPressTwo: EventDispatcher ==> MMIHandleKeyPressTwo MMIHandleKeyPressTwo (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("DatabaseLookup", pe.getEvent()) ) end MMIHandleKeyPressTwo \end{vdm_al} ¤ Dauer der Verarbeitung: 0.10 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28