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 and Description
JavaExpressionScanner()

Method Summary

Modifier and Type	Method and Description
void	scan(JavaExpression javaExpression, P p) Scans the JavaExpression.
void	scan(List<? extends JavaExpression> expressions, P p) Scans each JavaExpression in expressions.
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	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 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(List<? extends 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

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