cdx
Class CDxSafelet

java.lang.Object
  extended by cdx.CDxSafelet
All Implemented Interfaces:
javax.safetycritical.Safelet

public class CDxSafelet
extends java.lang.Object
implements javax.safetycritical.Safelet

Safelet of the parallel CDx. It returns an instance of CDxMissionSequencer.


Constructor Summary
CDxSafelet()
          Constructor
 
Method Summary
 javax.safetycritical.MissionSequencer getSequencer()
          Get the mission sequencer
 void setup()
          The setup phase
 void teardown()
          The clean-up phase
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CDxSafelet

public CDxSafelet()
Constructor

Method Detail

setup

public void setup()
The setup phase

Specified by:
setup in interface javax.safetycritical.Safelet

getSequencer

public javax.safetycritical.MissionSequencer getSequencer()
Get the mission sequencer

Specified by:
getSequencer in interface javax.safetycritical.Safelet

teardown

public void teardown()
The clean-up phase

Specified by:
teardown in interface javax.safetycritical.Safelet