Uses of Interface
org.eclipse.ocl.types.MessageType

Packages that use MessageType

Package	Description
org.eclipse.ocl	Definition of the extensible environment API for OCL parsing and evaluation.
org.eclipse.ocl.parser
org.eclipse.ocl.types	Specification of the Types package of the Object Constraint Lanuage version 2.0 Abstract Syntax model.
org.eclipse.ocl.types.impl	Implementation of the Types package of the Object Constraint Lanuage version 2.0 Abstract Syntax model.
org.eclipse.ocl.types.operations
org.eclipse.ocl.types.util	Generated utilities for working with instances the Types model.
org.eclipse.ocl.utilities	Abstract API for OCL AST utilities and extensions of the UML metamodel.

Uses of MessageType in org.eclipse.ocl

Methods in org.eclipse.ocl that return MessageType

Modifier and Type	Method and Description
protected MessageType<C,O,P>	AbstractTypeResolver.createOperationMessageType(O operation) Creates a new message type for the specified element, assuming that it does not already exist.
protected MessageType<C,O,P>	AbstractTypeResolver.createSignalMessageType(C signal) Creates a new message type for the specified element, assuming that it does not already exist.
protected MessageType<C,O,P>	AbstractTypeResolver.findMessageType(Object element) Finds an existing message type matching the specified element, if any has already been created.
MessageType<C,O,P>	AbstractTypeResolver.resolveOperationMessageType(O operation)
MessageType<C,O,P>	TypeResolver.resolveOperationMessageType(O operation) Resolves the type for a message expression referencing the specified operation.
MessageType<C,O,P>	AbstractTypeResolver.resolveSignalMessageType(C signal)
MessageType<C,O,P>	TypeResolver.resolveSignalMessageType(C signal) Resolves the type for a message expression referencing the specified signal.

Uses of MessageType in org.eclipse.ocl.parser

Methods in org.eclipse.ocl.parser that return MessageType

Modifier and Type	Method and Description
<C,O,P> MessageType<C,O,P>	OCLFactoryWithHistory.createOperationMessageType(O operation)
<C,O,P> MessageType<C,O,P>	OCLFactoryWithHistory.createSignalMessageType(C signal)

Uses of MessageType in org.eclipse.ocl.types

Methods in org.eclipse.ocl.types that return MessageType

Modifier and Type	Method and Description
<C,O,P> MessageType<C,O,P>	TypesFactory.createMessageType() Returns a new object of class 'Message Type'.

Uses of MessageType in org.eclipse.ocl.types.impl

Classes in org.eclipse.ocl.types.impl that implement MessageType

Modifier and Type	Class and Description
class	MessageTypeImpl<C,O,P> An implementation of the model object 'Message Type'.

Methods in org.eclipse.ocl.types.impl that return MessageType

Modifier and Type	Method and Description
<C,O,P> MessageType<C,O,P>	TypesFactoryImpl.createMessageType()
<C,O,P> MessageType<C,O,P>	TypesFactoryImpl.createOperationMessageType(O operation)
<C,O,P> MessageType<C,O,P>	TypesFactoryImpl.createSignalMessageType(C signal)

Uses of MessageType in org.eclipse.ocl.types.operations

Methods in org.eclipse.ocl.types.operations with parameters of type MessageType

Modifier and Type	Method and Description
static <C,O,P> boolean	MessageTypeOperations.checkExclusiveSignature(MessageType<C,O,P> messageType, DiagnosticChain diagnostics, Map<Object,Object> context) referredOperation->size() + referredSignal->size() = 1
static <C,O,P> boolean	MessageTypeOperations.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 <C,O,P> boolean	MessageTypeOperations.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 <C,O,P> String	MessageTypeOperations.getName(MessageType<C,O,P> messageType)
static <C,O,P> <any>	MessageTypeOperations.oclOperations(MessageType<C,O,P> messageType)
static <C,O,P> <any>	MessageTypeOperations.oclProperties(MessageType<C,O,P> messageType)

Uses of MessageType in org.eclipse.ocl.types.util

Methods in org.eclipse.ocl.types.util with parameters of type MessageType

Modifier and Type	Method and Description
<C,O,P> T	TypesSwitch.caseMessageType(MessageType<C,O,P> object) Returns the result of interpreting the object as an instance of 'Message Type'.
boolean	TypesValidator.validateMessageType_checkExclusiveSignature(MessageType<?,?,?> messageType, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the checkExclusiveSignature constraint of 'Message Type'.
boolean	TypesValidator.validateMessageType_checkOperationParameters(MessageType<?,?,?> messageType, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the checkOperationParameters constraint of 'Message Type'.
boolean	TypesValidator.validateMessageType_checkSignalAttributes(MessageType<?,?,?> messageType, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the checkSignalAttributes constraint of 'Message Type'.
boolean	TypesValidator.validateMessageType(MessageType<?,?,?> messageType, DiagnosticChain diagnostics, Map<Object,Object> context)

Uses of MessageType in org.eclipse.ocl.utilities

Methods in org.eclipse.ocl.utilities that return MessageType

Modifier and Type	Method and Description
<C,O,P> MessageType<C,O,P>	OCLFactory.createOperationMessageType(O operation) Creates the type for the messages representing invocation of the specified operation.
<C,O,P> MessageType<C,O,P>	OCLFactory.createSignalMessageType(C signal) Creates the type for the messages representing invocation of the specified signal.