Along with the Checker, we have produced a short tutorial [PDF], the document contains:
- Checker installation and running instructions,
- the essential concepts and ideas behind the annotation system,
- various examples to illustrate the basic features of all the annotations,
- the key restrictions and rules enforced by the annotation system.
The document is written with the motivation to give the reader the basic understanding of programming SCJ applications with the annotations.