Class Hierarchy
- java.lang.Object
- org.checkerframework.dataflow.util.NodeUtils
- org.checkerframework.dataflow.util.PurityChecker
- org.checkerframework.dataflow.util.PurityChecker.PurityResult
- org.checkerframework.dataflow.util.PurityUtils
- com.sun.source.util.TreeScanner<R,P> (implements com.sun.source.tree.TreeVisitor<R,P>)
- com.sun.source.util.TreePathScanner<R,P>
- org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
- com.sun.source.util.TreePathScanner<R,P>