de.uni_hildesheim.sse.translation

Class RefByCheckVisitor

java.lang.Object

de.uni_hildesheim.sse.translation.RefByCheckVisitor

All Implemented Interfaces:

net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

public class RefByCheckVisitor
extends java.lang.Object
implements net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

A simple visitor checking whether an expression can be dereferenced.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	canBeDereferenced

Constructor Summary

Constructors

Constructor and Description
RefByCheckVisitor()

Method Summary

Modifier and Type	Method and Description
boolean	canBeDereferenced() Returns whether the visited expression can be dereferenced.
void	reset() Resets the value determined by this visitor.
void	visitAnnotationVariable(net.ssehub.easy.varModel.cst.AttributeVariable variable)
void	visitBlockExpression(net.ssehub.easy.varModel.cst.BlockExpression block)
void	visitComment(net.ssehub.easy.varModel.cst.Comment comment)
void	visitCompoundAccess(net.ssehub.easy.varModel.cst.CompoundAccess access)
void	visitCompoundInitializer(net.ssehub.easy.varModel.cst.CompoundInitializer initializer)
void	visitConstantValue(net.ssehub.easy.varModel.cst.ConstantValue value)
void	visitContainerInitializer(net.ssehub.easy.varModel.cst.ContainerInitializer initializer)
void	visitContainerOperationCall(net.ssehub.easy.varModel.cst.ContainerOperationCall call)
void	visitIfThen(net.ssehub.easy.varModel.cst.IfThen ifThen)
void	visitLet(net.ssehub.easy.varModel.cst.Let let)
void	visitMultiAndExpression(net.ssehub.easy.varModel.cst.MultiAndExpression expression)
void	visitOclFeatureCall(net.ssehub.easy.varModel.cst.OCLFeatureCall call)
void	visitParenthesis(net.ssehub.easy.varModel.cst.Parenthesis parenthesis)
void	visitSelf(net.ssehub.easy.varModel.cst.Self self)
void	visitUnresolvedExpression(net.ssehub.easy.varModel.cst.UnresolvedExpression expression)
void	visitVariable(net.ssehub.easy.varModel.cst.Variable variable)

Methods inherited from class java.lang.Object

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

Field Detail

canBeDereferenced

private boolean canBeDereferenced

Constructor Detail

RefByCheckVisitor

public RefByCheckVisitor()

Method Detail

canBeDereferenced

public boolean canBeDereferenced()

Returns whether the visited expression can be dereferenced.

Returns:

true if it can be dereferenced, false else

reset

public void reset()

Resets the value determined by this visitor.

visitConstantValue

public void visitConstantValue(net.ssehub.easy.varModel.cst.ConstantValue value)

Specified by:

visitConstantValue in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

visitVariable

public void visitVariable(net.ssehub.easy.varModel.cst.Variable variable)

Specified by:

visitVariable in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

visitAnnotationVariable

public void visitAnnotationVariable(net.ssehub.easy.varModel.cst.AttributeVariable variable)

Specified by:

visitAnnotationVariable in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

visitParenthesis

public void visitParenthesis(net.ssehub.easy.varModel.cst.Parenthesis parenthesis)

Specified by:

visitParenthesis in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

visitComment

public void visitComment(net.ssehub.easy.varModel.cst.Comment comment)

Specified by:

visitComment in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

visitOclFeatureCall

public void visitOclFeatureCall(net.ssehub.easy.varModel.cst.OCLFeatureCall call)

Specified by:

visitOclFeatureCall in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

visitMultiAndExpression

public void visitMultiAndExpression(net.ssehub.easy.varModel.cst.MultiAndExpression expression)

Specified by:

visitMultiAndExpression in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

visitLet

public void visitLet(net.ssehub.easy.varModel.cst.Let let)

Specified by:

visitLet in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

visitIfThen

public void visitIfThen(net.ssehub.easy.varModel.cst.IfThen ifThen)

Specified by:

visitIfThen in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

visitContainerOperationCall

public void visitContainerOperationCall(net.ssehub.easy.varModel.cst.ContainerOperationCall call)

Specified by:

visitContainerOperationCall in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

visitCompoundAccess

public void visitCompoundAccess(net.ssehub.easy.varModel.cst.CompoundAccess access)

Specified by:

visitCompoundAccess in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

visitUnresolvedExpression

public void visitUnresolvedExpression(net.ssehub.easy.varModel.cst.UnresolvedExpression expression)

Specified by:

visitUnresolvedExpression in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

visitCompoundInitializer

public void visitCompoundInitializer(net.ssehub.easy.varModel.cst.CompoundInitializer initializer)

Specified by:

visitCompoundInitializer in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

visitContainerInitializer

public void visitContainerInitializer(net.ssehub.easy.varModel.cst.ContainerInitializer initializer)

Specified by:

visitContainerInitializer in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

visitSelf

public void visitSelf(net.ssehub.easy.varModel.cst.Self self)

Specified by:

visitSelf in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

visitBlockExpression

public void visitBlockExpression(net.ssehub.easy.varModel.cst.BlockExpression block)

Specified by:

visitBlockExpression in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor