com.evelopers.unimod.validation
Interface ConsistencyListener

All Known Implementing Classes:

ValidationMessenger

public interface ConsistencyListener

Listener of inconsistent transition pairs.

Method Summary

void	inconsistentGuardSet(StateMachine sm, Transition t1, Transition t2, Guard guard) CallBack.
void	redundantElseTransitions(StateMachine sm, State state, Event event, int elseTransitionsNumber)

Method Detail

inconsistentGuardSet

public void inconsistentGuardSet(StateMachine sm,
                                 Transition t1,
                                 Transition t2,
                                 Guard guard)

CallBack. This method is invoked when inconsistent transition pair is found.

Parameters:

sm - StateMachine that contains these transitions.

t1 - first Transition in pair.

t2 - second Transition in pair.

guard - intersection of the guards on transitions t1, t2. If guard on the t1 xor t2 are conjunced with guard the guard conditions set will became consistent.

redundantElseTransitions

public void redundantElseTransitions(StateMachine sm,
                                     State state,
                                     Event event,
                                     int elseTransitionsNumber)