|
\begin{vdm_al}
class Timer
instance variables
currentTime : nat := 0;
values
stepLength : nat = 10;
operations
public StepTime : () ==> ()
StepTime() ==
currentTime := currentTime + stepLength;
public GetTime : () ==> nat
GetTime() ==
return currentTime;
end Timer
\end{vdm_al}
\begin{rtinfo}[Timer`StepTime]
{vdm.tc}[Timer]
\end{rtinfo}
¤ Dauer der Verarbeitung: 0.15 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.
|
