Package 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	Description
JavaExpressionOptimizer(AnnotatedTypeFactory atypeFactory)	Creates a JavaExpressionOptimizer.

Method Summary

Modifier and Type	Method	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, visitFormalParameter, 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 Details

JavaExpressionOptimizer

public JavaExpressionOptimizer(AnnotatedTypeFactory atypeFactory)

Creates a JavaExpressionOptimizer.

Parameters:

atypeFactory - an annotated type factory

Method Details

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