|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.cau.cs.kieler.core.kivi.AbstractTriggerState
de.cau.cs.kieler.sim.kivi.StateMachineSimulationTrigger.StateMachineSimulationState
public static final class StateMachineSimulationTrigger.StateMachineSimulationState
A TriggerState for a KIEM simulation of a State Machine, e.g. a SyncChart. It contains categorized lists of objects that are semantically relevant in a simulation step. These are for example the active states, transitions that have been taken in that step, signals that are present and values of signals and variables.
Constructor Summary | |
---|---|
StateMachineSimulationTrigger.StateMachineSimulationState()
Default Constructor. |
|
StateMachineSimulationTrigger.StateMachineSimulationState(boolean isSimulating,
org.eclipse.gmf.runtime.diagram.ui.parts.DiagramEditor editor)
|
Method Summary | |
---|---|
List<EObject> |
getActiveStates(int stepsAgo)
|
org.eclipse.gmf.runtime.diagram.ui.parts.DiagramEditor |
getDiagramEditor()
Get the diagram editor where the simulation is running. |
Class<? extends ITrigger> |
getTriggerClass()
Get the trigger class associated with this trigger state. |
boolean |
isSimulating()
Get the list of active states. |
Methods inherited from class de.cau.cs.kieler.core.kivi.AbstractTriggerState |
---|
finish, getKeyClass, getSequenceNumber, merge, toString |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public StateMachineSimulationTrigger.StateMachineSimulationState(boolean isSimulating, org.eclipse.gmf.runtime.diagram.ui.parts.DiagramEditor editor)
public StateMachineSimulationTrigger.StateMachineSimulationState()
Method Detail |
---|
public List<EObject> getActiveStates(int stepsAgo)
public Class<? extends ITrigger> getTriggerClass()
public boolean isSimulating()
public org.eclipse.gmf.runtime.diagram.ui.parts.DiagramEditor getDiagramEditor()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |