Class ClassValAnnotatedTypeFactory.ClassValTreeAnnotator

java.lang.Object
com.sun.source.util.SimpleTreeVisitor<Void,AnnotatedTypeMirror>
org.checkerframework.framework.type.treeannotator.TreeAnnotator
org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory.ClassValTreeAnnotator
All Implemented Interfaces:
TreeVisitor<Void,AnnotatedTypeMirror>
Enclosing class:
ClassValAnnotatedTypeFactory

protected class ClassValAnnotatedTypeFactory.ClassValTreeAnnotator extends TreeAnnotator
Implements the following type inference rules.
 C.class:             @ClassVal(fully qualified name of C)
 Class.forName(name): @ClassVal("name")
 exp.getClass():      @ClassBound(fully qualified classname of exp)