org.eclipse.ocl.examples.pivot
Interface IteratorExp

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:

IteratorExpImpl

public interface IteratorExp
extends LoopExp, ReferringElement

A representation of the model object 'Iterator Exp'.

See Also:

PivotPackage.getIteratorExp()

Generated

Method Summary

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	validateCollectElementTypeIsSourceElementType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateCollectHasOneIterator(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateCollectNestedHasOneIterator(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateCollectNestedTypeIsBag(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateCollectNestedTypeIsBodyType(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	validateExistsBodyTypeIsBoolean(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateExistsTypeIsBoolean(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateForAllBodyTypeIsBoolean(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateForAllTypeIsBoolean(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateIsUniqueHasOneIterator(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateIsUniqueTypeIsBoolean(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	validateOneBodyTypeIsBoolean(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateOneHasOneIterator(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateOneTypeIsBoolean(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateRejectOrSelectHasOneIterator(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateRejectOrSelectTypeIsBoolean(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
boolean	validateRejectOrSelectTypeIsSourceType(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	validateSortedByHasOneIterator(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)

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

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

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

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

validateCollectHasOneIterator

boolean validateCollectHasOneIterator(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

validateCollectElementTypeIsSourceElementType

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

Generated

validateCollectNestedHasOneIterator

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

Generated

validateCollectNestedTypeIsBag

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

Generated

validateCollectNestedTypeIsBodyType

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

Generated

validateExistsTypeIsBoolean

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

Generated

validateExistsBodyTypeIsBoolean

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

Generated

validateForAllTypeIsBoolean

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

Generated

validateForAllBodyTypeIsBoolean

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

Generated

validateIsUniqueHasOneIterator

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

Generated

validateIsUniqueTypeIsBoolean

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

Generated

validateOneHasOneIterator

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

Generated

validateOneTypeIsBoolean

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

Generated

validateOneBodyTypeIsBoolean

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

Generated

validateRejectOrSelectHasOneIterator

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

Generated

validateRejectOrSelectTypeIsSourceType

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

Generated

validateRejectOrSelectTypeIsBoolean

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

Generated

validateSortedByHasOneIterator

boolean validateSortedByHasOneIterator(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