Class SameLenAnnotatedTypeFactory.SameLenTreeAnnotator

java.lang.Object
com.sun.source.util.SimpleTreeVisitor<Void,AnnotatedTypeMirror>
org.checkerframework.framework.type.treeannotator.TreeAnnotator
org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory.SameLenTreeAnnotator
All Implemented Interfaces:
TreeVisitor<Void,AnnotatedTypeMirror>
Enclosing class:
SameLenAnnotatedTypeFactory

protected class SameLenAnnotatedTypeFactory.SameLenTreeAnnotator extends 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.