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:

AccumulationAnnotatedTypeFactory.AccumulationTreeAnnotator, AliasingAnnotatedTypeFactory.AliasingTreeAnnotator, ClassValAnnotatedTypeFactory.ClassValTreeAnnotator, DependentTypesTreeAnnotator, InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator, KeyForPropagationTreeAnnotator, ListTreeAnnotator, LiteralTreeAnnotator, LockTreeAnnotator, MethodValAnnotatedTypeFactory.MethodValTreeAnnotator, NullnessAnnotatedTypeFactory.NullnessTreeAnnotator, PropagationTreeAnnotator, PropertyKeyAnnotatedTypeFactory.KeyLookupTreeAnnotator, SameLenAnnotatedTypeFactory.SameLenTreeAnnotator, UpperBoundAnnotatedTypeFactory.UpperBoundTreeAnnotator

public abstract class TreeAnnotator
extends SimpleTreeVisitor<Void,AnnotatedTypeMirror>

TreeAnnotator is an abstract SimpleTreeVisitor to be used with ListTreeAnnotator.

This class does not visit component parts of the tree. By default, the visit methods all call SimpleTreeVisitor.defaultAction(Tree, Object), which does nothing unless overriden. Therefore, subclass do not need to call super unless they override SimpleTreeVisitor.defaultAction(Tree, Object).

See Also:

ListTreeAnnotator, PropagationTreeAnnotator, LiteralTreeAnnotator

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

Modifier	Constructor and Description
protected	TreeAnnotator(AnnotatedTypeFactory atypeFactory)

Method Summary

Modifier and Type	Method and Description
Void	visitBinary(BinaryTree node, AnnotatedTypeMirror mirror) When overriding this method, getAnnotatedType on the left and right operands should only be called when absolutely necessary.
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, 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, visitMemberSelect, visitMethodInvocation, 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

Field Detail

atypeFactory

protected final AnnotatedTypeFactory atypeFactory

Constructor Detail

TreeAnnotator

protected 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

visitBinary

public Void visitBinary(BinaryTree node,
                        AnnotatedTypeMirror mirror)

When overriding this method, getAnnotatedType on the left and right operands should only be called when absolutely necessary. Otherwise, the checker will be very slow on heavily nested binary trees. (For example, a + b + c + d + e + f + g + h.)

If a checker's performance is still too slow, the types of binary trees could be computed in a subclass of CFTransfer. When computing the types in a transfer, look up the value in the store rather than the AnnotatedTypeFactory. Then this method should annotate binary trees with top so that the type applied in the transfer is always a subtype of the type the AnnotatedTypeFactory computes.

Specified by:

visitBinary in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitBinary in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>