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

Class DeclrationInConstraintFinder

java.lang.Object

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

net.ssehub.easy.varModel.model.filter.DeclrationInConstraintFinder

All Implemented Interfaces:

IConstraintTreeVisitor

public class DeclrationInConstraintFinder
extends AbstractVariableInConstraintFinder

Filter class for retrieving all AbstractVariable's nested inside a given constraint.

Author:

El-Sharkawy

See Also:

IDecisionVariableInConstraintFinder

Field Summary

Fields

Modifier and Type	Field	Description
private java.util.Set<AbstractVariable>	declarations

Constructor Summary

Constructors

Constructor	Description
DeclrationInConstraintFinder(ConstraintSyntaxTree cst)	Default constructor for this class.
DeclrationInConstraintFinder(ConstraintSyntaxTree cst, boolean considerReferences)	Constructor for this class to specify whether (reference) values should also be visited.

Method Summary

Modifier and Type	Method	Description
protected void	addVariable(AbstractVariable declaration)	Handle a discovered declaration.
java.util.Set<AbstractVariable>	getDeclarations()	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.

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

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

Methods inherited from class java.lang.Object

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

Field Detail

declarations

private java.util.Set<AbstractVariable> declarations

Constructor Detail

DeclrationInConstraintFinder

public DeclrationInConstraintFinder(ConstraintSyntaxTree cst)

Default constructor for this class.

Parameters:

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

DeclrationInConstraintFinder

public DeclrationInConstraintFinder(ConstraintSyntaxTree cst,
                                    boolean considerReferences)

Constructor for this class to specify whether (reference) values should also be visited.

Parameters:

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

considerReferences - true values will also be visited to discover used declarations inside reference values, false these values will be ignored.

Method Detail

getDeclarations

public java.util.Set<AbstractVariable> getDeclarations()

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

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.