Package 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 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	Description
protected	ClassValTreeAnnotator(ClassValAnnotatedTypeFactory factory)

Method Summary

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

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

log, visitBinary, visitMethod

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

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

Methods inherited from class java.lang.Object

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

Constructor Details

ClassValTreeAnnotator

protected ClassValTreeAnnotator(ClassValAnnotatedTypeFactory factory)

Method Details

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>