Creating Java KAST checkers

You can watch a demo of Checker Studio here.

The basic steps involved in creating a KAST checker are:

1. Run kwcreatechecker to create the files for your checker.
2. Create the simplest test case.
3. Use Checker Studio to find the KAST nodes of interest.
4. Draft the KAST expression.
5. Test the expression.
6. Add more complexity and test cases to the test case.
7. Add the KAST expression to the checkers.xml file.
8. Create help documentation for the checker in the help.xml file.
9. Build the checker.
10. The checker is now ready for deployment.

These steps are covered in the Java KAST tutorial.

Prerequisites

Ant must be in your PATH.