public class IteratorExpOperations extends LoopExpOperations
The following operations are supported:
Check Boolean Type
Check Collect Type
Check Select Reject Type
Check Boolean Body Type
Modifier and Type | Method and Description |
---|---|
static <C,PM> boolean |
checkBooleanBodyType(IteratorExp<C,PM> iteratorExp,
DiagnosticChain diagnostics,
Map<Object,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,
DiagnosticChain diagnostics,
Map<Object,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,
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
|
static <C,PM> boolean |
checkSelectRejectType(IteratorExp<C,PM> iteratorExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
name = 'select' or name = 'reject' implies type = source.type
|
checkLoopVariableInit, checkLoopVariableType, checkSourceCollection
public static <C,PM> boolean checkBooleanType(IteratorExp<C,PM> iteratorExp, DiagnosticChain diagnostics, Map<Object,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, DiagnosticChain diagnostics, Map<Object,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, DiagnosticChain diagnostics, Map<Object,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, DiagnosticChain diagnostics, Map<Object,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.
Copyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.