|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Transition | |
de.matthias_burbach.flux | Is the core package. |
de.matthias_burbach.uml | Is the UML meta model implementation used to represent UML models. |
Uses of Transition in de.matthias_burbach.flux |
Methods in de.matthias_burbach.flux with parameters of type Transition | |
protected java.util.List |
DefaultModelChecker.checkTransitionHasValidEvent(Transition transition)
|
protected java.util.List |
DefaultModelChecker.checkTransitionHasValidEventName(Transition transition)
|
protected java.util.List |
DefaultModelChecker.checkTransitionHasValidGuardCondition(Transition transition)
|
protected java.util.List |
DefaultModelChecker.checkTransitionHasValidAction(Transition transition,
java.util.Vector variables)
|
protected java.util.List |
DefaultModelChecker.checkTransitionHasValidTargetState(Transition transition)
|
Uses of Transition in de.matthias_burbach.uml |
Classes in de.matthias_burbach.uml that implement Transition | |
class |
DefaultTransition
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |