org.eclipse.ocl.expressions.operations

Class OperationCallExpOperations

java.lang.Object

org.eclipse.ocl.expressions.operations.OCLExpressionOperations

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:

• Check Arguments Conform
• Check Argument Count

Generated

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	OperationCallExpOperations()

Method Summary

Modifier and Type	Method and Description
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