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