Uses of Interface
fr.tpt.aadl.annex.behavior.aadlba.BehaviorTransition

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.