org.eclipse.ocl.examples.pivot
Interface LoopExp

All Superinterfaces:
CallExp, DomainCallExp, DomainElement, DomainExpression, DomainNamedElement, DomainTypedElement, Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, org.eclipse.emf.common.notify.Notifier, OCLExpression, PivotObject, 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:

See Also:
PivotPackage.getLoopExp()
Generated

Method Summary
 OCLExpression createBody(org.eclipse.emf.ecore.EClass eClass)
          Creates a new OCLExpression and sets the 'Body' containment reference.
 Variable createIterator()
          Creates a new Variable and appends it to the 'Iterator' containment reference list.
 OCLExpression getBody()
          Returns the value of the 'Body' containment reference.
 java.util.List<Variable> getIterator()
          Returns the value of the 'Iterator' containment reference list.
 Iteration getReferredIteration()
          Returns the value of the 'Referred Iteration' reference.
 void setBody(OCLExpression value)
          Sets the value of the '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.examples.pivot.CallExp
createSource, getSource, isImplicit, setImplicit, setSource
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.TypedElement
getType, isRequired, setIsRequired, setType
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.NamedElement
createOwnedAnnotation, getName, getOwnedAnnotation, isStatic, setIsStatic, setName
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.Element
allOwnedElements, createExtension, createOwnedComment, getETarget, getExtension, getOwnedComment, 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.examples.pivot.util.Visitable
accept, eClass
 
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainTypedElement
getTypeId
 

Method Detail

getBody

OCLExpression getBody()
Returns the value of the '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 'Body' containment reference.
See Also:
setBody(OCLExpression), PivotPackage.getLoopExp_Body()
Generated

setBody

void setBody(OCLExpression value)
Sets the value of the 'Body' containment reference.

Parameters:
value - the new value of the 'Body' containment reference.
See Also:
getBody()
Generated

createBody

OCLExpression createBody(org.eclipse.emf.ecore.EClass eClass)
Creates a new OCLExpression and sets the 'Body' containment reference.

Parameters:
eClass - The Ecore class of the OCLExpression to create.
Returns:
The new OCLExpression.
See Also:
getBody()
Generated

getIterator

@NonNull
java.util.List<Variable> getIterator()
Returns the value of the 'Iterator' 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 'Iterator' containment reference list.
See Also:
PivotPackage.getLoopExp_Iterator()
Generated

createIterator

Variable createIterator()
Creates a new Variable and appends it to the 'Iterator' containment reference list.

Returns:
The new Variable.
See Also:
getIterator()
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