org.checkerframework.checker.index.upperbound

Class UpperBoundAnnotatedTypeFactory.UpperBoundTreeAnnotator

java.lang.Object

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

org.checkerframework.framework.type.treeannotator.TreeAnnotator

org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory.UpperBoundTreeAnnotator

All Implemented Interfaces:

TreeVisitor<Void,AnnotatedTypeMirror>

Enclosing class:

UpperBoundAnnotatedTypeFactory

protected class UpperBoundAnnotatedTypeFactory.UpperBoundTreeAnnotator
extends TreeAnnotator

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
UpperBoundTreeAnnotator(UpperBoundAnnotatedTypeFactory factory)

Method Summary

Modifier and Type	Method and Description
Void	visitBinary(BinaryTree tree, AnnotatedTypeMirror type) When overriding this method, getAnnotatedType on the left and right operands should only be called when absolutely necessary.
Void	visitCompoundAssignment(CompoundAssignmentTree node, AnnotatedTypeMirror type)
Void	visitMethodInvocation(MethodInvocationTree tree, AnnotatedTypeMirror type) This exists for Math.min and Random.nextInt, which must be special-cased.
Void	visitUnary(UnaryTree node, 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, visitLiteral, visitMemberReference, visitMemberSelect, visitModifiers, visitNewArray, visitNewClass, visitOther, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnionType, visitVariable, visitWhileLoop, visitWildcard

Methods inherited from class java.lang.Object

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

Constructor Detail

UpperBoundTreeAnnotator

public UpperBoundTreeAnnotator(UpperBoundAnnotatedTypeFactory factory)

Method Detail

visitMethodInvocation

public Void visitMethodInvocation(MethodInvocationTree tree,
                                  AnnotatedTypeMirror type)

This exists for Math.min and Random.nextInt, which must be special-cased.

• Math.min has unusual semantics that combines annotations for the UBC.
• The return type of Random.nextInt depends on the argument, but is not equal to it, so a polymorhpic qualifier is insufficient.

Other methods should not be special-cased here unless there is a compelling reason to do so.

Specified by:

visitMethodInvocation in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitMethodInvocation in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitUnary

public Void visitUnary(UnaryTree node,
                       AnnotatedTypeMirror type)

Specified by:

visitUnary in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

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

visitBinary

public Void visitBinary(BinaryTree tree,
                        AnnotatedTypeMirror type)

Description copied from class: TreeAnnotator

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 TreeAnnotator