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.filterSynthesis | |
org.eclipse.ocl.examples.impactanalyzer.impl | |
org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation | |
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.visitOperationCallExp(OperationCallExp<C,O> callExp)
Delegates to my decorated visitor.
|
java.lang.Object |
EvaluationVisitorImpl.visitOperationCallExp(OperationCallExp<C,O> oc)
Callback for an OperationCallExp visit.
|
Modifier and Type | Interface and Description |
---|---|
interface |
OperationCallExp
A representation of the model object 'Operation Call Exp'.
|
Modifier and Type | Class and Description |
---|---|
class |
OperationCallExpImpl
An implementation of the model object 'Operation Call Exp'.
|
Modifier and Type | Method and Description |
---|---|
<C,O> OperationCallExp<C,O> |
OCLFactoryImpl.createOperationCallExp() |
Modifier and Type | Method and Description |
---|---|
<C,O> T |
EcoreSwitch.caseExpressions_OperationCallExp(OperationCallExp<C,O> object)
Returns the result of interpreting the object as an instance of 'Operation Call Exp'.
|
<C,O> T |
EcoreSwitch.caseOperationCallExp_1(OperationCallExp<C,O> object)
Deprecated.
Since 1.3, override the
EcoreSwitch.caseExpressions_OperationCallExp(org.eclipse.ocl.expressions.OperationCallExp<C, O>) method, instead. |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
PartialEvaluationVisitorImpl.visitOperationCallExp(OperationCallExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation> oc) |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.ecore.EPackage |
FilterSynthesisImpl.handleOperationCallExp(OperationCallExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation> opCallExp,
org.eclipse.emf.ecore.EPackage sourceResult,
java.util.List<org.eclipse.emf.ecore.EPackage> qualifierResults) |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.ecore.EClass |
ContextTypeRetriever.visitOperationCallExp(OperationCallExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation> callExp) |
Modifier and Type | Method and Description |
---|---|
protected java.util.Set<VariableExp> |
FindAlwaysUsedVariablesVisitor.handleOperationCallExp(OperationCallExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation> callExp,
java.util.Set<VariableExp> sourceResult,
java.util.List<java.util.Set<VariableExp>> argumentResults)
For an operation call it's not sure that the argument expression(s) will actually be evaluated.
|
java.util.Set<VariableExp> |
FindAlwaysUsedVariablesVisitor.visitOperationCallExp(OperationCallExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation> callExp) |
java.lang.Object |
PartialEvaluationVisitorImplNoAllInstances.visitOperationCallExp(OperationCallExp<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation> oc) |
Modifier and Type | Method and Description |
---|---|
<C,O> OperationCallExp<C,O> |
ExpressionsFactory.createOperationCallExp()
Returns a new object of class 'Operation Call Exp'.
|
Modifier and Type | Method and Description |
---|---|
<C,O> OperationCallExp<C,O> |
ExpressionsFactoryImpl.createOperationCallExp() |
Modifier and Type | Method and Description |
---|---|
static <C,O> boolean |
OperationCallExpOperations.checkArgumentCount(OperationCallExp<C,O> operationCallExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
arguments->size() = refParams->size()
|
static <C,O> boolean |
OperationCallExpOperations.checkArgumentsConform(OperationCallExp<C,O> operationCallExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
arguments->forall (a | a.type.conformsTo
(self.refParams->at (arguments->indexOf (a)).type))
|
Modifier and Type | Method and Description |
---|---|
<C,O> T |
ExpressionsSwitch.caseOperationCallExp(OperationCallExp<C,O> object)
Returns the result of interpreting the object as an instance of 'Operation Call Exp'.
|
boolean |
ExpressionsValidator.validateOperationCallExp_checkArgumentCount(OperationCallExp<?,?> operationCallExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkArgumentCount constraint of 'Operation Call Exp'.
|
boolean |
ExpressionsValidator.validateOperationCallExp_checkArgumentsConform(OperationCallExp<?,?> operationCallExp,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Validates the checkArgumentsConform constraint of 'Operation Call Exp'.
|
boolean |
ExpressionsValidator.validateOperationCallExp(OperationCallExp<?,?> operationCallExp,
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.visitOperationCallExp(OperationCallExp<C,O> callExp) |
Modifier and Type | Method and Description |
---|---|
java.util.List<Choice> |
OCLSyntaxHelper.ASTVisitor.visitOperationCallExp(OperationCallExp<C,O> exp) |
Modifier and Type | Method and Description |
---|---|
<C,O> OperationCallExp<C,O> |
OCLFactoryWithHistory.createOperationCallExp() |
protected OperationCallExp<C,O> |
AbstractOCLAnalyzer.genOperationCallExp(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env,
OperationCallExpCS operationCallExpCS,
java.lang.String rule,
java.lang.String operName,
OCLExpression<C> source,
C ownerType,
java.util.List<OCLExpression<C>> args)
Generate an OperationCallExp node.
|
Modifier and Type | Method and Description |
---|---|
java.lang.Boolean |
ValidationVisitor.visitOperationCallExp(OperationCallExp<C,O> oc)
Callback for an OperationCallExp visit.
|
Modifier and Type | Method and Description |
---|---|
<C,O> OperationCallExp<C,O> |
OCLFactoryImpl.createOperationCallExp() |
Modifier and Type | Method and Description |
---|---|
<C,O> T |
UMLSwitch.caseExpressions_OperationCallExp(OperationCallExp<C,O> object)
Returns the result of interpreting the object as an instance of 'Operation Call Exp'.
|
<C,O> T |
UMLSwitch.caseOperationCallExp_1(OperationCallExp<C,O> object)
Deprecated.
Since 2.0, override the
UMLSwitch.caseExpressions_OperationCallExp(org.eclipse.ocl.expressions.OperationCallExp<C, O>) method, instead. |
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
ToStringVisitor.handleOperationCallExp(OperationCallExp<C,O> oc,
java.lang.String sourceResult,
java.util.List<java.lang.String> argumentResults)
Callback for an OperationCallExp visit.
|
Modifier and Type | Method and Description |
---|---|
<C,O> OperationCallExp<C,O> |
OCLFactory.createOperationCallExp()
Returns a new object of class 'Operation Call Exp'.
|
Modifier and Type | Method and Description |
---|---|
protected T |
AbstractVisitor.handleOperationCallExp(OperationCallExp<C,O> callExp,
T sourceResult,
java.util.List<T> argumentResults)
Visits the specified operation call with the results of visiting
its source and arguments (if any).
|
T |
AbstractVisitor.visitOperationCallExp(OperationCallExp<C,O> callExp)
Visits the operation-call source and then its arguments.
|
T |
Visitor.visitOperationCallExp(OperationCallExp<C,O> callExp) |