|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BehaviorState | |
---|---|
fr.tpt.aadl.annex.behavior.aadlba | |
fr.tpt.aadl.annex.behavior.utils |
Uses of BehaviorState in fr.tpt.aadl.annex.behavior.aadlba |
---|
Methods in fr.tpt.aadl.annex.behavior.aadlba that return BehaviorState | |
---|---|
BehaviorState |
AadlBaFactory.createBehaviorState()
Returns a new object of class 'Behavior State' |
BehaviorState |
BehaviorTransition.getDestinationState()
Returns the value of the 'Destination State' reference |
BehaviorState |
BehaviorTransition.getSourceState()
Returns the value of the 'Source State' reference |
Methods in fr.tpt.aadl.annex.behavior.aadlba that return types with arguments of type BehaviorState | |
---|---|
org.eclipse.emf.common.util.EList<BehaviorState> |
BehaviorAnnex.getStates()
Returns the value of the 'States' containment reference list. |
Methods in fr.tpt.aadl.annex.behavior.aadlba with parameters of type BehaviorState | |
---|---|
void |
BehaviorTransition.setDestinationState(BehaviorState value)
Sets the value of the ' Destination State ' reference |
void |
BehaviorTransition.setSourceState(BehaviorState value)
Sets the value of the ' Source State ' reference |
Uses of BehaviorState in fr.tpt.aadl.annex.behavior.utils |
---|
Methods in fr.tpt.aadl.annex.behavior.utils that return BehaviorState | |
---|---|
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. |
Methods in fr.tpt.aadl.annex.behavior.utils with parameters of type BehaviorState | |
---|---|
static java.util.List<BehaviorTransition> |
AadlBaVisitors.getTransitionWhereSrc(BehaviorState state)
Return a list of behavior transitions where the given behavior state is the source state. |
static void |
AadlBaVisitors.putTransitionWhereSrc(BehaviorState state,
BehaviorTransition bt)
Specify that the given behavior state is the source state of the given behavior transition. |
Method parameters in fr.tpt.aadl.annex.behavior.utils with type arguments of type BehaviorState | |
---|---|
static java.lang.String |
AadlBaUtils.identifierListToString(org.eclipse.emf.common.util.EList<BehaviorState> bsl,
java.lang.String separator)
Constructs a string base on the name of the given behavior states list, separated by the given separator symbol. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |