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.examples.impactanalyzer.deltaPropagation | |
org.eclipse.ocl.examples.impactanalyzer.impl | |
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.uml.internal | |
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.
|
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
EvaluationVisitorDecorator.visitMessageExp(MessageExp<C,COA,SSA> messageExp)
Delegates to my decorated visitor.
|
java.lang.Object |
EvaluationVisitorImpl.visitMessageExp(MessageExp<C,COA,SSA> m) |
Modifier and Type | Interface and Description |
---|---|
interface |
MessageExp
A representation of the model object 'Message Exp'.
|
Modifier and Type | Class and Description |
---|---|
class |
MessageExpImpl
An implementation of the model object 'Message Exp'.
|
Modifier and Type | Method and Description |
---|---|
<C,COA,SSA> |
OCLFactoryImpl.createMessageExp() |
Modifier and Type | Method and Description |
---|---|
<C,COA,SSA> |
EcoreSwitch.caseExpressions_MessageExp(MessageExp<C,COA,SSA> object)
Returns the result of interpreting the object as an instance of 'Message Exp'.
|
<C,COA,SSA> |
EcoreSwitch.caseMessageExp_1(MessageExp<C,COA,SSA> object)
Deprecated.
Since 1.3, override the
EcoreSwitch.caseExpressions_MessageExp(org.eclipse.ocl.expressions.MessageExp<C, COA, SSA>) method, instead. |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
PartialEvaluationVisitorImpl.visitMessageExp(MessageExp<org.eclipse.emf.ecore.EClassifier,CallOperationAction,SendSignalAction> m) |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.ecore.EClass |
ContextTypeRetriever.visitMessageExp(MessageExp<org.eclipse.emf.ecore.EClassifier,CallOperationAction,SendSignalAction> messageExp) |
Modifier and Type | Method and Description |
---|---|
<C,COA,SSA> |
ExpressionsFactory.createMessageExp()
Returns a new object of class 'Message Exp'.
|
Modifier and Type | Method and Description |
---|---|
<C,COA,SSA> |
ExpressionsFactoryImpl.createMessageExp() |
Modifier and Type | Method and Description |
---|---|
static <C,COA,SSA> |
MessageExpOperations.checkHasOperationOrSignal(MessageExp<C,COA,SSA> messageExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
calledOperation->size() + sentSignal->size() = 1
|
static <C,COA,SSA> |
MessageExpOperations.checkOperationArguments(MessageExp<C,COA,SSA> messageExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.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> |
MessageExpOperations.checkSignalArguments(MessageExp<C,COA,SSA> messageExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
sentSignal->notEmpty() implies
argument->forall (a | a.type.conformsTo
(self.sentSignal.signal.ownedAttribute
->at (argument->indexOf (a)).type))
|
static <C,COA,SSA> |
MessageExpOperations.checkTargetDefinesOperation(MessageExp<C,COA,SSA> messageExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
calledOperation->notEmpty() implies
target.type.allOperations()->includes(calledOperation.operation)
|
static <C,COA,SSA> |
MessageExpOperations.checkTargetNotCollection(MessageExp<C,COA,SSA> messageExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
not target.type.oclIsKindOf(CollectionType)
|
Modifier and Type | Method and Description |
---|---|
<C,COA,SSA> |
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,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkHasOperationOrSignal constraint of 'Message Exp'.
|
boolean |
ExpressionsValidator.validateMessageExp_checkOperationArguments(MessageExp<?,?,?> messageExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkOperationArguments constraint of 'Message Exp'.
|
boolean |
ExpressionsValidator.validateMessageExp_checkSignalArguments(MessageExp<?,?,?> messageExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkSignalArguments constraint of 'Message Exp'.
|
boolean |
ExpressionsValidator.validateMessageExp_checkTargetDefinesOperation(MessageExp<?,?,?> messageExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkTargetDefinesOperation constraint of 'Message Exp'.
|
boolean |
ExpressionsValidator.validateMessageExp_checkTargetNotCollection(MessageExp<?,?,?> messageExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkTargetNotCollection constraint of 'Message Exp'.
|
boolean |
ExpressionsValidator.validateMessageExp(MessageExp<?,?,?> messageExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
TracingEvaluationVisitor.visitMessageExp(MessageExp<C,COA,SSA> messageExp) |
Modifier and Type | Method and Description |
---|---|
java.util.List<Choice> |
OCLSyntaxHelper.ASTVisitor.visitMessageExp(MessageExp<C,COA,SSA> m) |
Modifier and Type | Method and Description |
---|---|
<C,COA,SSA> |
OCLFactoryWithHistory.createMessageExp() |
Modifier and Type | Method and Description |
---|---|
java.lang.Boolean |
ValidationVisitor.visitMessageExp(MessageExp<C,COA,SSA> m) |
Modifier and Type | Method and Description |
---|---|
<C,COA,SSA> |
OCLFactoryImpl.createMessageExp() |
Modifier and Type | Method and Description |
---|---|
<C,COA,SSA> |
UMLSwitch.caseExpressions_MessageExp(MessageExp<C,COA,SSA> object)
Returns the result of interpreting the object as an instance of 'Message Exp'.
|
<C,COA,SSA> |
UMLSwitch.caseMessageExp_1(MessageExp<C,COA,SSA> object)
Deprecated.
Since 2.0, override the
UMLSwitch.caseExpressions_MessageExp(org.eclipse.ocl.expressions.MessageExp<C, COA, SSA>) method, instead. |
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
ToStringVisitor.handleMessageExp(MessageExp<C,COA,SSA> messageExp,
java.lang.String targetResult,
java.util.List<java.lang.String> argumentResults) |
Modifier and Type | Method and Description |
---|---|
<C,COA,SSA> |
OCLFactory.createMessageExp()
Returns a new object of class 'Message Exp'.
|
Modifier and Type | Method and Description |
---|---|
protected T |
AbstractVisitor.handleMessageExp(MessageExp<C,COA,SSA> messageExp,
T targetResult,
java.util.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) |