org.eclipse.ocl.expressions
Interface IteratorExp<C,PM>

All Superinterfaces:

ASTNode, CallExp<C>, CallingASTNode, org.eclipse.emf.ecore.EObject, LoopExp<C,PM>, org.eclipse.emf.common.notify.Notifier, OCLExpression<C>, TypedElement<C>, Visitable

All Known Subinterfaces:

IteratorExp, IteratorExp

All Known Implementing Classes:

IteratorExpImpl, IteratorExpImpl, IteratorExpImpl

public interface IteratorExp<C,PM>
extends LoopExp<C,PM>

A representation of the model object 'Iterator Exp'.

See Also:

ExpressionsPackage.getIteratorExp()

Generated

Model

Method Summary

boolean	checkBooleanBodyType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) name = 'exists' or name = 'forAll' or name = 'select' or name = 'reject' implies body.type.name = 'Boolean'
boolean	checkBooleanType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) name = 'exists' or name = 'forAll' or name = 'isUnique' implies type.oclIsKindOf(PrimitiveType) and type.name = 'Boolean'
boolean	checkCollectType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) name = 'collect' implies if source.type.oclIsKindOf(SequenceType) then type = expression.type.collectionType->select(oclIsTypeOf(SequenceType))->first() else type = expression.type.collectionType->select(oclIsTypeOf(BagType))->first() endif
boolean	checkSelectRejectType(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context) name = 'select' or name = 'reject' implies type = source.type

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

checkLoopVariableInit, checkLoopVariableType, checkSourceCollection, getBody, getIterator, setBody

Methods inherited from interface org.eclipse.ocl.expressions.CallExp

getSource, setSource

Methods inherited from interface org.eclipse.ocl.utilities.TypedElement

getName, getType, setName, setType

Methods inherited from interface org.eclipse.ocl.utilities.Visitable

accept

Methods inherited from interface org.eclipse.ocl.utilities.CallingASTNode

getPropertyEndPosition, getPropertyStartPosition, setPropertyEndPosition, setPropertyStartPosition

Methods inherited from interface org.eclipse.ocl.utilities.ASTNode

getEndPosition, getStartPosition, setEndPosition, setStartPosition

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

Method Detail

checkBooleanType

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

name = 'exists' or name = 'forAll' or name = 'isUnique' implies type.oclIsKindOf(PrimitiveType) and type.name = 'Boolean'

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated

Model

checkCollectType

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

name = 'collect' implies if source.type.oclIsKindOf(SequenceType) then type = expression.type.collectionType->select(oclIsTypeOf(SequenceType))->first() else type = expression.type.collectionType->select(oclIsTypeOf(BagType))->first() endif

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated

Model

checkSelectRejectType

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

name = 'select' or name = 'reject' implies type = source.type

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated

Model

checkBooleanBodyType

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

name = 'exists' or name = 'forAll' or name = 'select' or name = 'reject' implies body.type.name = 'Boolean'

Parameters:

diagnostics - The chain of diagnostics to which problems are to be appended.

context - The cache of context-specific information.

Generated

Model