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

Class AbstractVariableInConstraintFinder

java.lang.Object

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

All Implemented Interfaces:

IConstraintTreeVisitor

Direct Known Subclasses:

AbstractStateVariablesInConstraintFinder, DeclrationInConstraintFinder, IDecisionVariableInConstraintFinder

public abstract class AbstractVariableInConstraintFinder
extends Object
implements IConstraintTreeVisitor

Superclass for searching for variables/declarations inside ConstraintSyntaxTrees.

Author:

El-Sharkawy

Field Summary

Fields

Modifier and Type	Field	Description
private boolean	considerReferences

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractVariableInConstraintFinder(boolean considerReferences)	Single constructor for this class.

Method Summary

Modifier and Type	Method	Description
protected abstract void	addVariable(AbstractVariable declaration)	Handle a discovered declaration.
void	visitBlockExpression(BlockExpression block)	Visits the block.
void	visitComment(Comment comment)	Visits a comment.
void	visitCompoundInitializer(CompoundInitializer initializer)	Visits a compound initializer.
void	visitConstantValue(ConstantValue value)	Visits a constant value.
void	visitContainerInitializer(ContainerInitializer initializer)	Visits a container initializer.
void	visitDeferInitExpression(DeferInitExpression expression)	Visits a default init expression.
void	visitIfThen(IfThen ifThen)	Visits an if-then-else expression.
void	visitMultiAndExpression(MultiAndExpression expression)	Visits a multi-and expression.
void	visitOclFeatureCall(OCLFeatureCall call)	Visits an OCL feature call.
void	visitParenthesis(Parenthesis parenthesis)	Visits a parenthesis.
void	visitSelf(Self self)	Visits self.
void	visitUnresolvedExpression(UnresolvedExpression expression)	Visits an unresolved expression.
protected void	visitValue(Value value)	Recursive method to find reference values pointing to a AbstractVariable.
void	visitVariable(Variable variable)	Visits a variable.

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

visitAnnotationVariable, visitCompoundAccess, visitContainerOperationCall, visitLet

Field Details

considerReferences

private boolean considerReferences

Constructor Details

AbstractVariableInConstraintFinder

protected AbstractVariableInConstraintFinder(boolean considerReferences)

Single constructor for this class.

Parameters:

considerReferences - true declarations of Reference values will also be found, false these declarations will be omitted.

Method Details

visitConstantValue

public void visitConstantValue(ConstantValue value)

Description copied from interface: IConstraintTreeVisitor

Visits a constant value.

Specified by:

visitConstantValue in interface IConstraintTreeVisitor

Parameters:

value - the value which should be visited

visitParenthesis

public void visitParenthesis(Parenthesis parenthesis)

Description copied from interface: IConstraintTreeVisitor

Visits a parenthesis.

Specified by:

visitParenthesis in interface IConstraintTreeVisitor

Parameters:

parenthesis - the parenthesis which should be visited

visitComment

public void visitComment(Comment comment)

Description copied from interface: IConstraintTreeVisitor

Visits a comment.

Specified by:

visitComment in interface IConstraintTreeVisitor

Parameters:

comment - the comment node which should be visited

visitOclFeatureCall

public void visitOclFeatureCall(OCLFeatureCall call)

Description copied from interface: IConstraintTreeVisitor

Visits an OCL feature call.

Specified by:

visitOclFeatureCall in interface IConstraintTreeVisitor

Parameters:

call - the feature call which should be visited

visitDeferInitExpression

public void visitDeferInitExpression(DeferInitExpression expression)

Description copied from interface: IConstraintTreeVisitor

Visits a default init expression.

Specified by:

visitDeferInitExpression in interface IConstraintTreeVisitor

Parameters:

expression - the expression

visitMultiAndExpression

public void visitMultiAndExpression(MultiAndExpression expression)

Description copied from interface: IConstraintTreeVisitor

Visits a multi-and expression.

Specified by:

visitMultiAndExpression in interface IConstraintTreeVisitor

Parameters:

expression - the expression to be visited

visitIfThen

public void visitIfThen(IfThen ifThen)

Description copied from interface: IConstraintTreeVisitor

Visits an if-then-else expression.

Specified by:

visitIfThen in interface IConstraintTreeVisitor

Parameters:

ifThen - the if-then-else expression which should be visited

visitUnresolvedExpression

public void visitUnresolvedExpression(UnresolvedExpression expression)

Description copied from interface: IConstraintTreeVisitor

Visits an unresolved expression. Please note that an unresolved expression may represent a leaf as well as an inner tree node. Typically, visitors shall continue visiting transparently at UnresolvedExpression.getActualExpression().

Specified by:

visitUnresolvedExpression in interface IConstraintTreeVisitor

Parameters:

expression - the expression

visitCompoundInitializer

public void visitCompoundInitializer(CompoundInitializer initializer)

Description copied from interface: IConstraintTreeVisitor

Visits a compound initializer.

Specified by:

visitCompoundInitializer in interface IConstraintTreeVisitor

Parameters:

initializer - the compound initializer node

visitContainerInitializer

public void visitContainerInitializer(ContainerInitializer initializer)

Description copied from interface: IConstraintTreeVisitor

Visits a container initializer.

Specified by:

visitContainerInitializer in interface IConstraintTreeVisitor

Parameters:

initializer - the container initializer node

visitSelf

public void visitSelf(Self self)

Description copied from interface: IConstraintTreeVisitor

Visits self.

Specified by:

visitSelf in interface IConstraintTreeVisitor

Parameters:

self - the self object to visit

visitVariable

public void visitVariable(Variable variable)

Description copied from interface: IConstraintTreeVisitor

Visits a variable.

Specified by:

visitVariable in interface IConstraintTreeVisitor

Parameters:

variable - the variable which should be visited

visitValue

protected void visitValue(Value value)

Recursive method to find reference values pointing to a AbstractVariable.

Parameters:

value - the content of a ConstantValue.

See Also:

• visitConstantValue(ConstantValue)

visitBlockExpression

public void visitBlockExpression(BlockExpression block)

Description copied from interface: IConstraintTreeVisitor

Visits the block.

Specified by:

visitBlockExpression in interface IConstraintTreeVisitor

Parameters:

block - the block to be visited

addVariable

protected abstract void addVariable(AbstractVariable declaration)

Handle a discovered declaration.

Parameters:

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