Package org.checkerframework.dataflow.expression

Class JavaExpressionConverter

java.lang.Object

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

org.checkerframework.dataflow.expression.JavaExpressionConverter

Direct Known Subclasses:

JavaExpressionOptimizer, ViewpointAdaptJavaExpression

public abstract class JavaExpressionConverter
extends JavaExpressionVisitor<JavaExpression,java.lang.Void>

This class calls convert(JavaExpression) on each subexpression of the JavaExpression and returns a new JavaExpression built from the result of calling convert on each subexpression. (If an expression has no subexpression, then the expression itself is returned.)

This class makes it easy to implement a subclass that converts subexpressions of a JavaExpression based on which kind of JavaExpression the subexpression is. Subclasses should override the visit method of kinds of JavaExpressions to convert.

Constructor Summary

Constructors

Constructor	Description
JavaExpressionConverter()

Method Summary

Modifier and Type	Method	Description
java.util.List<@PolyNull JavaExpression>	convert(java.util.List<@PolyNull JavaExpression> list)	Converts all the expressions in list and returns the resulting list.
JavaExpression	convert(JavaExpression javaExpr)	Converts javaExpr and returns the resulting JavaExpression.
protected JavaExpression	visitArrayAccess(ArrayAccess arrayAccessExpr, java.lang.Void unused)	Visit an ArrayAccess.
protected JavaExpression	visitArrayCreation(ArrayCreation arrayCreationExpr, java.lang.Void unused)	Visit an ArrayCreation.
protected JavaExpression	visitBinaryOperation(BinaryOperation binaryOpExpr, java.lang.Void unused)	Visit a BinaryOperation.
protected JavaExpression	visitClassName(ClassName classNameExpr, java.lang.Void unused)	Visit a ClassName.
protected JavaExpression	visitFieldAccess(FieldAccess fieldAccessExpr, java.lang.Void unused)	Visit a FieldAccess.
protected JavaExpression	visitFormalParameter(FormalParameter parameterExpr, java.lang.Void unused)	Visit a FormalParameter.
protected JavaExpression	visitLocalVariable(LocalVariable localVarExpr, java.lang.Void unused)	Visit a LocalVariable.
protected JavaExpression	visitMethodCall(MethodCall methodCallExpr, java.lang.Void unused)	Visit a MethodCall.
protected JavaExpression	visitThisReference(ThisReference thisExpr, java.lang.Void unused)	Visit a ThisReference.
protected JavaExpression	visitUnaryOperation(UnaryOperation unaryOpExpr, java.lang.Void unused)	Visit an UnaryOperation.
protected JavaExpression	visitUnknown(Unknown unknownExpr, java.lang.Void unused)	Visit an Unknown.
protected JavaExpression	visitValueLiteral(ValueLiteral literalExpr, java.lang.Void unused)	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

JavaExpressionConverter

public JavaExpressionConverter()

Method Detail

convert

public JavaExpression convert(JavaExpression javaExpr)

Converts javaExpr and returns the resulting JavaExpression.

Parameters:

javaExpr - the expression to convert

Returns:

the converted expression

convert

public java.util.List<@PolyNull JavaExpression> convert(java.util.List<@PolyNull JavaExpression> list)

Converts all the expressions in list and returns the resulting list.

Parameters:

list - the list of expressions to convert

Returns:

the list of converted expressions

visitArrayAccess

protected JavaExpression visitArrayAccess(ArrayAccess arrayAccessExpr,
                                          java.lang.Void unused)

Description copied from class: JavaExpressionVisitor

Visit an ArrayAccess.

Specified by:

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

Parameters:

arrayAccessExpr - the JavaExpression to visit

unused - the parameter to pass to the visit method

Returns:

the result of visiting the arrayAccessExpr

visitArrayCreation

protected JavaExpression visitArrayCreation(ArrayCreation arrayCreationExpr,
                                            java.lang.Void unused)

Description copied from class: JavaExpressionVisitor

Visit an ArrayCreation.

Specified by:

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

