Documentation



Send Feedback | Print | PDF | ePub | Mobi
Java Card 3 Platform Development Kit User Guide, Classic Edition

Verifying CAP Files

The verifycap tool is used to verify a CAP file within the context of package's export file (if any) and the export files of imported packages. This verification confirms whether a CAP file is internally consistent, as defined in the Virtual Machine Specification, Java Card Platform, Version 3.0.5, Classic Edition, and consistent with a context in which it can reside in a Java Card technology-enabled device.

Each individual export file is verified as a single unit. The scenario is shown in Figure 13-1. In the figure, the package p2 CAP file is being verified. Package p2 has a dependency on package p1, so the export file from package p1 is also input. The p2.exp file is only required if p2.cap exports any of its elements.

Figure 13-1 Verifying a CAP file

Description of "Figure 13-1 Verifying a CAP file" follows
Description of "Figure 13-1 Verifying a CAP file"

Running verifycap

The file to invoke verifycap is a batch file (verifycap.bat) that you must run from a working directory of JC_CLASSIC_HOME\bin in order for the code to execute properly.

To run verifycap:

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

    verifycap.bat [options] export-files CAP-file

    Table 13-1 verifycap Command Line Arguments

    Argument Description

    export-files

    A list of export files of the packages that this CAP file uses.

    CAP-file

    Name of the CAP file to be verified.

Command Line Options for Off-Card Verifier Toolsdescribes additional verifycap options.

Close Window

Table of Contents

Java Card: 3 Platform Development Kit User Guide, Classic Edition

Expand | Collapse