org.eclipse.ocl.examples.pivot
Interface IterateExp

All Superinterfaces:
CallExp, DomainCallExp, DomainElement, DomainExpression, DomainNamedElement, DomainTypedElement, Element, org.eclipse.emf.ecore.EObject, LoopExp, Nameable, NamedElement, org.eclipse.emf.common.notify.Notifier, OCLExpression, PivotObject, ReferringElement, TypedElement, Visitable
All Known Implementing Classes:
IterateExpImpl

public interface IterateExp
extends LoopExp, ReferringElement

A representation of the model object 'Iterate Exp'.

The following features are supported:

See Also:
PivotPackage.getIterateExp()
Generated

Method Summary
 Variable createResult()
          Creates a new Variable and sets the 'Result' containment reference.
 Variable getResult()
          Returns the value of the 'Result' containment reference.
 void setResult(Variable value)
          Sets the value of the 'Result' containment reference.
 boolean validateBodyTypeConformsToResultType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateOneInitializer(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
           
 boolean validateTypeIsResultType(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.LoopExp
createBody, createIterator, getBody, getIterator, getReferredIteration, setBody, setReferredIteration, validateNoInitializers, validateSourceIsCollection
 
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
 
Methods inherited from interface org.eclipse.ocl.examples.pivot.ReferringElement
getReferredElement
 

Method Detail

getResult

Variable getResult()
Returns the value of the 'Result' containment reference.

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

Returns:
the value of the 'Result' containment reference.
See Also:
setResult(Variable), PivotPackage.getIterateExp_Result()
Generated

setResult

void setResult(Variable value)
Sets the value of the 'Result' containment reference.

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

createResult

Variable createResult()
Creates a new Variable and sets the 'Result' containment reference.

Returns:
The new Variable.
See Also:
getResult()
Generated

validateTypeIsResultType

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

Generated

validateBodyTypeConformsToResultType

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

Generated

validateOneInitializer

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

Generated