org.checkerframework.checker.propkey

Class PropertyKeyAnnotatedTypeFactory.KeyLookupTreeAnnotator

java.lang.Object

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

org.checkerframework.framework.type.treeannotator.TreeAnnotator

org.checkerframework.checker.propkey.PropertyKeyAnnotatedTypeFactory.KeyLookupTreeAnnotator

All Implemented Interfaces:

TreeVisitor<Void,AnnotatedTypeMirror>

Enclosing class:

PropertyKeyAnnotatedTypeFactory

protected class PropertyKeyAnnotatedTypeFactory.KeyLookupTreeAnnotator
extends TreeAnnotator

This TreeAnnotator checks for every String literal whether it is included in the lookup keys. If it is, the given annotation is added to the literal; otherwise, nothing happens. Subclasses of this AnnotatedTypeFactory can directly reuse this class and use a different annotation as parameter.

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

Constructor and Description
KeyLookupTreeAnnotator(BaseAnnotatedTypeFactory atf, Class<? extends Annotation> annot)

Method Summary

Modifier and Type	Method and Description
Void	visitBinary(BinaryTree node, AnnotatedTypeMirror type)
Void	visitCompoundAssignment(CompoundAssignmentTree node, AnnotatedTypeMirror type)
Void	visitLiteral(LiteralTree tree, AnnotatedTypeMirror type)

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

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, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitMemberReference, visitMemberSelect, visitMethodInvocation, 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

KeyLookupTreeAnnotator

public KeyLookupTreeAnnotator(BaseAnnotatedTypeFactory atf,
                              Class<? extends Annotation> annot)

Method Detail

visitLiteral

public Void visitLiteral(LiteralTree tree,
                         AnnotatedTypeMirror type)

Specified by:

visitLiteral in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitLiteral in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitBinary

public Void visitBinary(BinaryTree node,
                        AnnotatedTypeMirror type)

Specified by:

visitBinary in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitBinary in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitCompoundAssignment

public Void visitCompoundAssignment(CompoundAssignmentTree node,
                                    AnnotatedTypeMirror type)

Specified by:

visitCompoundAssignment in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitCompoundAssignment in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>