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:

• Result

See Also:

PivotPackage.getIterateExp()

Generated

Method Summary

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

getBody, getIterator, getReferredIteration, setBody, setReferredIteration, validateNoInitializers, validateSourceIsCollection

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

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

getName, isStatic, setIsStatic, setName

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

allOwnedElements, getETarget, getExtension, getOwnedAnnotation, 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.DomainCallExp

getArgument

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

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