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 Java Card Platform Virtual Machine Specification, Classic Edition, Version 3.1. This scenario is illustrated in Figure 9-2.
Running verifyexp
The file that invokes verifyexp
is a batch file (verifyexp.bat
) that you must run from a working directory of JC_HOME_TOOLS\bin
for the code to execute properly.
To run verifyexp
:
Table 9-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.