Class ReportChecker

All Implemented Interfaces:
Processor, OptionConfiguration

@SupportedOptions({"reportTreeKinds","reportModifiers"}) public class ReportChecker extends BaseTypeChecker
The Report Checker for semantic searches.

The Report Checker provides mechanisms to implement semantic searches over a program, for example, to find all methods that override a specific method, all classes that inherit from a specific class, or all uses of do-while-loops (and not also while loops!).

The search is specified by writing a stub specification file using the annotations in*.

Additionally, the reportTreeKinds option can be used to search for specific tree kinds.

Some similar features are available from IDEs (e.g. show references), but this tool provides much more flexibility and a command-line tool.


  • reportTreeKinds: comma-separated list of Tree.Kinds that should be reported
  • reportModifiers: comma-separated list of modifiers that should be reported
  • Constructor Details

    • ReportChecker

      public ReportChecker()