语言子集证实

摘要

一种语言子集证实方法，包括证实多个包括程序的程序模块，每个程序模块包括为第一计算机语言定义的多个字节码，所述第一计算机语言是第二计算机语言的硬件相关的子集。证实包括：对于没有在所述第一计算机语言中定义的所述多个程序模块中的每一项指示出错状态；对于不被所述第一计算机语言的执行环境所支持的所述多个程序模块中的每一项指示出错状态；对于虽然在所述第一计算机语言中定义但是使用方式与所述的所述第一计算机语言不一致的多个程序模块中的每一项指示出错状态。一种用于语言子集证实的装置，包括一个具有程序指令的存储器和至少一个处理器，处理器被设定使用程序指令证实多个程序模块，这些模块一起构成程序。处理器还被设定使用程序指令对于没有在所述第一计算机语言中定义的所述多个程序模块中的每一项指示出错状态；对于不被所述第一计算机语言的执行环境所支持的所述多个程序模块中的每一项指示出错状态；对于虽然在所述第一计算机语言中定义但是使用方式与所述的所述第一计算机语言不一致的多个程序模块中的每一项指示出错状态。

主权项

1.一种语言子集证实方法，包括：证实多个包括程序的程序模块，每个所述程序模块包括为第一计算机语言所定义的多个字节码，所述第一计算机语言是第二计算机语言的硬件相关的子集，所述证实包括：对于没有为所述第一计算机语言所定义的所述多个程序模块中的每一项指示出错状态(error condition)；对于不被所述第一计算机语言的执行环境所支持的所述多个程序模块中的每一项指示出错状态；对于虽然在所述第一计算机语言中定义但是使用方式与所述第一计算机语言不一致的多个程序模块中的每一项指示出错状态。