Checking
To check source code for errors, without generating Java sources,
use the check subcommand:
The above command will check package com.io7m.example
in the directory p. The package is assumed
to be in the file p/com/io7m/example.jpr.
If checking succeeds, the command says nothing. Otherwise,
errors are printed to standard error and the program exits with a
non-zero exit code.
Code Generation
To generate Java sources,
use the generate-java subcommand:
The above command will check package com.io7m.example
in the directory p. The package is assumed
to be in the file p/com/io7m/example.jpr.
If no errors were detected, it will then generate Java source code
in the directory t, generating one Java
class per type definition, and placing each class in
t/com/io7m/example/.
If checking succeeds, the command says nothing. Otherwise,
errors are printed to standard error and the program exits with a
non-zero exit code.