Search Java Classes and Packages
#Org.checkerframework.framework.type.treeannotator Classes and Interfaces - 5 results found.
| Name | Description | Type | Package | Framework |
| DebugListTreeAnnotator | A ListTreeAnnotator implementation that additionally outputs debugging information. | Class | org.checkerframework.framework.type.treeannotator | Checker |
| ImplicitsTreeAnnotator | Adds annotations to a type based on the contents of a tree. | Class | org.checkerframework.framework.type.treeannotator | Checker |
| ListTreeAnnotator | ListTreeAnnotator is a TreeVisitor that executes a list of for each tree visited. | Class | org.checkerframework.framework.type.treeannotator | Checker |
| PropagationTreeAnnotator | PropagationTreeAnnotator adds qualifiers to types where the resulting type is a function of an input type, e. | Class | org.checkerframework.framework.type.treeannotator | Checker |
| TreeAnnotator | TreeAnnotator is an abstract SimpleTreeVisitor to be used with ListTreeAnnotator | Class | org.checkerframework.framework.type.treeannotator | Checker |