org.eclipse.ocl.types.operations

Class MessageTypeOperations

java.lang.Object

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:

• Get Name
• Ocl Operations
• Check Exclusive Signature
• Check Operation Parameters
• Check Signal Attributes
• Ocl Properties

Generated

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	MessageTypeOperations()

Method Summary

Modifier and Type	Method and Description
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

NOT

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

NOT

oclProperties

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

Generated

NOT