org.eclipse.ocl.expressions.operations
Class MessageExpOperations

java.lang.Object
  extended by org.eclipse.ocl.expressions.operations.OCLExpressionOperations
      extended by org.eclipse.ocl.expressions.operations.MessageExpOperations

public class MessageExpOperations
extends OCLExpressionOperations

A static utility class that provides operations related to 'Message Exp' model objects.

The following operations are supported:

Generated

Constructor Summary
protected MessageExpOperations()
           
 
Method Summary
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)
          calledOperation->size() + sentSignal->size() = 1
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)
          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>
boolean
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>
boolean
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>
boolean
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)
 
Methods inherited from class org.eclipse.ocl.expressions.operations.OCLExpressionOperations
accept, getName, getType, setName, setType
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MessageExpOperations

protected MessageExpOperations()

Generated
Method Detail

checkOperationArguments

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)
calledOperation->notEmpty() implies argument->forall (a | a.type.conformsTo (self.calledOperation.operation.ownedParameter-> select( kind = ParameterDirectionKind::in ) ->at (argument->indexOf (a)).type))

Parameters:
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.
Generated
NOT

checkSignalArguments

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)
sentSignal->notEmpty() implies argument->forall (a | a.type.conformsTo (self.sentSignal.signal.ownedAttribute ->at (argument->indexOf (a)).type))

Parameters:
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.
Generated
NOT

checkTargetDefinesOperation

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)
calledOperation->notEmpty() implies target.type.allOperations()->includes(calledOperation.operation)

Parameters:
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.
Generated
NOT

checkHasOperationOrSignal

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)
calledOperation->size() + sentSignal->size() = 1

Parameters:
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.
Generated
NOT

checkTargetNotCollection

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)
not target.type.oclIsKindOf(CollectionType)

Parameters:
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.
Generated
NOT