org.eclipse.ocl.pivot.internal

Class IteratorExpImpl

java.lang.Object

org.eclipse.emf.common.notify.impl.BasicNotifierImpl

org.eclipse.emf.ecore.impl.BasicEObjectImpl

org.eclipse.emf.ecore.impl.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.IteratorExpImpl

All Implemented Interfaces:

org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EObject, org.eclipse.emf.ecore.InternalEObject, CallExp, Element, IteratorExp, LoopExp, NamedElement, OCLExpression, ReferringElement, TypedElement, Visitable, Labelable, Nameable, PivotObject

public class IteratorExpImpl
extends LoopExpImpl
implements IteratorExp

An implementation of the model object 'Iterator Exp'.

Generated

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolder, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderBaseImpl, org.eclipse.emf.ecore.impl.BasicEObjectImpl.EPropertiesHolderImpl

Nested classes/interfaces inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl

org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EAdapterList<E extends java.lang.Object & org.eclipse.emf.common.notify.Adapter>, org.eclipse.emf.common.notify.impl.BasicNotifierImpl.EObservableAdapterList

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.InternalEObject

org.eclipse.emf.ecore.InternalEObject.EStore

Field Summary

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

ownedBody, ownedIterators, referredIteration

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

IS_IMPLICIT_EDEFAULT, IS_IMPLICIT_EFLAG, IS_SAFE_EDEFAULT, IS_SAFE_EFLAG, ownedSource

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

typeValue

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

IS_MANY_EDEFAULT, IS_REQUIRED_EDEFAULT, IS_REQUIRED_EFLAG, type

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

name, NAME_EDEFAULT

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

annotatingComments, ownedAnnotations, ownedComments, ownedExtensions

Fields inherited from class org.eclipse.emf.ecore.impl.EObjectImpl

eAdapters, eContainer, eContainerFeatureID, EDELIVER, EDYNAMIC_CLASS, eFlags, ELAST_EOBJECT_FLAG, ELAST_NOTIFIER_FLAG, eProperties, EPROXY

Fields inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

EVIRTUAL_GET, EVIRTUAL_IS_SET, EVIRTUAL_NO_VALUE, EVIRTUAL_SET, EVIRTUAL_UNSET

Fields inherited from interface org.eclipse.emf.ecore.InternalEObject

