Class JavaExpressionConverter

java.lang.Object
org.checkerframework.dataflow.expression.JavaExpressionVisitor<JavaExpression,Void>
org.checkerframework.dataflow.expression.JavaExpressionConverter
Direct Known Subclasses:
JavaExpressionOptimizer, ViewpointAdaptJavaExpression

public abstract class JavaExpressionConverter extends JavaExpressionVisitor<JavaExpression,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.