Package org.checkerframework.common.accumulation

package org.checkerframework.common.accumulation

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.
AccumulationChecker.AliasAnalysis	The alias analyses that an accumulation checker can support.
AccumulationTransfer	The default transfer function for an accumulation checker.
AccumulationVisitor	The visitor for an accumulation checker.