Package org.checkerframework.dataflow.util

package org.checkerframework.dataflow.util

Classes

Class	Description
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	A utility class for working with the SideEffectFree, Deterministic, and Pure annotations.