Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: Waypoint.vdmpp Sprache: VDM

Original von: VDM^©

class Waypoint

types
  public BusStops = <A> | <B> | <C> | <D> | <E> | <F> | <Central>;
  public WaypointsEnum = <WP1> | <WP2> | <WP3> | <WP4> | <WP5> | <WP6> | <WP7> | BusStops;

instance variables
  protected id : WaypointsEnum;
  protected isStop : bool := false;

operations
  public Waypoint : Waypoint`WaypointsEnum ==> Waypoint
  Waypoint(s) ==
  (
   id := s;
  );

  pure public GetId : () ==> WaypointsEnum
  GetId()== return id;

  pure public IsStop: () ==> bool
  IsStop()== return isStop;

functions
  public static StringToBusStop : seq of char -> Waypoint`BusStops
  StringToBusStop(busstop) ==
    (
      cases busstop:
      "A" -> <A>,
      "B" -> <B>,
   "C" -> <C>,
   "D" -> <D>,
   "E" -> <E>,
   "F" -> <F>,
   "Central" -> <Central>
      end
    );

  public static StringToWaypoint : seq of char -> Waypoint`WaypointsEnum
  StringToWaypoint(wp) ==
    (
      cases wp:
      "WP1" -> <WP1>,
      "WP2" -> <WP2>,
   "WP3" -> <WP3>,
   "WP4" -> <WP4>,
   "WP5" -> <WP5>,
   "WP6" -> <WP6>,
   "WP7" -> <WP7>,
   others -> StringToBusStop(wp)
      end
    );

end Waypoint

¤ Dauer der Verarbeitung: 0.14 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

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.