|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Uses of StateMachine in com.evelopers.unimod.compilation |
| Methods in com.evelopers.unimod.compilation with parameters of type StateMachine | |
void |
StateMachineCompiler.compile(StateMachine sm)
Compiles whole state machine WITHOUT included state machines |
void |
StateMachineCompiler.compileWithIncluded(StateMachine sm)
Compiles whole state machine WITH included state machines |
void |
StateMachineCompiler.compile(StateMachine sm,
ControlledObjectHandler co)
Compiles given controlled object |
void |
StateMachineCompiler.compile(StateMachine sm,
EventProviderHandler ep)
Compiles given event provider object |
void |
StateMachineCompiler.compile(StateMachine sm,
State s)
Compiles given state with it's output actions |
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 |
StateMachineCompiler.compile(StateMachine sm,
ModelElement owner,
Action e)
|
void |
StateMachineCompiler.compile(StateMachine sm,
Event e)
Compiles given event |
void |
DefaultCompilationListener.nullName(StateMachine sm,
ModelElement me)
|
void |
DefaultCompilationListener.nullImplClass(StateMachine sm,
ControlledObjectHandler co)
|
void |
DefaultCompilationListener.nullImplClass(StateMachine sm,
EventProviderHandler ep)
|
void |
DefaultCompilationListener.nullStateType(StateMachine sm,
State s)
|
void |
DefaultCompilationListener.incorrectActionIdentifier(StateMachine sm,
ModelElement me,
Action e)
|
void |
DefaultCompilationListener.incorrectExpression(StateMachine sm,
Transition t,
Guard c,
ParserException e)
|
void |
DefaultCompilationListener.unresolvedClassElement(StateMachine sm,
ModelElement owner,
Action e,
java.lang.String name)
|
void |
DefaultCompilationListener.unresolvedAction(StateMachine sm,
ModelElement owner,
Action e,
ControlledObjectHandler co,
java.lang.String actionName)
|
void |
CompilationListener.nullName(StateMachine sm,
ModelElement me)
Given model element has null name |
void |
CompilationListener.nullImplClass(StateMachine sm,
ControlledObjectHandler co)
Given contorlled object handler has null implementation class |
void |
CompilationListener.nullImplClass(StateMachine sm,
EventProviderHandler ep)
Given event provider handler has null implementation class |
void |
CompilationListener.nullStateType(StateMachine sm,
State s)
Given state has null state type |
void |
CompilationListener.incorrectActionIdentifier(StateMachine sm,
ModelElement me,
Action a)
Given action has incorrect format. |
void |
CompilationListener.incorrectExpression(StateMachine sm,
Transition t,
Guard c,
ParserException e)
Given guard condition has incorrect expression |
void |
CompilationListener.unresolvedClassElement(StateMachine sm,
ModelElement owner,
Action e,
java.lang.String coName)
Action identifier has unresolved link to class element |
void |
CompilationListener.unresolvedAction(StateMachine sm,
ModelElement owner,
Action e,
ControlledObjectHandler co,
java.lang.String actionName)
Given controlled object handler has no action with name that was used in given action |
| Uses of StateMachine in com.evelopers.unimod.contract |
| Methods in com.evelopers.unimod.contract that return StateMachine | |
static StateMachine |
CoreContract.decodeStateMachine(Model model,
java.lang.String stateMachine)
|
| Methods in com.evelopers.unimod.contract with parameters of type StateMachine | |
static Transition |
CoreContract.decodeTransition(StateMachine sm,
java.lang.String s)
|
static State |
CoreContract.decodeState(StateMachine sm,
java.lang.String s)
|
static java.lang.String |
CoreContract.encode(StateMachine sm)
|
| Uses of StateMachine in com.evelopers.unimod.core.stateworks |
| Fields in com.evelopers.unimod.core.stateworks declared as StateMachine | |
protected StateMachine |
Model.root
|
| Methods in com.evelopers.unimod.core.stateworks that return StateMachine | |
StateMachine |
StateMachine.getStateMachine(java.lang.String smName)
Returns associated state machine with given supplier role name |
StateMachine |
StateMachine.findSubmachine(java.lang.String name)
|
StateMachine |
Model.getStateMachine(java.lang.String name)
Returns first found state machine with given name |
StateMachine |
Model.getRootStateMachine()
|
StateMachine |
Model.createStateMachine(java.lang.String name)
Creates state machine with given name and adds it to model. |
| Methods in com.evelopers.unimod.core.stateworks with parameters of type StateMachine | |
void |
StateMachine.addStateMachine(StateMachine sm)
|
void |
State.addSubmachine(StateMachine sm)
Adds included state machine |
void |
State.removeSubmachine(StateMachine sm)
Removes given included state machine from list of submachines |
protected void |
Model.addStateMachine(StateMachine machine)
|
void |
Model.setRootStateMachine(StateMachine root)
|
protected void |
Model.removeStateMachine(StateMachine co)
|
| Uses of StateMachine in com.evelopers.unimod.debug |
| Methods in com.evelopers.unimod.debug with parameters of type StateMachine | |
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,
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,
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)
|
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 StateMachine in com.evelopers.unimod.debug.protocol.position |
| Methods in com.evelopers.unimod.debug.protocol.position that return StateMachine | |
StateMachine |
Position.getStateMachine(Model m)
|
| Uses of StateMachine in com.evelopers.unimod.parser |
| Methods in com.evelopers.unimod.parser with parameters of type StateMachine | |
void |
IdentNode.setAction(StateMachine sm,
Action e,
java.lang.Class returnType)
Sets Action. |
| Uses of StateMachine in com.evelopers.unimod.runtime.interpretation |
| Methods in com.evelopers.unimod.runtime.interpretation that return StateMachine | |
(package private) StateMachine |
InterpretationModelStructure.getStateMachine(java.lang.String stateMachine)
|
| Uses of StateMachine in com.evelopers.unimod.transform.source |
| Methods in com.evelopers.unimod.transform.source with parameters of type StateMachine | |
java.util.Set |
Tool.getAllEvents(StateMachine sm)
|
java.util.Set |
Tool.getInputActions(StateMachine sm,
java.lang.Class returnType)
|
| Uses of StateMachine in com.evelopers.unimod.transform.xml |
| Fields in com.evelopers.unimod.transform.xml declared as StateMachine | |
protected StateMachine |
XMLToModel.currentMachine
|
| Methods in com.evelopers.unimod.transform.xml that return StateMachine | |
protected StateMachine |
XMLToModel.resolveStateMachine(java.lang.String name)
|
protected StateMachine |
XMLToModel.createStateMachine(java.lang.String name)
|
| Uses of StateMachine in com.evelopers.unimod.validation |
| Methods in com.evelopers.unimod.validation that return StateMachine | |
protected StateMachine |
StateMachineValidator.getStateMachine()
|
| Methods in com.evelopers.unimod.validation with parameters of type StateMachine | |
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.inconsistentGuardSet(StateMachine sm,
Transition t1,
Transition t2,
Guard guard)
|
void |
ValidationMessenger.redundantElseTransitions(StateMachine sm,
State state,
Event e,
int elseTransitionsNumber)
|
void |
ValidationMessenger.notRootStateMachineHasEventProviders(StateMachine sm)
|
void |
ValidationMessenger.badTransitionFromInitState(StateMachine sm,
Transition transition)
|
void |
ValidationMessenger.noTransitionFromInitState(StateMachine sm,
State initState)
|
void |
ValidationMessenger.redundantTransitionsFromInitState(StateMachine sm,
State initState,
int transitionsNumber)
|
void |
ValidationMessenger.incomingTransitionToInitState(StateMachine sm,
Transition transition)
|
void |
ValidationMessenger.outgoingTransitionFromFinalState(StateMachine sm,
Transition transition)
|
void |
ValidationMessenger.noEventOnTransition(StateMachine sm,
Transition transition)
|
void |
StructureValidator.validateStructure(StateMachine sm)
Checks if every attainable composite state of sm has
initial 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.notRootStateMachineHasEventProviders(StateMachine sm)
Called when not root state machine has associated event providers that is prohibited. |
void |
StructureListener.badTransitionFromInitState(StateMachine sm,
Transition transition)
Called when transition from init state has trigger event or guard condition. |
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 |
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 |
static StateMachineValidator |
StateMachineValidator.createValidator(StateMachine sm)
|
void |
ConsistencyValidator.validateConsistency(StateMachine sm)
Checks if every state has consistent pairs of transitions, i.e. any combination of input actions and event will meet guard condition only on the one transition. |
void |
ConsistencyValidator.validateConsistency(StateMachine sm,
State state)
|
protected void |
ConsistencyValidator.fireInconsistentGuardSet(StateMachine sm,
Transition t1,
Transition t2,
Guard guard)
|
protected void |
ConsistencyValidator.fireRedundantElseTransitions(StateMachine sm,
State state,
Event e,
int elseTransitionsNumber)
|
void |
ConsistencyListener.inconsistentGuardSet(StateMachine sm,
Transition t1,
Transition t2,
Guard guard)
CallBack. |
void |
ConsistencyListener.redundantElseTransitions(StateMachine sm,
State state,
Event event,
int elseTransitionsNumber)
|
void |
ConsistencyCheckVisitor.setSm(StateMachine sm)
|
protected abstract void |
ConsistencyCheckVisitor.fireInconsistentGuardSet(StateMachine sm,
Transition t1,
Transition t2,
Guard guard)
|
protected abstract void |
ConsistencyCheckVisitor.fireRedundantElseTransitions(StateMachine sm,
State state,
Event e,
int elseTransitionsNumber)
|
void |
CompletenessValidator.validateCompleteness(StateMachine sm)
Checks completenes of transitions for set that is { state} joined
with its descendants minus composite states. |
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. |
void |
CompletenessCheckVisitor.setSm(StateMachine sm)
|
protected abstract void |
CompletenessCheckVisitor.fireIncompleteGuardSet(StateMachine sm,
State state,
Event event,
Guard guard)
|
| Constructors in com.evelopers.unimod.validation with parameters of type StateMachine | |
StateMachineValidator(StateMachine sm)
|
|
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||