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

Class VariablesInConstraintFinder

java.lang.Object

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

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

net.ssehub.easy.varModel.model.filter.VariablesInConstraintFinder

All Implemented Interfaces:

IConstraintTreeVisitor

public class VariablesInConstraintFinder
extends AbstractStateVariablesInConstraintFinder

Searches for used IDecisionVariables and their states inside a ConstraintSyntaxTree.

Author:

El-Sharkawy

Field Summary

Fields

Modifier and Type	Field	Description
private Set<IAssignmentState>	states
private Set<IDecisionVariable>	variables

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
protected void	addVariable(IDecisionVariable var)	Adds the related IDecisionVariable and their state to the result.
void	clear()	Clears this visitor for reuse.
Set<IAssignmentState>	getStates()	Returns all IAssignmentState's of the found IDecisionVariables of getVariables().
Set<IDecisionVariable>	getVariables()	Returns all IDecisionVariable's inside the given ConstraintSyntaxTree.

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

addVariable, getConfiguration, getEvaluator, setConfiguration, visitAnnotationVariable, visitCompoundAccess, visitContainerOperationCall, visitLet, visitVariable

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

variables

private Set<IDecisionVariable> variables

states

private Set<IAssignmentState> states

Constructor Details

VariablesInConstraintFinder

public VariablesInConstraintFinder()

Creates a constraint finder for reuse. Call AbstractStateVariablesInConstraintFinder.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).

VariablesInConstraintFinder

public VariablesInConstraintFinder(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

clear

public void clear()

Clears this visitor for reuse.

Overrides:

clear in class AbstractStateVariablesInConstraintFinder

getVariables

public Set<IDecisionVariable> getVariables()

Returns all IDecisionVariable's inside the given ConstraintSyntaxTree.

Returns:

A set of nested IDecisionVariable's (This set must not be null).

getStates

public Set<IAssignmentState> getStates()

Returns all IAssignmentState's of the found IDecisionVariables of getVariables().

Returns:

A set of nested IAssignmentState's (This set must not be null).

addVariable

protected void addVariable(IDecisionVariable var)

Description copied from class: AbstractStateVariablesInConstraintFinder

Adds the related IDecisionVariable and their state to the result.

Specified by:

addVariable in class AbstractStateVariablesInConstraintFinder

Parameters:

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