org.checkerframework.checker.index.upperbound

Class UpperBoundAnnotatedTypeFactory.UpperBoundTreeAnnotator

java.lang.Object

com.sun.source.util.SimpleTreeVisitor<java.lang.Void,org.checkerframework.framework.type.AnnotatedTypeMirror>

org.checkerframework.framework.type.treeannotator.TreeAnnotator

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

All Implemented Interfaces:

TreeVisitor<java.lang.Void,org.checkerframework.framework.type.AnnotatedTypeMirror>

Enclosing class:

UpperBoundAnnotatedTypeFactory

protected class UpperBoundAnnotatedTypeFactory.UpperBoundTreeAnnotator
extends org.checkerframework.framework.type.treeannotator.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
java.lang.Void	visitBinary(BinaryTree tree, org.checkerframework.framework.type.AnnotatedTypeMirror type)
java.lang.Void	visitCompoundAssignment(CompoundAssignmentTree node, org.checkerframework.framework.type.AnnotatedTypeMirror type)
java.lang.Void	visitMethodInvocation(MethodInvocationTree tree, org.checkerframework.framework.type.AnnotatedTypeMirror type) This exists for Math.min and Random.nextInt, which must be special-cased.
java.lang.Void	visitUnary(UnaryTree node, org.checkerframework.framework.type.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 java.lang.Void visitMethodInvocation(MethodInvocationTree tree,
                                            org.checkerframework.framework.type.AnnotatedTypeMirror type)

This exists for Math.min and Random.nextInt, which must be special-cased. These are cases 1 and 2.

• 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<java.lang.Void,org.checkerframework.framework.type.AnnotatedTypeMirror>

Overrides:

visitMethodInvocation in class SimpleTreeVisitor<java.lang.Void,org.checkerframework.framework.type.AnnotatedTypeMirror>

visitUnary

public java.lang.Void visitUnary(UnaryTree node,
                                 org.checkerframework.framework.type.AnnotatedTypeMirror type)

Specified by:

visitUnary in interface TreeVisitor<java.lang.Void,org.checkerframework.framework.type.AnnotatedTypeMirror>

Overrides:

visitUnary in class SimpleTreeVisitor<java.lang.Void,org.checkerframework.framework.type.AnnotatedTypeMirror>

visitCompoundAssignment

public java.lang.Void visitCompoundAssignment(CompoundAssignmentTree node,
                                              org.checkerframework.framework.type.AnnotatedTypeMirror type)

Specified by:

visitCompoundAssignment in interface TreeVisitor<java.lang.Void,org.checkerframework.framework.type.AnnotatedTypeMirror>

Overrides:

visitCompoundAssignment in class SimpleTreeVisitor<java.lang.Void,org.checkerframework.framework.type.AnnotatedTypeMirror>

visitBinary

public java.lang.Void visitBinary(BinaryTree tree,
                                  org.checkerframework.framework.type.AnnotatedTypeMirror type)

Specified by:

visitBinary in interface TreeVisitor<java.lang.Void,org.checkerframework.framework.type.AnnotatedTypeMirror>

Overrides:

visitBinary in class org.checkerframework.framework.type.treeannotator.TreeAnnotator