com.evelopers.unimod.validation
Class StructureVisitor

java.lang.Object
  com.evelopers.unimod.validation.StructureVisitor

Direct Known Subclasses:

StructureValidator

class StructureVisitor

extends java.lang.Object

Builds map of attainable states for statemachines. Concrete statemachine is a key in this map and set of attainable states is a value.

Field Summary

protected java.util.Set	attainableStates Set of attainable states
protected java.util.Set	initialStateLess Set of attainable composite states which have no initial states
protected java.util.Set	notRootMachinesWithEventProviders Set of not root state machines that has associated event providers
protected java.util.Map	redundantInitStates

Constructor Summary

StructureVisitor()
Constructs visitor

Method Summary

java.util.Set	getAttainableStates()
java.util.Set	getNoInitState() Returns set of attainable composite states which have no initial states.
java.util.Set	getNotRootMachinesWithEventProviders()
java.util.Map	getRedundantInitStates() Returns map of attainable composite states which have more then one initial state.
void	visit(State state) Visits states and builds set of attainable states.
protected void	visitIncludedStateMachines(State state)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

attainableStates

protected java.util.Set attainableStates

Set of attainable states

initialStateLess

protected java.util.Set initialStateLess

Set of attainable composite states which have no initial states

redundantInitStates

protected java.util.Map redundantInitStates

notRootMachinesWithEventProviders

protected java.util.Set notRootMachinesWithEventProviders

Set of not root state machines that has associated event providers

Constructor Detail

StructureVisitor

public StructureVisitor()

Constructs visitor

Method Detail

visit

public void visit(State state)

Visits states and builds set of attainable states.

Parameters:

state - state to visit.

visitIncludedStateMachines

protected void visitIncludedStateMachines(State state)

getNotRootMachinesWithEventProviders

public java.util.Set getNotRootMachinesWithEventProviders()

getAttainableStates

public java.util.Set getAttainableStates()

Returns:

Set of attainable states.

getNoInitState

public java.util.Set getNoInitState()

Returns set of attainable composite states which have no initial states.

Returns:

set of attainable composite states which have no initial states

getRedundantInitStates

public java.util.Map getRedundantInitStates()

Returns map of attainable composite states which have more then one initial state.

Returns:

map of attainable composite states which have more then one initial state