Class Hierarchy
- java.lang.Object
- javax.annotation.processing.AbstractProcessor (implements javax.annotation.processing.Processor)
- org.checkerframework.javacutil.AbstractTypeProcessor
- org.checkerframework.framework.source.SourceChecker (implements org.checkerframework.framework.util.OptionConfiguration)
- org.checkerframework.common.basetype.BaseTypeChecker
- org.checkerframework.checker.propkey.PropertyKeyChecker
- org.checkerframework.checker.compilermsgs.CompilerMessagesChecker
 
 
 - org.checkerframework.checker.propkey.PropertyKeyChecker
 
 - org.checkerframework.common.basetype.BaseTypeChecker
 
 - org.checkerframework.framework.source.SourceChecker (implements org.checkerframework.framework.util.OptionConfiguration)
 
 - org.checkerframework.javacutil.AbstractTypeProcessor
 - org.checkerframework.framework.type.AnnotatedTypeFactory (implements org.checkerframework.javacutil.AnnotationProvider)
- org.checkerframework.framework.type.GenericAnnotatedTypeFactory<Value,Store,TransferFunction,FlowAnalysis>
- org.checkerframework.common.basetype.BaseAnnotatedTypeFactory
- org.checkerframework.checker.propkey.PropertyKeyAnnotatedTypeFactory
- org.checkerframework.checker.compilermsgs.CompilerMessagesAnnotatedTypeFactory
 
 
 - org.checkerframework.checker.propkey.PropertyKeyAnnotatedTypeFactory
 
 - org.checkerframework.common.basetype.BaseAnnotatedTypeFactory
 
 - org.checkerframework.framework.type.GenericAnnotatedTypeFactory<Value,Store,TransferFunction,FlowAnalysis>
 
 - javax.annotation.processing.AbstractProcessor (implements javax.annotation.processing.Processor)