org.eclipse.ocl.expressions.operations
Class IterateExpOperations

java.lang.Object
  org.eclipse.ocl.expressions.operations.OCLExpressionOperations
      org.eclipse.ocl.expressions.operations.LoopExpOperations
          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:

• Check Iterate Type
• Check Body Type
• Check Result Init

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