org.eclipse.ocl.expressions.operations
Class OperationCallExpOperations

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

public class OperationCallExpOperations
extends OCLExpressionOperations

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

The following operations are supported:

Generated

Constructor Summary
protected OperationCallExpOperations()
           
 
Method Summary
static
<C,O> boolean
checkArgumentCount(OperationCallExp<C,O> operationCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          arguments->size() = refParams->size()
static
<C,O> boolean
checkArgumentsConform(OperationCallExp<C,O> operationCallExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          arguments->forall (a | a.type.conformsTo (self.refParams->at (arguments->indexOf (a)).type))
 
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

OperationCallExpOperations

protected OperationCallExpOperations()

Generated
Method Detail

checkArgumentsConform

public static <C,O> boolean checkArgumentsConform(OperationCallExp<C,O> operationCallExp,
                                                  org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                  java.util.Map<java.lang.Object,java.lang.Object> context)
arguments->forall (a | a.type.conformsTo (self.refParams->at (arguments->indexOf (a)).type))

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

checkArgumentCount

public static <C,O> boolean checkArgumentCount(OperationCallExp<C,O> operationCallExp,
                                               org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                               java.util.Map<java.lang.Object,java.lang.Object> context)
arguments->size() = refParams->size()

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