Uses of Interface
de.cau.cs.kieler.synccharts.State

Packages that use State
de.cau.cs.kieler.kies.transformation Contains code responsible for executing a esterel to synccharts transformation. 
de.cau.cs.kieler.kies.transformation.util Contains code responsible for executing a esterel to synccharts transformation. 
de.cau.cs.kieler.synccharts   
de.cau.cs.kieler.synccharts.codegen.esterel.xtend   
de.cau.cs.kieler.synccharts.codegen.sc In the codegen package the process of generating code from a SyncChart model is implemented. 
de.cau.cs.kieler.synccharts.diagram.custom.commands Copy and paste for the synccharts diagram editor. 
de.cau.cs.kieler.synccharts.diagram.edit.commands   
de.cau.cs.kieler.synccharts.diagram.edit.policies   
de.cau.cs.kieler.synccharts.impl   
de.cau.cs.kieler.synccharts.ksbase.util Contains utility classes mostly with JAVA escapes for xtend. 
de.cau.cs.kieler.synccharts.s   
de.cau.cs.kieler.synccharts.sim.ptolemy.oaw   
de.cau.cs.kieler.synccharts.text.kits.scoping   
de.cau.cs.kieler.synccharts.text.kits.validation   
de.cau.cs.kieler.synccharts.util   
 

Uses of State in de.cau.cs.kieler.kies.transformation
 

Fields in de.cau.cs.kieler.kies.transformation declared as State
protected  State AbstractTransformationDataComponent.rootState
          root state of the current resource.
 

Methods in de.cau.cs.kieler.kies.transformation that return State
 State AbstractTransformationDataComponent.getRootState()
           
 State EsterelToSyncChartDataComponent.getRootState()
           
 

Methods in de.cau.cs.kieler.kies.transformation with parameters of type State
 void AbstractTransformationDataComponent.setRootState(State rootState)
           
 void EsterelToSyncChartDataComponent.setRootState(State theRootState)
           
 void SyncChartsOptimizationDataComponent.setRootState(State theRootState)
           
 

Uses of State in de.cau.cs.kieler.kies.transformation.util
 

Methods in de.cau.cs.kieler.kies.transformation.util with parameters of type State
static void TransformationUtil.setBodyReference(State s, EObject obj)
          Convenient method for setting the body reference for a state.
 

Method parameters in de.cau.cs.kieler.kies.transformation.util with type arguments of type State
static void TransformationUtil.addToFrontOfList(List<State> list1, List<State> list2)
          Adds all elements of list2 to the front of list1.
static void TransformationUtil.addToFrontOfList(List<State> list1, List<State> list2)
          Adds all elements of list2 to the front of list1.
 

Uses of State in de.cau.cs.kieler.synccharts
 

Methods in de.cau.cs.kieler.synccharts that return State
 State SyncchartsFactory.createState()
          Returns a new object of class 'State'.
 State Region.getParentState()
          Returns the value of the 'Parent State' container reference.
 State Transition.getSourceState()
          Returns the value of the 'Source State' container reference.
 State Transition.getTargetState()
          Returns the value of the 'Target State' reference.
 

Methods in de.cau.cs.kieler.synccharts that return types with arguments of type State
 EList<State> Region.getStates()
          Returns the value of the 'States' containment reference list.
 

Methods in de.cau.cs.kieler.synccharts with parameters of type State
 void Region.setParentState(State value)
          Sets the value of the 'Parent State' container reference.
 void Transition.setSourceState(State value)
          Sets the value of the 'Source State' container reference.
 void Transition.setTargetState(State value)
          Sets the value of the 'Target State' reference.
 

Uses of State in de.cau.cs.kieler.synccharts.codegen.esterel.xtend
 

Methods in de.cau.cs.kieler.synccharts.codegen.esterel.xtend with parameters of type State
 String Helper.getParentRegionString(State state)
           
 String Helper.getStatePathAsName(State state)
           
 Boolean Helper.isRootState(State state)
           
 

Uses of State in de.cau.cs.kieler.synccharts.codegen.sc
 

Methods in de.cau.cs.kieler.synccharts.codegen.sc that return State
 State StatePlusTransition.getState()
           
 

Methods in de.cau.cs.kieler.synccharts.codegen.sc that return types with arguments of type State
static List<State> Helper.sortStateControlFlow(State state)
          Computes a sorted list with states.
 

