org.checkerframework.framework.type.treeannotator

Class TreeAnnotator

java.lang.Object

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

org.checkerframework.framework.type.treeannotator.TreeAnnotator

All Implemented Interfaces:

TreeVisitor<Void,AnnotatedTypeMirror>

Direct Known Subclasses:

AliasingAnnotatedTypeFactory.AliasingTreeAnnotator, ClassValAnnotatedTypeFactory.ClassValTreeAnnotator, ImplicitsTreeAnnotator, InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator, KeyForPropagationTreeAnnotator, ListTreeAnnotator, LockTreeAnnotator, MethodValAnnotatedTypeFactory.MethodValTreeAnnotator, NullnessAnnotatedTypeFactory.NullnessTreeAnnotator, PropagationTreeAnnotator, PropertyKeyAnnotatedTypeFactory.KeyLookupTreeAnnotator, ValueAnnotatedTypeFactory.ValueTreeAnnotator

public abstract class TreeAnnotator
extends SimpleTreeVisitor<Void,AnnotatedTypeMirror>

TreeAnnotator is an abstract SimpleTreeVisitor to be used with ListTreeAnnotator

See Also:

ListTreeAnnotator, PropagationTreeAnnotator, ImplicitsTreeAnnotator

Field Summary

Fields

Modifier and Type	Field and Description
protected AnnotatedTypeFactory	atypeFactory

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

DEFAULT_VALUE

Constructor Summary

Constructors

Constructor and Description
TreeAnnotator(AnnotatedTypeFactory atypeFactory)

Method Summary

Modifier and Type	Method and Description
Void	visitMethod(MethodTree node, AnnotatedTypeMirror p) This method is not called when checking a method invocation against its declaration.

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

defaultAction, visit, visit, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBinary, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, 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

Field Detail

atypeFactory

protected final AnnotatedTypeFactory atypeFactory

Constructor Detail

TreeAnnotator

public TreeAnnotator(AnnotatedTypeFactory atypeFactory)

Method Detail

visitMethod

public Void visitMethod(MethodTree node,
                        AnnotatedTypeMirror p)

This method is not called when checking a method invocation against its declaration. So, instead of overriding this method, override TypeAnnotator.visitExecutable. TypeAnnotator.visitExecutable is called both when checking method declarations and method invocations.

Specified by:

visitMethod in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitMethod in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

See Also:

TypeAnnotator