Package org.checkerframework.framework.type.treeannotator
package org.checkerframework.framework.type.treeannotator
-
ClassDescriptionA ListTreeAnnotator implementation that additionally outputs debugging information.ListTreeAnnotator is a TreeVisitor that executes a list of
TreeAnnotator
for each tree visited.Adds annotations to a type based on the contents of a tree.PropagationTreeAnnotator
adds qualifiers to types where the resulting type is a function of an input type, e.g.TreeAnnotator
is an abstract SimpleTreeVisitor to be used withListTreeAnnotator
.