@SCJAllowed(value=SUPPORT) @SCJRestricted(value=INITIALIZE) public interface Safelet<MissionLevel extends Mission>
Safelet which identifies
the outer-most MissionSequencer.
This outer-most MissionSequencer takes responsibility for
running the sequence of missions that comprise this safety-critical application.| Modifier and Type | Method and Description |
|---|---|
MissionSequencer<MissionLevel> |
getSequencer()
The infrastructure invokes
getSequencer to obtain the
MissionSequencer object that oversees execution of missions
for this application. |
long |
immortalMemorySize() |
@SCJAllowed(value=SUPPORT) @SCJRestricted(value=INITIALIZE) MissionSequencer<MissionLevel> getSequencer()
getSequencer to obtain the
MissionSequencer object that oversees execution of missions
for this application. The returned sequencer must reside in immortal memory.MissionSequencer responsible for selecting
the sequence of Missions that represent this safety-critical
application.@SCJAllowed(value=SUPPORT) long immortalMemorySize()