|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectfr.tpt.aadl.annex.behavior.utils.AadlBaVisitors
public class AadlBaVisitors
A collection of behavior annex visitors.
Field Summary | |
---|---|
static long |
DEFAULT_TRANSITION_PRIORITY
|
static java.lang.String |
INITIALIZE_ENTRYPOINT_PROPERTY_NAME
|
static java.lang.String |
INITIALIZE_ENTRYPOINT_PROPERTYSET
|
static java.lang.String |
SEI_AADL2_CLASSIFIER_SUFFIX
|
static java.lang.String |
SEI_AADL2_PACKAGE_NAME
|
Constructor Summary | |
---|---|
AadlBaVisitors()
|
Method Summary | |
---|---|
static BehaviorState |
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 |
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[] |
getBaPackageSections(BehaviorAnnex ba)
Return the package sections related to a given BehaviorAnnex. |
static org.eclipse.emf.common.util.EList<BasicAction> |
getBasicActions(BehaviorAction BehAction)
Returns a list of basic action contained in the given behavior action (recursively). |
static org.eclipse.emf.common.util.EList<BasicAction> |
getBasicActions(BehaviorActions BehActions)
Return a list of the BasicAction objects contained in a given BehaviorActions object (recursively). |
static org.eclipse.emf.common.util.EList<DispatchTrigger> |
getDispatchTriggers(DispatchTriggerLogicalExpression dtle)
Return a list of DispatchTrigger objects contained in the given DispatchTriggerLogicelExpression object. |
static org.osate.aadl2.ComponentClassifier |
getParentComponent(BehaviorAnnex ba)
Returns the behavior annex's parent component. |
static java.util.List<BehaviorTransition> |
getTransitionWhereSrc(BehaviorState state)
Return a list of behavior transitions where the given behavior state is the source state. |
static boolean |
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 |
putFreshPort(BehaviorAnnex ba,
org.osate.aadl2.Port port)
Tag the given port as a port used as a fresh port value. |
static void |
putTransitionWhereSrc(BehaviorState state,
BehaviorTransition bt)
Specify that the given behavior state is the source state of the given behavior transition. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final java.lang.String INITIALIZE_ENTRYPOINT_PROPERTYSET
public static final java.lang.String INITIALIZE_ENTRYPOINT_PROPERTY_NAME
public static final java.lang.String SEI_AADL2_PACKAGE_NAME
public static final java.lang.String SEI_AADL2_CLASSIFIER_SUFFIX
public static final long DEFAULT_TRANSITION_PRIORITY
Constructor Detail |
---|
public AadlBaVisitors()
Method Detail |
---|
public static org.eclipse.emf.common.util.EList<BasicAction> getBasicActions(BehaviorAction BehAction)
BehAction
- the given behavior action
public static org.eclipse.emf.common.util.EList<BasicAction> getBasicActions(BehaviorActions BehActions)
null
,
the returned list is empty.
BehActions
- the given BehaviorActions object or null
(for
batch processing purpose)
public static org.osate.aadl2.PackageSection[] getBaPackageSections(BehaviorAnnex ba)
ba
- The given BehaviorAnnex
public static BehaviorVariable findBehaviorVariable(BehaviorAnnex ba, java.lang.String variableName)
null
if no BehaviorVariable is found.
ba
- the given BehaviorAnnexvariableName
- the given name
null
.public static BehaviorState findBehaviorState(BehaviorAnnex ba, java.lang.String stateName)
null
if no
BehaviorState is found.
ba
- the given BehaviorAnnexstateName
- the given name
null
public static org.eclipse.emf.common.util.EList<DispatchTrigger> getDispatchTriggers(DispatchTriggerLogicalExpression dtle)
null
.
dtle
- the given DispatchTriggerLogicelExpression object
public static org.osate.aadl2.ComponentClassifier getParentComponent(BehaviorAnnex ba)
ba
- the behavior annex
public static boolean isFresh(BehaviorAnnex ba, org.osate.aadl2.Port port)
true
if the given port which is contained in the given
BehaviorAnnex object is used as a fresh port value. Otherwise return
false
.
ba
- the given BehaviorAnnex object which contains the given portport
- the given port
true
if the given is used as a fresh port value.
Otherwise false
public static void putFreshPort(BehaviorAnnex ba, org.osate.aadl2.Port port)
ba
- the BehaviorAnnex object which contains the given portport
- the given portpublic static java.util.List<BehaviorTransition> getTransitionWhereSrc(BehaviorState state)
state
- the given behavior state
public static void putTransitionWhereSrc(BehaviorState state, BehaviorTransition bt)
state
- the given behavior statebt
- the given behavior transition where the the given behavior state
is source
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |