Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 


Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: TIV_E.vdmpp   Sprache: VDM

\section{The TIV\_E Class}

The TIV_E class represents the TIV_E beacon and implements the
abstract Beacon class. The instance variable represents the restricted
speed. A TIV_E beacon corresponds to a TIV_D beacon, and the
restricted speed is set by to the target speed of that announcement
when met. Set and get operations of the restricted speed exist.

\begin{vdm_al}
class TIV_E is subclass of Beacon

instance variables

  speed : [real] := nil;

operations

  public
  setSpeedRestriction : real ==> ()
  setSpeedRestriction (s) ==
    speed := s;

  pure public
  getSpeedRestriction : () ==> real
  getSpeedRestriction () ==
    return speed
  pre speed <> nil;

end TIV_E
\end{vdm_al}


[ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ]

                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik