Uses of Interface
org.eclipse.ocl.expressions.MessageExp

Packages that use MessageExp

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.expressions	Specification of the Expressions package of the Object Constraint Lanuage version 2.0 Abstract Syntax model.
org.eclipse.ocl.expressions.impl	Implementation of the Expressions package of the Object Constraint Lanuage version 2.0 Abstract Syntax model.
org.eclipse.ocl.expressions.operations
org.eclipse.ocl.expressions.util	Generated utilities for working with instances the Expressions model.
org.eclipse.ocl.parser
org.eclipse.ocl.uml.util	Miscellaneous utilities in support of the UML environment for OCL.
org.eclipse.ocl.util	Miscellaneous utilities in support of the OCL parser and environment implementations.
org.eclipse.ocl.utilities	Abstract API for OCL AST utilities and extensions of the UML metamodel.

Uses of MessageExp in org.eclipse.ocl

Methods in org.eclipse.ocl with parameters of type MessageExp

Object	EvaluationVisitorImpl.visitMessageExp(MessageExp<C,COA,SSA> m)
Object	EvaluationVisitorDecorator.visitMessageExp(MessageExp<C,COA,SSA> messageExp) Delegates to my decorated visitor.

Uses of MessageExp in org.eclipse.ocl.ecore

Subinterfaces of MessageExp in org.eclipse.ocl.ecore

interface

MessageExp A representation of the model object 'Message Exp'

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

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

<C,COA,SSA> T	EcoreSwitch.caseExpressions_MessageExp(MessageExp<C,COA,SSA> object) Returns the result of interpreting the object as an instance of 'Message Exp'
<C,COA,SSA> T	EcoreSwitch.caseMessageExp_1(MessageExp<C,COA,SSA> object) Deprecated. Since 1.3, override the EcoreSwitch.caseExpressions_MessageExp(org.eclipse.ocl.expressions.MessageExp) method, instead.

Uses of MessageExp in org.eclipse.ocl.expressions

Methods in org.eclipse.ocl.expressions that return MessageExp

<C,COA,SSA> MessageExp<C,COA,SSA>

ExpressionsFactory.createMessageExp() Returns a new object of class 'Message Exp'

Uses of MessageExp in org.eclipse.ocl.expressions.impl

Classes in org.eclipse.ocl.expressions.impl that implement MessageExp

class

MessageExpImpl<C,COA,SSA> An implementation of the model object 'Message Exp'

Methods in org.eclipse.ocl.expressions.impl that return MessageExp

<C,COA,SSA> MessageExp<C,COA,SSA>

ExpressionsFactoryImpl.createMessageExp()

Uses of MessageExp in org.eclipse.ocl.expressions.operations

Methods in org.eclipse.ocl.expressions.operations with parameters of type MessageExp

static <C,COA,SSA> boolean	MessageExpOperations.checkHasOperationOrSignal(MessageExp<C,COA,SSA> messageExp, DiagnosticChain diagnostics, Map<Object,Object> context) calledOperation->size() + sentSignal->size() = 1
static <C,COA,SSA> boolean	MessageExpOperations.checkOperationArguments(MessageExp<C,COA,SSA> messageExp, DiagnosticChain diagnostics, Map<Object,Object> context) calledOperation->notEmpty() implies argument->forall (a | a.type.conformsTo (self.calledOperation.operation.ownedParameter-> select( kind = ParameterDirectionKind::in ) ->at (argument->indexOf (a)).type))
static <C,COA,SSA> boolean	MessageExpOperations.checkSignalArguments(MessageExp<C,COA,SSA> messageExp, DiagnosticChain diagnostics, Map<Object,Object> context) sentSignal->notEmpty() implies argument->forall (a | a.type.conformsTo (self.sentSignal.signal.ownedAttribute ->at (argument->indexOf (a)).type))
static <C,COA,SSA> boolean	MessageExpOperations.checkTargetDefinesOperation(MessageExp<C,COA,SSA> messageExp, DiagnosticChain diagnostics, Map<Object,Object> context) calledOperation->notEmpty() implies target.type.allOperations()->includes(calledOperation.operation)
static <C,COA,SSA> boolean	MessageExpOperations.checkTargetNotCollection(MessageExp<C,COA,SSA> messageExp, DiagnosticChain diagnostics, Map<Object,Object> context) not target.type.oclIsKindOf(CollectionType)

Uses of MessageExp in org.eclipse.ocl.expressions.util

Methods in org.eclipse.ocl.expressions.util with parameters of type MessageExp

<C,COA,SSA> T	ExpressionsSwitch.caseMessageExp(MessageExp<C,COA,SSA> object) Returns the result of interpreting the object as an instance of 'Message Exp'
boolean	ExpressionsValidator.validateMessageExp_checkHasOperationOrSignal(MessageExp<?,?,?> messageExp, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the checkHasOperationOrSignal constraint of 'Message Exp'
boolean	ExpressionsValidator.validateMessageExp_checkOperationArguments(MessageExp<?,?,?> messageExp, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the checkOperationArguments constraint of 'Message Exp'
boolean	ExpressionsValidator.validateMessageExp_checkSignalArguments(MessageExp<?,?,?> messageExp, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the checkSignalArguments constraint of 'Message Exp'
boolean	ExpressionsValidator.validateMessageExp_checkTargetDefinesOperation(MessageExp<?,?,?> messageExp, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the checkTargetDefinesOperation constraint of 'Message Exp'
boolean	ExpressionsValidator.validateMessageExp_checkTargetNotCollection(MessageExp<?,?,?> messageExp, DiagnosticChain diagnostics, Map<Object,Object> context) Validates the checkTargetNotCollection constraint of 'Message Exp'
boolean	ExpressionsValidator.validateMessageExp(MessageExp<?,?,?> messageExp, DiagnosticChain diagnostics, Map<Object,Object> context)

Uses of MessageExp in org.eclipse.ocl.parser

Methods in org.eclipse.ocl.parser with parameters of type MessageExp

Boolean

ValidationVisitor.visitMessageExp(MessageExp<C,COA,SSA> m)

Uses of MessageExp in org.eclipse.ocl.uml.util

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

<C,COA,SSA> T	UMLSwitch.caseExpressions_MessageExp(MessageExp<C,COA,SSA> object) Returns the result of interpreting the object as an instance of 'Message Exp'
<C,COA,SSA> T	UMLSwitch.caseMessageExp_1(MessageExp<C,COA,SSA> object) Deprecated. Since 2.0, override the UMLSwitch.caseExpressions_MessageExp(org.eclipse.ocl.expressions.MessageExp) method, instead.

Uses of MessageExp in org.eclipse.ocl.util

Methods in org.eclipse.ocl.util with parameters of type MessageExp

protected String

ToStringVisitor.handleMessageExp(MessageExp<C,COA,SSA> messageExp, String targetResult, List<String> argumentResults)

Uses of MessageExp in org.eclipse.ocl.utilities

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

<C,COA,SSA> MessageExp<C,COA,SSA>

OCLFactory.createMessageExp() Returns a new object of class 'Message Exp'

Methods in org.eclipse.ocl.utilities with parameters of type MessageExp

protected T	AbstractVisitor.handleMessageExp(MessageExp<C,COA,SSA> messageExp, T targetResult, List<T> argumentResults) Visits the specified message expression with the results of visiting its target and arguments (if any).
T	Visitor.visitMessageExp(MessageExp<C,COA,SSA> messageExp)
T	AbstractVisitor.visitMessageExp(MessageExp<C,COA,SSA> messageExp) Visits the message expression's target and then its arguments.