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 Show documentation
Show all versions of checker Show documentation
The Checker Framework enhances Java’s type system to
make it more powerful and useful. This lets software developers
detect and prevent errors in their Java programs.
The Checker Framework includes compiler plug-ins ("checkers")
that find bugs or verify their absence. It also permits you to
write your own compiler plug-ins.
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.