Package org.checkerframework.common.value

Class Summary

Class	Description
Operators	This file contains methods that simulate the functions of the Binary and Unary operators in java (e.g.
ReflectiveEvalutator
ValueAnnotatedTypeFactory
ValueChecker
ValueCheckerUtils
ValueTransfer
ValueVisitor