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.

Figure 9-2 Verifying An Export File

Description of "Figure 9-2 Verifying An Export File"

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:

1. Enter the following command (Table 9-2 describes the available options):

   verifyexp [options] export-file

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.