protected class UpperBoundAnnotatedTypeFactory.UpperBoundTreeAnnotator
extends org.checkerframework.framework.type.treeannotator.TreeAnnotator
atypeFactory
DEFAULT_VALUE
Constructor and Description |
---|
UpperBoundTreeAnnotator(UpperBoundAnnotatedTypeFactory factory) |
Modifier and Type | Method and Description |
---|---|
Void |
visitBinary(BinaryTree tree,
org.checkerframework.framework.type.AnnotatedTypeMirror type) |
Void |
visitCompoundAssignment(CompoundAssignmentTree node,
org.checkerframework.framework.type.AnnotatedTypeMirror type) |
Void |
visitMethodInvocation(MethodInvocationTree tree,
org.checkerframework.framework.type.AnnotatedTypeMirror type)
This exists for Math.min and Random.nextInt, which must be special-cased.
|
Void |
visitUnary(UnaryTree node,
org.checkerframework.framework.type.AnnotatedTypeMirror type) |
visitMethod
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
public UpperBoundTreeAnnotator(UpperBoundAnnotatedTypeFactory factory)
public Void visitMethodInvocation(MethodInvocationTree tree, org.checkerframework.framework.type.AnnotatedTypeMirror type)
visitMethodInvocation
in interface TreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>
visitMethodInvocation
in class SimpleTreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>
public Void visitUnary(UnaryTree node, org.checkerframework.framework.type.AnnotatedTypeMirror type)
visitUnary
in interface TreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>
visitUnary
in class SimpleTreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>
public Void visitCompoundAssignment(CompoundAssignmentTree node, org.checkerframework.framework.type.AnnotatedTypeMirror type)
visitCompoundAssignment
in interface TreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>
visitCompoundAssignment
in class SimpleTreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>
public Void visitBinary(BinaryTree tree, org.checkerframework.framework.type.AnnotatedTypeMirror type)
visitBinary
in interface TreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>
visitBinary
in class org.checkerframework.framework.type.treeannotator.TreeAnnotator