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.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.internal.evaluation | |
org.eclipse.ocl.parser | |
org.eclipse.ocl.uml.impl |
Implementation of the UML binding of the the Types package of the
OCL Abstract Syntax.
|
org.eclipse.ocl.uml.internal.operations | |
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.
|
org.eclipse.ocl.utilities.util |
Generated utilities for working with instances the OCL utilities package.
|
Modifier and Type | Interface and Description |
---|---|
interface |
EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
A specialized visitor that is used for evaluation an
OCL expression by walking its AST.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractEvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
An evaluation visitor implementation for OCL expressions.
|
class |
EvaluationVisitorDecorator<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
A visitor that decorates another
EvaluationVisitor , to intercept
invocations of the visitXxx(...) methods. |
class |
EvaluationVisitorImpl<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
An evaluation visitor implementation for OCL expressions.
|
Modifier and Type | Method and Description |
---|---|
Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT> |
EnvironmentFactory.createValidationVisitor(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> environment)
Obtains an instance of the validation visitor that validates against the
specified environment, which presumably was used in parsing the OCL in
the first place.
|
Visitor<Boolean,C,O,P,EL,PM,S,COA,SSA,CT> |
AbstractEnvironmentFactory.createValidationVisitor(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> env) |
Modifier and Type | Method and Description |
---|---|
Visitor<Boolean,EClassifier,EOperation,EStructuralFeature,EEnumLiteral,EParameter,EObject,CallOperationAction,SendSignalAction,Constraint> |
EcoreEnvironmentFactory.createValidationVisitor(Environment<EPackage,EClassifier,EOperation,EStructuralFeature,EEnumLiteral,EParameter,EObject,CallOperationAction,SendSignalAction,Constraint,EClass,EObject> env) |
Modifier and Type | Method and Description |
---|---|
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
InvalidLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
VariableExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
RealLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
IteratorExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
IterateExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
AssociationClassCallExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
LetExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
CollectionRangeImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
CollectionLiteralPartImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
UnspecifiedValueExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
OCLExpressionImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
VariableImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
StringLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
StateExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
ExpressionInOCLImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
EnumLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
UnlimitedNaturalLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
TypeExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
OppositePropertyCallExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
IntegerLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
IfExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
BooleanLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
MessageExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
OperationCallExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
NullLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
PropertyCallExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
TupleLiteralPartImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
TupleLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
CollectionLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
CollectionItemImpl.accept(U v) |
Modifier and Type | Method and Description |
---|---|
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
TupleLiteralPartImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
StringLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
OCLExpressionImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
NullLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
EnumLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
CollectionRangeImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
CollectionLiteralPartImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
CollectionLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
CollectionItemImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
OperationCallExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
MessageExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
UnlimitedNaturalLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
RealLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
PropertyCallExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
IntegerLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
IfExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
AssociationClassCallExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
UnspecifiedValueExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
VariableImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
VariableExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
TypeExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
LetExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
IterateExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
InvalidLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
BooleanLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
IteratorExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
TupleLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
StateExpImpl.accept(U v) |
Modifier and Type | Method and Description |
---|---|
static <C,T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
CollectionLiteralPartOperations.accept(CollectionLiteralPart<C> collectionLiteralPart,
U v) |
static <C,T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
OCLExpressionOperations.accept(OCLExpression<C> oclExpression,
U v) |
static <C,P,T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
TupleLiteralPartOperations.accept(TupleLiteralPart<C,P> tupleLiteralPart,
U v) |
static <C,PM,T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
VariableOperations.accept(Variable<C,PM> variable,
U v) |
Modifier and Type | Class and Description |
---|---|
class |
TracingEvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
A decorator for evaluation visitors that is installed when evaluation tracing
is enabled, to trace interim evaluation results to the console.
|
Modifier and Type | Class and Description |
---|---|
class |
ValidationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
Checks the well-formedness rules for the expressions package
|
Modifier and Type | Method and Description |
---|---|
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
ValidationVisitor.getInstance(Environment<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> environment)
Obtains an instance of the validation visitor that validates against the
specified environment, which presumably was used in parsing the OCL in
the first place.
|
Modifier and Type | Method and Description |
---|---|
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
VariableExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
IterateExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
PropertyCallExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
EnumLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
CollectionItemImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
AssociationClassCallExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
OperationCallExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
InvalidLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
IntegerLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
MessageExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
IfExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
TupleLiteralPartImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
LetExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
CollectionLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
CollectionRangeImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
CollectionLiteralPartImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
BooleanLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
StateExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
RealLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
VariableImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
NullLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
IteratorExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
TypeExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
TupleLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
StringLiteralExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
ExpressionInOCLImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
OCLExpressionImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
UnspecifiedValueExpImpl.accept(U v) |
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
UnlimitedNaturalLiteralExpImpl.accept(U v) |
Modifier and Type | Method and Description |
---|---|
static <T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
CollectionLiteralPartOperations.accept(CollectionLiteralPart collectionLiteralPart,
U v) |
static <T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
ExpressionInOCLOperations.accept(ExpressionInOCL expressionInOCL,
U v) |
static <T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
OCLExpressionOperations.accept(OCLExpression oclExpression,
U v) |
static <T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
TupleLiteralPartOperations.accept(TupleLiteralPart tupleLiteralPart,
U v) |
static <T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
VariableOperations.accept(Variable variable,
U v) |
Modifier and Type | Class and Description |
---|---|
class |
ToStringVisitor<C,O,P,EL,PM,S,COA,SSA,CT>
Converts an OCL expression to a string for debugging.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractVisitor<T,C,O,P,EL,PM,S,COA,SSA,CT>
An abstract implementation of the
Visitor API, in which subclasses
need only selectively override handleXxx(...) methods for
internal AST nodes and visitXxx(...) methods for leaf nodes. |
Modifier and Type | Method and Description |
---|---|
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> |
Visitable.accept(U v) |
Modifier and Type | Method and Description |
---|---|
<T,C,O,P,EL,PM,S,COA,SSA,CT> |
UtilitiesSwitch.caseVisitor(Visitor<T,C,O,P,EL,PM,S,COA,SSA,CT> object)
Returns the result of interpreting the object as an instance of 'Visitor'.
|
Copyright © 2005, 2018 IBM Corporation and others. All Rights Reserved.