Name | Description | Type | Package | Framework |
AnnotationsCounter | An annotation processor for counting the occurrences of annotations. | Class | org.checkerframework.common.util.count | Checker |
EmptyProcessor | Empty simple processor. | Class | org.checkerframework.common.util.debug | Checker |
Locations | An annotation processor for listing the potential locations of annotations. | Class | org.checkerframework.common.util.count | Checker |
ReportCall | Report all calls of a method that has this annotation, including calls of methods that override this method. | Class | org.checkerframework.common.util.report.qual | Checker |
ReportChecker | The Report Checker for semantic searches. | Class | org.checkerframework.common.util.report | Checker |
ReportCreation | Class | org.checkerframework.common.util.report.qual | Checker | |
ReportInherit | Class | org.checkerframework.common.util.report.qual | Checker | |
ReportOverride | Class | org.checkerframework.common.util.report.qual | Checker | |
ReportReadWrite | Class | org.checkerframework.common.util.report.qual | Checker | |
ReportUnqualified | Class | org.checkerframework.common.util.report.qual | Checker | |
ReportUse | Class | org.checkerframework.common.util.report.qual | Checker | |
ReportVisitor | Class | org.checkerframework.common.util.report | Checker | |
ReportWrite | Class | org.checkerframework.common.util.report.qual | Checker | |
SignaturePrinter | Outputs the method signatures of a class with fully annotated types. | Class | org.checkerframework.common.util.debug | Checker |
TreeDebug | A utility class for displaying the structure of the AST of a program. | Class | org.checkerframework.common.util.debug | Checker |
TreeDebug .Visitor | Class | org.checkerframework.common.util.debug | Checker | |
TreePrinter | A utility class for pretty-printing the AST of a program. | Class | org.checkerframework.common.util.debug | Checker |
TypeOutputtingChecker | A testing class that can be used to test TypeElement. | Class | org.checkerframework.common.util.debug | Checker |
TypeOutputtingChecker .Visitor | Prints the types of the class and all of its enclosing fields, methods, and inner classes | Class | org.checkerframework.common.util.debug | Checker |
TypeVisualizer | TypeVisualizer prints AnnotatedTypeMirrors as a directed graph where each node is a type and an arrow is a reference. | Class | org.checkerframework.common.util | Checker |