Uses of Interface
com.evelopers.unimod.core.ModelVisitor

Packages that use ModelVisitor

com.evelopers.unimod.core
com.evelopers.unimod.core.stateworks
com.evelopers.unimod.validation

Uses of ModelVisitor in com.evelopers.unimod.core

Methods in com.evelopers.unimod.core with parameters of type ModelVisitor

void	ModelElement.accept(ModelVisitor v) Accepts given visitor.

Uses of ModelVisitor in com.evelopers.unimod.core.stateworks

Methods in com.evelopers.unimod.core.stateworks with parameters of type ModelVisitor

void	State.accept(ModelVisitor v) Accepts given visitor by substates if visit(com.evelopers.unimod.core.ModelElement)returns true.

Uses of ModelVisitor in com.evelopers.unimod.validation

Classes in com.evelopers.unimod.validation that implement ModelVisitor

(package private) class	CompletenessCheckVisitor Visits every state and checks completenes of guard condition set.
(package private) class	CompletenessValidator Validates completeness (every state has complete system of transitions for every event).
(package private) class	ConsistencyCheckVisitor Visits every state and checks consistency of guard conditions set.
(package private) class	ConsistencyValidator Validates consistency (every state has consistent system of transitions for every event).