Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: World.vdmrt Sprache: VDM

Original von: VDM^©

\section{World class}

The World class as its name tell is the class modelling the world
where the system and environment will co-exist.

\begin{vdm_al}
class World is subclass of GLOBAL

types

instance variables

public static env : [Environment] := nil;
\end{vdm_al}

The World constructor its the responsible for connect system and
environment.

\begin{vdm_al}
operations

public World: seq of char * GLOBAL`Mode ==> World
World(filename,mode) ==
  (  -- create an environment
     env := new Environment(filename);

     -- bind leads to the environment
     env.addLeadSensor(Pacemaker`atriaLead);
     env.addLeadSensor(Pacemaker`ventricleLead);

     -- bind accelerometer to the environment
     env.addAccelerometer(Pacemaker`accelerometer);

     -- bind leads to the controler
        -- bind leads to the controler
     Pacemaker`heartController.addLeadPacer(Pacemaker`atriaLead);
     Pacemaker`heartController.addLeadPacer(Pacemaker`ventricleLead);

     -- set up mode
     Pacemaker`heartController.setMode(mode);

     start(Pacemaker`heartController);
     start(Pacemaker`rateController);
     start(Pacemaker`atriaLead);
     start(Pacemaker`ventricleLead);


  );
\end{vdm_al}

And Run is the operation that starts a test sequence.

\begin{vdm_al}

public Run: () ==> ()
Run () ==
  (
   start(env);
   env.isFinished();
   Pacemaker`heartController.isFinished();
   env.showResult()
  );


end World
\end{vdm_al}

¤ Dauer der Verarbeitung: 0.0 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.