|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.eclipse.ocl.types.operations.MessageTypeOperations
public class MessageTypeOperations
A static utility class that provides operations related to 'Message Type' model objects.
The following operations are supported:
| Constructor Summary | |
|---|---|
protected |
MessageTypeOperations()
|
| Method Summary | ||
|---|---|---|
static
|
checkExclusiveSignature(MessageType<C,O,P> messageType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
referredOperation->size() + referredSignal->size() = 1 |
|
static
|
checkOperationParameters(MessageType<C,O,P> messageType,
DiagnosticChain diagnostics,
Map<Object,Object> context)
referredOperation->size()=1 implies Set{1..self.ownedAttribute->size()}->forAll(i | self.ownedAttribute.at(i).cmpSlots( referredOperation.ownedParameter.asProperty()->at(i)) |
|
static
|
checkSignalAttributes(MessageType<C,O,P> messageType,
DiagnosticChain diagnostics,
Map<Object,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
|
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 |
|---|
protected MessageTypeOperations()
| Method Detail |
|---|
public static <C,O,P> boolean checkExclusiveSignature(MessageType<C,O,P> messageType,
DiagnosticChain diagnostics,
Map<Object,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,
DiagnosticChain diagnostics,
Map<Object,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,
DiagnosticChain diagnostics,
Map<Object,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> EList<P> oclProperties(MessageType<C,O,P> messageType)
|
Copyright 2002, 2007 IBM Corporation and others. All Rights Reserved. |
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||