public class MessageExpOperations extends OCLExpressionOperations
The following operations are supported:
Modifier | Constructor and Description |
---|---|
protected |
MessageExpOperations() |
Modifier and Type | Method and Description |
---|---|
static <C,COA,SSA> |
checkHasOperationOrSignal(MessageExp<C,COA,SSA> messageExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
calledOperation->size() + sentSignal->size() = 1
|
static <C,COA,SSA> |
checkOperationArguments(MessageExp<C,COA,SSA> messageExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
calledOperation->notEmpty() implies
argument->forall (a | a.type.conformsTo
(self.calledOperation.operation.ownedParameter->
select( kind = ParameterDirectionKind::in )
->at (argument->indexOf (a)).type))
|
static <C,COA,SSA> |
checkSignalArguments(MessageExp<C,COA,SSA> messageExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
sentSignal->notEmpty() implies
argument->forall (a | a.type.conformsTo
(self.sentSignal.signal.ownedAttribute
->at (argument->indexOf (a)).type))
|
static <C,COA,SSA> |
checkTargetDefinesOperation(MessageExp<C,COA,SSA> messageExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
calledOperation->notEmpty() implies
target.type.allOperations()->includes(calledOperation.operation)
|
static <C,COA,SSA> |
checkTargetNotCollection(MessageExp<C,COA,SSA> messageExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
not target.type.oclIsKindOf(CollectionType)
|
public static <C,COA,SSA> boolean checkOperationArguments(MessageExp<C,COA,SSA> messageExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
messageExp
- The receiving 'Message 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,COA,SSA> boolean checkSignalArguments(MessageExp<C,COA,SSA> messageExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
messageExp
- The receiving 'Message 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,COA,SSA> boolean checkTargetDefinesOperation(MessageExp<C,COA,SSA> messageExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
messageExp
- The receiving 'Message 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,COA,SSA> boolean checkHasOperationOrSignal(MessageExp<C,COA,SSA> messageExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
messageExp
- The receiving 'Message 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,COA,SSA> boolean checkTargetNotCollection(MessageExp<C,COA,SSA> messageExp, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
messageExp
- The receiving 'Message Exp' model object.diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.