org.checkerframework.common.value

Class ValueAnnotatedTypeFactory.ValueTreeAnnotator

java.lang.Object

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

org.checkerframework.framework.type.treeannotator.TreeAnnotator

org.checkerframework.common.value.ValueAnnotatedTypeFactory.ValueTreeAnnotator

All Implemented Interfaces:

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

Enclosing class:

ValueAnnotatedTypeFactory

protected class ValueAnnotatedTypeFactory.ValueTreeAnnotator
extends TreeAnnotator

The TreeAnnotator for this AnnotatedTypeFactory. It adds/replaces annotations.

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
ValueTreeAnnotator(ValueAnnotatedTypeFactory factory)

Method Summary

Modifier and Type	Method and Description
java.lang.Void	visitConditionalExpression(com.sun.source.tree.ConditionalExpressionTree node, AnnotatedTypeMirror annotatedTypeMirror)
java.lang.Void	visitLiteral(com.sun.source.tree.LiteralTree tree, AnnotatedTypeMirror type)
java.lang.Void	visitMemberSelect(com.sun.source.tree.MemberSelectTree tree, AnnotatedTypeMirror type)
java.lang.Void	visitMethodInvocation(com.sun.source.tree.MethodInvocationTree tree, AnnotatedTypeMirror type)
java.lang.Void	visitNewArray(com.sun.source.tree.NewArrayTree tree, AnnotatedTypeMirror type)
java.lang.Void	visitNewClass(com.sun.source.tree.NewClassTree tree, AnnotatedTypeMirror type)
java.lang.Void	visitTypeCast(com.sun.source.tree.TypeCastTree tree, AnnotatedTypeMirror atm)

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, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExports, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitMemberReference, visitModifiers, visitModule, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, 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

ValueTreeAnnotator

public ValueTreeAnnotator(ValueAnnotatedTypeFactory factory)

Method Detail

visitNewArray

public java.lang.Void visitNewArray(com.sun.source.tree.NewArrayTree tree,
                                    AnnotatedTypeMirror type)

Specified by:

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

Overrides:

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

visitTypeCast

public java.lang.Void visitTypeCast(com.sun.source.tree.TypeCastTree tree,
                                    AnnotatedTypeMirror atm)

Specified by:

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

Overrides:

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

visitLiteral

public java.lang.Void visitLiteral(com.sun.source.tree.LiteralTree tree,
                                   AnnotatedTypeMirror type)

Specified by:

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

Overrides:

visitLiteral 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>

visitNewClass

public java.lang.Void visitNewClass(com.sun.source.tree.NewClassTree tree,
                                    AnnotatedTypeMirror type)

Specified by:

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

Overrides:

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

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>

visitConditionalExpression

public java.lang.Void visitConditionalExpression(com.sun.source.tree.ConditionalExpressionTree node,
                                                 AnnotatedTypeMirror annotatedTypeMirror)

Specified by:

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

Overrides:

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