org.eclipse.ocl.expressions

Interface IteratorExp<C,PM>

All Superinterfaces:

ASTNode, CallExp<C>, CallingASTNode, LoopExp<C,PM>, OCLExpression<C>, TypedElement<C>, Visitable

All Known Implementing Classes:

IteratorExpImpl

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

A representation of the model object 'Iterator Exp'.

See Also:

ExpressionsPackage.getIteratorExp()

Method Summary

Modifier and Type	Method and Description
boolean	checkBooleanBodyType(DiagnosticChain diagnostics, Map<Object,Object> context) name = 'exists' or name = 'forAll' or name = 'select' or name = 'reject' implies body.type.name = 'Boolean'
boolean	checkBooleanType(DiagnosticChain diagnostics, Map<Object,Object> context) name = 'exists' or name = 'forAll' or name = 'isUnique' implies type.oclIsKindOf(PrimitiveType) and type.name = 'Boolean'
boolean	checkCollectType(DiagnosticChain diagnostics, Map<Object,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(DiagnosticChain diagnostics, Map<Object,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

Method Detail

checkBooleanType

boolean checkBooleanType(DiagnosticChain diagnostics,
                         Map<Object,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.

checkCollectType

boolean checkCollectType(DiagnosticChain diagnostics,
                         Map<Object,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.

checkSelectRejectType

boolean checkSelectRejectType(DiagnosticChain diagnostics,
                              Map<Object,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.

checkBooleanBodyType

boolean checkBooleanBodyType(DiagnosticChain diagnostics,
                             Map<Object,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.