Package org.checkerframework.common.util.report

Class ReportChecker

  • All Implemented Interfaces:
    javax.annotation.processing.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 org.checkerframework.common.util.report.qual.*.

    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.

    Options:

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

    • Constructor Detail

      • ReportChecker

        public ReportChecker()