public class OperationCallExpOperations extends OCLExpressionOperations
The following operations are supported:
Modifier | Constructor and Description |
---|---|
protected |
OperationCallExpOperations() |
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))
|
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)
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.
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)
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.