| Class | Description |
|---|---|
| Operators |
This file contains methods that simulate the functions of the binary and unary operators in java
(e.g.
|
| ReflectiveEvalutator | |
| ValueAnnotatedTypeFactory |
AnnotatedTypeFactory for the Value type system.
|
| ValueChecker | |
| ValueCheckerUtils | |
| ValueTransfer | |
| ValueVisitor |