Java KAST syntax reference

A KAST expression describes one or more locations in the AST that you want your checker to target for syntax issues.

The starting point is a test case (the simpler the better) that contains the issue of interest.

Checker Studio simplifies the drafting of KAST expressions by providing:

  • a visual representation of your code snippet
  • detailed KAST node type and dependency definitions in the form of context-sensitive help
  • an easy way to test your KAST expression

For examples, see Java KAST examples.