Methods in de.cau.cs.kieler.synccharts.codegen.sc with parameters of type State
static List<Signal> Helper.allSignals(State state)
          Computes a list of all signals (global and local) that are used in the state and his child-states.
static List<StatePlusTransition> Helper.computeThreadPriorities(State state)
          Computes a list with all states in the right order of their priority.
static int Helper.getOptimizedWeakThreadPriority(State state)
          Computes the weak optimized priority of the given state.
static int Helper.getRealOptimizedThreadPriority(State state)
          Computes the real optimized priority of the given state.
static int Helper.getRealThreadPriority(State state)
          Computes the real priority of the given state.
static int Helper.getSmallestThreadPriority(State state)
          Computes the real priority of the given state.
static String Helper.getStateNameByFlag(State state, Integer flag)
          Returns unique a label for a state independent on the flag.
static List<StateAndSignals> Helper.getStateSignals(State state)
          Not used?
static String Activator.getUri(State s)
          Returns the URI of a given state.
static int Helper.getWeakThreadPriority(State state)
          Computes the weak priority of the given state.
 void StatePlusTransition.setState(State state)
           
static List<State> Helper.sortStateControlFlow(State state)
          Computes a sorted list with states.
 

Constructors in de.cau.cs.kieler.synccharts.codegen.sc with parameters of type State
StatePlusTransition(State state, int type, Transition transition)
          Constructor, setting the fields.
 

Uses of State in de.cau.cs.kieler.synccharts.diagram.custom.commands
 

Methods in de.cau.cs.kieler.synccharts.diagram.custom.commands that return types with arguments of type State
static List<State> Utils.getStatesFromClipboard(Collection<State> statesClipBoard, Collection<State> copy)
          Prepare a list of states to be ready for insertion using xtend.
 

Method parameters in de.cau.cs.kieler.synccharts.diagram.custom.commands with type arguments of type State
static List<State> Utils.getStatesFromClipboard(Collection<State> statesClipBoard, Collection<State> copy)
          Prepare a list of states to be ready for insertion using xtend.
static List<State> Utils.getStatesFromClipboard(Collection<State> statesClipBoard, Collection<State> copy)
          Prepare a list of states to be ready for insertion using xtend.
 

Uses of State in de.cau.cs.kieler.synccharts.diagram.edit.commands
 

Methods in de.cau.cs.kieler.synccharts.diagram.edit.commands that return State
 State TransitionCreateCommand.getContainer()
           
protected  State TransitionReorientCommand.getNewSource()
           
protected  State TransitionReorientCommand.getNewTarget()
           
protected  State TransitionReorientCommand.getOldSource()
           
protected  State TransitionReorientCommand.getOldTarget()
           
protected  State TransitionCreateCommand.getSource()
           
protected  State TransitionCreateCommand.getTarget()
           
 

Methods in de.cau.cs.kieler.synccharts.diagram.edit.commands with parameters of type State
protected  void RegionStateCreateCommand.doConfigure(State newElement, IProgressMonitor monitor, IAdaptable info)
           
protected  void StateCreateCommand.doConfigure(State newElement, IProgressMonitor monitor, IAdaptable info)
           
 

Uses of State in de.cau.cs.kieler.synccharts.diagram.edit.policies
 

Methods in de.cau.cs.kieler.synccharts.diagram.edit.policies with parameters of type State
 boolean SyncchartsBaseItemSemanticEditPolicy.LinkConstraints.canCreateTransition_4006(State container, State source, State target)
           
 boolean SyncchartsBaseItemSemanticEditPolicy.LinkConstraints.canExistTransition_4006(State container, Transition linkInstance, State source, State target)
           
 

Uses of State in de.cau.cs.kieler.synccharts.impl
 

Classes in de.cau.cs.kieler.synccharts.impl that implement State
 class StateImpl
          An implementation of the model object 'State'.
 

Fields in de.cau.cs.kieler.synccharts.impl declared as State
protected  State TransitionImpl.targetState
          The cached value of the 'Target State' reference.
 

Fields in de.cau.cs.kieler.synccharts.impl with type parameters of type State
protected  EList<State> RegionImpl.states
          The cached value of the 'States' containment reference list.
 

