发明名称 |
数据约束系统和方法以及编程语言之间的映射方法 |
摘要 |
本发明涉及将检验信息结合于数据类型的系统和方法。特别地,本发明提供用检验信息将数据类型参数化,从而两个不同检验间的比较产生静态类型错误,而不是运行时间错误。此外,本发明提供了便利地用局部化数据类型工作,以允许对检验和普通类型进行一般参数化。在串的上下文中,本发明允许多种语言中的串的并行使用,并便于正确的操作。 |
申请公布号 |
CN101894026B |
申请公布日期 |
2012.11.21 |
申请号 |
CN201010237885.9 |
申请日期 |
2005.07.20 |
申请人 |
微软公司 |
发明人 |
A·E·吉姆巴尔;A·A·迪塞;H·J·M·美吉尔;Y·V·莱斯因斯凯 |
分类号 |
G06F9/44(2006.01)I |
主分类号 |
G06F9/44(2006.01)I |
代理机构 |
上海专利商标事务所有限公司 31100 |
代理人 |
顾嘉运 |
主权项 |
一种数据约束系统,其特征在于,包括:接收与数据相关的数据类型的类型接收器组件;接收被用来比较和/或排序所接收到的数据类型的数据的检验信息的检验信息接收器组件,所述检验信息包括被配置成便于在编译时对所述数据类型进行强类型检查的一个或多个附加数据类型参数;以及使用所接收的数据类型和检验信息,产生包括类型约束与检验约束的数据约束组件的构造组件,所述检验信息包括一个或多个附加数据类型参数以使得通过所述检验信息将所接收到的数据类型参数化,其中参数化包括向所述数据类型添加一个或多个附加数据类型参数,其中所述检验信息,包括所述一个或多个附加数据类型参数,被合并到所述数据类型中而非被合并到实例中,以使得类型之间的比较变成静态错误而非运行时错误。 |
地址 |
美国华盛顿州 |