cdx
Class CDxSafelet

java.lang.Object
  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