|
\begin{vdm_al}
class Timer
instance variables
currentTime : nat := 0;
private static timerInstance : Timer := new Timer();
values
stepLength : nat = 10;
operations
private Timer: () ==> Timer
Timer() ==
skip;
pure public static GetInstance: () ==> Timer
GetInstance() ==
return timerInstance;
public StepTime : () ==> ()
StepTime() ==
currentTime := currentTime + stepLength;
pure public GetTime : () ==> nat
GetTime() ==
return currentTime;
end Timer
\end{vdm_al}
¤ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
¤
|
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.
|
