| 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.
|