Verifying Export Files
The verifyexp tool is used to verify an export file as a single unit. This verification is "shallow," examining only the content of a single export file, not including export files of packages referenced by the package of the export file. The verification determines whether an export file is internally consistent and viable as defined in the Virtual Machine Specification, Java Card Platform, Version 3.0.5, Classic Edition. This scenario is illustrated in Figure 13-2.
Running verifyexp
The file that invokes verifyexp is a batch file (verifyexp.bat) that you must run from a working directory of JC_CLASSIC_HOME\bin for the code to execute properly.
To run verifyexp:
Table 13-2 verifyexp Command Line Argument
| Argument | Description |
|---|---|
<export file> |
Fully qualified path and name of the export file. |
Command Line Options for Off-Card Verifier Tools. describes additional verifyexp options.
