| AccumulationAnalysis |
This class only contains boilerplate code to permit AccumulationValue's accumulatedValues
functionality to interact with the rest of an accumulation type system.
|
| AccumulationAnnotatedTypeFactory |
An annotated type factory for an accumulation checker.
|
| AccumulationChecker |
An accumulation checker is one that accumulates some property: method calls, map keys, etc.
|
| AccumulationStore |
This class is boilerplate, to enable the logic in AccumulationValue.
|
| AccumulationTransfer |
The default transfer function for an accumulation checker.
|
| AccumulationValue |
AccumulationValue holds additional information about accumulated facts ("values", not to be
confused with "Value" in the name of this class) that cannot be stored in the accumulation type,
because they are not a refinement of that type.
|
| AccumulationVisitor |
The visitor for an accumulation checker.
|