| Class | Description |
|---|---|
| ReflectiveEvaluator |
Evaluates expressions (such as method calls and field accesses) at compile time, to determine
whether they have compile-time constant values.
|
| ValueAnnotatedTypeFactory |
AnnotatedTypeFactory for the Value type system.
|
| ValueChecker |
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.
|
| ValueCheckerUtils |
Utility methods for the Value Checker.
|
| ValueTransfer |
The transfer class for the Value Checker.
|
| ValueVisitor |
Visitor for the Constant Value type system.
|