org.eclipse.ocl.expressions.operations
Class LoopExpOperations

java.lang.Object
  extended by org.eclipse.ocl.expressions.operations.OCLExpressionOperations
      extended by org.eclipse.ocl.expressions.operations.LoopExpOperations
Direct Known Subclasses:
IterateExpOperations, IteratorExpOperations

public class LoopExpOperations
extends OCLExpressionOperations

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

The following operations are supported:

Generated

Constructor Summary
protected LoopExpOperations()
           
 
Method Summary
static
<C,PM> boolean
checkLoopVariableInit(LoopExp<C,PM> loopExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          self.iterator->forAll(initExpression->isEmpty())
static
<C,PM> boolean
checkLoopVariableType(LoopExp<C,PM> loopExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          self.iterator->forAll(type = source.type.oclAsType(CollectionType).elementType)
static
<C,PM> boolean
checkSourceCollection(LoopExp<C,PM> loopExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.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

LoopExpOperations

protected LoopExpOperations()

Generated
Method Detail

checkSourceCollection

public static <C,PM> boolean checkSourceCollection(LoopExp<C,PM> loopExp,
                                                   org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                   java.util.Map<java.lang.Object,java.lang.Object> context)
source.type.oclIsKindOf(CollectionType)

Parameters:
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.
Generated
NOT

checkLoopVariableInit

public static <C,PM> boolean checkLoopVariableInit(LoopExp<C,PM> loopExp,
                                                   org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                   java.util.Map<java.lang.Object,java.lang.Object> context)
self.iterator->forAll(initExpression->isEmpty())

Parameters:
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.
Generated
NOT

checkLoopVariableType

public static <C,PM> boolean checkLoopVariableType(LoopExp<C,PM> loopExp,
                                                   org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                   java.util.Map<java.lang.Object,java.lang.Object> context)
self.iterator->forAll(type = source.type.oclAsType(CollectionType).elementType)

Parameters:
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.
Generated
NOT