Package net.ssehub.easy.varModel.model.filter

Class AbstractStateVariablesInConstraintFinder

java.lang.Object

net.ssehub.easy.varModel.model.filter.AbstractVariableInConstraintFinder

net.ssehub.easy.varModel.model.filter.AbstractStateVariablesInConstraintFinder

All Implemented Interfaces:

IConstraintTreeVisitor

Direct Known Subclasses:

VariablesInConstraintFinder

public abstract class AbstractStateVariablesInConstraintFinder
extends AbstractVariableInConstraintFinder

Searches for used IDecisionVariables and their states inside a ConstraintSyntaxTree. For reuse, call setConfiguration(Configuration) first, then visit the respective constraint, and finally clear().

Author:

El-Sharkawy, Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private Configuration	config
private EvaluationVisitor	evaluator

Constructor Summary

Constructors

Constructor	Description
AbstractStateVariablesInConstraintFinder()	Creates a constraint finder for reuse.
AbstractStateVariablesInConstraintFinder(ConstraintSyntaxTree cst, Configuration config)	Creates a constraint finder for single use directly on cst.

Method Summary

Modifier and Type	Method	Description
protected abstract void	addVariable(IDecisionVariable var)	Adds the related IDecisionVariable and their state to the result.
protected void	addVariable(AbstractVariable declaration)	Adds the related IDecisionVariable and their state to the result.
void	clear()	Clears this visitor for reuse.
protected Configuration	getConfiguration()	Returns the assigned configuration.
protected EvaluationVisitor	getEvaluator()	Returns the evaluator.
void	setConfiguration(Configuration config)	Defines the configuration to work on.
void	visitAnnotationVariable(AttributeVariable variable)	Visits a AttributeVariable.
void	visitCompoundAccess(CompoundAccess access)	Visits a compound access node.
void	visitContainerOperationCall(ContainerOperationCall call)	Visits a container operation call (e.g.
void	visitLet(Let let)	Visits a let expression.
void	visitVariable(Variable variable)	Visits a variable.

Methods inherited from class net.ssehub.easy.varModel.model.filter.AbstractVariableInConstraintFinder

visitBlockExpression, visitComment, visitCompoundInitializer, visitConstantValue, visitContainerInitializer, visitDeferInitExpression, visitIfThen, visitMultiAndExpression, visitOclFeatureCall, visitParenthesis, visitSelf, visitUnresolvedExpression, visitValue

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

config

private Configuration config

evaluator

private EvaluationVisitor evaluator

Constructor Details

AbstractStateVariablesInConstraintFinder

public AbstractStateVariablesInConstraintFinder()

Creates a constraint finder for reuse. Call setConfiguration(Configuration) first, accept then the constraint to be analyzed and call clear() afterwards to make the visitor instance ready for reuse. (must not be null).

AbstractStateVariablesInConstraintFinder

public AbstractStateVariablesInConstraintFinder(ConstraintSyntaxTree cst,
 Configuration config)

Creates a constraint finder for single use directly on cst.

Parameters:

cst - A constraint where all nested IDecisionVariable's should be found.

config - The related Configuration of the project to where the cst belongs to (must not be null).

Method Details

setConfiguration

public void setConfiguration(Configuration config)

Defines the configuration to work on.

Parameters:

config - the configuration

clear

public void clear()

Clears this visitor for reuse.

visitVariable

public void visitVariable(Variable variable)

Description copied from interface: IConstraintTreeVisitor

Visits a variable.

Specified by:

visitVariable in interface IConstraintTreeVisitor

Overrides:

visitVariable in class AbstractVariableInConstraintFinder

Parameters:

variable - the variable which should be visited

visitAnnotationVariable

public void visitAnnotationVariable(AttributeVariable variable)

Description copied from interface: IConstraintTreeVisitor

Visits a AttributeVariable.

Parameters:

variable - the attribute variable which should be visited

addVariable

protected void addVariable(AbstractVariable declaration)

Adds the related IDecisionVariable and their state to the result.

Specified by:

addVariable in class AbstractVariableInConstraintFinder

Parameters:

declaration - A discovered declaration for which the IDecisionVariable and its state should be saved.

See Also:

• addVariable(IDecisionVariable)

addVariable

protected abstract void addVariable(IDecisionVariable var)

Adds the related IDecisionVariable and their state to the result.

Parameters:

var - the variable to be added, may be null, ignored then

visitLet

public void visitLet(Let let)

Description copied from interface: IConstraintTreeVisitor

Visits a let expression.

Parameters:

let - the let expression which should be visited

visitContainerOperationCall

public void visitContainerOperationCall(ContainerOperationCall call)

Description copied from interface: IConstraintTreeVisitor

Visits a container operation call (e.g. quantors, iterators).

Parameters:

call - the container operation call

visitCompoundAccess

public void visitCompoundAccess(CompoundAccess access)

Description copied from interface: IConstraintTreeVisitor

Visits a compound access node.

Parameters:

access - the compound access node

getEvaluator

protected EvaluationVisitor getEvaluator()

Returns the evaluator. Only initialized after setConfiguration(Configuration) and before clear().

Returns:

the evaluator

getConfiguration

protected Configuration getConfiguration()

Returns the assigned configuration. Only initialized after setConfiguration(Configuration) and before clear().

Returns:

the configuration