Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: EdgeCommand.vdmpp Sprache: VDM

Original von: VDM^©

class EdgeCommand

instance variables
  public curSpeed     : nat := 0;
  public openNumLanes : nat := 0;

  -- blocked due to traffic-lights / accidents
  public isBlocked    : bool := false;

   -- weather
  public minTimeBetweenCars: real := 0.0;

operations

public Update: nat * nat * bool * real ==> ()
Update(cs,onl,ib,mtbc) ==
  (curSpeed := cs;
   openNumLanes := onl;
   isBlocked := ib;
   minTimeBetweenCars := mtbc);

end EdgeCommand

¤ 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.