Command Line Options for Off-Card Verifier Tools

The verifycap, verifyexp, and verifyrev, off-card verifier tools share many of the same command line options. The only exceptions are the -package, -outfile, -digest, and -target options that are available for verifycap only.

These options exhibit the same behavior regardless of the tool that calls them.

Table 6-3 verifycap, verifyexp, verifyrev Command Line Options

Option	Description
`-help`	Prints help message.
`-nobanner`	Suppresses banner message.
`-nowarn`	Suppresses warning messages.
`-package <package name>`	(Available for `verifycap` only) Sets the name of the package to be verified.
`-outfile`	(Available for `verifycap` only) Specifies the name of the output file to store the digest (default: no output file created).
`-digest`	(Available for `verifycap` only) Specifies the digest to use (default: SHA-256)
`-target`	(Available for `verifycap` only) Specifies the target platform (3.0.4, 3.0.5, 3.1.0 or 3.2.0). When a target is specified, the `verifier` automatically uses an internal copy of the export files corresponding to the specified version and ignores the export files for platform packages provided on the command line. This ensures that the correct version of export files is used and allows the `verifier` to detect some binary incompatibility issues when extending some of the platform classes or interfaces on versions 3.0.4 and 3.0.5 of the platform. Note that using this option to specify the target still requires that you provide the export files for all other packages used by the CAP file. If no target is specified, the export files for all the packages used by the CAP file must be provided on the command line.
`-verbose`	Enables verbose mode.
`-version`	Prints version number and exits.
`-C command-options-file` or `-commandoptionsfile command-options-file`	Optional. Specifies a file containing command-line options.
`-enable-preview [final\|all]`	Enables verification against a target platform that implements Java Card preview features. The following variants are supported: `-enable-preview final` enables only the features that have reached their final state and will be included permanently in the next specification version. `-enable-preview [all]` (default) enables both evolving and finalized preview features. When `-enable-preview` is specified, the converter only supports targeting the latest Java Card platform version. Any other value provided for the -target option in combination with `-enable-preview` is rejected. If neither `-enable-preview` nor `-target` is specified, export files for all packages used by the CAP file must be provided on the command line. Note: This option is available with `verifycap` only.