Java knowledge-base tuning overview

Once you identify the issue (checker) and the criteria you need to communicate to the checker to prevent it, you:

1. Create a text file with the .jkb extension.
2. In the text file, describe the method signature.
3. Add a knowledge base annotation, for example, @CheckTrue. For a high-level description of Java knowledge base records commonly used for tuning, see Knowledge base annotations.
4. Bind the record to the checker, for example, with the @Bind annotation.
5. Import the knowledge base into a project.
6. Test the knowledge base with kwcheck.
7. Edit the method and/or annotation as needed.
8. Add another method, annotate it, and bind the method to the checker.
9. Test until you are satisfied with your results.
10. Use and share your new knowledge base.

See also