|
||||||||||
| 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
public class LoopExpOperations
A static utility class that provides operations related to 'Loop Exp' model objects.
The following operations are supported:
| Constructor Summary | |
|---|---|
protected |
LoopExpOperations()
|
| Method Summary | ||
|---|---|---|
static
|
checkLoopVariableInit(LoopExp<C,PM> loopExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
self.iterator->forAll(initExpression->isEmpty()) |
|
static
|
checkLoopVariableType(LoopExp<C,PM> loopExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
self.iterator->forAll(type = source.type.oclAsType(CollectionType).elementType) |
|
static
|
checkSourceCollection(LoopExp<C,PM> loopExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
source.type.oclIsKindOf(CollectionType) |
|
| 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 LoopExpOperations()
| Method Detail |
|---|
public static <C,PM> boolean checkSourceCollection(LoopExp<C,PM> loopExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
loopExp - The receiving 'Loop 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 checkLoopVariableInit(LoopExp<C,PM> loopExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
loopExp - The receiving 'Loop 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 checkLoopVariableType(LoopExp<C,PM> loopExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
loopExp - The receiving 'Loop 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 | |||||||||