Package org.checkerframework.dataflow.util

Class Summary

Class	Description
AbstractMostlySingleton<T>	Base class for sets that are more efficient than HashSet for 0 and 1 elements.
IdentityMostlySingleton<T>	A set that is more efficient than HashSet for 0 and 1 elements.
MostlySingleton<T>	A set that is more efficient than HashSet for 0 and 1 elements.
NodeUtils	A utility class to operate on a given Node.
PurityChecker	A visitor that determines the purity (as defined by SideEffectFree, Deterministic, and Pure) of a statement or expression.
PurityChecker.PurityCheckerHelper	Helper class to keep PurityChecker's interface clean.
PurityChecker.PurityResult	Result of the PurityChecker.
PurityUtils	An utility class for working with the SideEffectFree, Deterministic, and Pure annotations.

Enum Summary

Enum	Description
AbstractMostlySingleton.State