public class LoopExpOperations extends OCLExpressionOperations
The following operations are supported:
Check Source Collection
Check Loop Variable Init
Check Loop Variable Type
Modifier and Type | Method and Description |
---|---|
static <C,PM> boolean |
checkLoopVariableInit(LoopExp<C,PM> loopExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
self.iterator->forAll(initExpression->isEmpty())
|
static <C,PM> boolean |
checkLoopVariableType(LoopExp<C,PM> loopExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
self.iterator->forAll(type = source.type.oclAsType(CollectionType).elementType)
|
static <C,PM> boolean |
checkSourceCollection(LoopExp<C,PM> loopExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
source.type.oclIsKindOf(CollectionType)
|
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 © 2005, 2018 IBM Corporation and others. All Rights Reserved.