Uses of Interface
net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

Packages that use IConstraintTreeVisitor

Package	Description
net.ssehub.easy.varModel.confModel	This package represents a specific variability model configuration.
net.ssehub.easy.varModel.cst	Package for elements of the constraint syntax tree.
net.ssehub.easy.varModel.cstEvaluation	Implements the evaluation of constraint syntax trees.
net.ssehub.easy.varModel.model	Base package for the variability model.
net.ssehub.easy.varModel.model.filter	This package contains utility classes for filtering the model for specific model elements.
net.ssehub.easy.varModel.model.filter.mandatoryVars	Filter for finding mandatory declarations.
net.ssehub.easy.varModel.model.rewrite	Classes for creating an (adapted) copy of the Project.
net.ssehub.easy.varModel.model.search	Specific classes for performing search operations on models.
net.ssehub.easy.varModel.persistency	These package is for reading and saving the variability model and the configuration. Currently supported file formats: EASy-Producer 2.0 config files (xml) IVML
net.ssehub.easy.varModel.validation	Classes for validating e variability model, e.g.

Uses of IConstraintTreeVisitor in net.ssehub.easy.varModel.confModel

Classes in net.ssehub.easy.varModel.confModel that implement IConstraintTreeVisitor

Modifier and Type	Class	Description
class	CompoundValueSetter	This class handles setting values for compounds.

Uses of IConstraintTreeVisitor in net.ssehub.easy.varModel.cst

Classes in net.ssehub.easy.varModel.cst that implement IConstraintTreeVisitor

Modifier and Type	Class	Description
class	AbstractConstraintTreeVisitor	Visitor which runs through all elements of a ConstraintSyntaxTree, but does nothing.
class	BasicCopyVisitor	Implements a basic constraint copy visitor.
class	ConstraintReplacer	Class to copy an expression.
class	ContainsSelfVisitor	Searches a constraint for the occurrence of self.
class	CopyVisitor	Copies a constraint syntax tree possibly mapping the variables.
class	DebugConstraintTreeVisitor	A visitor for printing out constraint syntax trees.
class	ValidationVisitor	Visits a given expression and returns whether this is a valid assignment.

Methods in net.ssehub.easy.varModel.cst with parameters of type IConstraintTreeVisitor

Modifier and Type	Method	Description
void	AttributeVariable.accept(IConstraintTreeVisitor visitor)
void	BlockExpression.accept(IConstraintTreeVisitor visitor)
void	Comment.accept(IConstraintTreeVisitor visitor)
void	CompoundAccess.accept(IConstraintTreeVisitor visitor)
void	CompoundInitializer.accept(IConstraintTreeVisitor visitor)
void	ConstantValue.accept(IConstraintTreeVisitor visitor)
abstract void	ConstraintSyntaxTree.accept(IConstraintTreeVisitor visitor)	Visiting method for the visitor.
void	ContainerInitializer.accept(IConstraintTreeVisitor visitor)
void	ContainerOperationCall.accept(IConstraintTreeVisitor visitor)
void	DeferInitExpression.accept(IConstraintTreeVisitor visitor)
void	EmptyInitializer.accept(IConstraintTreeVisitor visitor)
void	IfThen.accept(IConstraintTreeVisitor visitor)
void	Let.accept(IConstraintTreeVisitor visitor)
void	MultiAndExpression.accept(IConstraintTreeVisitor visitor)
void	NamedArgument.accept(IConstraintTreeVisitor visitor)
void	OCLFeatureCall.accept(IConstraintTreeVisitor visitor)
void	Parenthesis.accept(IConstraintTreeVisitor visitor)
void	Self.accept(IConstraintTreeVisitor visitor)
void	UnresolvedExpression.accept(IConstraintTreeVisitor visitor)
void	Variable.accept(IConstraintTreeVisitor visitor)

Uses of IConstraintTreeVisitor in net.ssehub.easy.varModel.cstEvaluation

Classes in net.ssehub.easy.varModel.cstEvaluation that implement IConstraintTreeVisitor

Modifier and Type	Class	Description
class	EvaluationVisitor	Evaluation visitor for IVML expressions.
class	StaticAccessFinder	Finds variables with static access in the given expression.

Uses of IConstraintTreeVisitor in net.ssehub.easy.varModel.model

Classes in net.ssehub.easy.varModel.model that implement IConstraintTreeVisitor

Modifier and Type	Class	Description
class	ExpressionVersionRestrictionValidator	A simple validator for version restrictions, disallowing if-then-else, let-in and compound initializers.

Uses of IConstraintTreeVisitor in net.ssehub.easy.varModel.model.filter

Classes in net.ssehub.easy.varModel.model.filter that implement IConstraintTreeVisitor

Modifier and Type	Class	Description
class	AbstractStateVariablesInConstraintFinder	Searches for used IDecisionVariables and their states inside a ConstraintSyntaxTree.
class	AbstractVariableInConstraintFinder	Superclass for searching for variables/declarations inside ConstraintSyntaxTrees.
(package private) class	ConstraintClassifier	This class is able to classify a constraint in one of the following categories.
class	DeclrationInConstraintFinder	Filter class for retrieving all AbstractVariable's nested inside a given constraint.
class	IDecisionVariableInConstraintFinder	Searches for IDecisionVariables in a ConstraintSyntaxTree.
class	VariablesInConstraintFinder	Searches for used IDecisionVariables and their states inside a ConstraintSyntaxTree.

Uses of IConstraintTreeVisitor in net.ssehub.easy.varModel.model.filter.mandatoryVars

Classes in net.ssehub.easy.varModel.model.filter.mandatoryVars that implement IConstraintTreeVisitor

Modifier and Type	Class	Description
class	MandatoryDeclarationClassifier	Heuristic classifier, which determines whether the variables of a Configuration should be changed by the user or not.

Uses of IConstraintTreeVisitor in net.ssehub.easy.varModel.model.rewrite

Classes in net.ssehub.easy.varModel.model.rewrite that implement IConstraintTreeVisitor

Modifier and Type	Class	Description
(package private) class	AssignmentReducer	Part of the ProjectRewriteVisitor to remove sub values of a RHS of an assignment, if declarations of this assignments have been removed. Visiting should be started with AssignmentReducer.reduce(OCLFeatureCall) instead of using the usual accept methods.
(package private) class	CSTCopyVisitor	Special CopyVisitor as needed by the ProjectCopyVisitor.

Uses of IConstraintTreeVisitor in net.ssehub.easy.varModel.model.search

Classes in net.ssehub.easy.varModel.model.search that implement IConstraintTreeVisitor

Modifier and Type	Class	Description
class	PrefixSearchVisitor	Realizes a visitor which searches for a given prefix in a given context and returns all matching model elements.

Uses of IConstraintTreeVisitor in net.ssehub.easy.varModel.persistency

Classes in net.ssehub.easy.varModel.persistency that implement IConstraintTreeVisitor

Modifier and Type	Class	Description
class	AbstractVarModelWriter	Super class for translating the variability model to a StringBuffer, which can be used for saving.
class	ConfigurableIVMLWriter	An IVML writer which may or not emit imports.
class	ConstraintSplitWriter	Splits the textual output at a given constraint.
class	IVMLWriter	Writer for writing the variability model to an IVML output file.
(package private) class	VariableUsage	Collects the variable usage in order to determine those variables that can be written in an unqualified way.

Uses of IConstraintTreeVisitor in net.ssehub.easy.varModel.validation

Classes in net.ssehub.easy.varModel.validation that implement IConstraintTreeVisitor

Modifier and Type	Class	Description
class	IvmlValidationVisitor	Checks a model for IVML compliance.