| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMRT/ChessWayRT/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 1 kB |
|
Quelle DirectionSwitch.vdmrt Sprache: VDM |
|||||||||
|
% DirectionSwitch.vdmrt
\subsubsection{Observing user behavior -- the \texttt{DirectionSwitch} class} The \texttt{DirectionSwitch} class obtains the status of the direction switch from the environment and translates this into an enumeration. Note that the direction switch status needs to be regularly checked by the controller. There is no event notification, it is a pure data pull mechanism. \begin{vdm_al} class DirectionSwitch instance variables -- link back to the controller managing this resource private mController : Controller; operations public DirectionSwitch: Controller ==> DirectionSwitch DirectionSwitch (pController) == mController := pController types public tDirectionStatus = <LEFT> | <NEUTRAL> | <RIGHT> operations public getStatus: () ==> tDirectionStatus getStatus () == duration (0) ( dcl dir : real := mController.getValue("DIRECTION"); -- negative value indicates left turn if dir < 0.0 then return <LEFT>; -- positive value indicates right turn if dir > 0.0 then return <RIGHT>; -- zero indicates no turn - move straight return <NEUTRAL> ) end DirectionSwitch \end{vdm_al} ¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28