|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Transition | |
com.evelopers.unimod.compilation | |
com.evelopers.unimod.contract | |
com.evelopers.unimod.core.stateworks | |
com.evelopers.unimod.debug | |
com.evelopers.unimod.validation |
Uses of Transition in com.evelopers.unimod.compilation |
Methods in com.evelopers.unimod.compilation with parameters of type Transition | |
void |
StateMachineCompiler.compile(StateMachine sm,
Transition t)
Compiles given transition with it's guard, event and output actions |
void |
StateMachineCompiler.compile(StateMachine sm,
Transition t,
Guard c)
Compiles given guard |
void |
DefaultCompilationListener.incorrectExpression(StateMachine sm,
Transition t,
Guard c,
ParserException e)
|
void |
CompilationListener.incorrectExpression(StateMachine sm,
Transition t,
Guard c,
ParserException e)
Given guard condition has incorrect expression |
Uses of Transition in com.evelopers.unimod.contract |
Methods in com.evelopers.unimod.contract that return Transition | |
static Transition |
CoreContract.decodeTransition(StateMachine sm,
java.lang.String s)
|
Methods in com.evelopers.unimod.contract with parameters of type Transition | |
static java.lang.String |
CoreContract.encode(Transition t)
|
static Action |
CoreContract.decodeInputAction(Transition t,
java.lang.String action)
|
static Action |
CoreContract.decodeOutputAction(Transition t,
java.lang.String action)
|
Uses of Transition in com.evelopers.unimod.core.stateworks |
Methods in com.evelopers.unimod.core.stateworks that return Transition | |
Transition |
StateMachine.createTransition(State sourceState,
State targetState,
Guard guard,
Event event)
Creates transition |
Methods in com.evelopers.unimod.core.stateworks with parameters of type Transition | |
(package private) void |
State.addOutgoingTransition(Transition transition)
Adds outgoing transition. |
(package private) void |
State.removeOutgoingTransition(Transition transition)
|
(package private) void |
State.addIncomingTransition(Transition transition)
Adds incoming transition. |
(package private) void |
State.removeIncomingTransition(Transition transition)
|
Uses of Transition in com.evelopers.unimod.debug |
Methods in com.evelopers.unimod.debug with parameters of type Transition | |
static Position[] |
BreakpointPositions.getPositions(StateMachine sm,
Transition t)
Returns positions that must be used as breakpoints to stop on given transition, before calculating guard condition |
static Position[] |
BreakpointPositions.getPositions(StateMachine sm,
Transition t,
Action a,
boolean output)
Returns positions that must be used as breakpoints to stop before execution of input or output action on given transition |
Uses of Transition in com.evelopers.unimod.validation |
Methods in com.evelopers.unimod.validation that return Transition | |
Transition |
StateTransitionsDecorator.getElseTransition(Event event)
|
Methods in com.evelopers.unimod.validation with parameters of type Transition | |
void |
ValidationMessenger.inconsistentGuardSet(StateMachine sm,
Transition t1,
Transition t2,
Guard guard)
|
void |
ValidationMessenger.badTransitionFromInitState(StateMachine sm,
Transition transition)
|
void |
ValidationMessenger.incomingTransitionToInitState(StateMachine sm,
Transition transition)
|
void |
ValidationMessenger.outgoingTransitionFromFinalState(StateMachine sm,
Transition transition)
|
void |
ValidationMessenger.noEventOnTransition(StateMachine sm,
Transition transition)
|
void |
StructureListener.badTransitionFromInitState(StateMachine sm,
Transition transition)
Called when transition from init state has trigger event or guard condition. |
void |
StructureListener.incomingTransitionToInitState(StateMachine sm,
Transition transition)
Called when there is incoming transition to init state. |
void |
StructureListener.outgoingTransitionFromFinalState(StateMachine sm,
Transition transition)
Called when there is outgoing transition from final state. |
void |
StructureListener.noEventOnTransition(StateMachine sm,
Transition transition)
Called when there is no event on transition from non-init state |
protected void |
ConsistencyValidator.fireInconsistentGuardSet(StateMachine sm,
Transition t1,
Transition t2,
Guard guard)
|
void |
ConsistencyListener.inconsistentGuardSet(StateMachine sm,
Transition t1,
Transition t2,
Guard guard)
CallBack. |
protected abstract void |
ConsistencyCheckVisitor.fireInconsistentGuardSet(StateMachine sm,
Transition t1,
Transition t2,
Guard guard)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |