[发明专利]具有合并的检验信息的数据类型有效
申请号: | 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/,转载请声明来源钻瓜专利网。
- 上一篇:保温隔离装置
- 下一篇:一种电控变速电动车双速电机
- 信息记录介质、信息记录方法、信息记录设备、信息再现方法和信息再现设备
- 信息记录装置、信息记录方法、信息记录介质、信息复制装置和信息复制方法
- 信息记录装置、信息再现装置、信息记录方法、信息再现方法、信息记录程序、信息再现程序、以及信息记录介质
- 信息记录装置、信息再现装置、信息记录方法、信息再现方法、信息记录程序、信息再现程序、以及信息记录介质
- 信息记录设备、信息重放设备、信息记录方法、信息重放方法、以及信息记录介质
- 信息存储介质、信息记录方法、信息重放方法、信息记录设备、以及信息重放设备
- 信息存储介质、信息记录方法、信息回放方法、信息记录设备和信息回放设备
- 信息记录介质、信息记录方法、信息记录装置、信息再现方法和信息再现装置
- 信息终端,信息终端的信息呈现方法和信息呈现程序
- 信息创建、信息发送方法及信息创建、信息发送装置