Package org.checkerframework.dataflow.expression

Class JavaExpressionScanner<P>

java.lang.Object

org.checkerframework.dataflow.expression.JavaExpressionVisitor<java.lang.Void,P>

org.checkerframework.dataflow.expression.JavaExpressionScanner<P>

Type Parameters:

P - the parameter passed to the scan methods

public abstract class JavaExpressionScanner<P>
extends JavaExpressionVisitor<java.lang.Void,P>

A simple scanner for JavaExpression.

Constructor Summary

Constructors

Constructor	Description
JavaExpressionScanner()

Method Summary

Modifier and Type	Method	Description
void	scan(java.util.List<? extends @Nullable JavaExpression> expressions, P p)	Scans each JavaExpression in expressions.
void	scan(JavaExpression javaExpression, P p)	Scans the JavaExpression.
protected java.lang.Void	visitArrayAccess(ArrayAccess arrayAccessExpr, P p)	Visit an ArrayAccess.
protected java.lang.Void	visitArrayCreation(ArrayCreation arrayCreationExpr, P p)	Visit an ArrayCreation.
protected java.lang.Void	visitBinaryOperation(BinaryOperation binaryOpExpr, P p)	Visit a BinaryOperation.
protected java.lang.Void	visitClassName(ClassName classNameExpr, P p)	Visit a ClassName.
protected java.lang.Void	visitFieldAccess(FieldAccess fieldAccessExpr, P p)	Visit a FieldAccess.
protected java.lang.Void	visitFormalParameter(FormalParameter parameterExpr, P p)	Visit a FormalParameter.
protected java.lang.Void	visitLocalVariable(LocalVariable localVarExpr, P p)	Visit a LocalVariable.
protected java.lang.Void	visitMethodCall(MethodCall methodCallExpr, P p)	Visit a MethodCall.
protected java.lang.Void	visitThisReference(ThisReference thisExpr, P p)	Visit a ThisReference.
protected java.lang.Void	visitUnaryOperation(UnaryOperation unaryOpExpr, P p)	Visit an UnaryOperation.
protected java.lang.Void	visitUnknown(Unknown unknownExpr, P p)	Visit an Unknown.
protected java.lang.Void	visitValueLiteral(ValueLiteral literalExpr, P p)	Visit a ValueLiteral.

Methods inherited from class org.checkerframework.dataflow.expression.JavaExpressionVisitor

visit

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaExpressionScanner

public JavaExpressionScanner()

Method Detail

scan

public void scan(JavaExpression javaExpression,
                 P p)

Scans the JavaExpression.

Parameters:

javaExpression - the expression to scan

p - parameter to pass

scan

public void scan(java.util.List<? extends @Nullable JavaExpression> expressions,
                 P p)

Scans each JavaExpression in expressions.

Parameters:

expressions - a list of JavaExpressions to scan

p - pameter to pass

visitArrayAccess

protected java.lang.Void visitArrayAccess(ArrayAccess arrayAccessExpr,
                                          P p)

Description copied from class: JavaExpressionVisitor

Visit an ArrayAccess.

Specified by:

visitArrayAccess in class JavaExpressionVisitor<java.lang.Void,P>

Parameters:

arrayAccessExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the arrayAccessExpr

visitArrayCreation

protected java.lang.Void visitArrayCreation(ArrayCreation arrayCreationExpr,
                                            P p)

Description copied from class: JavaExpressionVisitor

Visit an ArrayCreation.

Specified by:

visitArrayCreation in class JavaExpressionVisitor<java.lang.Void,P>

Parameters:

arrayCreationExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the arrayCreationExpr

visitBinaryOperation

protected java.lang.Void visitBinaryOperation(BinaryOperation binaryOpExpr,
                                              P p)

Description copied from class: JavaExpressionVisitor

Visit a BinaryOperation.

Specified by:

visitBinaryOperation in class JavaExpressionVisitor<java.lang.Void,P>

Parameters:

binaryOpExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the binaryOpExpr

visitClassName

protected java.lang.Void visitClassName(ClassName classNameExpr,
                                        P p)

Description copied from class: JavaExpressionVisitor

Visit a ClassName.

Specified by:

visitClassName in class JavaExpressionVisitor<java.lang.Void,P>

Parameters:

classNameExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the classNameExpr

visitFormalParameter

protected java.lang.Void visitFormalParameter(FormalParameter parameterExpr,
                                              P p)

Description copied from class: JavaExpressionVisitor

Visit a FormalParameter.

Specified by:

visitFormalParameter in class JavaExpressionVisitor<java.lang.Void,P>

Parameters:

parameterExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the parameterExpr

visitFieldAccess

protected java.lang.Void visitFieldAccess(FieldAccess fieldAccessExpr,
                                          P p)

Description copied from class: JavaExpressionVisitor

Visit a FieldAccess.

Specified by:

visitFieldAccess in class JavaExpressionVisitor<java.lang.Void,P>

Parameters:

fieldAccessExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the fieldAccessExpr

visitLocalVariable

protected java.lang.Void visitLocalVariable(LocalVariable localVarExpr,
                                            P p)

Description copied from class: JavaExpressionVisitor

Visit a LocalVariable.

Specified by:

visitLocalVariable in class JavaExpressionVisitor<java.lang.Void,P>

Parameters:

localVarExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the localVarExpr

visitMethodCall

protected java.lang.Void visitMethodCall(MethodCall methodCallExpr,
                                         P p)

Description copied from class: JavaExpressionVisitor

Visit a MethodCall.

Specified by:

visitMethodCall in class JavaExpressionVisitor<java.lang.Void,P>

Parameters:

methodCallExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the methodCallExpr

visitThisReference

protected java.lang.Void visitThisReference(ThisReference thisExpr,
                                            P p)

Description copied from class: JavaExpressionVisitor

Visit a ThisReference.

Specified by:

visitThisReference in class JavaExpressionVisitor<java.lang.Void,P>

Parameters:

thisExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the thisExpr

visitUnaryOperation

protected java.lang.Void visitUnaryOperation(UnaryOperation unaryOpExpr,
                                             P p)

Description copied from class: JavaExpressionVisitor

Visit an UnaryOperation.

Specified by:

visitUnaryOperation in class JavaExpressionVisitor<java.lang.Void,P>

Parameters:

unaryOpExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the unaryOpExpr

visitUnknown

protected java.lang.Void visitUnknown(Unknown unknownExpr,
                                      P p)

Description copied from class: JavaExpressionVisitor

Visit an Unknown.

Specified by:

visitUnknown in class JavaExpressionVisitor<java.lang.Void,P>

Parameters:

unknownExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the unknownExpr

visitValueLiteral

protected java.lang.Void visitValueLiteral(ValueLiteral literalExpr,
                                           P p)

Description copied from class: JavaExpressionVisitor

Visit a ValueLiteral.

Specified by:

visitValueLiteral in class JavaExpressionVisitor<java.lang.Void,P>

Parameters:

literalExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the literalExpr