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