org.eclipse.ocl.pivot

Interface IteratorExp

All Superinterfaces:

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

All Known Implementing Classes:

IteratorExpImpl

public interface IteratorExp
extends LoopExp, ReferringElement

A representation of the model object 'Iterator Exp'.

See Also:

PivotPackage.getIteratorExp()

Generated

Method Summary

Modifier and Type	Method and Description
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	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 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, setTypeValue

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

accept, 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.ocl.pivot.ReferringElement

getReferredElement

Method Detail

validateClosureBodyTypeIsConformanttoIteratorType

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

Generated

validateSortedByIteratorTypeIsComparable

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

Generated

validateUnsafeSourceCanNotBeNull

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

Generated

validateAnyHasOneIterator

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

Generated

validateAnyTypeIsSourceElementType

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

Generated

validateAnyBodyTypeIsBoolean

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

Generated

validateClosureHasOneIterator

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

Generated

validateClosureTypeIsUniqueCollection

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

Generated

validateCollectElementTypeIsFlattenedBodyType

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

Generated

validateClosureSourceElementTypeIsBodyElementType

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

Generated

validateClosureElementTypeIsSourceElementType

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

Generated

validateCollectTypeIsUnordered

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

Generated

validateSortedByIsOrderedIfSourceIsOrdered

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

Generated

validateSortedByElementTypeIsSourceElementType

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

Generated

validateIteratorTypeIsSourceElementType

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

Generated

validateSafeIteratorIsRequired

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

Generated

validateSafeSourceCanBeNull

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

Generated