org.eclipse.ocl.pivot

Interface LoopExp

All Superinterfaces:

CallExp, Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, org.eclipse.emf.common.notify.Notifier, OCLExpression, TypedElement, Visitable

All Known Subinterfaces:

IterateExp, IteratorExp

All Known Implementing Classes:

IterateExpImpl, IteratorExpImpl, LoopExpImpl

public interface LoopExp
extends CallExp

A representation of the model object 'Loop Exp'.

The following features are supported:

• Owned Body
• Owned Iterators
• Referred Iteration

See Also:

PivotPackage.getLoopExp()

Generated

Method Summary

Modifier and Type	Method and Description
OCLExpression	getOwnedBody() Returns the value of the 'Owned Body' containment reference.
java.util.List<Variable>	getOwnedIterators() Returns the value of the 'Owned Iterators' containment reference list.
Iteration	getReferredIteration() Returns the value of the 'Referred Iteration' reference.
void	setOwnedBody(OCLExpression value) Sets the value of the 'Owned Body' containment reference.
void	setReferredIteration(Iteration value) Sets the value of the 'Referred Iteration' reference.
boolean	validateNoInitializers(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateSourceIsCollection(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)

Methods inherited from interface org.eclipse.ocl.pivot.CallExp

getOwnedSource, isIsImplicit, isIsSafe, setIsImplicit, setIsSafe, setOwnedSource, validateTypeIsNotInvalid

Methods inherited from interface org.eclipse.ocl.pivot.OCLExpression

getTypeValue, setTypeValue

Methods inherited from interface org.eclipse.ocl.pivot.TypedElement

CompatibleBody, getType, getTypeId, isIsMany, isIsRequired, setIsRequired, setType

Methods inherited from interface org.eclipse.ocl.pivot.NamedElement

getName, setName

Methods inherited from interface org.eclipse.ocl.pivot.Element

accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

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.ocl.pivot.util.Visitable

eClass

Method Detail

getOwnedBody

OCLExpression getOwnedBody()

Returns the value of the 'Owned Body' containment reference.

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

Returns:

the value of the 'Owned Body' containment reference.

See Also:

setOwnedBody(OCLExpression), PivotPackage.getLoopExp_OwnedBody()

Generated

setOwnedBody

void setOwnedBody(OCLExpression value)

Sets the value of the 'Owned Body' containment reference.

Parameters:

value - the new value of the 'Owned Body' containment reference.

See Also:

getOwnedBody()

Generated

getOwnedIterators

@NonNull
java.util.List<Variable> getOwnedIterators()

Returns the value of the 'Owned Iterators' containment reference list. The list contents are of type Variable.

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

Returns:

the value of the 'Owned Iterators' containment reference list.

See Also:

PivotPackage.getLoopExp_OwnedIterators()

Generated

getReferredIteration

Iteration getReferredIteration()

Returns the value of the 'Referred Iteration' reference.

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

Returns:

the value of the 'Referred Iteration' reference.

See Also:

setReferredIteration(Iteration), PivotPackage.getLoopExp_ReferredIteration()

Generated

setReferredIteration

void setReferredIteration(Iteration value)

Sets the value of the 'Referred Iteration' reference.

Parameters:

value - the new value of the 'Referred Iteration' reference.

See Also:

getReferredIteration()

Generated

validateSourceIsCollection

boolean validateSourceIsCollection(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                   java.util.Map<java.lang.Object,java.lang.Object> context)

Generated

validateNoInitializers

boolean validateNoInitializers(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                               java.util.Map<java.lang.Object,java.lang.Object> context)

Generated