Custom Types

This section includes the following information and description about available custom types:

AppletNameAID

AppletNameAID groups together name and AID for a Java Card applet.

Table B-11 Parameters for AppletNameAID

Attribute Description Required

appletname

Fully qualified name of the Java Card applet.

Yes

aid

AID (Application Identifier) of the Java Card applet.

Yes

Example

To use these examples:

  1. Enter the following example code to set the fully qualified name and AID for the HelloWorld applet:
    <AppletNameAID
    appletname="com.sun.javacard.samples.HelloWorld.HelloWorld"
    aid="0xa0:0x0:0x0:0x0:0x62:0x3:0x1:0xc:0x1:0x1"/>
    

JCAInputFile

This type is a simple wrapper for a fully qualified JCA file name or a name of an input file that contains a list of input JCA files. In case the input file contains a list of input JCA files, the name of the file should be prepended with "@".

Table B-12 Parameters for JCAInputFile

Attribute Description Required

inputfile

Fully qualified name of the input file

Yes

Examples

To use these examples:

  1. Enter the following example code to set the fully qualified name of an input JCA file.
    <jcainputfile 
       inputfile="C:\jcas\common\com\sun\javacard\installer
    \javacard\installer.jca" />
    
  2. Enter the following example code to set the fully qualified name of an input file that contains a list of JCA files.
    <jcainputfile inputfile="@C:\jc\jcaDemo.in" />
    

ExportFiles

This type is actually the Ant FileSet type. It is used to specify a group of export files for the off-card verifier. For details, see Apache Ant documentation for FileSet type.

Examples

To use these examples:

  1. Enter the following example code to set the fully qualified name of an input EXP file:
    <exportfiles 
       file="C:\samples\classes\com\sun\javacard\samples
    \HelloWorld\javacard\HelloWorld.exp" />
  2. Enter the following example code to group all the files in the directory ${server.src} that are EXP files and do not have the text Test in their names:
    <exportfiles dir="${server.src}"> 
      <include name="**/*.exp"/> 
      <exclude name="**/*Test*"/>
    </exportfiles>