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

Packages that use MessageType
org.eclipse.ocl: Definition of the extensible environment API for OCL parsing and evaluation.
org.eclipse.ocl.ecore: Implementation of an OCL binding for the `Ecore` metamodel.
org.eclipse.ocl.ecore.util: Generated utilities for working with instances the Ecore binding of the `Types` package of the OCL Abstract Syntax.
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.uml.util: Miscellaneous utilities in support of the UML environment for OCL.
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
`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>` `TypeResolver.resolveOperationMessageType(O operation)` Resolves the type for a message expression referencing the specified `operation`.
`MessageType<C,O,P>` `AbstractTypeResolver.resolveOperationMessageType(O operation)`
`MessageType<C,O,P>` `TypeResolver.resolveSignalMessageType(C signal)` Resolves the type for a message expression referencing the specified `signal`.
`MessageType<C,O,P>` `AbstractTypeResolver.resolveSignalMessageType(C signal)`

Uses of MessageType in org.eclipse.ocl.ecore

Subinterfaces of MessageType in org.eclipse.ocl.ecore
`interface` `MessageType` A representation of the model object 'Message Type'

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

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

`

`<C,O,P> T`

`

`EcoreSwitch.caseMessageType_1(MessageType<C,O,P> object)`
Returns the result of interpreting the object as an instance of 'Message Type'

Uses of MessageType in org.eclipse.ocl.types

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

`

`<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
`class` `MessageTypeImpl<C,O,P>` An implementation of the model object 'Message Type'

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

`

`<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

`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> EList<P>`

`

`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

`

`<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.uml.util

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

`

`<C,O,P> T`

`

`UMLSwitch.caseMessageType_1(MessageType<C,O,P> object)`
Returns the result of interpreting the object as an instance of 'Message Type'

Uses of MessageType in org.eclipse.ocl.utilities

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

`

`<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.

Copyright 2002, 2007 IBM Corporation and others. All Rights Reserved.