Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: .project Sprache: VDM

Original von: VDM^©

\section{Timer class}

In the sequential model time abstraction is provided via the Timer class.

\begin{vdm_al}
class Timer is subclass of GLOBAL

instance variables
\end{vdm_al}

The instance variable currentTime keeps track of time.

\begin{vdm_al}
currentTime : Time := 0;

\end{vdm_al}

Time is steping 50 units each time\ldots

\begin{vdm_al}
values

stepLength : Time = 50;

\end{vdm_al}

\ldots the operation StepTime is called.

\begin{vdm_al}
operations

public
StepTime : () ==> ()
StepTime () == currentTime := currentTime + stepLength;

\end{vdm_al}

And time can be consulted through GetTime.

\begin{vdm_al}
public
GetTime : () ==> Time
GetTime () == return currentTime;

end Timer
\end{vdm_al}

\subsection*{Test coverage}

\begin{rtinfo}
{tc.info}[Timer]
\end{rtinfo}

¤ Dauer der Verarbeitung: 0.18 Sekunden (vorverarbeitet) ¤

Druckansicht unsichere Verbindung
Druckansicht sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.