protected class ValueAnnotatedTypeFactory.ValueTreeAnnotator extends TreeAnnotator
atypeFactory
Constructor and Description |
---|
ValueTreeAnnotator(ValueAnnotatedTypeFactory factory) |
Modifier and Type | Method and Description |
---|---|
java.lang.Void |
visitAssignment(com.sun.source.tree.AssignmentTree tree,
AnnotatedTypeMirror type) |
java.lang.Void |
visitBinary(com.sun.source.tree.BinaryTree tree,
AnnotatedTypeMirror type) |
java.lang.Void |
visitLiteral(com.sun.source.tree.LiteralTree tree,
AnnotatedTypeMirror type)
Go through the string patterns and add the greatest lower bound of all matching patterns.
|
java.lang.Void |
visitMemberSelect(com.sun.source.tree.MemberSelectTree tree,
AnnotatedTypeMirror type) |
java.lang.Void |
visitMethodInvocation(com.sun.source.tree.MethodInvocationTree tree,
AnnotatedTypeMirror type) |
java.lang.Void |
visitNewArray(com.sun.source.tree.NewArrayTree tree,
AnnotatedTypeMirror type) |
java.lang.Void |
visitNewClass(com.sun.source.tree.NewClassTree tree,
AnnotatedTypeMirror type) |
java.lang.Void |
visitTypeCast(com.sun.source.tree.TypeCastTree tree,
AnnotatedTypeMirror type) |
java.lang.Void |
visitUnary(com.sun.source.tree.UnaryTree tree,
AnnotatedTypeMirror type)
NOTE: Because of the way CFGBuilder handles increment and decrement,
the value of any variable with being incremented or decrement will be
at least @IntVal (or higher if original type was higher).
|
addStringPattern, addTreeClass, addTreeKind, defaultAction, visitCompoundAssignment
visit, visit, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitMemberReference, visitMethod, visitModifiers, visitOther, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeParameter, visitUnionType, visitVariable, visitWhileLoop, visitWildcard
public ValueTreeAnnotator(ValueAnnotatedTypeFactory factory)
public java.lang.Void visitNewArray(com.sun.source.tree.NewArrayTree tree, AnnotatedTypeMirror type)
visitNewArray
in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
visitNewArray
in class TreeAnnotator
public java.lang.Void visitTypeCast(com.sun.source.tree.TypeCastTree tree, AnnotatedTypeMirror type)
visitTypeCast
in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
visitTypeCast
in class TreeAnnotator
public java.lang.Void visitAssignment(com.sun.source.tree.AssignmentTree tree, AnnotatedTypeMirror type)
visitAssignment
in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
visitAssignment
in class com.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>
public java.lang.Void visitLiteral(com.sun.source.tree.LiteralTree tree, AnnotatedTypeMirror type)
TreeAnnotator
visitLiteral
in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
visitLiteral
in class TreeAnnotator
public java.lang.Void visitUnary(com.sun.source.tree.UnaryTree tree, AnnotatedTypeMirror type)
visitUnary
in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
visitUnary
in class TreeAnnotator
tree
- type
- public java.lang.Void visitBinary(com.sun.source.tree.BinaryTree tree, AnnotatedTypeMirror type)
visitBinary
in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
visitBinary
in class TreeAnnotator
public java.lang.Void visitMethodInvocation(com.sun.source.tree.MethodInvocationTree tree, AnnotatedTypeMirror type)
visitMethodInvocation
in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
visitMethodInvocation
in class com.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>
public java.lang.Void visitNewClass(com.sun.source.tree.NewClassTree tree, AnnotatedTypeMirror type)
visitNewClass
in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
visitNewClass
in class com.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>
public java.lang.Void visitMemberSelect(com.sun.source.tree.MemberSelectTree tree, AnnotatedTypeMirror type)
visitMemberSelect
in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
visitMemberSelect
in class com.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>