| 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. |