EOPPOSITE_FEATURE_BASE

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	IteratorExpImpl()

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.
int	eDerivedOperationID(int baseOperationID, java.lang.Class<?> baseClass)
java.lang.Object	eInvoke(int operationID, org.eclipse.emf.common.util.EList<?> arguments)
protected org.eclipse.emf.ecore.EClass	eStaticClass()
Element	getReferredElement()
boolean	validateAnyBodyTypeIsBoolean(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateAnyHasOneIterator(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateAnyTypeIsSourceElementType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateClosureBodyElementTypeIsIteratorType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateClosureBodyTypeIsConformanttoIteratorType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateClosureElementTypeIsSourceElementType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateClosureHasOneIterator(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateClosureSourceElementTypeIsBodyElementType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateClosureTypeIsUniqueCollection(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateCollectElementTypeIsFlattenedBodyType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateCollectTypeIsUnordered(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateIteratorTypeIsSourceElementType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateSafeIteratorIsRequired(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateSafeSourceCanBeNull(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateSortedByElementTypeIsSourceElementType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateSortedByIsOrderedIfSourceIsOrdered(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateSortedByIteratorTypeIsComparable(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateUnsafeSourceCanNotBeNull(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)

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

basicGetReferredIteration, basicSetOwnedBody, eGet, eInverseRemove, eIsSet, eSet, eUnset, 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

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

Methods inherited from class org.eclipse.emf.ecore.impl.EObjectImpl

eAdapters, eBasicAdapters, eBasicProperties, eClass, eContainerFeatureID, eDeliver, eInternalContainer, eIsProxy, eProperties, eSetClass, eSetDeliver, eSetProxyURI

Methods inherited from class org.eclipse.emf.ecore.impl.BasicEObjectImpl

eAddVirtualValue, eAllContents, eBaseStructuralFeatureID, eBasicRemoveFromContainer, eBasicRemoveFromContainerFeature, eBasicSetContainer, eComputeVirtualValuesCapacity, eContainer, eContainerAdapterArray, eContainingFeature, eContainmentFeature, eContainmentFeature, eContains, eContents, eCrossReferences, eDerivedOperationID, eDerivedStructuralFeatureID, eDerivedStructuralFeatureID, eDirectResource, eDynamicBasicRemoveFromContainer, eDynamicClass, eDynamicFeature, eDynamicFeatureID, eDynamicGet, eDynamicGet, eDynamicGet, eDynamicInverseAdd, eDynamicInverseAdd, eDynamicInverseRemove, eDynamicInverseRemove, eDynamicInvoke, eDynamicInvoke, eDynamicIsSet, eDynamicIsSet, eDynamicIsSet, eDynamicSet, eDynamicSet, eDynamicSet, eDynamicUnset, eDynamicUnset, eDynamicUnset, eGet, eGet, eGet, eHasSettings, eInternalResource, eInverseAdd, eInverseRemove, eInvocationDelegate, eInvoke, eIsSet, eObjectForURIFragmentSegment, eOpenGet, eOpenIsSet, eOpenSet, eOpenUnset, eProxyURI, eRemoveVirtualValue, eResolveProxy, eResource, eSet, eSetDirectResource, eSetResource, eSetStore, eSetting, eSettingDelegate, eSettings, eSetVirtualIndexBits, eSetVirtualValue, eSetVirtualValues, eStaticFeatureCount, eStaticOperationCount, eStore, eUnset, eURIFragmentSegment, eVirtualBitCount, eVirtualGet, eVirtualGet, eVirtualIndex, eVirtualIndexBits, eVirtualIsSet, eVirtualSet, eVirtualUnset, eVirtualValue, eVirtualValues

Methods inherited from class org.eclipse.emf.common.notify.impl.BasicNotifierImpl

eBasicAdapterArray, eBasicHasAdapters, eNotificationRequired, eNotify

Methods inherited from class java.lang.Object

clone, equals, finalize, 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.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

Methods inherited from interface org.eclipse.emf.ecore.InternalEObject

eNotificationRequired

Constructor Detail

IteratorExpImpl

protected IteratorExpImpl()

Generated

Method Detail

eStaticClass

protected org.eclipse.emf.ecore.EClass eStaticClass()

Overrides:

eStaticClass in class LoopExpImpl

Generated

validateClosureBodyTypeIsConformanttoIteratorType

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

Specified by:

validateClosureBodyTypeIsConformanttoIteratorType in interface IteratorExp

Generated

NOT

validateSortedByIteratorTypeIsComparable

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

Specified by:

validateSortedByIteratorTypeIsComparable in interface IteratorExp

Generated

NOT

validateUnsafeSourceCanNotBeNull

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

Specified by:

validateUnsafeSourceCanNotBeNull in interface IteratorExp

Generated

validateAnyHasOneIterator

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

Specified by:

validateAnyHasOneIterator in interface IteratorExp

Generated

validateAnyTypeIsSourceElementType

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

Specified by:

validateAnyTypeIsSourceElementType in interface IteratorExp

Generated

validateClosureBodyElementTypeIsIteratorType

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

Specified by:

validateClosureBodyElementTypeIsIteratorType in interface IteratorExp

Since:

1.3

Generated

validateAnyBodyTypeIsBoolean

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

Specified by:

validateAnyBodyTypeIsBoolean in interface IteratorExp

Generated

validateClosureHasOneIterator

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

Specified by:

validateClosureHasOneIterator in interface IteratorExp

Generated

validateClosureTypeIsUniqueCollection

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

Specified by:

validateClosureTypeIsUniqueCollection in interface IteratorExp

Generated

validateCollectElementTypeIsFlattenedBodyType

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

Specified by:

validateCollectElementTypeIsFlattenedBodyType in interface IteratorExp

Generated

validateClosureSourceElementTypeIsBodyElementType

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

Specified by:

validateClosureSourceElementTypeIsBodyElementType in interface IteratorExp

Generated

validateClosureElementTypeIsSourceElementType

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

Specified by:

validateClosureElementTypeIsSourceElementType in interface IteratorExp

Generated

validateCollectTypeIsUnordered

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

Specified by:

validateCollectTypeIsUnordered in interface IteratorExp

Generated

validateSortedByIsOrderedIfSourceIsOrdered

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

Specified by:

validateSortedByIsOrderedIfSourceIsOrdered in interface IteratorExp

Generated

validateSortedByElementTypeIsSourceElementType

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

Specified by:

validateSortedByElementTypeIsSourceElementType in interface IteratorExp

Generated

validateIteratorTypeIsSourceElementType

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

Specified by:

validateIteratorTypeIsSourceElementType in interface IteratorExp

Generated

validateSafeIteratorIsRequired

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

Specified by:

validateSafeIteratorIsRequired in interface IteratorExp

Generated

validateSafeSourceCanBeNull

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

Specified by:

validateSafeSourceCanBeNull in interface IteratorExp

Generated

eInvoke

public java.lang.Object eInvoke(int operationID,
                                org.eclipse.emf.common.util.EList<?> arguments)
                         throws java.lang.reflect.InvocationTargetException

Specified by:

eInvoke in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eInvoke in class LoopExpImpl

Throws:

java.lang.reflect.InvocationTargetException

Generated

accept

public <R> R accept(@NonNull
                    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

Generated

NOT

eDerivedOperationID

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

Specified by:

eDerivedOperationID in interface org.eclipse.emf.ecore.InternalEObject

Overrides:

eDerivedOperationID in class org.eclipse.emf.ecore.impl.BasicEObjectImpl

Generated