|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.eclipse.ocl.expressions.operations.OCLExpressionOperations
org.eclipse.ocl.expressions.operations.LoopExpOperations
org.eclipse.ocl.expressions.operations.IteratorExpOperations
public class IteratorExpOperations
A static utility class that provides operations related to 'Iterator Exp' model objects.
The following operations are supported:
| Constructor Summary | |
|---|---|
protected |
IteratorExpOperations()
|
| Method Summary | ||
|---|---|---|
static
|
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
|
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
|
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
|
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 |
|---|
protected IteratorExpOperations()
| Method Detail |
|---|
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 2002, 2007 IBM Corporation and others. All Rights Reserved. |
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||