org.checkerframework.common.value

Class JavaExpressionOptimizer

java.lang.Object

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

org.checkerframework.dataflow.expression.JavaExpressionConverter

org.checkerframework.common.value.JavaExpressionOptimizer

public class JavaExpressionOptimizer
extends JavaExpressionConverter

Optimize the given JavaExpression. If the supplied factory is a ValueAnnotatedTypeFactory, this implementation replaces any expression that the factory has an exact value for, and does a small (not exhaustive) amount of constant-folding as well. If the factory is some other factory, less optimization occurs.

Constructor Summary

Constructors

Constructor and Description
JavaExpressionOptimizer(AnnotatedTypeFactory factory) Creates a JavaExpressionOptimizer.

Method Summary

Modifier and Type	Method and Description
protected JavaExpression	visitFieldAccess(FieldAccess fieldAccessExpr, Void unused) Visit a FieldAccess.
protected JavaExpression	visitLocalVariable(LocalVariable localVarExpr, Void unused) Visit a LocalVariable.
protected JavaExpression	visitMethodCall(MethodCall methodCallExpr, Void unused) Visit a MethodCall.

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

convert, convert, visitArrayAccess, visitArrayCreation, visitBinaryOperation, visitClassName, visitThisReference, visitUnaryOperation, visitUnknown, visitValueLiteral

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

JavaExpressionOptimizer

public JavaExpressionOptimizer(AnnotatedTypeFactory factory)

Creates a JavaExpressionOptimizer.

Parameters:

factory - an annotated type factory

Method Detail

visitFieldAccess

protected JavaExpression visitFieldAccess(FieldAccess fieldAccessExpr,
                                          Void unused)

Description copied from class: JavaExpressionVisitor

Visit a FieldAccess.

Overrides:

visitFieldAccess in class JavaExpressionConverter

Parameters:

fieldAccessExpr - the JavaExpression to visit

unused - the parameter to pass to the visit method

Returns:

the result of visiting the fieldAccessExpr

visitLocalVariable

protected JavaExpression visitLocalVariable(LocalVariable localVarExpr,
                                            Void unused)

Description copied from class: JavaExpressionVisitor

Visit a LocalVariable.

Overrides:

visitLocalVariable in class JavaExpressionConverter

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,
                                         Void unused)

Description copied from class: JavaExpressionVisitor

Visit a MethodCall.

Overrides:

visitMethodCall in class JavaExpressionConverter

Parameters:

methodCallExpr - the JavaExpression to visit

unused - the parameter to pass to the visit method

Returns:

the result of visiting the methodCallExpr