framework.src.org.checkerframework.common.util.report.README Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of checker-qual Show documentation
Show all versions of checker-qual Show documentation
Checker Qual is the set of annotations (qualifiers) and supporting classes
used by the Checker Framework to type check Java source code. Please
see artifact:
org.checkerframework:checker
Report Checker - Semantic Search
================================
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!).
For most uses, see the qualifiers in
org.checkerframework.common.util.report.qual.*
The search is specified by writing a stub specification file using
these annotations.
Additionally, the reportTreeKinds option can be used to search for
specific tree kinds.
I have a few more ideas for additional searches.
Let me know if there's something missing you think is useful!
Some similar features are available from IDEs (e.g. show references),
but this tool provides much more flexibility and a command-line tool.