Package org.checkerframework.dataflow.expression

Class JavaExpressionScanner<P>

java.lang.Object

org.checkerframework.dataflow.expression.JavaExpressionVisitor<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<Void,P>

A simple scanner for JavaExpression.

Constructor Summary

Constructors

Constructor	Description
JavaExpressionScanner()

Method Summary

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

JavaExpressionScanner

public JavaExpressionScanner()

Method Details

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(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 Void visitArrayAccess(ArrayAccess arrayAccessExpr,
 P p)

Description copied from class: JavaExpressionVisitor

Visit an ArrayAccess.

Specified by:

visitArrayAccess in class JavaExpressionVisitor<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 Void visitArrayCreation(ArrayCreation arrayCreationExpr,
 P p)

Description copied from class: JavaExpressionVisitor

Visit an ArrayCreation.

Specified by:

visitArrayCreation in class JavaExpressionVisitor<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 Void visitBinaryOperation(BinaryOperation binaryOpExpr,
 P p)

Description copied from class: JavaExpressionVisitor

Visit a BinaryOperation.

Specified by:

visitBinaryOperation in class JavaExpressionVisitor<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 Void visitClassName(ClassName classNameExpr,
 P p)

Description copied from class: JavaExpressionVisitor

Visit a ClassName.

Specified by:

visitClassName in class JavaExpressionVisitor<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 Void visitFormalParameter(FormalParameter parameterExpr,
 P p)

Description copied from class: JavaExpressionVisitor

Visit a FormalParameter.

Specified by:

visitFormalParameter in class JavaExpressionVisitor<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 Void visitFieldAccess(FieldAccess fieldAccessExpr,
 P p)

Description copied from class: JavaExpressionVisitor

Visit a FieldAccess.

Specified by:

visitFieldAccess in class JavaExpressionVisitor<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 Void visitLocalVariable(LocalVariable localVarExpr,
 P p)

Description copied from class: JavaExpressionVisitor

Visit a LocalVariable.

Specified by:

visitLocalVariable in class JavaExpressionVisitor<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 Void visitMethodCall(MethodCall methodCallExpr,
 P p)

Description copied from class: JavaExpressionVisitor

Visit a MethodCall.

Specified by:

visitMethodCall in class JavaExpressionVisitor<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 Void visitThisReference(ThisReference thisExpr,
 P p)

Description copied from class: JavaExpressionVisitor

Visit a ThisReference.

Specified by:

visitThisReference in class JavaExpressionVisitor<Void,P>

Parameters:

thisExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the thisExpr

visitSuperReference

protected Void visitSuperReference(SuperReference superExpr,
 P p)

Description copied from class: JavaExpressionVisitor

Visit a SuperReference.

Specified by:

visitSuperReference in class JavaExpressionVisitor<Void,P>

Parameters:

superExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the superExpr

visitUnaryOperation

protected Void visitUnaryOperation(UnaryOperation unaryOpExpr,
 P p)

Description copied from class: JavaExpressionVisitor

Visit an UnaryOperation.

Specified by:

visitUnaryOperation in class JavaExpressionVisitor<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 Void visitUnknown(Unknown unknownExpr,
 P p)

Description copied from class: JavaExpressionVisitor

Visit an Unknown.

Specified by:

visitUnknown in class JavaExpressionVisitor<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 Void visitValueLiteral(ValueLiteral literalExpr,
 P p)

Description copied from class: JavaExpressionVisitor

Visit a ValueLiteral.

Specified by:

visitValueLiteral in class JavaExpressionVisitor<Void,P>

Parameters:

literalExpr - the JavaExpression to visit

p - the parameter to pass to the visit method

Returns:

the result of visiting the literalExpr