在尝试将javacard cap文件转换为类文件时，我正在寻找转换器规范。到目前为止，我发现PVS中只有一个非常局部的正式模型。 javacard vm规范详细描述了cap文件格式，但没有详细说明转换器的优化和操作。有几本书和资源描述了转换器如何将类转换为上限的一些方面，但我找不到全面的文档.Sun（Oracle）的文档没有描述转换机制，并且cap文件格式规范不足以了解如何重新构建一个类文件。是否有一个文档，其中解释并详细说明了类到文件的转换？
答案 0 :(得分：2)
我没有找到转换器的规格，但我发现javacard jdk3规范化器可以用作转换类的转换