Где инструмент конвертера Java Card ищет файлы EXP?

Question

, используя инструмент JavaCard Converter, я продолжал получать ошибки типа

error: export file rmi.exp of package java.rmi not found.

и

error: export file framework.exp of package javacard.framework not found.

Ошибки постепенно исчезли после того, как я скопировал каталоги под

/usr/local/javacard/java_card_kit-2_2_2/api_export_files

в локальный каталог. Теперь это явно взломать. Нет, называть это «взломом» было бы оскорблением любого другого реального взлома. Это явно не то, как все должно работать, верно?

Итак, как мне сообщить инструменту конвертера, где он должен искать .exp-файлы?

И да, я тоже установил JC_HOME=/usr/local/javacard/java_card_kit-2_2_2.

Answer 1

Цитата из руководства пользователя Java Card 2.1 Development Kit - 15 ноября 1999 г. документ:

» Вы можете использовать параметр команды -exportpath, чтобы указать места экспорта файлы. Путь состоит из списка корневых каталогов, в которых конвертер ищет экспортировать файлы. Файлы экспорта должны быть названы как последняя часть имени пакета с последующим расширением .exp. Файлы экспорта находятся в подкаталоге javacard, следуя соглашению об именах каталогов Java Card.

Например, чтобы загрузить файл экспорта пакета java.lang, если вы указали -exportpath as c: \ myexportfiles, конвертер ищет каталог c: \ myexportfiles \ java \ lang \ javacard для файла экспорта lang.exp. «

Полагаю, это должно распространяться и на 2.2.2. Поэтому используйте соответствующую опцию -exportpath, чтобы конвертер указывал на ваши файлы exp, и убедитесь, что подкаталог javacard создан в dir пакета для хранения файлов exp.