Hierarchy For All Packages

Package Hierarchies:

checkers.flow, checkers.types, checkers.typestate

Class Hierarchy

• java.lang.Object
  • javax.annotation.processing.AbstractProcessor (implements javax.annotation.processing.Processor)
    • checkers.source.SourceChecker
      • checkers.typestate.TypestateChecker
  • checkers.types.AnnotatedTypeFactory
    • checkers.typestate.TypestateAnnotatedTypeFactory
  • checkers.typestate.AnnotationAsAnnotationValueVisitor (implements javax.lang.model.element.AnnotationValueVisitor<R,P>)
  • checkers.typestate.AnnotationsAsAnnotationValueVisitor (implements javax.lang.model.element.AnnotationValueVisitor<R,P>)
  • com.sun.source.util.SimpleTreeVisitor<R,P> (implements com.sun.source.tree.TreeVisitor<R,P>)
    • checkers.types.TypestateTypeFromExpression
  • com.sun.source.util.TreeScanner<R,P> (implements com.sun.source.tree.TreeVisitor<R,P>)
    • com.sun.source.util.TreePathScanner<R,P>
      • checkers.flow.MainFlow
        • checkers.typestate.TypestateFlow
      • checkers.typestate.StateAnnotationsDetector
  • checkers.types.TypestateTypeFromExpression.TypestateTypeFromExpressionEnv
  • checkers.typestate.TypestateUtil

Annotation Type Hierarchy

• checkers.typestate.State (implements java.lang.annotation.Annotation)
• checkers.typestate.NoChange (implements java.lang.annotation.Annotation)
• checkers.typestate.Any (implements java.lang.annotation.Annotation)