org.eclipse.ocl.expressions
Interface IteratorExp<C,PM>
- All Superinterfaces:
- ASTNode, CallExp<C>, CallingASTNode, LoopExp<C,PM>, 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()
Method Summary |
boolean |
checkBooleanBodyType(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(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(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(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.utilities.Visitable |
accept |
checkBooleanType
boolean checkBooleanType(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.
checkCollectType
boolean checkCollectType(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.
checkSelectRejectType
boolean checkSelectRejectType(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.
checkBooleanBodyType
boolean checkBooleanBodyType(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.