Javacard 변환기 사양

Question

javacard cap 파일을 클래스 파일로 변환하려는 시도에서 변환기 사양을 찾고 있습니다. 지금까지 나는 PVS에서 '부분적인'형식 모델 만 발견했습니다. javacard VM 스펙은 cap 파일 형식을 자세히 설명하지만 변환기가 수행 한 최적화 및 조작에 대해서는 자세히 설명하지 않습니다. 변환기가 클래스를 모자로 변환하는 방법에 대한 몇 가지 책과 자료가 있지만 포괄적 인 문서를 찾을 수는 없습니다 .Sun (Oracle)의 설명서에는 변환 메커니즘에 대한 설명이없고 캡 파일 형식 사양으로는 충분하지 않습니다. 클래스 파일을 재구성하는 방법을 이해하십시오. 파일 변환을위한 클래스를 설명하고 자세히 설명하는 문서가 있습니까?

Answer 1

나는 컨버터의 사양을 발견하지 않았다 그러나 나는 자바 카드의 jdk3의 정규화가 칼을 다시보고 클래스 변환 캡으로