Uses of Interface
org.eclipse.ocl.utilities.Visitor

Packages that use Visitor

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.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.examples.impactanalyzer.util
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.internal.helper
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.

Uses of Visitor in org.eclipse.ocl

Subinterfaces of Visitor in org.eclipse.ocl

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.

Classes in org.eclipse.ocl that implement Visitor

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.

Methods in org.eclipse.ocl that return Visitor

Modifier and Type	Method and Description
Visitor<java.lang.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)
Visitor<java.lang.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.

Uses of Visitor in org.eclipse.ocl.ecore

Methods in org.eclipse.ocl.ecore that return Visitor

Modifier and Type

Method and Description

Visitor<java.lang.Boolean,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint>

EcoreEnvironmentFactory.createValidationVisitor(Environment<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> env)

Uses of Visitor in org.eclipse.ocl.ecore.impl

Methods in org.eclipse.ocl.ecore.impl with type parameters of type Visitor

Modifier and Type	Method and Description
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	AssociationClassCallExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	BooleanLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	CollectionItemImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	CollectionLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	CollectionLiteralPartImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	CollectionRangeImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	EnumLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	ExpressionInOCLImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	IfExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	IntegerLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	InvalidLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	IterateExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	IteratorExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	LetExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	MessageExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	NullLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	OCLExpressionImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	OperationCallExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	OppositePropertyCallExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	PropertyCallExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	RealLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	StateExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	StringLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	TupleLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	TupleLiteralPartImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	TypeExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	UnlimitedNaturalLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	UnspecifiedValueExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	VariableExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	VariableImpl.accept(U v)

Uses of Visitor in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation

Classes in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation that implement Visitor

Modifier and Type	Class and Description
class	PartialEvaluationVisitorImpl When a ValueNotFoundException occurs during evaluating an expression, it is not caught, logged and swallowed but forwarded to the caller.

Uses of Visitor in org.eclipse.ocl.examples.impactanalyzer.filterSynthesis

Classes in org.eclipse.ocl.examples.impactanalyzer.filterSynthesis that implement Visitor

Modifier and Type	Class and Description
class	FilterSynthesisImpl Collects the relevant events for a single OCLExpression recursively.

Uses of Visitor in org.eclipse.ocl.examples.impactanalyzer.impl

Classes in org.eclipse.ocl.examples.impactanalyzer.impl that implement Visitor

Modifier and Type	Class and Description
class	ContextTypeRetriever From an OCL expression tries to determine the context type for self by looking for VariableExp expressions in the expression tree referencing the self variable and extracting the expression's type.

Uses of Visitor in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation

Classes in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation that implement Visitor

Modifier and Type	Class and Description
class	FindAlwaysUsedVariablesVisitor For an OCL expression finds out which of the Variables referred by any VariableExp within the expression will inevitably be used, regardless the values of any variables, deciding which branches may be taken.
class	PartialEvaluationVisitorImplNoAllInstances In addition to throwing a ValueNotFoundException as already done by the superclass, this implementation also throws a NoAllInstancesDuringEvaluationForUnusedCheck exception in case an allInstances() call is to be evaluated.

Uses of Visitor in org.eclipse.ocl.examples.impactanalyzer.util

Classes in org.eclipse.ocl.examples.impactanalyzer.util that implement Visitor

Modifier and Type	Class and Description
class	HighlightingToStringVisitor

Uses of Visitor in org.eclipse.ocl.expressions.impl

Methods in org.eclipse.ocl.expressions.impl with type parameters of type Visitor

Modifier and Type	Method and Description
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	AssociationClassCallExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	BooleanLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	CollectionItemImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	CollectionLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	CollectionLiteralPartImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	CollectionRangeImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	EnumLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	IfExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	IntegerLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	InvalidLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	IterateExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	IteratorExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	LetExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	MessageExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	NullLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	OCLExpressionImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	OperationCallExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	PropertyCallExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	RealLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	StateExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	StringLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	TupleLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	TupleLiteralPartImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	TypeExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	UnlimitedNaturalLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	UnspecifiedValueExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	VariableExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	VariableImpl.accept(U v)

Uses of Visitor in org.eclipse.ocl.expressions.operations

Methods in org.eclipse.ocl.expressions.operations with type parameters of type Visitor

Modifier and Type	Method and Description
static <C,T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	CollectionLiteralPartOperations.accept(CollectionLiteralPart<C> collectionLiteralPart, U v)
static <C,T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	OCLExpressionOperations.accept(OCLExpression<C> oclExpression, U v)
static <C,P,T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	TupleLiteralPartOperations.accept(TupleLiteralPart<C,P> tupleLiteralPart, U v)
static <C,PM,T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	VariableOperations.accept(Variable<C,PM> variable, U v)

Uses of Visitor in org.eclipse.ocl.internal.evaluation

Classes in org.eclipse.ocl.internal.evaluation that implement Visitor

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.

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

Classes in org.eclipse.ocl.internal.helper that implement Visitor

Modifier and Type	Class and Description
protected class	OCLSyntaxHelper.ASTVisitor

Uses of Visitor in org.eclipse.ocl.parser

Classes in org.eclipse.ocl.parser that implement Visitor

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

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

Modifier and Type	Method and Description
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> Visitor<java.lang.Boolean,C,O,P,EL,PM,S,COA,SSA,CT>	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.

Uses of Visitor in org.eclipse.ocl.uml.impl

Methods in org.eclipse.ocl.uml.impl with type parameters of type Visitor

Modifier and Type	Method and Description
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	AssociationClassCallExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	BooleanLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	CollectionItemImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	CollectionLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	CollectionLiteralPartImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	CollectionRangeImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	EnumLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	ExpressionInOCLImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	IfExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	IntegerLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	InvalidLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	IterateExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	IteratorExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	LetExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	MessageExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	NullLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	OCLExpressionImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	OperationCallExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	PropertyCallExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	RealLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	StateExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	StringLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	TupleLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	TupleLiteralPartImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	TypeExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	UnlimitedNaturalLiteralExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	UnspecifiedValueExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	VariableExpImpl.accept(U v)
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	VariableImpl.accept(U v)

Uses of Visitor in org.eclipse.ocl.uml.internal.operations

Methods in org.eclipse.ocl.uml.internal.operations with type parameters of type Visitor

Modifier and Type	Method and Description
static <T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	CollectionLiteralPartOperations.accept(CollectionLiteralPart collectionLiteralPart, U v)
static <T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	ExpressionInOCLOperations.accept(ExpressionInOCL expressionInOCL, U v)
static <T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	OCLExpressionOperations.accept(OCLExpression oclExpression, U v)
static <T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	TupleLiteralPartOperations.accept(TupleLiteralPart tupleLiteralPart, U v)
static <T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	VariableOperations.accept(Variable variable, U v)

Uses of Visitor in org.eclipse.ocl.util

Classes in org.eclipse.ocl.util that implement Visitor

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.

Uses of Visitor in org.eclipse.ocl.utilities

Classes in org.eclipse.ocl.utilities that implement Visitor

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.

Methods in org.eclipse.ocl.utilities with type parameters of type Visitor

Modifier and Type	Method and Description
<T,U extends Visitor<T,?,?,?,?,?,?,?,?,?>> T	Visitable.accept(U v)

Uses of Visitor in org.eclipse.ocl.utilities.util

Methods in org.eclipse.ocl.utilities.util with parameters of type Visitor

Modifier and Type	Method and Description
<T,C,O,P,EL,PM,S,COA,SSA,CT> T1	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'.