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:
- Generated
Method Summary |
static
|
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
|
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 java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
OperationCallExpOperations
protected OperationCallExpOperations()
-
- Generated
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