Class Hierarchy
- java.lang.Object
- javax.annotation.processing.AbstractProcessor (implements javax.annotation.processing.Processor)
- org.checkerframework.javacutil.AbstractTypeProcessor
- org.checkerframework.javacutil.BasicTypeProcessor
- org.checkerframework.dataflow.cfg.CFGProcessor
- org.checkerframework.javacutil.BasicTypeProcessor
- org.checkerframework.javacutil.AbstractTypeProcessor
- org.checkerframework.dataflow.cfg.CFGProcessor.CFGProcessResult
- org.checkerframework.dataflow.cfg.ControlFlowGraph (implements org.plumelib.util.UniqueId)
- org.checkerframework.dataflow.cfg.UnderlyingAST (implements org.plumelib.util.UniqueId)
- org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda
- org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod
- org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement
- javax.annotation.processing.AbstractProcessor (implements javax.annotation.processing.Processor)
Enum Class Hierarchy
- java.lang.Object
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
- org.checkerframework.dataflow.cfg.UnderlyingAST.Kind
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)