|
class Timer
instance variables
currentTime : nat := 0;
values
stepLength : nat = 100;
operations
public
StepTime: () ==> ()
StepTime() ==
currentTime := currentTime + stepLength;
public
GetTime: () ==> nat
GetTime() == return currentTime;
end Timer
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Die farbliche Syntaxdarstellung ist noch experimentell.
|
