公开(公告)号：CN102222012B

公开(公告)日：2016-03-16

申请号：CN201110100148.9

申请日：2011-04-13

申请人： 微软技术许可有限责任公司

发明人： T·Y·T·额 ,  J·A·费雪 ,  D·西梅 ,  L·J·霍本

IPC分类号： G06F9/45

CPC分类号： G06F8/437

摘要： 在交互编辑环境中执行针对外部数据源的静态类型检查。可以向用户提供对于外部数据的与对内部静态、类型化数据所提供的体验相同的丰富编辑体验。提供可扩展编译器，使得用户或第三方可以将类型检查工具扩展到任何外部数据源。提供可扩展语言服务，使得用户或第三方可以扩展语言服务以提供外部数据的一致的且当前的静态视图。可扩展编译器和语言服务允许语言扩展插入类型检查过程。这使得编译器和语言服务能够提供扩展点，该扩展点允许编辑器的扩展并且允许语言服务静态地呈现动态信息。

公开(公告)号：CN102222023B

公开(公告)日：2016-03-30

申请号：CN201110102138.9

申请日：2011-04-14

申请人： 微软技术许可有限责任公司

发明人： D·赛姆 ,  L·霍本 ,  T·Y·T·额 ,  D·洛莫夫

IPC分类号： G06F9/52

CPC分类号： G06F8/458 ,  G06F8/445 ,  G06F9/4498

摘要： 描述了一种用于在计算机程序中实现异步构造的系统和方法。从计算机程序中生成状态机，并且转换该程序以生成在运行时期间执行该状态机的代码。该异步构造可以变成函数，该函数调用异步函数，传递该函数作为回调并随后退出。当异步操作完成时，调用该函数作为回调，返回到等价于异步调用之前的配置。可使用变量闭包来在调用异步操作之前的状态以及调用异步操作之后的状态期间维护变量的状态。