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.

Figure 13-2 Verifying An Export File

Description of Figure 13-2 follows
Description of "Figure 13-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_CLASSIC_HOME\bin for the code to execute properly.

To run verifyexp:

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

    verifyexp [options] export-file

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.