Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Accelerometer.vdmpp
Sprache: Unknown
|
\section{Accelerometer}
This class models the accelerometer physical device containing one only operation called stimulate wich will hand in the stimulus to the rateController that process the information from this sensor.
\begin{vdm_al}
class Accelerometer is subclass of GLOBAL
operations
public
stimulate : ActivityData ==> ()
stimulate (a) == Pacemaker`rateController.stimulate(a);
end Accelerometer
\end{vdm_al}
[ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
]
|
