## 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` `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.caseMessageExp_1(MessageExp<C,COA,SSA> object)`
Returns the result of interpreting the object as an instance of 'Message Exp'

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.caseMessageExp_1(MessageExp<C,COA,SSA> object)`
Returns the result of interpreting the object as an instance of 'Message Exp'

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.

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