|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of State in com.evelopers.unimod.compilation |
Methods in com.evelopers.unimod.compilation with parameters of type State | |
void |
StateMachineCompiler.compile(StateMachine sm,
State s)
Compiles given state with it's output actions |
void |
DefaultCompilationListener.nullStateType(StateMachine sm,
State s)
|
void |
CompilationListener.nullStateType(StateMachine sm,
State s)
Given state has null state type |
Uses of State in com.evelopers.unimod.contract |
Methods in com.evelopers.unimod.contract that return State | |
static State |
CoreContract.decodeState(StateMachine sm,
java.lang.String s)
|
Methods in com.evelopers.unimod.contract with parameters of type State | |
static java.lang.String |
CoreContract.encode(State s)
|
static Action |
CoreContract.decodeAction(State s,
java.lang.String action)
|
Uses of State in com.evelopers.unimod.core.stateworks |
Fields in com.evelopers.unimod.core.stateworks declared as State | |
protected State |
Transition.sourceState
Source state |
protected State |
Transition.targetState
Target state |
protected State |
StateMachine.topState
Top state. |
protected State |
State.superstate
Superstate. |
Methods in com.evelopers.unimod.core.stateworks that return State | |
State |
Transition.getSourceState()
Returns source state |
State |
Transition.getTargetState()
Returns target state |
State |
StateMachine.getTop()
Return top state. |
State |
StateMachine.findState(java.lang.String name)
|
State |
StateMachine.createState(java.lang.String name,
StateType type)
Creates state |
State |
StateMachine.createTopState(java.lang.String name)
|
State |
State.getSuperstate()
Returns superstate. |
State |
State.getInitialSubstate()
|
Methods in com.evelopers.unimod.core.stateworks with parameters of type State | |
void |
Transition.reconnect(State newSourceState,
State newTargetState)
Reconnects transition to new source and target states. |
void |
Transition.setSourceState(State newSourceState)
Sets new source state. |
void |
Transition.setTargetState(State newTargetState)
Sets new target state. |
void |
StateMachine.setTop(State top)
Set top state. |
protected java.util.List |
StateMachine.getAllStates(State root)
Return new set that are contained by the given root directly (as substates) or indirectly (as substates of substates etc.) |
Transition |
StateMachine.createTransition(State sourceState,
State targetState,
Guard guard,
Event event)
Creates transition |
void |
State.setSuperstate(State superstate)
Sets superstate |
void |
State.addSubstate(State substate)
Adds substate. |
void |
State.removeSubstate(State substate)
Removes given substate. |
Constructors in com.evelopers.unimod.core.stateworks with parameters of type State | |
Transition(State sourceState,
State targetState,
Guard guard,
Event event)
Creates transition. |
Uses of State in com.evelopers.unimod.debug |
Methods in com.evelopers.unimod.debug with parameters of type State | |
static Position[] |
BreakpointPositions.getPositions(StateMachine sm,
State s)
Returns positions that must be used as breakpoints to stop in given state, before execution of on-enter action |
static Position[] |
BreakpointPositions.getPositions(StateMachine sm,
State s,
Action a)
Returns positions that must be used as breakpoints to stop before execution of given action in given state |
static Position[] |
BreakpointPositions.getPositions(StateMachine sm,
State s,
StateMachine subMachine)
|
Uses of State in com.evelopers.unimod.transform.source |
Methods in com.evelopers.unimod.transform.source with parameters of type State | |
boolean |
Tool.handlesEvent(State state,
Event event)
|
java.util.Set |
Tool.getHandledEventsWithSuperstates(State state)
|
Uses of State in com.evelopers.unimod.validation |
Methods in com.evelopers.unimod.validation that return State | |
State |
StateTransitionsDecorator.getState()
|
Methods in com.evelopers.unimod.validation with parameters of type State | |
void |
ValidationMessenger.noInitState(StateMachine sm,
State state)
|
void |
ValidationMessenger.redundantInitStates(StateMachine sm,
State state,
int initStatesNumber)
|
void |
ValidationMessenger.unattainableState(StateMachine sm,
State state)
|
void |
ValidationMessenger.incompleteGuardSet(StateMachine sm,
State state,
Event event,
Guard guard)
|
void |
ValidationMessenger.redundantElseTransitions(StateMachine sm,
State state,
Event e,
int elseTransitionsNumber)
|
void |
ValidationMessenger.noTransitionFromInitState(StateMachine sm,
State initState)
|
void |
ValidationMessenger.redundantTransitionsFromInitState(StateMachine sm,
State initState,
int transitionsNumber)
|
void |
StructureVisitor.visit(State state)
Visits states and builds set of attainable states. |
protected void |
StructureVisitor.visitIncludedStateMachines(State state)
|
void |
StructureListener.unattainableState(StateMachine sm,
State state)
CallBack. |
void |
StructureListener.noInitState(StateMachine sm,
State state)
Is called when composite attainable state without initial state is found. |
void |
StructureListener.redundantInitStates(StateMachine sm,
State state,
int initStatesNumber)
Is called when attainable composite state has more then one initial state. |
void |
StructureListener.noTransitionFromInitState(StateMachine sm,
State initState)
Called when there is no transition from init state. |
void |
StructureListener.redundantTransitionsFromInitState(StateMachine sm,
State initState,
int transitionsNumber)
Called when there is more then one transition from init state. |
void |
StateMachineValidator.validateConsistency(State state)
Validates consistency of state its descendants and ancestors. |
void |
StateMachineValidator.validateCompleteness(State state)
Validates completeness of state and its lief-descedants os state .
|
void |
ConsistencyValidator.validateConsistency(StateMachine sm,
State state)
|
protected void |
ConsistencyValidator.fireRedundantElseTransitions(StateMachine sm,
State state,
Event e,
int elseTransitionsNumber)
|
void |
ConsistencyListener.redundantElseTransitions(StateMachine sm,
State state,
Event event,
int elseTransitionsNumber)
|
protected void |
ConsistencyCheckVisitor.checkState(State s)
Checks consistency of State s. |
protected abstract void |
ConsistencyCheckVisitor.fireRedundantElseTransitions(StateMachine sm,
State state,
Event e,
int elseTransitionsNumber)
|
void |
CompletenessValidator.validateCompleteness(StateMachine sm,
State state)
Check completeness for single state. |
protected void |
CompletenessValidator.fireIncompleteGuardSet(StateMachine sm,
State state,
Event event,
Guard guard)
|
void |
CompletenessListener.incompleteGuardSet(StateMachine sm,
State state,
Event event,
Guard guard)
CallBack. |
protected void |
CompletenessCheckVisitor.checkState(State state)
|
protected abstract void |
CompletenessCheckVisitor.fireIncompleteGuardSet(StateMachine sm,
State state,
Event event,
Guard guard)
|
Constructors in com.evelopers.unimod.validation with parameters of type State | |
StateTransitionsDecorator(State state)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |