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

Class IDecisionVariableInConstraintFinder

java.lang.Object

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

net.ssehub.easy.varModel.model.filter.IDecisionVariableInConstraintFinder

All Implemented Interfaces:

IConstraintTreeVisitor

public class IDecisionVariableInConstraintFinder
extends AbstractVariableInConstraintFinder

Searches for IDecisionVariables in a ConstraintSyntaxTree.

Author:

El-Sharkawy

See Also:

DeclarationInContainerFinder

Field Summary

Fields

Modifier and Type	Field	Description
private Configuration	config
private IDecisionVariable	lastVariable
private java.util.Deque<IDecisionVariable>	parents
private java.util.Set<IDecisionVariable>	variables

Constructor Summary

Constructors

Constructor	Description
IDecisionVariableInConstraintFinder(Configuration config)	Single constructor for this class.

Method Summary

Modifier and Type	Method	Description
protected void	addVariable(AbstractVariable declaration)	Handle a discovered declaration.
java.util.Set<IDecisionVariable>	getVariables()	Returns all AbstractVariable's inside the given ConstraintSyntaxTree.
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	visitOclFeatureCall(OCLFeatureCall call)	Visits an OCL feature call.
protected void	visitValue(Value value)	Recursive method to find reference values pointing to a AbstractVariable.

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

visitBlockExpression, visitComment, visitCompoundInitializer, visitConstantValue, visitContainerInitializer, visitIfThen, visitMultiAndExpression, visitParenthesis, visitSelf, visitUnresolvedExpression, visitVariable

Methods inherited from class java.lang.Object

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

Field Detail

config

private Configuration config

parents

private java.util.Deque<IDecisionVariable> parents

lastVariable

private IDecisionVariable lastVariable

variables

private java.util.Set<IDecisionVariable> variables

Constructor Detail

IDecisionVariableInConstraintFinder

public IDecisionVariableInConstraintFinder(Configuration config)

Single constructor for this class.
This will not start the visitation, for this the #accept(net.ssehub.easy.varModel.cst.IConstraintTreeVisitor) must be called.

Parameters:

config - The underlying configuration, from which the IDecisionVariables shall come from.

Method Detail

getVariables

public java.util.Set<IDecisionVariable> getVariables()

Returns all AbstractVariable's inside the given ConstraintSyntaxTree.

Returns:

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

visitAnnotationVariable

public void visitAnnotationVariable(AttributeVariable variable)

Description copied from interface: IConstraintTreeVisitor

Visits a AttributeVariable.

Parameters:

variable - the attribute variable which should be visited

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

visitValue

protected void visitValue(Value value)

Recursive method to find reference values pointing to a AbstractVariable.

Overrides:

visitValue in class AbstractVariableInConstraintFinder

Parameters:

value - the content of a ConstantValue.

See Also:

AbstractVariableInConstraintFinder.visitConstantValue(net.ssehub.easy.varModel.cst.ConstantValue)

addVariable

protected void addVariable(AbstractVariable declaration)

Description copied from class: AbstractVariableInConstraintFinder

Handle a discovered declaration.

Specified by:

addVariable in class AbstractVariableInConstraintFinder

Parameters:

declaration - The declaration which was found and should be added to the list of found elements.

visitOclFeatureCall

public void visitOclFeatureCall(OCLFeatureCall call)

Description copied from interface: IConstraintTreeVisitor

Visits an OCL feature call.

Specified by:

visitOclFeatureCall in interface IConstraintTreeVisitor

Overrides:

visitOclFeatureCall in class AbstractVariableInConstraintFinder

Parameters:

call - the feature call which should be visited