Class Hierarchy
- java.lang.Object
- org.checkerframework.dataflow.expression.JavaExpression
- org.checkerframework.dataflow.expression.ArrayAccess
- org.checkerframework.dataflow.expression.ArrayCreation
- org.checkerframework.dataflow.expression.BinaryOperation
- org.checkerframework.dataflow.expression.ClassName
- org.checkerframework.dataflow.expression.FieldAccess
- org.checkerframework.dataflow.expression.FormalParameter
- org.checkerframework.dataflow.expression.LocalVariable
- org.checkerframework.dataflow.expression.MethodCall
- org.checkerframework.dataflow.expression.ThisReference
- org.checkerframework.dataflow.expression.UnaryOperation
- org.checkerframework.dataflow.expression.Unknown
- org.checkerframework.dataflow.expression.ValueLiteral
- org.checkerframework.dataflow.expression.JavaExpressionVisitor<R,
P> - org.checkerframework.dataflow.expression.JavaExpressionConverter
- org.checkerframework.dataflow.expression.ViewpointAdaptJavaExpression
- org.checkerframework.dataflow.expression.JavaExpressionScanner<P>
- org.checkerframework.dataflow.expression.JavaExpressionConverter
- org.checkerframework.dataflow.expression.JavaExpression