针对外部数据源的静态类型检查

摘要

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

主权项

一种用于针对外部数据源的静态类型检查的系统，包括：处理器和存储器，存储器包括一模块，其被配置成使所述处理器被编程为执行：通过以下来在交互式编辑环境中提供针对外部数据源的静态类型检查：提供所述外部数据源的扩展点，所述扩展点由公共应用程序编程接口访问，所述应用程序编程接口向为所述外部数据源定制的扩展提供接口，所述扩展包括对所述外部数据源专用的且对来自所述外部数据源的信息如何出现在所述交互式编辑环境内专用的逻辑，其中所述外部数据源的数据通过对所述外部数据源调用方法来接收所述数据而被动态地访问，通过创建从系统复合类型继承的类来实现所述应用程序编程接口，使得复合类是为所述外部数据源创建的，所述复合类表示宿主模型；导入用表示所述扩展的属性来标记的类型，并且基于从所述系统复合类型继承的方法将所导入的类型变换成内部表示；当对所述系统复合类型作出调用时或当对所述系统复合类型调用一方法时，生成对宿主模型的复合类的方法调用进行调用的代码；在编译期间由对所述外部数据源的动态调用来替换复合类型。