Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: timer.vdmpp Sprache: VDM

Original von: VDM^©

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.0 Sekunden (vorverarbeitet) ¤

Kontakt Drucken
Kontakt sprechenden Kalenders
in der Quellcodebibliothek suchen

schauen Sie vor die Tür

Fenster

Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.