org.eclipse.ocl.expressions.operations
Class IterateExpOperations

java.lang.Object
  extended by org.eclipse.ocl.expressions.operations.OCLExpressionOperations
      extended by org.eclipse.ocl.expressions.operations.LoopExpOperations
          extended by org.eclipse.ocl.expressions.operations.IterateExpOperations

public class IterateExpOperations
extends LoopExpOperations

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

The following operations are supported:

Generated

Constructor Summary
protected IterateExpOperations()
           
 
Method Summary
static
<C,PM> boolean
checkBodyType(IterateExp<C,PM> iterateExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          body.type.conformsTo(result.type)
static
<C,PM> boolean
checkIterateType(IterateExp<C,PM> iterateExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          type = result.type
static
<C,PM> boolean
checkResultInit(IterateExp<C,PM> iterateExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          self.result.initExpression->size() = 1
 
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

IterateExpOperations

protected IterateExpOperations()

Generated
Method Detail

checkIterateType

public static <C,PM> boolean checkIterateType(IterateExp<C,PM> iterateExp,
                                              org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                              java.util.Map<java.lang.Object,java.lang.Object> context)
type = result.type

Parameters:
iterateExp - The receiving 'Iterate Exp' model object.
diagnostics - The chain of diagnostics to which problems are to be appended.
context - The cache of context-specific information.
Generated
NOT

checkBodyType

public static <C,PM> boolean checkBodyType(IterateExp<C,PM> iterateExp,
                                           org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                           java.util.Map<java.lang.Object,java.lang.Object> context)
body.type.conformsTo(result.type)

Parameters:
iterateExp - The receiving 'Iterate Exp' model object.
diagnostics - The chain of diagnostics to which problems are to be appended.
context - The cache of context-specific information.
Generated
NOT

checkResultInit

public static <C,PM> boolean checkResultInit(IterateExp<C,PM> iterateExp,
                                             org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                             java.util.Map<java.lang.Object,java.lang.Object> context)
self.result.initExpression->size() = 1

Parameters:
iterateExp - The receiving 'Iterate Exp' model object.
diagnostics - The chain of diagnostics to which problems are to be appended.
context - The cache of context-specific information.
Generated
NOT