|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |