Package org.checkerframework.common.accumulation

package org.checkerframework.common.accumulation

Class	Description
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.
AccumulationChecker.AliasAnalysis	The alias analyses that an accumulation checker can support.
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.