org.eclipse.ocl.pivot.internal

Class IteratorExpImpl

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.IteratorExpImpl

All Implemented Interfaces:

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'.

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.
int	eDerivedOperationID(int baseOperationID, Class<?> baseClass)
Object	eInvoke(int operationID, <any> arguments)
Element	getReferredElement()
boolean	validateAnyBodyTypeIsBoolean(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAnyHasOneIterator(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateAnyTypeIsSourceElementType(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateClosureBodyElementTypeIsIteratorType(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateClosureBodyTypeIsConformanttoIteratorType(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateClosureElementTypeIsSourceElementType(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateClosureHasOneIterator(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateClosureResultElementTypeIsIteratorType(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateClosureSourceElementTypeIsBodyElementType(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateClosureTypeIsUniqueCollection(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCollectElementTypeIsFlattenedBodyType(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateCollectTypeIsUnordered(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateIteratorTypeIsSourceElementType(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSafeIteratorIsRequired(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSafeSourceCanBeNull(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSortedByElementTypeIsSourceElementType(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSortedByIsOrderedIfSourceIsOrdered(DiagnosticChain diagnostics, Map<Object,Object> context)
boolean	validateSortedByIteratorTypeIsComparable(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, 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

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

validateClosureBodyTypeIsConformanttoIteratorType

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

Specified by:

validateClosureBodyTypeIsConformanttoIteratorType in interface IteratorExp

EMF generated code

NOT

validateSortedByIteratorTypeIsComparable

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

Specified by:

validateSortedByIteratorTypeIsComparable in interface IteratorExp

EMF generated code

NOT

validateUnsafeSourceCanNotBeNull

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

Specified by:

validateUnsafeSourceCanNotBeNull in interface IteratorExp

EMF generated code

validateAnyHasOneIterator

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

Specified by:

validateAnyHasOneIterator in interface IteratorExp

EMF generated code

validateAnyTypeIsSourceElementType

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

Specified by:

validateAnyTypeIsSourceElementType in interface IteratorExp

EMF generated code

validateClosureBodyElementTypeIsIteratorType

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

Specified by:

validateClosureBodyElementTypeIsIteratorType in interface IteratorExp

Since:

1.3

EMF generated code

validateAnyBodyTypeIsBoolean

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

Specified by:

validateAnyBodyTypeIsBoolean in interface IteratorExp

EMF generated code

validateClosureHasOneIterator

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

Specified by:

validateClosureHasOneIterator in interface IteratorExp

EMF generated code

validateClosureResultElementTypeIsIteratorType

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

Specified by:

validateClosureResultElementTypeIsIteratorType in interface IteratorExp

Since:

1.4

EMF generated code

validateClosureTypeIsUniqueCollection

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

Specified by:

validateClosureTypeIsUniqueCollection in interface IteratorExp

EMF generated code

validateCollectElementTypeIsFlattenedBodyType

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

Specified by:

validateCollectElementTypeIsFlattenedBodyType in interface IteratorExp

EMF generated code

validateClosureSourceElementTypeIsBodyElementType

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

Specified by:

validateClosureSourceElementTypeIsBodyElementType in interface IteratorExp

EMF generated code

validateClosureElementTypeIsSourceElementType

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

Specified by:

validateClosureElementTypeIsSourceElementType in interface IteratorExp

EMF generated code

validateCollectTypeIsUnordered

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

Specified by:

validateCollectTypeIsUnordered in interface IteratorExp

EMF generated code

validateSortedByIsOrderedIfSourceIsOrdered

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

Specified by:

validateSortedByIsOrderedIfSourceIsOrdered in interface IteratorExp

EMF generated code

validateSortedByElementTypeIsSourceElementType

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

Specified by:

validateSortedByElementTypeIsSourceElementType in interface IteratorExp

EMF generated code

validateIteratorTypeIsSourceElementType

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

Specified by:

validateIteratorTypeIsSourceElementType in interface IteratorExp

EMF generated code

validateSafeIteratorIsRequired

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

Specified by:

validateSafeIteratorIsRequired in interface IteratorExp

EMF generated code

validateSafeSourceCanBeNull

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

Specified by:

validateSafeSourceCanBeNull in interface IteratorExp

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

eDerivedOperationID

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

EMF generated code