Anatomy of a Java KAST checkerkwcreatechecker --language java --type kast --code <CHECKER.NAME> This command creates four files in a checker directory. You specify the directory name with the --code option, which is mandatory. The four files are:
Note: If you used the --kast-library option, these additional files are created:
|