|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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'. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |