Class AinferTestAnnotatedTypeFactory.AinferTestTreeAnnotator

java.lang.Object
com.sun.source.util.SimpleTreeVisitor<Void,AnnotatedTypeMirror>
org.checkerframework.framework.type.treeannotator.TreeAnnotator
org.checkerframework.checker.testchecker.ainfer.AinferTestAnnotatedTypeFactory.AinferTestTreeAnnotator
All Implemented Interfaces:
TreeVisitor<Void,AnnotatedTypeMirror>
Enclosing class:
AinferTestAnnotatedTypeFactory

protected static class AinferTestAnnotatedTypeFactory.AinferTestTreeAnnotator extends TreeAnnotator
  • Constructor Details

    • AinferTestTreeAnnotator

      protected AinferTestTreeAnnotator(AnnotatedTypeFactory atypeFactory)
      Create a new AinferTestTreeAnnotator.
      Parameters:
      atypeFactory - the type factory