public class MessageExpOperations extends OCLExpressionOperations
The following operations are supported:
Check Operation Arguments
Check Signal Arguments
Check Target Defines Operation
Check Has Operation Or Signal
Check Target Not Collection
Modifier and Type | Method and Description |
---|---|
static <C,COA,SSA> |
checkHasOperationOrSignal(MessageExp<C,COA,SSA> messageExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
calledOperation->size() + sentSignal->size() = 1
|
static <C,COA,SSA> |
checkOperationArguments(MessageExp<C,COA,SSA> messageExp,
DiagnosticChain diagnostics,
Map<Object,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,
DiagnosticChain diagnostics,
Map<Object,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,
DiagnosticChain diagnostics,
Map<Object,Object> context)
calledOperation->notEmpty() implies
target.type.allOperations()->includes(calledOperation.operation)
|
static <C,COA,SSA> |
checkTargetNotCollection(MessageExp<C,COA,SSA> messageExp,
DiagnosticChain diagnostics,
Map<Object,Object> context)
not target.type.oclIsKindOf(CollectionType)
|
public static <C,COA,SSA> boolean checkOperationArguments(MessageExp<C,COA,SSA> messageExp, DiagnosticChain diagnostics, Map<Object,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, DiagnosticChain diagnostics, Map<Object,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, DiagnosticChain diagnostics, Map<Object,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, DiagnosticChain diagnostics, Map<Object,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, DiagnosticChain diagnostics, Map<Object,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.
Copyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.