fr.tpt.aadl.annex.behavior.aadlba
Interface ForOrForAllStatement

All Superinterfaces:
org.osate.aadl2.parsesupport.AObject, BehaviorAction, BehaviorActions, BehaviorElement, CondStatement, org.osate.aadl2.Element, org.eclipse.emf.ecore.EObject, org.eclipse.core.runtime.IAdaptable, LoopStatement, org.eclipse.emf.common.notify.Notifier

public interface ForOrForAllStatement
extends LoopStatement

A representation of the model object 'For Or For All Statement'.

The following features are supported:

See Also:
AadlBaPackage.getForOrForAllStatement()

Field Summary
 
Fields inherited from interface org.osate.aadl2.parsesupport.AObject
copyright
 
Method Summary
 ElementValues getIteratedValues()
          Returns the value of the 'Iterated Values' containment reference
 IterativeVariable getIterativeVariable()
          Returns the value of the 'Iterative Variable' containment reference
 boolean isForAll()
          Returns the value of the 'For All' attribute.
 void setForAll(boolean value)
          Sets the value of the 'For All' attribute
 void setIteratedValues(ElementValues value)
          Sets the value of the 'Iterated Values' containment reference
 void setIterativeVariable(IterativeVariable value)
          Sets the value of the 'Iterative Variable' containment reference
 
Methods inherited from interface fr.tpt.aadl.annex.behavior.aadlba.CondStatement
getBehaviorActions, setBehaviorActions
 
Methods inherited from interface org.osate.aadl2.Element
allOwnedElements, createOwnedComment, getChildren, getContainingClassifier, getContainingComponentImpl, getElementRoot, getOwnedComments, getOwnedElements, getOwner, has_owner, mustBeOwned, not_own_self
 
Methods inherited from interface org.osate.aadl2.parsesupport.AObject
getLocationReference, setLocationReference, setLocationReference
 
Methods inherited from interface org.eclipse.emf.ecore.EObject
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
 
Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver
 
Methods inherited from interface org.eclipse.core.runtime.IAdaptable
getAdapter
 

Method Detail

getIteratedValues

ElementValues getIteratedValues()
Returns the value of the 'Iterated Values' containment reference.

If the meaning of the 'Iterated Values' containment reference isn't clear, there really should be more of a description here...

Returns:
the value of the 'Iterated Values' containment reference.
See Also:
setIteratedValues(ElementValues), AadlBaPackage.getForOrForAllStatement_IteratedValues()

setIteratedValues

void setIteratedValues(ElementValues value)
Sets the value of the 'Iterated Values' containment reference.

Parameters:
value - the new value of the 'Iterated Values' containment reference.
See Also:
getIteratedValues()

isForAll

boolean isForAll()
Returns the value of the 'For All' attribute. The default value is "false".

If the meaning of the 'For All' attribute isn't clear, there really should be more of a description here...

Returns:
the value of the 'For All' attribute.
See Also:
setForAll(boolean), AadlBaPackage.getForOrForAllStatement_ForAll()

setForAll

void setForAll(boolean value)
Sets the value of the 'For All' attribute.

Parameters:
value - the new value of the 'For All' attribute.
See Also:
isForAll()

getIterativeVariable

IterativeVariable getIterativeVariable()
Returns the value of the 'Iterative Variable' containment reference.

If the meaning of the 'Iterative Variable' reference isn't clear, there really should be more of a description here...

Returns:
the value of the 'Iterative Variable' containment reference.
See Also:
setIterativeVariable(IterativeVariable), AadlBaPackage.getForOrForAllStatement_IterativeVariable()

setIterativeVariable

void setIterativeVariable(IterativeVariable value)
Sets the value of the 'Iterative Variable' containment reference.

Parameters:
value - the new value of the 'Iterative Variable' containment reference.
See Also:
getIterativeVariable()