public class IteratorExpOperations extends LoopExpOperations
The following operations are supported:
Modifier | Constructor and Description |
---|---|
protected |
IteratorExpOperations() |
Modifier and Type | Method and Description |
---|---|
static <C,PM> boolean |
checkBooleanBodyType(IteratorExp<C,PM> iteratorExp,
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'
|
static <C,PM> boolean |
checkBooleanType(IteratorExp<C,PM> iteratorExp,
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'
|
static <C,PM> boolean |
checkCollectType(IteratorExp<C,PM> iteratorExp,
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
|
static <C,PM> boolean |
checkSelectRejectType(IteratorExp<C,PM> iteratorExp,
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
|
checkLoopVariableInit, checkLoopVariableType, checkSourceCollection
public static <C,PM> boolean checkBooleanType(IteratorExp<C,PM> iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
iteratorExp
- The receiving 'Iterator Exp' model object.diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
public static <C,PM> boolean checkCollectType(IteratorExp<C,PM> iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
iteratorExp
- The receiving 'Iterator Exp' model object.diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
public static <C,PM> boolean checkSelectRejectType(IteratorExp<C,PM> iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
iteratorExp
- The receiving 'Iterator Exp' model object.diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
public static <C,PM> boolean checkBooleanBodyType(IteratorExp<C,PM> iteratorExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
iteratorExp
- The receiving 'Iterator Exp' model object.diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.