public class MessageTypeOperations
extends java.lang.Object
The following operations are supported:
Modifier | Constructor and Description |
---|---|
protected |
MessageTypeOperations() |
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) |
public static <C,O,P> java.lang.String getName(MessageType<C,O,P> messageType)
public static <C,O,P> org.eclipse.emf.common.util.EList<O> oclOperations(MessageType<C,O,P> messageType)
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)
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.
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)
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.
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)
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.
public static <C,O,P> org.eclipse.emf.common.util.EList<P> oclProperties(MessageType<C,O,P> messageType)