org.checkerframework.common.value
Classes
JavaExpressionOptimizer
ReflectiveEvaluator
ValueAnnotatedTypeFactory
ValueChecker
ValueCheckerUtils
ValueTransfer
ValueVisitor