发明名称 |
从基于非异常的模型中生成基于异常的组件模型 |
摘要 |
可以从基于非异常的模型中生成基于异常的组件模型。例如,可以解析可消费软件组件的基于非异常的接口合约(诸如头部文件中的基于非异常的接口合约)。另外,可以从基于非异常的接口合约中生成可消费软件组件的包装。包装可以具有基于异常的接口合约实现,并且基于异常的接口合约实现可以是与基于非异常的接口合约等价的镜像。如果基于非异常的接口合约将一个或多个变量提示为可消费软件组件中的函数的输出变量,则可以使用预定义试探法来将基于异常的接口合约实现要使用的那些变量中的一个选为函数的返回值。 |
申请公布号 |
CN102214095A |
申请公布日期 |
2011.10.12 |
申请号 |
CN201110094624.0 |
申请日期 |
2011.04.06 |
申请人 |
微软公司 |
发明人 |
M·M·阿格森;C·J·西蒙兹;J-P·杜普莱西斯 |
分类号 |
G06F9/44(2006.01)I |
主分类号 |
G06F9/44(2006.01)I |
代理机构 |
上海专利商标事务所有限公司 31100 |
代理人 |
黄嵩泉 |
主权项 |
一种计算机实现的方法,包括:解析可消费软件组件(205)的基于非异常的接口合约(212);以及从所述基于非异常的接口合约(212)中生成所述可消费软件组件的包装(232),所述包装(232)具有基于异常的接口合约实现,并且所述基于异常的接口合约实现是与所述基于非异常的接口合约(212)等价的镜像。 |
地址 |
美国华盛顿州 |