org.checkerframework.checker.index.samelen

Class SameLenAnnotatedTypeFactory.SameLenTreeAnnotator

java.lang.Object

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

org.checkerframework.framework.type.treeannotator.TreeAnnotator

org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory.SameLenTreeAnnotator

All Implemented Interfaces:

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

Enclosing class:

SameLenAnnotatedTypeFactory

protected class SameLenAnnotatedTypeFactory.SameLenTreeAnnotator
extends org.checkerframework.framework.type.treeannotator.TreeAnnotator

SameLen needs a tree annotator in order to properly type the right side of assignments of new arrays that are initialized with the length of another array.

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
SameLenTreeAnnotator(SameLenAnnotatedTypeFactory factory)

Method Summary

Modifier and Type	Method and Description
Void	visitNewArray(NewArrayTree node, org.checkerframework.framework.type.AnnotatedTypeMirror type) Case 5.

Methods inherited from class org.checkerframework.framework.type.treeannotator.TreeAnnotator

visitBinary, 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, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMemberSelect, visitMethodInvocation, visitModifiers, visitNewClass, visitOther, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitVariable, visitWhileLoop, visitWildcard

Methods inherited from class java.lang.Object

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

Constructor Detail

SameLenTreeAnnotator

public SameLenTreeAnnotator(SameLenAnnotatedTypeFactory factory)

Method Detail

visitNewArray

public Void visitNewArray(NewArrayTree node,
                          org.checkerframework.framework.type.AnnotatedTypeMirror type)

Case 5.

Specified by:

visitNewArray in interface TreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>

Overrides:

visitNewArray in class SimpleTreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>