|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BehaviorTransition | |
---|---|
fr.tpt.aadl.annex.behavior.aadlba | |
fr.tpt.aadl.annex.behavior.utils |
Uses of BehaviorTransition in fr.tpt.aadl.annex.behavior.aadlba |
---|
Methods in fr.tpt.aadl.annex.behavior.aadlba that return BehaviorTransition | |
---|---|
BehaviorTransition |
AadlBaFactory.createBehaviorTransition()
Returns a new object of class 'Behavior Transition' |
Methods in fr.tpt.aadl.annex.behavior.aadlba that return types with arguments of type BehaviorTransition | |
---|---|
org.eclipse.emf.common.util.EList<BehaviorTransition> |
BehaviorAnnex.getTransitions()
Returns the value of the 'Transitions' containment reference list. |
Uses of BehaviorTransition in fr.tpt.aadl.annex.behavior.utils |
---|
Methods in fr.tpt.aadl.annex.behavior.utils that return types with arguments of type BehaviorTransition | |
---|---|
static java.util.List<BehaviorTransition> |
AadlBaVisitors.getTransitionWhereSrc(BehaviorState state)
Return a list of behavior transitions where the given behavior state is the source state. |
Methods in fr.tpt.aadl.annex.behavior.utils with parameters of type BehaviorTransition | |
---|---|
static boolean |
AadlBaUtils.compareBehaviorTransitionPriority(BehaviorTransition bt1,
BehaviorTransition bt2)
Compares behavior transition priorities. |
static void |
AadlBaVisitors.putTransitionWhereSrc(BehaviorState state,
BehaviorTransition bt)
Specify that the given behavior state is the source state of the given behavior transition. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |