org.eclipse.ocl.pivot.internal

Class IterateExpImpl

java.lang.Object

EObjectImpl

org.eclipse.ocl.pivot.internal.utilities.PivotObjectImpl

org.eclipse.ocl.pivot.internal.ElementImpl

org.eclipse.ocl.pivot.internal.NamedElementImpl

org.eclipse.ocl.pivot.internal.TypedElementImpl

org.eclipse.ocl.pivot.internal.OCLExpressionImpl

org.eclipse.ocl.pivot.internal.CallExpImpl

org.eclipse.ocl.pivot.internal.LoopExpImpl

org.eclipse.ocl.pivot.internal.IterateExpImpl

All Implemented Interfaces:

CallExp, Element, IterateExp, LoopExp, NamedElement, OCLExpression, ReferringElement, TypedElement, Visitable, Labelable, Nameable, PivotObject

public class IterateExpImpl
extends LoopExpImpl
implements IterateExp

An implementation of the model object 'Iterate Exp'.

The following features are implemented:

• Owned Result

EMF generated code

Method Summary

Modifier and Type	Method and Description
<R> R	accept(Visitor<R> visitor) Accept a visit from a visitor and return the result of a call to the derived type-specific visitXXX in the visitor.
NotificationChain	basicSetOwnedResult(Variable newOwnedResult, NotificationChain msgs)
int	eDerivedOperationID(int baseOperationID, Class<?> baseClass)
Object	eGet(int featureID, boolean resolve, boolean coreType)
NotificationChain	eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
Object	eInvoke(int operationID, <any> arguments)
boolean	eIsSet(int featureID)
void	eSet(int featureID, Object newValue)
void	eUnset(int featureID)
Variable	getOwnedResult()
Element	getReferredElement()
void	setOwnedResult(Variable newOwnedResult)
boolean	validateBodyTypeConformsToResultType(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateOneInitializer(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSafeIteratorIsRequired(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSafeSourceCanBeNull(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateTypeIsResultType(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateUnsafeSourceCanNotBeNull(DiagnosticChain diagnostics, Map<Object,Object> context)

Methods inherited from class org.eclipse.ocl.pivot.internal.LoopExpImpl

basicGetReferredIteration, basicSetOwnedBody, getOwnedBody, getOwnedIterators, getReferredIteration, setOwnedBody, setReferredIteration, validateNoInitializers, validateSourceIsCollection

Methods inherited from class org.eclipse.ocl.pivot.internal.CallExpImpl

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

Methods inherited from class org.eclipse.ocl.pivot.internal.OCLExpressionImpl

getTypeValue, isNonNull, isNull, setTypeValue, validateTypeIsNotNull

Methods inherited from class org.eclipse.ocl.pivot.internal.TypedElementImpl

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

Methods inherited from class org.eclipse.ocl.pivot.internal.NamedElementImpl

getName, setName

Methods inherited from class org.eclipse.ocl.pivot.internal.ElementImpl

allOwnedElements, eInverseAdd, getAnnotatingComments, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from class org.eclipse.ocl.pivot.internal.utilities.PivotObjectImpl

getESObject, getETarget, getImage, getTarget, getText, setESObject, setTarget, unloaded

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

getOwnedBody, getOwnedIterators, getReferredIteration, setOwnedBody, setReferredIteration, validateNoInitializers, validateSourceIsCollection

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, isNonNull, isNull, setTypeValue, validateTypeIsNotNull

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

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

Methods inherited from interface org.eclipse.ocl.pivot.util.Visitable

eClass

Method Detail

getOwnedResult

public Variable getOwnedResult()

Specified by:

getOwnedResult in interface IterateExp

Returns:

the value of the 'Owned Result' containment reference.

See Also:

IterateExp.setOwnedResult(Variable), PivotPackage.getIterateExp_OwnedResult()

EMF generated code

basicSetOwnedResult

public NotificationChain basicSetOwnedResult(Variable newOwnedResult,
                                             NotificationChain msgs)

EMF generated code

setOwnedResult

public void setOwnedResult(Variable newOwnedResult)

Specified by:

setOwnedResult in interface IterateExp

Parameters:

newOwnedResult - the new value of the 'Owned Result' containment reference.

See Also:

IterateExp.getOwnedResult()

EMF generated code

eInverseRemove

public NotificationChain eInverseRemove(InternalEObject otherEnd,
                                        int featureID,
                                        NotificationChain msgs)

Overrides:

eInverseRemove in class LoopExpImpl

EMF generated code

eGet

public Object eGet(int featureID,
                   boolean resolve,
                   boolean coreType)

Overrides:

eGet in class LoopExpImpl

EMF generated code

eSet

public void eSet(int featureID,
                 Object newValue)

Overrides:

eSet in class LoopExpImpl

EMF generated code

eUnset

public void eUnset(int featureID)

Overrides:

eUnset in class LoopExpImpl

EMF generated code

eIsSet

public boolean eIsSet(int featureID)

Overrides:

eIsSet in class LoopExpImpl

EMF generated code

eDerivedOperationID

public int eDerivedOperationID(int baseOperationID,
                               Class<?> baseClass)

EMF generated code

eInvoke

public Object eInvoke(int operationID,
                      <any> arguments)
               throws InvocationTargetException

Overrides:

eInvoke in class LoopExpImpl

Throws:

InvocationTargetException

EMF generated code

accept

public <R> R accept(Visitor<R> visitor)

Description copied from interface: Element

Accept a visit from a visitor and return the result of a call to the derived type-specific visitXXX in the visitor.

Specified by:

accept in interface Element

Specified by:

accept in interface Visitable

Overrides:

accept in class LoopExpImpl

Returns:

the result of the visit.

getReferredElement

public Element getReferredElement()

Specified by:

getReferredElement in interface ReferringElement

EMF generated code

NOT

validateTypeIsResultType

public boolean validateTypeIsResultType(DiagnosticChain diagnostics,
                                        Map<Object,Object> context)

Specified by:

validateTypeIsResultType in interface IterateExp

EMF generated code

validateUnsafeSourceCanNotBeNull

public boolean validateUnsafeSourceCanNotBeNull(DiagnosticChain diagnostics,
                                                Map<Object,Object> context)

Specified by:

validateUnsafeSourceCanNotBeNull in interface IterateExp

EMF generated code

validateBodyTypeConformsToResultType

public boolean validateBodyTypeConformsToResultType(DiagnosticChain diagnostics,
                                                    Map<Object,Object> context)

Specified by:

validateBodyTypeConformsToResultType in interface IterateExp

EMF generated code

validateOneInitializer

public boolean validateOneInitializer(DiagnosticChain diagnostics,
                                      Map<Object,Object> context)

Specified by:

validateOneInitializer in interface IterateExp

EMF generated code

validateSafeIteratorIsRequired

public boolean validateSafeIteratorIsRequired(DiagnosticChain diagnostics,
                                              Map<Object,Object> context)

Specified by:

validateSafeIteratorIsRequired in interface IterateExp

EMF generated code

validateSafeSourceCanBeNull

public boolean validateSafeSourceCanBeNull(DiagnosticChain diagnostics,
                                           Map<Object,Object> context)

Specified by:

validateSafeSourceCanBeNull in interface IterateExp

EMF generated code