org.checkerframework.dataflow.expression

Class JavaExpressionVisitor<R,P>

java.lang.Object

org.checkerframework.dataflow.expression.JavaExpressionVisitor<R,P>

Type Parameters:

R - the return type of the visit methods

P - the parameter passed to the visit methods

Direct Known Subclasses:

JavaExpressionConverter, JavaExpressionScanner

public abstract class JavaExpressionVisitor<R,P>
extends Object

A simple visitor for JavaExpression.

Constructor Summary

Constructors

Constructor and Description
JavaExpressionVisitor()

Method Summary

Modifier and Type	Method and Description
R	visit(JavaExpression javaExpr, P p) Visits the given javaExpr.
protected abstract R	visitArrayAccess(ArrayAccess arrayAccessExpr, P p) Visit an ArrayAccess.
protected abstract R	visitArrayCreation(ArrayCreation arrayCreationExpr, P p) Visit an ArrayCreation.
protected abstract R	visitBinaryOperation(BinaryOperation binaryOpExpr, P p) Visit a BinaryOperation.
protected abstract R	visitClassName(ClassName classNameExpr, P p) Visit a ClassName.
protected abstract R	visitFieldAccess(FieldAccess fieldAccessExpr, P p) Visit a FieldAccess.
protected abstract R	visitFormalParameter(FormalParameter parameterExpr, P p) Visit a FormalParameter.
protected abstract R	visitLocalVariable(LocalVariable localVarExpr, P p) Visit a LocalVariable.
protected abstract R	visitMethodCall(MethodCall methodCallExpr, P p) Visit a MethodCall.
protected abstract R	visitThisReference(ThisReference thisExpr, P p) Visit a ThisReference.
protected abstract R	visitUnaryOperation(UnaryOperation unaryOpExpr, P p) Visit an UnaryOperation.
protected abstract R	visitUnknown(Unknown unknownExpr, P p) Visit an Unknown.
protected abstract R	visitValueLiteral(ValueLiteral literalExpr, P p) Visit a ValueLiteral.

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaExpressionVisitor

public JavaExpressionVisitor()

Method Detail

visit

public R visit(JavaExpression javaExpr,
               P p)

Visits the given javaExpr.

Parameters:

javaExpr - the expression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the expression

visitArrayAccess

protected abstract R visitArrayAccess(ArrayAccess arrayAccessExpr,
                                      P p)

Visit an ArrayAccess.

Parameters:

arrayAccessExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the arrayAccessExpr

visitArrayCreation

protected abstract R visitArrayCreation(ArrayCreation arrayCreationExpr,
                                        P p)

Visit an ArrayCreation.

Parameters:

arrayCreationExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the arrayCreationExpr

visitBinaryOperation

protected abstract R visitBinaryOperation(BinaryOperation binaryOpExpr,
                                          P p)

Visit a BinaryOperation.

Parameters:

binaryOpExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the binaryOpExpr

visitClassName

protected abstract R visitClassName(ClassName classNameExpr,
                                    P p)

Visit a ClassName.

Parameters:

classNameExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the classNameExpr

visitFieldAccess

protected abstract R visitFieldAccess(FieldAccess fieldAccessExpr,
                                      P p)

Visit a FieldAccess.

Parameters:

fieldAccessExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the fieldAccessExpr

visitFormalParameter

protected abstract R visitFormalParameter(FormalParameter parameterExpr,
                                          P p)

Visit a FormalParameter.

Parameters:

parameterExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the parameterExpr

visitLocalVariable

protected abstract R visitLocalVariable(LocalVariable localVarExpr,
                                        P p)

Visit a LocalVariable.

Parameters:

localVarExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the localVarExpr

visitMethodCall

protected abstract R visitMethodCall(MethodCall methodCallExpr,
                                     P p)

Visit a MethodCall.

Parameters:

methodCallExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the methodCallExpr

visitThisReference

protected abstract R visitThisReference(ThisReference thisExpr,
                                        P p)

Visit a ThisReference.

Parameters:

thisExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the thisExpr

visitUnaryOperation

protected abstract R visitUnaryOperation(UnaryOperation unaryOpExpr,
                                         P p)

Visit an UnaryOperation.

Parameters:

unaryOpExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the unaryOpExpr

visitUnknown

protected abstract R visitUnknown(Unknown unknownExpr,
                                  P p)

Visit an Unknown.

Parameters:

unknownExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the unknownExpr

visitValueLiteral

protected abstract R visitValueLiteral(ValueLiteral literalExpr,
                                       P p)

Visit a ValueLiteral.

Parameters:

literalExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the literalExpr