org.eclipse.ocl.expressions.operations

Class IteratorExpOperations

java.lang.Object

org.eclipse.ocl.expressions.operations.OCLExpressionOperations

org.eclipse.ocl.expressions.operations.LoopExpOperations

org.eclipse.ocl.expressions.operations.IteratorExpOperations

public class IteratorExpOperations
extends LoopExpOperations

A static utility class that provides operations related to 'Iterator Exp' model objects.

The following operations are supported:

• Check Boolean Type
• Check Collect Type
• Check Select Reject Type
• Check Boolean Body Type

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	IteratorExpOperations()

Method Summary

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

Methods inherited from class org.eclipse.ocl.expressions.operations.LoopExpOperations

checkLoopVariableInit, checkLoopVariableType, checkSourceCollection

Methods inherited from class org.eclipse.ocl.expressions.operations.OCLExpressionOperations

accept, getName, getType, setName, setType

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IteratorExpOperations

protected IteratorExpOperations()

Method Detail

checkBooleanType

public 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'

Parameters:

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.

checkCollectType

public 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

Parameters:

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.

checkSelectRejectType

public static <C,PM> boolean checkSelectRejectType(IteratorExp<C,PM> iteratorExp,
                                                   DiagnosticChain diagnostics,
                                                   Map<Object,Object> context)

name = 'select' or name = 'reject' implies type = source.type

Parameters:

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.

checkBooleanBodyType

public 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'

Parameters:

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.