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

Packages that use IConstraintTreeVisitor

Package	Description
de.uni_hildesheim.sse.translation	The mechanisms needed to translate an IVML Ecore model into an IVML object model.
net.ssehub.easy.reasoning.core.reasoner	All classes and interfaces needed to implement a reasoner. How to write a reasoner: Create an Eclipse Plugin project with Activator (even if "empty"). Add org.eclipse.equinox.ds to the required plugins and org.osgi.service.component to the imported packages as your reasoner will be linked using OSGi descriptive services (DS) to the reasoner core.
net.ssehub.easy.reasoning.sseReasoner	Package contains the EASy-Producer reasoner implementation classes.
net.ssehub.easy.reasoning.sseReasoner.functions	Package contains custom functions for IVML.
net.ssehub.easy.reasoning.sseReasoner.model	Package for creating a reasoning model: constraint container, project hierachy evaluator and other.
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 de.uni_hildesheim.sse.translation

Classes in de.uni_hildesheim.sse.translation that implement IConstraintTreeVisitor

Modifier and Type	Class	Description
class	AssignmentDetector	Implements a visitor which searches for assignments.
(package private) class	DerivedTypeMetaCompoundAccessVisitor	A checking visitor for illegal compound accesses in declaration of derived data types.
class	RefByCheckVisitor	A simple visitor checking whether an expression can be dereferenced.

Uses of IConstraintTreeVisitor in net.ssehub.easy.reasoning.core.reasoner

Classes in net.ssehub.easy.reasoning.core.reasoner that implement IConstraintTreeVisitor

Modifier and Type	Class	Description
class	CommentResourceVisitor	A visitor turning (partial) IVML elements into more or less explainable strings based on a given CommentResource.

Uses of IConstraintTreeVisitor in net.ssehub.easy.reasoning.sseReasoner

Classes in net.ssehub.easy.reasoning.sseReasoner that implement IConstraintTreeVisitor

Modifier and Type	Class	Description
(package private) class	CheckInitializerVisitor	Visits constraints and checks for contained constraints for constraint variables.
class	EvalVisitor	This class shall extend EvaluationVisitor for using it in the Reasoning plugin.

Uses of IConstraintTreeVisitor in net.ssehub.easy.reasoning.sseReasoner.functions

Classes in net.ssehub.easy.reasoning.sseReasoner.functions that implement IConstraintTreeVisitor

Modifier and Type	Class	Description
private static class	ConstraintFunctions.TransitiveConstraintFinder	A transitive constraint/variables finder.

Uses of IConstraintTreeVisitor in net.ssehub.easy.reasoning.sseReasoner.model

Classes in net.ssehub.easy.reasoning.sseReasoner.model that implement IConstraintTreeVisitor

Modifier and Type	Class	Description
class	SubstitutionVisitor	Substitutes variables in a constraint syntax tree by copying the syntax tree.
class	VariablesInConstraintFinder	Searches for used IDecisionVariables and their states inside a ConstraintSyntaxTree.
class	VariablesInNotSimpleAssignmentConstraintsFinder	A visitor to retrieve variables from constraints.

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.