Package org.checkerframework.dataflow.util
-
Class Summary Class Description NodeUtils A utility class to operate on a givenNode
.PurityChecker A visitor that determines the purity (as defined bySideEffectFree
,Deterministic
, andPure
) of a statement or expression.PurityChecker.PurityCheckerHelper Helper class to keepPurityChecker
's interface clean.PurityChecker.PurityResult Result of thePurityChecker
.PurityUtils