|
|||||||||||
| 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 | ||||||||||