de.cau.cs.kieler.sim.kivi
Class StateMachineSimulationTrigger.StateMachineSimulationState

java.lang.Object
  extended by de.cau.cs.kieler.core.kivi.AbstractTriggerState
      extended by de.cau.cs.kieler.sim.kivi.StateMachineSimulationTrigger.StateMachineSimulationState
All Implemented Interfaces:
ITriggerState
Enclosing class:
StateMachineSimulationTrigger

public static final class StateMachineSimulationTrigger.StateMachineSimulationState
extends AbstractTriggerState

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.

Rating red

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

StateMachineSimulationTrigger.StateMachineSimulationState

public StateMachineSimulationTrigger.StateMachineSimulationState(boolean isSimulating,
                                                                 org.eclipse.gmf.runtime.diagram.ui.parts.DiagramEditor editor)

StateMachineSimulationTrigger.StateMachineSimulationState

public StateMachineSimulationTrigger.StateMachineSimulationState()
Default Constructor.

Method Detail

getActiveStates

public List<EObject> getActiveStates(int stepsAgo)

getTriggerClass

public Class<? extends ITrigger> getTriggerClass()
Get the trigger class associated with this trigger state.

Returns:
the trigger class

isSimulating

public boolean isSimulating()
Get the list of active states.

Returns:
the list of active states

getDiagramEditor

public org.eclipse.gmf.runtime.diagram.ui.parts.DiagramEditor getDiagramEditor()
Get the diagram editor where the simulation is running.

Returns:
the diagram editor