org.checkerframework.common.reflection

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 these type inference rules:

 C.class:             @ClassVal(fully qualified name of C)
 Class.forName(name): @ClassVal("name")
 exp.getClass():      @ClassBound(fully qualified classname of exp)
 

Field Summary

Fields inherited from class org.checkerframework.framework.type.treeannotator.TreeAnnotator

atypeFactory

Fields inherited from class com.sun.source.util.SimpleTreeVisitor

DEFAULT_VALUE

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ClassValTreeAnnotator(ClassValAnnotatedTypeFactory factory)

Method Summary

Modifier and Type	Method and Description
Void	visitMemberSelect(MemberSelectTree tree, AnnotatedTypeMirror type)
Void	visitMethodInvocation(MethodInvocationTree tree, AnnotatedTypeMirror type)

Methods inherited from class org.checkerframework.framework.type.treeannotator.TreeAnnotator

visitBinary, visitMethod

Methods inherited from class com.sun.source.util.SimpleTreeVisitor

defaultAction, visit, visit, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitModifiers, visitNewArray, visitNewClass, visitOther, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitVariable, visitWhileLoop, visitWildcard

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ClassValTreeAnnotator

protected ClassValTreeAnnotator(ClassValAnnotatedTypeFactory factory)

Method Detail

visitMemberSelect

public Void visitMemberSelect(MemberSelectTree tree,
                              AnnotatedTypeMirror type)

Specified by:

visitMemberSelect in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitMemberSelect in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitMethodInvocation

public Void visitMethodInvocation(MethodInvocationTree tree,
                                  AnnotatedTypeMirror type)

Specified by:

visitMethodInvocation in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitMethodInvocation in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>