Package org.checkerframework.common.value
package org.checkerframework.common.value
-
ClassesClassDescriptionOptimize the given JavaExpression.Evaluates expressions (such as method calls and field accesses) at compile time, to determine whether they have compile-time constant values.AnnotatedTypeFactory for the Value type system.The Constant Value Checker is a constant propagation analysis: for each variable, it determines whether that variable's value can be known at compile time.Utility methods for the Value Checker.The transfer class for the Value Checker.Visitor for the Constant Value type system.