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

Packages that use BehaviorAnnex
fr.tpt.aadl.annex.behavior.aadlba   
fr.tpt.aadl.annex.behavior.utils   
 

Uses of BehaviorAnnex in fr.tpt.aadl.annex.behavior.aadlba
 

Methods in fr.tpt.aadl.annex.behavior.aadlba that return BehaviorAnnex
 BehaviorAnnex AadlBaFactory.createBehaviorAnnex()
          Returns a new object of class 'Behavior Annex'
 

Uses of BehaviorAnnex in fr.tpt.aadl.annex.behavior.utils
 

Methods in fr.tpt.aadl.annex.behavior.utils with parameters of type BehaviorAnnex
static BehaviorState AadlBaVisitors.findBehaviorState(BehaviorAnnex ba, java.lang.String stateName)
          Find the first occurrence of an BehaviorState within a given BehaviorAnnex which name equals to a given name.
static BehaviorVariable AadlBaVisitors.findBehaviorVariable(BehaviorAnnex ba, java.lang.String variableName)
          Find the first occurrence of an BehaviorVariable within a given BehaviorAnnex which name equals to the given name.
static org.osate.aadl2.PackageSection[] AadlBaVisitors.getBaPackageSections(BehaviorAnnex ba)
          Return the package sections related to a given BehaviorAnnex.
static org.osate.aadl2.ComponentClassifier AadlBaVisitors.getParentComponent(BehaviorAnnex ba)
          Returns the behavior annex's parent component.
static boolean AadlBaVisitors.isFresh(BehaviorAnnex ba, org.osate.aadl2.Port port)
          Return true if the given port which is contained in the given BehaviorAnnex object is used as a fresh port value.
static void AadlBaVisitors.putFreshPort(BehaviorAnnex ba, org.osate.aadl2.Port port)
          Tag the given port as a port used as a fresh port value.