org.checkerframework.common.reflection

Class ClassValAnnotatedTypeFactory.ClassValTreeAnnotator

java.lang.Object

com.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>

org.checkerframework.framework.type.treeannotator.TreeAnnotator

org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory.ClassValTreeAnnotator

All Implemented Interfaces:

com.sun.source.tree.TreeVisitor<java.lang.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)
 

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
java.lang.Void	visitMemberSelect(com.sun.source.tree.MemberSelectTree tree, AnnotatedTypeMirror type)
java.lang.Void	visitMethodInvocation(com.sun.source.tree.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, visitExports, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitModifiers, visitModule, visitNewArray, visitNewClass, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitUses, 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 java.lang.Void visitMemberSelect(com.sun.source.tree.MemberSelectTree tree,
                                        AnnotatedTypeMirror type)

Specified by:

visitMemberSelect in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>

Overrides:

visitMemberSelect in class com.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>

visitMethodInvocation

public java.lang.Void visitMethodInvocation(com.sun.source.tree.MethodInvocationTree tree,
                                            AnnotatedTypeMirror type)

Specified by:

visitMethodInvocation in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>

Overrides:

visitMethodInvocation in class com.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>