[发明专利]允许元素类型的类型流的查询模式有效
| 申请号： | 200880003975.2 | 申请日： | 2008-02-05 |
| 公开（公告）号： | CN101606154A | 公开（公告）日： | 2009-12-16 |
| 发明（设计）人： | H·J·M·梅杰;A·K·西尔弗;P·A·维克;E·扎伯克利特斯基;A·V·青高兹 | 申请（专利权）人： | 微软公司 |
| 主分类号： | G06F17/30 | 分类号： | G06F17/30 |
| 代理公司： | 上海专利商标事务所有限公司 | 代理人： | 顾嘉运;钱静芳 |
| 地址： | 美国华*** | 国省代码： | 美国;US |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 所要求保护的主题涉及运算符模式的形式化，其可方便表达式的第一子句中的运算符到表达式的下一子句中的运算符的元素类型的类型流。流到下一子句的类型以及其中现存的运算符可被组合以推断下一子句的元素类型。由此，可增量式地实现类型检查、自动完成和其它有利特征而无需在前对表达式的完全转换。 | ||
| 搜索关键词： | 允许 元素 类型 查询 模式 | ||
【主权项】：
1.一种采用查询模式来方便表达式中的运算符之间的类型元素的类型流的计算机实现的系统，包括：接收包括第一查询子句和至少一个下一查询子句的查询表达式的接口，所述第一查询子句包括第一查询运算符、元素类型T和源类型，所述源类型是可查询类型；以及用于所述至少一个下一查询子句的查询运算符模式，所述查询运算符模式确保到所述至少一个下一查询子句的元素类型的类型流。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于微软公司，未经微软公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/200880003975.2/，转载请声明来源钻瓜专利网。
- 上一篇：一种单组分有机硅标志商标胶
- 下一篇：柴油机燃油系积炭不解体清洗剂
