Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Approximations.thy
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}
[ zur Elbe Produktseite wechseln0.6Quellennavigators
Analyse erneut starten
]
|
