Package | Description |
---|---|
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.impl |
Implementation of the Ecore binding of the the Types package of the
OCL Abstract Syntax.
|
org.eclipse.ocl.ecore.internal | |
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.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.uml.internal | |
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.
|
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(java.lang.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 . |
Modifier and Type | Interface and Description |
---|---|
interface |
MessageType
A representation of the model object 'Message Type'.
|
Modifier and Type | Class and Description |
---|---|
class |
MessageTypeImpl
An implementation of the model object 'Message Type'.
|
Modifier and Type | Method and Description |
---|---|
<C,O,P> MessageType<C,O,P> |
OCLFactoryImpl.createOperationMessageType(O operation) |
<C,O,P> MessageType<C,O,P> |
OCLFactoryImpl.createSignalMessageType(C signal) |
Modifier and Type | Method and Description |
---|---|
<C,O,P> T |
EcoreSwitch.caseMessageType_1(MessageType<C,O,P> object)
Deprecated.
Since 1.3, override the
EcoreSwitch.caseTypes_MessageType(org.eclipse.ocl.types.MessageType<C, O, P>) method, instead. |
<C,O,P> T |
EcoreSwitch.caseTypes_MessageType(MessageType<C,O,P> object)
Returns the result of interpreting the object as an instance of 'Message Type'.
|
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) |
Modifier and Type | Method and Description |
---|---|
<C,O,P> MessageType<C,O,P> |
TypesFactory.createMessageType()
Returns a new object of class 'Message Type'.
|
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) |
Modifier and Type | Method and Description |
---|---|
static <C,O,P> boolean |
MessageTypeOperations.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 |
MessageTypeOperations.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 |
MessageTypeOperations.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 |
MessageTypeOperations.getName(MessageType<C,O,P> messageType) |
static <C,O,P> org.eclipse.emf.common.util.EList<O> |
MessageTypeOperations.oclOperations(MessageType<C,O,P> messageType) |
static <C,O,P> org.eclipse.emf.common.util.EList<P> |
MessageTypeOperations.oclProperties(MessageType<C,O,P> 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,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkExclusiveSignature constraint of 'Message Type'.
|
boolean |
TypesValidator.validateMessageType_checkOperationParameters(MessageType<?,?,?> messageType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkOperationParameters constraint of 'Message Type'.
|
boolean |
TypesValidator.validateMessageType_checkSignalAttributes(MessageType<?,?,?> messageType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkSignalAttributes constraint of 'Message Type'.
|
boolean |
TypesValidator.validateMessageType(MessageType<?,?,?> messageType,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
Modifier and Type | Method and Description |
---|---|
<C,O,P> MessageType<C,O,P> |
OCLFactoryImpl.createOperationMessageType(O operation) |
<C,O,P> MessageType<C,O,P> |
OCLFactoryImpl.createSignalMessageType(C signal) |
Modifier and Type | Method and Description |
---|---|
<C,O,P> T |
UMLSwitch.caseMessageType_1(MessageType<C,O,P> object)
Deprecated.
Since 2.0, override the
UMLSwitch.caseTypes_MessageType(org.eclipse.ocl.types.MessageType<C, O, P>) method, instead. |
<C,O,P> T |
UMLSwitch.caseTypes_MessageType(MessageType<C,O,P> object)
Returns the result of interpreting the object as an instance of 'Message Type'.
|
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.
|