Methods in de.cau.cs.kieler.synccharts.impl that return State
 State TransitionImpl.basicGetTargetState()
           
 State SyncchartsFactoryImpl.createState()
           
 State RegionImpl.getParentState()
           
 State TransitionImpl.getSourceState()
           
 State TransitionImpl.getTargetState()
           
 

Methods in de.cau.cs.kieler.synccharts.impl that return types with arguments of type State
 EList<State> RegionImpl.getStates()
           
 

Methods in de.cau.cs.kieler.synccharts.impl with parameters of type State
 NotificationChain RegionImpl.basicSetParentState(State newParentState, NotificationChain msgs)
           
 NotificationChain TransitionImpl.basicSetSourceState(State newSourceState, NotificationChain msgs)
           
 NotificationChain TransitionImpl.basicSetTargetState(State newTargetState, NotificationChain msgs)
           
 void RegionImpl.setParentState(State newParentState)
           
 void TransitionImpl.setSourceState(State newSourceState)
           
 void TransitionImpl.setTargetState(State newTargetState)
           
 

Uses of State in de.cau.cs.kieler.synccharts.ksbase.util
 

Methods in de.cau.cs.kieler.synccharts.ksbase.util that return types with arguments of type State
static List<State> FixSyncChartUtils.getStateList()
           
 

Methods in de.cau.cs.kieler.synccharts.ksbase.util with parameters of type State
static void FixSyncChartUtils.generateStateId(State state)
          Generate a unique id for the state.
 

Uses of State in de.cau.cs.kieler.synccharts.s
 

Methods in de.cau.cs.kieler.synccharts.s that return State
 State StatePlusTransition.getState()
           
 

Methods in de.cau.cs.kieler.synccharts.s that return types with arguments of type State
static List<State> Helper.sortStateControlFlow(State state)
          Computes a sorted list with states.
 

Methods in de.cau.cs.kieler.synccharts.s with parameters of type State
static List<Signal> Helper.allSignals(State state)
          Computes a list of all signals (global and local) that are used in the state and his child-states.
static List<StatePlusTransition> Helper.computeThreadPriorities(State state)
          Computes a list with all states in the right order of their priority.
static int Helper.getOptimizedWeakThreadPriority(State state)
          Computes the weak optimized priority of the given state.
static int Helper.getRealOptimizedThreadPriority(State state)
          Computes the real optimized priority of the given state.
static int Helper.getRealThreadPriority(State state)
          Computes the real priority of the given state.
static int Helper.getSmallestThreadPriority(State state)
          Computes the real priority of the given state.
static String Helper.getStateNameByFlag(State state, Integer flag)
          Returns unique a label for a state independent on the flag.
static List<StateAndSignals> Helper.getStateSignals(State state)
          Not used?
static int Helper.getWeakThreadPriority(State state)
          Computes the weak priority of the given state.
 void StatePlusTransition.setState(State state)
           
static List<State> Helper.sortStateControlFlow(State state)
          Computes a sorted list with states.
 

Constructors in de.cau.cs.kieler.synccharts.s with parameters of type State
StatePlusTransition(State state, int type, Transition transition)
          Constructor, setting the fields.
 

Uses of State in de.cau.cs.kieler.synccharts.sim.ptolemy.oaw
 

Methods in de.cau.cs.kieler.synccharts.sim.ptolemy.oaw with parameters of type State
static String XtendJava.getStateId(State myState)
           
static String XtendJava.getURIFragment(State myState)
          Gets the URIFragment of a Node.
 

Uses of State in de.cau.cs.kieler.synccharts.text.kits.scoping
 

Methods in de.cau.cs.kieler.synccharts.text.kits.scoping with parameters of type State
 org.eclipse.xtext.scoping.IScope KitsScopeProvider.scope_Scope_bodyReference(State state, EReference reference)
          A implementation of scoping for scopes' body references.
 

Uses of State in de.cau.cs.kieler.synccharts.text.kits.validation
 

Methods in de.cau.cs.kieler.synccharts.text.kits.validation with parameters of type State
 void KitsJavaValidator.checkTransitionPriorities(State s)
           
 void KitsJavaValidator.checkTypeNameStartsWithCapital(State s)
           
 

Uses of State in de.cau.cs.kieler.synccharts.util
 

Methods in de.cau.cs.kieler.synccharts.util with parameters of type State
 T SyncchartsSwitch.caseState(State object)
          Returns the result of interpreting the object as an instance of 'State'.