|
\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;
public static timerRef : TimeStamp := new TimeStamp(0); --3
\end{vdm_al}
The World constructor its the responsible for connect system and environment.
\begin{vdm_al}
operations
public World: seq of char * Mode ==> World
World(filename,mode) ==
( -- create an environment
env := new Environment(filename, 1, true);
-- 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
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`ventricleLead);
);
\end{vdm_al}
And Run is the operation that starts a test sequence.
\begin{vdm_al}
public Run: () ==> ()
Run () ==
(
--start(env);
timerRef.DoneInitialising();
env.isFinished();
Pacemaker`heartController.isFinished();
env.showResult()
);
end World
\end{vdm_al}
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
|
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.
|
