[发明专利]语言子集证实有效
申请号: | 00818196.9 | 申请日: | 2000-11-10 |
公开(公告)号: | CN1678989A | 公开(公告)日: | 2005-10-05 |
发明(设计)人: | 陈志群 | 申请(专利权)人: | 太阳微系统公司 |
主分类号: | G06F9/44 | 分类号: | G06F9/44 |
代理公司: | 北京纪凯知识产权代理有限公司 | 代理人: | 程伟 |
地址: | 美国加利*** | 国省代码: | 美国;US |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 一种语言子集证实方法,包括证实多个包括程序的程序模块,每个程序模块包括为第一计算机语言定义的多个字节码,所述第一计算机语言是第二计算机语言的硬件相关的子集。证实包括:对于没有在所述第一计算机语言中定义的所述多个程序模块中的每一项指示出错状态;对于不被所述第一计算机语言的执行环境所支持的所述多个程序模块中的每一项指示出错状态;对于虽然在所述第一计算机语言中定义但是使用方式与所述的所述第一计算机语言不一致的多个程序模块中的每一项指示出错状态。一种用于语言子集证实的装置,包括一个具有程序指令的存储器和至少一个处理器,处理器被设定使用程序指令证实多个程序模块,这些模块一起构成程序。处理器还被设定使用程序指令对于没有在所述第一计算机语言中定义的所述多个程序模块中的每一项指示出错状态;对于不被所述第一计算机语言的执行环境所支持的所述多个程序模块中的每一项指示出错状态;对于虽然在所述第一计算机语言中定义但是使用方式与所述的所述第一计算机语言不一致的多个程序模块中的每一项指示出错状态。 | ||
搜索关键词: | 语言 子集 证实 | ||
【主权项】:
1.一种语言子集证实方法,包括:证实多个包括程序的程序模块,每个所述程序模块包括为第一计算机语言所定义的多个字节码,所述第一计算机语言是第二计算机语言的硬件相关的子集,所述证实包括:对于没有为所述第一计算机语言所定义的所述多个程序模块中的每一项指示出错状态(error condition);对于不被所述第一计算机语言的执行环境所支持的所述多个程序模块中的每一项指示出错状态;对于虽然在所述第一计算机语言中定义但是使用方式与所述第一计算机语言不一致的多个程序模块中的每一项指示出错状态。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于太阳微系统公司,未经太阳微系统公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/00818196.9/,转载请声明来源钻瓜专利网。