public class OperationCallExpOperations extends OCLExpressionOperations
The following operations are supported:
Check Arguments Conform
Check Argument Count
Modifier and Type | Method and Description |
---|---|
static <C,O> boolean |
checkArgumentCount(OperationCallExp<C,O> operationCallExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
arguments->size() = refParams->size()
|
static <C,O> boolean |
checkArgumentsConform(OperationCallExp<C,O> operationCallExp,
DiagnosticChain diagnostics,
Map<Object,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, DiagnosticChain diagnostics, Map<Object,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, DiagnosticChain diagnostics, Map<Object,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.
Copyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.