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.utilities.Visitable |
accept |
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 |
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