org.eclipse.ocl.types.operations
Class MessageTypeOperations

java.lang.Object
  extended by org.eclipse.ocl.types.operations.MessageTypeOperations

public class MessageTypeOperations
extends java.lang.Object

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

The following operations are supported:

Generated

Constructor Summary
protected MessageTypeOperations()
           
 
Method Summary
static
<C,O,P> boolean
checkExclusiveSignature(MessageType<C,O,P> messageType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          referredOperation->size() + referredSignal->size() = 1
static
<C,O,P> boolean
checkOperationParameters(MessageType<C,O,P> messageType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          referredOperation->size()=1 implies Set{1..self.ownedAttribute->size()}->forAll(i | self.ownedAttribute.at(i).cmpSlots( referredOperation.ownedParameter.asProperty()->at(i))
static
<C,O,P> boolean
checkSignalAttributes(MessageType<C,O,P> messageType, org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
          referredSignal->size() = 1 implies Set{1..self.ownedAttribute->size()}->forAll(i | self.ownedAttribute.asOrderedSet().at(i).cmpSlots( referredSignal.ownedAttribute.asOrderedSet()->at(i))
static
<C,O,P> java.lang.String
getName(MessageType<C,O,P> messageType)
           
static
<C,O,P> org.eclipse.emf.common.util.EList<O>
oclOperations(MessageType<C,O,P> messageType)
           
static
<C,O,P> org.eclipse.emf.common.util.EList<P>
oclProperties(MessageType<C,O,P> messageType)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MessageTypeOperations

protected MessageTypeOperations()

Generated
Method Detail

getName

public static <C,O,P> java.lang.String getName(MessageType<C,O,P> messageType)

Since:
1.3
Generated
NOT

oclOperations

public static <C,O,P> org.eclipse.emf.common.util.EList<O> oclOperations(MessageType<C,O,P> messageType)

Since:
1.3
Generated
NOT

checkExclusiveSignature

public static <C,O,P> boolean checkExclusiveSignature(MessageType<C,O,P> messageType,
                                                      org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                      java.util.Map<java.lang.Object,java.lang.Object> context)
referredOperation->size() + referredSignal->size() = 1

Parameters:
messageType - The receiving 'Message Type' model object.
diagnostics - The chain of diagnostics to which problems are to be appended.
context - The cache of context-specific information.
Generated
NOT

checkOperationParameters

public static <C,O,P> boolean checkOperationParameters(MessageType<C,O,P> messageType,
                                                       org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                       java.util.Map<java.lang.Object,java.lang.Object> context)
referredOperation->size()=1 implies Set{1..self.ownedAttribute->size()}->forAll(i | self.ownedAttribute.at(i).cmpSlots( referredOperation.ownedParameter.asProperty()->at(i))

Parameters:
messageType - The receiving 'Message Type' model object.
diagnostics - The chain of diagnostics to which problems are to be appended.
context - The cache of context-specific information.
Generated

checkSignalAttributes

public static <C,O,P> boolean checkSignalAttributes(MessageType<C,O,P> messageType,
                                                    org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                    java.util.Map<java.lang.Object,java.lang.Object> context)
referredSignal->size() = 1 implies Set{1..self.ownedAttribute->size()}->forAll(i | self.ownedAttribute.asOrderedSet().at(i).cmpSlots( referredSignal.ownedAttribute.asOrderedSet()->at(i))

Parameters:
messageType - The receiving 'Message Type' model object.
diagnostics - The chain of diagnostics to which problems are to be appended.
context - The cache of context-specific information.
Generated

oclProperties

public static <C,O,P> org.eclipse.emf.common.util.EList<P> oclProperties(MessageType<C,O,P> messageType)

Generated
NOT