Package org.checkerframework.common.value

Class Summary

Class	Description
ReflectiveEvaluator
ValueAnnotatedTypeFactory	AnnotatedTypeFactory for the Value type system.
ValueChecker
ValueCheckerUtils
ValueTransfer
ValueVisitor