| Class | Description |
|---|---|
| AccumulationAnnotatedTypeFactory |
An annotated type factory for an accumulation checker.
|
| AccumulationChecker |
An accumulation checker is one that accumulates some property: method calls, map keys, etc.
|
| AccumulationTransfer |
The default transfer function for an accumulation checker.
|
| AccumulationVisitor |
The visitor for an accumulation checker.
|
| Enum | Description |
|---|---|
| AccumulationChecker.AliasAnalysis |
The alias analyses that an accumulation checker can support.
|