Parameters:

arrayCreationExpr - the JavaExpression to visit

unused - the parameter to pass to the visit method

Returns:

the result of visiting the arrayCreationExpr

visitBinaryOperation

protected JavaExpression visitBinaryOperation(BinaryOperation binaryOpExpr,
                                              java.lang.Void unused)

Description copied from class: JavaExpressionVisitor

Visit a BinaryOperation.

Specified by:

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

Parameters:

binaryOpExpr - the JavaExpression to visit

unused - the parameter to pass to the visit method

Returns:

the result of visiting the binaryOpExpr

visitClassName

protected JavaExpression visitClassName(ClassName classNameExpr,
                                        java.lang.Void unused)

Description copied from class: JavaExpressionVisitor

Visit a ClassName.

Specified by:

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

Parameters:

classNameExpr - the JavaExpression to visit

unused - the parameter to pass to the visit method

Returns:

the result of visiting the classNameExpr

visitFieldAccess

protected JavaExpression visitFieldAccess(FieldAccess fieldAccessExpr,
                                          java.lang.Void unused)

Description copied from class: JavaExpressionVisitor

Visit a FieldAccess.

Specified by:

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

Parameters:

fieldAccessExpr - the JavaExpression to visit

unused - the parameter to pass to the visit method

Returns:

the result of visiting the fieldAccessExpr

visitFormalParameter

protected JavaExpression visitFormalParameter(FormalParameter parameterExpr,
                                              java.lang.Void unused)

Description copied from class: JavaExpressionVisitor

Visit a FormalParameter.

Specified by:

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

Parameters:

parameterExpr - the JavaExpression to visit

unused - the parameter to pass to the visit method

Returns:

the result of visiting the parameterExpr

visitLocalVariable

protected JavaExpression visitLocalVariable(LocalVariable localVarExpr,
                                            java.lang.Void unused)

Description copied from class: JavaExpressionVisitor

Visit a LocalVariable.

Specified by:

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

Parameters:

localVarExpr - the JavaExpression to visit

unused - the parameter to pass to the visit method

Returns:

the result of visiting the localVarExpr

visitMethodCall

protected JavaExpression visitMethodCall(MethodCall methodCallExpr,
                                         java.lang.Void unused)

Description copied from class: JavaExpressionVisitor

Visit a MethodCall.

Specified by:

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

Parameters:

methodCallExpr - the JavaExpression to visit

unused - the parameter to pass to the visit method

Returns:

the result of visiting the methodCallExpr

visitThisReference

protected JavaExpression visitThisReference(ThisReference thisExpr,
                                            java.lang.Void unused)

Description copied from class: JavaExpressionVisitor

Visit a ThisReference.

Specified by:

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

Parameters:

thisExpr - the JavaExpression to visit

unused - the parameter to pass to the visit method

Returns:

the result of visiting the thisExpr

visitUnaryOperation

protected JavaExpression visitUnaryOperation(UnaryOperation unaryOpExpr,
                                             java.lang.Void unused)

Description copied from class: JavaExpressionVisitor

Visit an UnaryOperation.

Specified by:

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

Parameters:

unaryOpExpr - the JavaExpression to visit

unused - the parameter to pass to the visit method

Returns:

the result of visiting the unaryOpExpr

visitUnknown

protected JavaExpression visitUnknown(Unknown unknownExpr,
                                      java.lang.Void unused)

Description copied from class: JavaExpressionVisitor

Visit an Unknown.

Specified by:

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

Parameters:

unknownExpr - the JavaExpression to visit

unused - the parameter to pass to the visit method

Returns:

the result of visiting the unknownExpr

visitValueLiteral

protected JavaExpression visitValueLiteral(ValueLiteral literalExpr,
                                           java.lang.Void unused)

Description copied from class: JavaExpressionVisitor

Visit a ValueLiteral.

Specified by:

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

Parameters:

literalExpr - the JavaExpression to visit

unused - the parameter to pass to the visit method

Returns:

the result of visiting the literalExpr