org.checkerframework.common.value

Classes

• JavaExpressionOptimizer
• ReflectiveEvaluator
• ValueAnnotatedTypeFactory
• ValueChecker
• ValueCheckerUtils
• ValueTransfer
• ValueVisitor