| Class | Description |
|---|---|
| ReflectiveEvaluator | |
| 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 | |
| ValueTransfer |
The transfer class for the Value Checker.
|
| ValueVisitor |
Visitor for the Constant Value type system.
|