Package net.ssehub.easy.varModel.cst

Class ContainsSelfVisitor

java.lang.Object

net.ssehub.easy.varModel.cst.AbstractConstraintTreeVisitor

net.ssehub.easy.varModel.cst.ContainsSelfVisitor

All Implemented Interfaces:

IConstraintTreeVisitor

public class ContainsSelfVisitor
extends AbstractConstraintTreeVisitor

Searches a constraint for the occurrence of self.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private boolean	containsSelf

Constructor Summary

Constructors

Constructor	Description
ContainsSelfVisitor()	Creates the visitor instance.

Method Summary

Modifier and Type	Method	Description
void	clear()	Clears the visitor for reuse.
boolean	containsSelf()	Returns after accept whether the accepted constraint tree contains a self.
boolean	containsSelfAndClear()	Returns after accept whether the accepted constraint tree contains a self.
void	visitSelf(Self self)	Visits self.

Methods inherited from class net.ssehub.easy.varModel.cst.AbstractConstraintTreeVisitor

visitAnnotationVariable, visitBlockExpression, visitComment, visitCompoundAccess, visitCompoundInitializer, visitConstantValue, visitContainerInitializer, visitContainerOperationCall, visitDeferInitExpression, visitIfThen, visitLet, visitMultiAndExpression, visitOclFeatureCall, visitParenthesis, visitUnresolvedExpression, visitVariable

Methods inherited from class java.lang.Object

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

Field Details

containsSelf

private boolean containsSelf

Constructor Details

ContainsSelfVisitor

public ContainsSelfVisitor()

Creates the visitor instance.

Method Details

containsSelf

public boolean containsSelf()

Returns after accept whether the accepted constraint tree contains a self.

Returns:

true for at least one self, false else

clear

public void clear()

Clears the visitor for reuse.

containsSelfAndClear

public boolean containsSelfAndClear()

Returns after accept whether the accepted constraint tree contains a self. Clears the visitor.

Returns:

true for at least one self, false else

visitSelf

public void visitSelf(Self self)

Description copied from interface: IConstraintTreeVisitor

Visits self.

Specified by:

visitSelf in interface IConstraintTreeVisitor

Overrides:

visitSelf in class AbstractConstraintTreeVisitor

Parameters:

self - the self object to visit