[发明专利]具有合并的检验信息的数据类型有效

专利信息
申请号: 201010237885.9 申请日: 2005-07-20
公开(公告)号: CN101894026A 公开(公告)日: 2010-11-24
发明(设计)人: A·E·吉姆巴尔;A·A·迪塞;H·J·M·美吉尔;Y·V·莱斯因斯凯 申请(专利权)人: 微软公司
主分类号: G06F9/44 分类号: G06F9/44
代理公司: 上海专利商标事务所有限公司 31100 代理人: 顾嘉运
地址: 美国华*** 国省代码: 美国;US
权利要求书: 查看更多 说明书: 查看更多
摘要: 发明涉及将检验信息结合于数据类型的系统和方法。特别地,本发明提供用检验信息将数据类型参数化,从而两个不同检验间的比较产生静态类型错误,而不是运行时间错误。此外,本发明提供了便利地用局部化数据类型工作,以允许对检验和普通类型进行一般参数化。在串的上下文中,本发明允许多种语言中的串的并行使用,并便于正确的操作。
搜索关键词: 具有 合并 检验 信息 数据类型
【主权项】:
一种数据约束系统,其特征在于,包括:接收与数据相关的数据类型的类型接收器组件;接收与数据相关的检验信息的检验信息接收器组件;和使用所接收的数据类型和检验信息,产生包括类型约束与检验约束的数据约束组件的构造组件,其中所述类型约束限制了所述数据的类型,而所述检验约束限制了所述数据的种类;以及用所述检验约束作为所述类型约束的参数形成所述数据约束组件的数据说明组件,所述数据说明组件能够在如果出现类型不匹配或检验不匹配的情况下生成一静态编译时间错误。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于微软公司,未经微软公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/patent/201010237885.9/,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top