Uses of Class
net.ssehub.easy.varModel.cst.Variable

Packages that use Variable

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.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 Variable in de.uni_hildesheim.sse.translation

Methods in de.uni_hildesheim.sse.translation that return Variable

Modifier and Type	Method	Description
Variable	TypeContext.obtainVariable(AbstractVariable decl)	Obtains a CTS variable node for a given variable declaration, i.e., creates it or returns it from the variable pool of this context.

Methods in de.uni_hildesheim.sse.translation with parameters of type Variable

Modifier and Type	Method	Description
void	AssignmentDetector.visitVariable(Variable variable)
void	RefByCheckVisitor.visitVariable(Variable variable)

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

Methods in net.ssehub.easy.reasoning.core.reasoner with parameters of type Variable

Modifier and Type	Method	Description
void	CommentResourceVisitor.visitVariable(Variable variable)

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

Fields in net.ssehub.easy.reasoning.sseReasoner declared as Variable

Modifier and Type	Field	Description
private Variable	Resolver.CompoundAnnotationMapper.declVar

Methods in net.ssehub.easy.reasoning.sseReasoner with parameters of type Variable

Modifier and Type	Method	Description
protected void	Resolver.CompoundAnnotationMapper.initialize(ConstraintSyntaxTree cAcc, Variable declVar)	Initializes the mapper.
private void	Resolver.registerCompoundMapping(Compound type, ConstraintSyntaxTree cAcc, Variable declVar)	Registers the mapping for a compound type.
private void	Resolver.registerCompoundSlotMapping(Compound type, ConstraintSyntaxTree cAcc, Variable declVar)	Registers the slot mappings for compound slots of type.
void	CheckInitializerVisitor.visitVariable(Variable variable)

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

Methods in net.ssehub.easy.reasoning.sseReasoner.functions with parameters of type Variable

Modifier and Type	Method	Description
void	ConstraintFunctions.TransitiveConstraintFinder.visitVariable(Variable variable)

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

Methods in net.ssehub.easy.reasoning.sseReasoner.model with parameters of type Variable

Modifier and Type	Method	Description
private ConstraintSyntaxTree	SubstitutionVisitor.map(Variable variable)	Maps a variable to its accessor expression.
void	SubstitutionVisitor.visitVariable(Variable variable)
void	VariablesInNotSimpleAssignmentConstraintsFinder.visitVariable(Variable variable)

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

Methods in net.ssehub.easy.varModel.confModel with parameters of type Variable

Modifier and Type	Method	Description
void	CompoundValueSetter.visitVariable(Variable variable)

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

Subclasses of Variable in net.ssehub.easy.varModel.cst

Modifier and Type	Class	Description
class	AttributeVariable	A variable which represents an attribute.
class	ResolvedVariable	Carries a resolved variable.

Fields in net.ssehub.easy.varModel.cst with type parameters of type Variable

Modifier and Type	Field	Description
private java.util.Map<java.lang.Integer,Variable>	VariablePool.variablesCache

Methods in net.ssehub.easy.varModel.cst that return Variable

Modifier and Type	Method	Description
Variable	VariablePool.obtainVariable(AbstractVariable decl)	Returns a Variable for the given AbstractVariable.

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

Modifier and Type	Method	Description
ConstraintSyntaxTree	CopyVisitor.IVariableReplacer.mapLeaf(Variable variable)	Maps a leaf variable.
void	AbstractConstraintTreeVisitor.visitVariable(Variable variable)
void	BasicCopyVisitor.visitVariable(Variable variable)
void	ConstraintReplacer.visitVariable(Variable variable)
void	CopyVisitor.visitVariable(Variable variable)
void	DebugConstraintTreeVisitor.visitVariable(Variable variable)
void	IConstraintTreeVisitor.visitVariable(Variable variable)	Visits a variable.
void	ValidationVisitor.visitVariable(Variable variable)

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

Fields in net.ssehub.easy.varModel.cstEvaluation declared as Variable

Modifier and Type	Field	Description
private Variable	EvaluationUtils.VariableReplacer.iter

Methods in net.ssehub.easy.varModel.cstEvaluation with parameters of type Variable

Modifier and Type	Method	Description
ConstraintSyntaxTree	EvaluationUtils.VariableReplacer.mapLeaf(Variable variable)
void	EvaluationVisitor.visitVariable(Variable variable)
void	StaticAccessFinder.visitVariable(Variable variable)

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

Methods in net.ssehub.easy.varModel.model with parameters of type Variable

Modifier and Type	Method	Description
void	ExpressionVersionRestrictionValidator.visitVariable(Variable variable)

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

Methods in net.ssehub.easy.varModel.model.filter with parameters of type Variable

Modifier and Type	Method	Description
void	AbstractStateVariablesInConstraintFinder.visitVariable(Variable variable)
void	AbstractVariableInConstraintFinder.visitVariable(Variable variable)
void	ConstraintClassifier.visitVariable(Variable variable)

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

Methods in net.ssehub.easy.varModel.model.filter.mandatoryVars with parameters of type Variable

Modifier and Type	Method	Description
void	MandatoryDeclarationClassifier.visitVariable(Variable variable)

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

Methods in net.ssehub.easy.varModel.model.search with parameters of type Variable

Modifier and Type	Method	Description
void	PrefixSearchVisitor.visitVariable(Variable variable)

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

Methods in net.ssehub.easy.varModel.persistency with parameters of type Variable

Modifier and Type	Method	Description
void	IVMLWriter.visitVariable(Variable variable)
void	VariableUsage.visitVariable(Variable variable)

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

Methods in net.ssehub.easy.varModel.validation with parameters of type Variable

Modifier and Type	Method	Description
void	IvmlValidationVisitor.visitVariable(Variable variable)