| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMRT/ChessWayRT/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 621 B |
|
Quelle SafetySwitch.vdmrt Sprache: VDM |
|||||||||
|
% SafetySwitch.vdmrt
\subsubsection{Observing the safety switch -- the \texttt{SafetySwitch} class} The \texttt{SafetySwitch} class obtains the status from the environment and returns a Boolean value. \begin{vdm_al} class SafetySwitch instance variables -- link back to the controller managing this resource private mController : Controller; operations public SafetySwitch: Controller ==> SafetySwitch SafetySwitch (pController) == mController := pController; public getStatus: () ==> bool getStatus () == duration (0) return mController.getValue("SAFETY") > 0; end SafetySwitch \end{vdm_al} ¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28