Uses of Class
com.evelopers.unimod.core.stateworks.State

Packages that use State
com.evelopers.unimod.compilation   
com.evelopers.unimod.contract   
com.evelopers.unimod.core.stateworks   
com.evelopers.unimod.debug   
com.evelopers.unimod.transform.source   
com.evelopers.unimod.validation   
 

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)