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

Packages that use MessageExp

Package	Description
org.eclipse.ocl	Definition of the extensible environment API for OCL parsing and evaluation.
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.internal.evaluation
org.eclipse.ocl.internal.helper
org.eclipse.ocl.parser
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

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

Uses of MessageExp in org.eclipse.ocl.expressions

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

Modifier and Type	Method and Description
<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

Modifier and Type	Class and Description
class	MessageExpImpl<C,COA,SSA> An implementation of the model object 'Message Exp'.

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

Modifier and Type	Method and Description
<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

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
<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.internal.evaluation

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

Modifier and Type	Method and Description
Object	TracingEvaluationVisitor.visitMessageExp(MessageExp<C,COA,SSA> messageExp)

Uses of MessageExp in org.eclipse.ocl.internal.helper

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

Modifier and Type	Method and Description
List<Choice>	OCLSyntaxHelper.ASTVisitor.visitMessageExp(MessageExp<C,COA,SSA> m)

Uses of MessageExp in org.eclipse.ocl.parser

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

Modifier and Type	Method and Description
<C,COA,SSA> MessageExp<C,COA,SSA>	OCLFactoryWithHistory.createMessageExp()

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

Modifier and Type	Method and Description
Boolean	ValidationVisitor.visitMessageExp(MessageExp<C,COA,SSA> m)

Uses of MessageExp in org.eclipse.ocl.util

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

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
<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

Modifier and Type	Method and Description
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	AbstractVisitor.visitMessageExp(MessageExp<C,COA,SSA> messageExp) Visits the message expression's target and then its arguments.
T	Visitor.visitMessageExp(MessageExp<C,COA,SSA> messageExp)