com.evelopers.unimod.validation
Class CompletenessCheckVisitor

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

All Implemented Interfaces:

ModelVisitor

Direct Known Subclasses:

CompletenessValidator

abstract class CompletenessCheckVisitor

extends java.lang.Object

implements ModelVisitor

Visits every state and checks completenes of guard condition set.

Constructor Summary

(package private)

CompletenessCheckVisitor()

Method Summary

protected void	checkState(State state)
protected abstract void	fireIncompleteGuardSet(StateMachine sm, State state, Event event, Guard guard)
void	setSm(StateMachine sm)
boolean	visit(ModelElement e) Called by ModelElement.accept(com.evelopers.unimod.core.ModelVisitor) method.

Methods inherited from class java.lang.Object

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

Constructor Detail

CompletenessCheckVisitor

CompletenessCheckVisitor()

Method Detail

setSm

public void setSm(StateMachine sm)

visit

public boolean visit(ModelElement e)
              throws VisitorException

Description copied from interface: ModelVisitor

Called by ModelElement.accept(com.evelopers.unimod.core.ModelVisitor) method.

Specified by:

visit in interface ModelVisitor

Parameters:

e - model element to visit

Returns:

true if the model element members should be visited; false if they should be skipped

Throws:

VisitorException

checkState

protected void checkState(State state)
                   throws VisitorException

Throws:

VisitorException

fireIncompleteGuardSet

protected abstract void fireIncompleteGuardSet(StateMachine sm,
                                               State state,
                                               Event event,
                                               Guard guard)