CN102222012B - 针对外部数据源的静态类型检查 - Google Patents
针对外部数据源的静态类型检查 Download PDFInfo
- Publication number
- CN102222012B CN102222012B CN201110100148.9A CN201110100148A CN102222012B CN 102222012 B CN102222012 B CN 102222012B CN 201110100148 A CN201110100148 A CN 201110100148A CN 102222012 B CN102222012 B CN 102222012B
- Authority
- CN
- China
- Prior art keywords
- external data
- data source
- type
- static
- language
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 230000003068 static effect Effects 0.000 title claims abstract description 54
- 238000000034 method Methods 0.000 claims abstract description 37
- 230000002452 interceptive effect Effects 0.000 claims abstract description 12
- 238000011161 development Methods 0.000 claims description 11
- 238000006243 chemical reaction Methods 0.000 claims description 3
- 230000008676 import Effects 0.000 claims description 3
- 150000001875 compounds Chemical class 0.000 claims 10
- 230000008569 process Effects 0.000 abstract description 7
- 238000003860 storage Methods 0.000 description 16
- 230000015572 biosynthetic process Effects 0.000 description 11
- 238000003786 synthesis reaction Methods 0.000 description 11
- 238000012545 processing Methods 0.000 description 7
- 238000010586 diagram Methods 0.000 description 6
- 230000006870 function Effects 0.000 description 6
- 238000005516 engineering process Methods 0.000 description 5
- 238000004891 communication Methods 0.000 description 4
- 238000013461 design Methods 0.000 description 3
- 238000007689 inspection Methods 0.000 description 3
- PEDCQBHIVMGVHV-UHFFFAOYSA-N Glycerine Chemical compound OCC(O)CO PEDCQBHIVMGVHV-UHFFFAOYSA-N 0.000 description 2
- 238000004458 analytical method Methods 0.000 description 2
- 238000010276 construction Methods 0.000 description 2
- 238000012423 maintenance Methods 0.000 description 2
- 230000004044 response Effects 0.000 description 2
- 238000010189 synthetic method Methods 0.000 description 2
- 230000001052 transient effect Effects 0.000 description 2
- 230000001133 acceleration Effects 0.000 description 1
- 230000009471 action Effects 0.000 description 1
- 230000000712 assembly Effects 0.000 description 1
- 238000000429 assembly Methods 0.000 description 1
- 230000006399 behavior Effects 0.000 description 1
- 238000004364 calculation method Methods 0.000 description 1
- 230000008859 change Effects 0.000 description 1
- 238000004590 computer program Methods 0.000 description 1
- 238000009826 distribution Methods 0.000 description 1
- 230000009977 dual effect Effects 0.000 description 1
- 238000011156 evaluation Methods 0.000 description 1
- 230000010354 integration Effects 0.000 description 1
- 230000005055 memory storage Effects 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 230000008447 perception Effects 0.000 description 1
- 230000002093 peripheral effect Effects 0.000 description 1
- ZLIBICFPKPWGIZ-UHFFFAOYSA-N pyrimethanil Chemical compound CC1=CC(C)=NC(NC=2C=CC=CC=2)=N1 ZLIBICFPKPWGIZ-UHFFFAOYSA-N 0.000 description 1
- 238000011084 recovery Methods 0.000 description 1
- 238000005096 rolling process Methods 0.000 description 1
- GOLXNESZZPUPJE-UHFFFAOYSA-N spiromesifen Chemical compound CC1=CC(C)=CC(C)=C1C(C(O1)=O)=C(OC(=O)CC(C)(C)C)C11CCCC1 GOLXNESZZPUPJE-UHFFFAOYSA-N 0.000 description 1
- 230000007480 spreading Effects 0.000 description 1
- 238000003892 spreading Methods 0.000 description 1
- 238000012360 testing method Methods 0.000 description 1
- 230000000007 visual effect Effects 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/43—Checking; Contextual analysis
- G06F8/436—Semantic checking
- G06F8/437—Type checking
Abstract
在交互编辑环境中执行针对外部数据源的静态类型检查。可以向用户提供对于外部数据的与对内部静态、类型化数据所提供的体验相同的丰富编辑体验。提供可扩展编译器，使得用户或第三方可以将类型检查工具扩展到任何外部数据源。提供可扩展语言服务，使得用户或第三方可以扩展语言服务以提供外部数据的一致的且当前的静态视图。可扩展编译器和语言服务允许语言扩展插入类型检查过程。这使得编译器和语言服务能够提供扩展点，该扩展点允许编辑器的扩展并且允许语言服务静态地呈现动态信息。
Description
技术领域
本发明涉及计算机开发，尤其涉及计算机开发中的类型检查。
背景技术
编程语言中的数据类型是数据的属性，该数据的属性给出关于它是什么种类的数据的信息。诸如该数据可采用什么类型的值以及可以对其执行什么操作之类的约束可以通过将数据类型分配给数据来建立。类型系统将一个或多个数据类型与程序中的每一程序值相关联。通过检查程序中的指令对数据的值进行什么操作，类型系统试图防止“类型错误”。例如，特定编程语言可以将把串值分配给整数类型的变量视为一种类型错误，并且将出错消息给予尝试这么做的用户。类型系统还试图防止对数据的非法操作。例如，某些编程语言将把串与整数相加在一起视为非法操作，并且将出错消息给予尝试这么做的用户。类型检查可以发生在编译时(静态检查或静态类型检查)或在运行时(动态检查或动态类型检查)。如果一种语言有力地应用其类型规则，(例如，仅允许不丢失信息的自动类型转换)，这种语言被称为强类型化语言。如果一种语言的限制性相对较小，它被称为弱类型化的。
编程语言被认为当在编译时期间执行类型检查时使用静态类型。在静态类型中，类型与变量相关联。静态类型化语言包括Ada、C、C++、C#、Java、Fortran、Haskell、ML、Pascal以及Scala。静态类型使得许多错误能在开发周期的早期被发觉。由于静态类型检查器在编译期间评估类型信息，并且缺少仅在运行时可用的类型信息，因此静态类型检查器是保守的。即，即使对程序的特定执行可以正确地运行，但如果所评估的条件对于对程序所有可能的执行不成立，则静态类型检查器将拒绝该程序。由于静态类型检查器评估在编译时可以确定的类型信息并且验证所检查的条件对程序的所有可能的执行都成立，因此无需在每次执行程序时重复静态类型检查。
编程语言被认为是在运行时执行大部分类型检查时被动态地类型化。在动态类型化时，类型与从程序的执行得到的值相关联。动态类型化语言包括Clojure、Groovy、JavaScript、Lisp、Objective-C、PHP、Prolog、Python、Ruby以及Smalltalk。动态类型化没有静态类型化那么严格，但可以导致较大可能性的执行错误(例如，由于变量的值具有不允许的类型而引起的出错结果)。动态类型化的语言系统通常使得对源代码的编译时检查较少。运行时检查可能是更复杂的，因为除了在编译期间呈现且在运行时仍可用的信息之外，它们还可以使用动态(运行时)信息。运行时检查断言条件在程序的特定执行中成立并且对程序的每一执行重复。
绑定可以发生在编译时，在该情况下被称为“静态绑定”，或者可以动态地发生在运行时，被称为“动态绑定”。动态绑定允许推迟对未定义的变量的解析直到程序运行。动态绑定与静态绑定在根本上是不同的，因为其结果——例如，被分配给操作的意义——取决于其所操作的实际值的运行时类型，而不是源代码中的变量的编译时类型。通常，静态类型化的编程语言执行静态绑定，以及动态类型化的编程语言执行动态绑定。
发明内容
在诸如集成式开发环境(IDE)、交互式编辑或REPL环境等交互编辑环境中执行针对外部数据源的静态类型检查。可以向用户提供对外部数据就如同对内部静态、类型化数据所提供的编辑体验一样的丰富编辑体验，。提供可扩展编译器，使得用户或第三方可以将类型检查工具扩展到任何外部数据源。提供可扩展语言服务，使得用户或第三方可以扩展语言服务以提供外部数据的一致的、当前的静态视图。可扩展编译器和语言服务允许语言扩展插入类型检查过程。这使得编译器和语言服务能够提供扩展点，该扩展点使得编辑器能够被扩展并且允许语言服务静态地呈现动态信息。
提供本发明内容以便以简化形式介绍将在以下的具体实施方式中进一步描述的一些概念。本概述并不旨在标识出所要求保护的主题的关键特征或必要特征，也不旨在用于限定所要求保护的主题的范围。
附图说明
在附图中：
图1示出了根据此处所公开的主题的各方面的用于针对外部数据源的静态类型检查的系统100的示例；
图2是如参考图1所描述的此处所公开的主题的各方面的针对外部数据源的静态类型检查的方法200的示例的流程图；
图3是示出此处所公开的主题的各方面可在其中实现的计算环境的示例的框图；以及
图4是根据此处所公开的主题的各方面的集成开发环境的示例的框图。
具体实施方式
概览
程序员常常编写以包括但不限于数据库、MicrosoftExcel电子表格、web服务、盘上的文件、域专用模型等的特定外部(通常但不一定是动态的)数据源为目标的代码。多个编程语言提供对这些域的动态类型访问，但不提供IDE支持。传统上，通过调用方法(例如，诸如对SQL数据库进行GETROW以及传递串的调用)来动态地访问外部数据源。在构建时，可以运行检查数据源并且生成代码(通常为大量代码)的代码生成器。这一方法涉及对代码生成器的进行中维护以及更新，并且不能为开发者提供良好IDE的体验。即，由于来自外部数据源的信息直到构建时才可用，因此像自动完成、参数帮助以及工具提示之类的程序员特征在设计时不可用。类似地，静态类型检查对外部数据源不可用。
因此，尽管设计时代码生成技术可能存在，但它们对于维护是麻烦的并且需要创建关于IDE交互的语言特征。IDE可以在设计时交互式地生成代码以恢复丢失的程序员特征，但并不提供良好的IDE体验。例如，IDE可能不能够支持对程序员正使用的语言的代码的生成。其次，程序员正使用的语言可能不具有IDE中的完全支持所需的特殊特征(例如，C#中的部分类)。此外，每一特定的交互式代码生成器实现必须被特别设计来与特定IDE一起工作，由此限制了代码生成器的有用性。最后，由于可能会生成大量代码，因此增加了所得到的可执行文件的大小。
静态类型化对于编程语言的类型系统内部的或来自编程语言的对象通常是可用的，但数据来自编程语言外部时即不可用。根据此处所公开的主题的各方面，强数据类型化按轻量方式被扩展到用户选择的外部数据源。在编译时，临时静态类型被制造。编译器使用合成类型来连接到不管什么指定的数据源。合成类型不是永久的，但使用“实际”类型来为编译器提供足够信息来允许编译器执行其编译并且生成可执行文件。合成类型在编译中的稍后阶段可以被移除，或者合成类型可以被实现或转换成实际类型。所描述的选择由扩展提供者来决定。诸如例如F#编译器等特定编译器可以允许这两者。在CLR(公共语言运行时)环境中，编译器可以将IL(中间语言)写入结果汇编。扩展的语言服务可以在IDE内部提供程序员支持，使得例如像自动完成、参数帮助、功能列表等之类的特征在程序员在源代码编辑器中写代码时对该程序员可用。
针对外部数据源的静态类型检查
图1示出了根据此处所公开的主题的各方面的用于针对外部数据源检的静态类型检查的系统100的示例。系统100的所有或部分可以驻留在诸如以下参考图3来描述的计算机等一个或多个计算机上。另选地，系统100或其部分可以被提供为独立系统或插件或附件。系统100的所有或部分可以驻留在诸如以下参考图4来描述的计算机等一个或多个软件开发计算机上。系统100或其部分可以包括诸如以下所描述的且在图4中所示的部分的集成开发环境的一部分。系统100或其部分可以被提供为独立系统或插件或附件。
图1是在具有处理器142和存储器144的计算机102上执行的诸如MicrosoftVisualStudioEclipse、MicrosoftOffice、或其他IDE、REPL、或交互式编辑环境等已知集成开发环境(IDE)104的图示。系统100可以包括诸如计算机102等一个或多个计算机。一个或多个计算机可以包括以下各项的一个或多个：处理器(诸如处理器142)、诸如存储器144等存储器、以及用于针对外部数据源的静态类型检查的一个或多个模块。还可以包括本领域熟知的其他组件，但这里未示出。可以理解，可以将用于针对外部数据源的静态类型检查的模块加载到存储器144，以导致诸如处理器142等一个或多个处理器执行该用于针对外部数据源的静态类型检查的模型的动作。用于针对外部数据源的静态类型检查的模块可以包括提供诸如扩展点116等扩展点的模块。可以将用于针对外部数据源的静态类型检查的模块集成在编译器108和/语言服务112内。
编译器108可以是任何静态类型化的编译器，包括但不限于F#或C#编译器。编译器108可以是后台编译器。扩展点116可以是由编译器108与语言服务112共享的扩展点，使得组件、模块或诸如扩展118、122、126等扩展，可以被编写或接收以扩展典型的编译/编辑过程。另选地，扩展点116可以插入编译器，并且经由扩展点116生成的信息可以从编译器流入语言服务以呈现可扩展数据的视图。可以为例如数据源120、124、128等外部数据源定制扩展点116。可以使得扩展点可经由API(应用程序编程接口)访问，可以公布该扩展点并且使其对公众可视，使得用户可以插入扩展点以受控方式来扩展编译器。编译器扩展可以集成在从编译时到加工以及IDE的构建时体验的整个过程中，并且还可以影响由所扩展的编译器生成的应用程序可执行文件110的运行时行为。
外部数据源可以是任何类型的静态或动态数据源。例如，外部数据源可以是包含关于特定域的数据的实况MicrosoftExcel文件、包含关于特定域的XML文件、SQL数据库的实例、web服务、或任何动态或静态外部文件。扩展点116将信息提供给编译器，该信息是通过读取这些外部是数据源来提取的。编译器和语言服务接收由扩展点116提供的信息，并且根据这一信息，编译器和语言服务可以给予用户与在针对静态类型进行编程时所接收的体验等价的体验。
为编辑计算机程序的源代码而设计的编辑器114接收用户输入134，并且通常包括被设计成简化并且加速源代码的输入的特征。这些特征包括但不限于句法突出显示、自动完成、括号匹配、参数帮助、功能列表、工具提示等等。编辑器114还可以在程序员类型化时执行句法检查，立即检测并且向用户通知句法问题。由语言服务和/或后台编译器108支持的编辑器还可以担当发现工具。例如，在某些已知编辑器中，程序员可以对功能名(例如，输入)进行类型化，并且可以响应于输入“.”(点)为该功能显示参数列表。对于成员、参数、功能和其他程序元素可用的这一特征通常仅对静态类型化的程序元素可用。根据此处所公开的主题的各方面，这一发现特征还对可从外部数据源获得的信息可用。
例如，根据此处所描述的主题的各方面，当输入“.”而不是探查.NET类型或编程环境内部的其他类型时，来自诸如数据库、网站等外部数据源的信息被提供。因此，此处描述的特征可以提供一种动态地探查以及访问来自外部数据源的数据的方式。在集成开发环境内，程序员常常使用“点”来了解API如何工作。程序员常常偏好通过输入点、查看可用的各选项、选择各选项中的一个选项、输入点等而不是通过参考文档来了解现有软件。根据此处所公开的主题的各方面，除了对于内部静态类型，这一探索和发现特征对于外部数据源也可用。
图2示出了根据此处所公开的主题的各方面的用于执行针对外部数据源的静态类型检查的方法200的示例。在202，提供了用于扩展编译器和/或语言服务以提供对外部数据源的静态类型检查的扩展点。对数据源的扩展被创建和/或接收并且被挂钩到扩展点。扩展可以包括对外部数据源专用的并且对来自数据源的信息如何出现在编程环境内的编程语言类型系统内专用的逻辑。实现了扩展点与扩展软件之间进行接口的接口。接口可以通过创建从系统合成类型继承的类来实现，使得为外部数据源创建合成类。可以实现表示主存的对象模型的类。可以实现处理由合成类型展示的方法和属性调用的静态方法。可以将属性添加到所创建的类的方法和特性中，以支持IDE或交互式编辑环境中的动态评论。
随后是可以向编译器呈现实况Excel数据的MicrosoftExcel插件的示例。该示例只是说明性的而非限制性的。
令f＝Excel.
Excel类型
费用费用
公司的现金流、难题以及月费用
在以上再现的代码中，费用表示Excel文件中的现有工作表。
令f＝Excel.费用.月
A1A1
当前值是“500M”
在以上的示例中，诸如自动完成或Intellisense等程序员特征可以直接从Excel文件获取关于Excel单元(例如，“500M”)的内容的信息。
在204，可以将编译器扩展代码的引用添加到用户的项目中。
例如，用户随后可以简单地将以下代码行添加到他们的文件中：
#r“myhost.dll”
所扩展的编译器可以导入用诸如例如ExtendCompiler(扩展编译器)等特定属性标记的类型，并且将这些元素变换成包括外部数据源的合成类型的内部表示。这些变换经由该方法在类型从其中继承的系统类型上发生。在将外部实体转换成内部表示之后，对象可以流过编译器逻辑而不影响现有类型推断、分析、代码生成等等。当对这些类型作出调用或方法时，编译器生成对被导入以在运行时执行工作的主存类型调用诸如InvokeMethod(调用方法)等方法调用的代码。
在206，当用户正在编辑器中编辑或编写他的程序时，编译器和语言服务为外部数据源提供了与内部静态数据类型相同的类型体验。当在IDE中写代码时，用户将这一数据感知为静态的。关于诸如自动完成、参数帮助、工具提示等程序员辅助的用户体验与针对静态类型库所提供的用户体验相同。例如，如果用户将诸如Oracle数据库扩展等数据库扩展的引用添加到他的项目中，则当他响应于对该点进行语法分析而对“Oracle数据库.”进行类型化时，语言服务将返回在他的机器上可用的Oracle数据库列表。通过再次输入“.”，用户可以接收所选择的Oracle数据库内部的表列表。可以针对所指定的Oracle表等来写代码。
在208，在编译步骤的代码生成部分期间，合成类型以及合成方法调用被移除，并且用对外部数据源的一组动态调用来替换。在没有此处描述的特征的情况下，这些所生成的动态调用将必须由开发者直接在代码中编写。当该可执行文件被构建并且运行时，该可执行文件访问在代码中指定的数据库，并且从数据库检索出实际数据。在编译步骤的代码生成部分，合成类型可以报告返回一应被使用的实际类型，而不是该合成类型。实际类型可以是数据库连接对象、.NET系统对象、Excel应用程序类型等等。合成方法调用可以由询问表示该方法调用的表达式树的扩展的编译器来替换。表达式树可以包含对编程环境中存在的实际方法的方法调用，或者它可以包含在编程环境中可以编写的任何种类的程序。
合适的计算环境的示例
为了提供用于此处所公开的主题各方面的上下文，图3及以下讨论旨在提供对其中可实现各实施例的合适的计算环境510的简要概括描述。尽管此处所公开的主题是在诸如程序模块等由一个或多个计算机或其他计算设备执行的计算机可执行指令的通用上下文中描述的，但本领域的技术人员将认识到，此处所公开的主题的各部分还能够结合其他程序模块和/或作为硬件和软件的组合来实现。一般而言，程序模块包括执行特定任务或实现特定数据类型的例程、程序、对象、物理人工制品、数据结构等。通常，程序模块的功能可以在各个实施例中按需进行组合或分布。计算环境510只是合适的操作环境的一个示例，并且不旨在限制此处所公开的主题的使用范围或功能。
参考图3，描述了用于对线性栈上的共同历程的高效恢复的计算机512形式的计算设备。计算机512可以包括处理单元514、系统存储器516以及系统总线518。处理单元514可以是各种处理器中的任何一种。也可以使用双微处理器及其他多处理器体系结构作为处理单元514。系统存储器516可以包括易失性存储器520和非易失性存储器522。非易失性存储器522可包括只读存储器(ROM)、可编程ROM(PROM)、电可编程ROM(EPROM)或闪存。易失性存储器520可以包括可充当外部高速缓冲存储器的随机存取存储器(RAM)。系统总线518将包括系统存储器516的系统物理人造制品耦合到处理单元514。系统总线518可以是若干类型中的任一种，包括存储器总线、存储器控制器、外围总线、外部总线、或局部总线，并且可以使用各种可用的总线体系结构中的任何一种。
计算机512通常包括各种计算机可读介质，诸如易失性和非易失性介质、可移动和不可移动介质。计算机存储介质可以以用于存储诸如计算机可读指令、数据结构、程序模块或其它数据等信息的任何方法或技术来实现。计算机存储介质包括但不限于，RAM、ROM、EEPROM、闪存或其它存储器技术、CDROM、数字多功能盘(DVD)或其它光盘存储、磁盒、磁带、磁盘存储或其它磁存储设备、或可以用来储存所期望的信息并可由计算机512访问的任一其它瞬态或非瞬态介质。
可以理解，图3描述了可以在用户与计算机资源之间担当中介的软件。这一软件可以包括可存储在盘存储524上的操作系统528，该操作系统可以控制并分配计算机系统512的资源。盘存储524可以是通过诸如接口526等不可移动存储器接口连接到系统总线518的硬盘驱动器。系统应用程序530利用由操作系统528通过存储在系统存储器516或者存储在磁盘存储器524上的程序模块532和程序数据534对资源的管理。应该明白，计算机可以用各种操作系统或操作系统的组合来实施。
用户可以通过输入设备536向计算机512输入命令或信息。输入设备536包括但不限于诸如鼠标、跟踪球、指示笔、触摸垫、键盘、话筒之类的定点设备。这些以及其它输入设备通过系统总线518经由接口端口538连至处理单元514。接口端口538可以表示串行端口、并行端口、通用串行总线(USB)之类的端口。输入设备540可以使用与输入设备相同类型的端口。提供了输出适配器542以示出存在像监视器、扬声器、以及打印机之类的需要特定适配器的某些输出设备540。输出适配器542包括但不限于，在输出设备540和系统总线518之间提供连接的视频卡和声卡。其他设备和/或设备或系统，诸如远程计算机544，可提供输入和输出两种能力。
计算机512可以使用到诸如远程计算机544之类的一个或多个远程计算机的逻辑连接，在联网环境中操作。远程计算机544可以是个人计算机、服务器、路由器、网络PC、对等设备或其它常见的网络节点，并且通常包括许多或所有以上相对于计算机512所描述的元件，尽管在图4中仅示出了存储器存储设备546。远程计算机544可经由通信连接550逻辑地连接。网络接口548涵盖诸如局域网(LAN)和广域网(WAN)这样的通信网络，但也可以包括其他网络。通信连接550是指用来将网络接口548连接到总线518的硬件/软件。连接550可以在计算机512内部或外部并且包括诸如调制解调器(电话、电缆、DSL和无线)和ISDN适配器、以太网卡等内部和外部技术。
应该理解，所示网络连接仅是示例，并且可以使用在计算机之间建立通信链路的其它手段。本领域的普通技术人员可以理解，计算机512或其它客户机设备可作为计算机网络的一部分来部署。在这一点上，此处所公开的主题可以涉及具有任意数量的存储器或存储单元以及在任意数量的存储单元或卷上发生的任意数量的应用程序和进程的任何计算机系统。此处所公开的各方面可应用于具有部署在网络环境中的具有远程或本地存储的服务器计算机和客户计算机的环境。此处所公开的主题的各方面也可应用于具有编程语言功能、解释和执行能力的独立计算设备。
图4示出集成开发环境(IDE)600和通用语言运行时环境602。IDE600可允许用户(例如，开发者、程序员、设计者、编码者等)在计算机系统中设计、编码、编译、测试、运行、编辑、调试或构建程序、程序集、网站、web应用程序和web服务。软件程序可以包括在一个或多个源代码语言(例如，VisualBasic、VisualJ#、C++、C#、J#、JavaScript、APL、COBOL、Pascal、Eiffel、Haskell、ML、Oberon、Perl、Python、Scheme、Smalltalk等等)中创建的源代码(组件610)。IDE600可提供本机代码开发环境，或者可提供在虚拟机上运行的托管代码开发，或者可提供其组合。IDE600可提供使用.NET框架的托管代码开发环境。可使用语言专用源编译器620从源代码组件610和本机代码组件611创建中间语言组件650，并且在执行应用时使用中间语言编译器660(例如，即时(JIT)编译器)从中间语言组件650创建本机代码组件611(例如，机器可执行指令)。即，当IL应用被执行时，其在被执行的同时被编译成正在其上执行它的平台的合适机器语言，由此使代码能跨若干平台便携。或者，在其他实施例中，程序可被编译成适合其目标平台的本机代码机器语言(未示出)。
用户可根据已知软件编程技术以及与特定源语言相关联的特定逻辑和句法规则经由IDE600中的用户接口640和源代码编辑器651来创建和/或编辑源代码组件。此后，源代码组件610可经由源编译器620被编译，藉此可创建该程序的中间语言表示，诸如汇编630。汇编630可包括中间语言组件650和元数据642。应用程序设计可以能够在部署前被验证。
此处所述的各种技术可结合硬件或软件，或在适当时以其组合来实现。由此，此处描述的方法和装置或其特定方面或部分可采取包含在诸如软盘、CD-ROM、硬盘驱动器或任何其它机器可读存储介质等有形介质中的程序代码(即，指令)的形式，其中当程序代码被加载到诸如计算机等机器内并由其执行时，该机器成为用于实现本文所公开的主题的各方面的装置。在程序代码在可编程计算机上执行的情况下，计算设备通常将包括处理器、该处理器可读的存储介质(包括易失性和非易失性的存储器和/或存储元件)、至少一个输入设备、以及至少一个输出设备。可例如通过使用数据处理API等来利用域专用编程模型各方面的创建和/或实现的一个或多个程序可用高级过程编程语言或面向对象的编程语言来实现以与计算机系统通信。然而，若有需要，程序也可以以汇编或机器语言来实现。在任一情况下，语言都可以是编译的或解释的语言，并与硬件实现相结合。
虽然已结合附图描述了本文所公开的主题，但是应理解，可作出修改以按不同方式执行相同功能。
Claims (6)
1.一种用于针对外部数据源的静态类型检查的系统，包括：
处理器和存储器，存储器包括一模块，其被配置成使所述处理器被编程为执行：
通过以下来在交互式编辑环境中提供针对外部数据源的静态类型检查：
提供所述外部数据源的扩展点，所述扩展点由公共应用程序编程接口访问，所述应用程序编程接口向为所述外部数据源定制的扩展提供接口，所述扩展包括对所述外部数据源专用的且对来自所述外部数据源的信息如何出现在所述交互式编辑环境内专用的逻辑，其中所述外部数据源的数据通过对所述外部数据源调用方法来接收所述数据而被动态地访问，
通过创建从系统复合类型继承的类来实现所述应用程序编程接口，使得复合类是为所述外部数据源创建的，所述复合类表示宿主模型；
导入用表示所述扩展的属性来标记的类型，并且基于从所述系统复合类型继承的方法将所导入的类型变换成内部表示；
当对所述系统复合类型作出调用时或当对所述系统复合类型调用一方法时，生成对宿主模型的复合类的方法调用进行调用的代码；
在编译期间由对所述外部数据源的动态调用来替换复合类型。
2.如权利要求1所述的系统，其特征在于，所述外部数据源是动态的。
3.如权利要求2所述的系统，其特征在于，静态类型编程辅助包括在源代码的交互式编辑期间为所述外部数据源提供的自动完成、参数帮助、工具提示、或成员列表。
4.一种用于针对外部数据源的静态类型检查的方法，包括：
通过以下来在软件开发计算机上的交互式编辑环境中提供针对外部数据源的静态类型检查：
提供对所述外部数据源的扩展点，所述扩展点由公共应用程序编程接口访问，所述应用程序编程接口向为所述外部数据源定制的扩展提供接口，所述扩展包括对所述外部数据源专用的且对来自所述外部数据源的信息如何出现在所述交互式编辑环境内专用的逻辑，其中所述外部数据源的数据通过对所述外部数据源调用方法来接收所述数据而被动态地访问；
通过创建从系统复合类型继承的类来实现所述接口，使得复合类是为所述外部数据源创建的，所述复合类表示宿主模型；
导入用表示所述扩展的属性标记的类型，并且基于从所述系统复合类型继承的方法将所导入的类型变换成内部表示；
当对所述系统复合类型作出调用时或当对所述系统复合类型调用一方法时，生成对宿主模型的复合类的方法调用进行调用的代码；
在编译期间由对所述外部数据源的动态调用来替换复合类型。
5.如权利要求4所述的方法，其特征在于，还包括：
使用所述内部表示以在集成开发环境或REPL环境中提供对所述外部数据源的静态类型检查。
6.如权利要求5所述的方法，其特征在于，所述静态类型检查包括交互式源代码编辑器中的功能列表、工具提示、成员列表、或自动完成。
Applications Claiming Priority (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| US12/759,721 | 2010-04-14 | ||
| US12/759,721 US8813027B2 (en) | 2010-04-14 | 2010-04-14 | Static type checking against external data sources |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN102222012A CN102222012A (zh) | 2011-10-19 |
| CN102222012B true CN102222012B (zh) | 2016-03-16 |
Family
ID=44778572
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201110100148.9A Active CN102222012B (zh) | 2010-04-14 | 2011-04-13 | 针对外部数据源的静态类型检查 |
Country Status (2)
| Country | Link |
|---|---|
| US (1) | US8813027B2 (zh) |
| CN (1) | CN102222012B (zh) |
Families Citing this family (27)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US9298427B2 (en) * | 2010-01-06 | 2016-03-29 | Microsoft Technology Licensing, Llc. | Creating inferred symbols from code usage |
| EP2583225A4 (en) * | 2010-06-21 | 2014-03-05 | Hewlett Packard Development Co | SYSTEM FOR TESTING AND CERTIFYING A VIRTUAL DEVICE ON A CLIENT COMPUTER SYSTEM |
| US20120297017A1 (en) * | 2011-05-20 | 2012-11-22 | Microsoft Corporation | Privacy-conscious personalization |
| US8650537B2 (en) * | 2011-05-30 | 2014-02-11 | International Business Machines Corporation | Optimizing an object-oriented program by transforming invocations of synthetic accessor methods |
| US9135027B1 (en) | 2011-10-26 | 2015-09-15 | The Mathworks, Inc. | Code generation and execution for dynamic programming languages |
| US8943474B1 (en) * | 2011-10-26 | 2015-01-27 | The Mathworks, Inc. | Code generation and execution for dynamic programming languages |
| US9195442B2 (en) * | 2012-07-10 | 2015-11-24 | Oracle International Corporation | System and method for compiling lambda expression in a programming language environment |
| US9589149B2 (en) | 2012-11-30 | 2017-03-07 | Microsoft Technology Licensing, Llc | Combining personalization and privacy locally on devices |
| US8954939B2 (en) | 2012-12-31 | 2015-02-10 | Microsoft Corporation | Extending a development environment |
| US9652207B2 (en) * | 2013-03-13 | 2017-05-16 | Microsoft Technology Licensing, Llc. | Static type checking across module universes |
| US9563412B2 (en) * | 2013-03-13 | 2017-02-07 | Microsoft Technology Licensing, Llc. | Statically extensible types |
| US9639335B2 (en) | 2013-03-13 | 2017-05-02 | Microsoft Technology Licensing, Llc. | Contextual typing |
| US10296618B1 (en) | 2013-05-20 | 2019-05-21 | EMC IP Holding Company LLC | Storage system query mechanism and techniques |
| US9471286B2 (en) | 2013-06-04 | 2016-10-18 | Microsoft Technology Licensing, Llc | System and method for providing code completion features for code modules |
| EP3061046A4 (en) * | 2013-10-25 | 2017-05-03 | Maritz Holdings Inc. | Business process motivation system with social media and reward integration |
| CN104346173B (zh) * | 2014-11-05 | 2018-04-13 | 上海市共进通信技术有限公司 | 计算机软件系统中实现快速生成管理实体代码的方法 |
| CN105184163A (zh) * | 2015-08-31 | 2015-12-23 | 小米科技有限责任公司 | 软件系统的安全防护方法及装置 |
| US10001978B2 (en) | 2015-11-11 | 2018-06-19 | Oracle International Corporation | Type inference optimization |
| US9436446B1 (en) * | 2015-11-16 | 2016-09-06 | International Business Machines Corporation | System for automating calculation of a comprehensibility score for a software program |
| CN107256158B (zh) * | 2017-06-07 | 2021-06-18 | 广州供电局有限公司 | 电力系统负荷削减量的检测方法和系统 |
| CN109508184A (zh) * | 2017-09-14 | 2019-03-22 | 韩真 | 一种命令行中浏览编辑对象的方法 |
| CN107678741B (zh) * | 2017-10-09 | 2020-09-08 | 武汉斗鱼网络科技有限公司 | 列表视图的实现方法、装置、可读存储介质及设备 |
| US10860338B2 (en) * | 2018-07-18 | 2020-12-08 | Oracle International Corporation | Type-constrained operations for plug-in types |
| US10698791B2 (en) * | 2018-07-28 | 2020-06-30 | International Business Machines Corporation | Handling request data with type safety in a remote service |
| US11144287B2 (en) | 2019-07-22 | 2021-10-12 | International Business Machines Corporation | Compile time validation of programming code |
| US10942710B1 (en) * | 2019-09-24 | 2021-03-09 | Rockwell Automation Technologies, Inc. | Industrial automation domain-specific language programming paradigm |
| CN111061467B (zh) * | 2019-12-09 | 2023-03-21 | 东莞数汇大数据有限公司 | 一种前端工程请求模块高效管理的方法 |
Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6654953B1 (en) * | 1998-10-09 | 2003-11-25 | Microsoft Corporation | Extending program languages with source-program attribute tags |
| CN101171571A (zh) * | 2005-03-18 | 2008-04-30 | Bea系统公司 | 分析和组织软件应用程序中的物件的设备 |
Family Cites Families (9)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5488727A (en) | 1991-09-30 | 1996-01-30 | International Business Machines Corporation | Methods to support multimethod function overloading with compile-time type checking |
| US6854120B1 (en) * | 2000-01-14 | 2005-02-08 | International Business Machines Corporation | Accessing a ERP application over the internet using strongly typed declarative language files |
| US20030126590A1 (en) | 2001-12-28 | 2003-07-03 | Michael Burrows | System and method for dynamic data-type checking |
| US20040030993A1 (en) | 2002-08-08 | 2004-02-12 | Hong Huey Anna Onon | Methods and apparatus for representing dynamic data in a software development environment |
| US7350198B2 (en) | 2003-09-09 | 2008-03-25 | Sap Aktiengesellschaft | Creating and checking runtime data types |
| US7793273B2 (en) * | 2004-11-23 | 2010-09-07 | National Instruments Corporation | Type propagation for automatic casting of output types in a data flow program |
| US20060130038A1 (en) | 2004-12-15 | 2006-06-15 | Claussen Christopher S | Apparatus, system, and method for facilitating dynamic modification of existing software objects defined in a strongly-typed programming language |
| US7730448B2 (en) * | 2005-08-11 | 2010-06-01 | Microsoft Corporation | Layered type systems |
| US20080282238A1 (en) | 2007-05-10 | 2008-11-13 | Microsoft Corporation | Static type for late binding |
-
2010
- 2010-04-14 US US12/759,721 patent/US8813027B2/en active Active
-
2011
- 2011-04-13 CN CN201110100148.9A patent/CN102222012B/zh active Active
Patent Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6654953B1 (en) * | 1998-10-09 | 2003-11-25 | Microsoft Corporation | Extending program languages with source-program attribute tags |
| CN101171571A (zh) * | 2005-03-18 | 2008-04-30 | Bea系统公司 | 分析和组织软件应用程序中的物件的设备 |
Also Published As
| Publication number | Publication date |
|---|---|
| US20110258593A1 (en) | 2011-10-20 |
| CN102222012A (zh) | 2011-10-19 |
| US8813027B2 (en) | 2014-08-19 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN102222012B (zh) | 针对外部数据源的静态类型检查 | |
| CN102222039B (zh) | 使用dsl来调用api以测试软件 | |
| US11868231B2 (en) | System and method for evaluating code by a hybrid of local and cloud-based computers | |
| CN102696012B (zh) | 从代码使用中创建所推断的符号 | |
| CN102667730B (zh) | 设计时调试 | |
| Cortellessa et al. | Early reliability assessment of UML based software models | |
| CN102449598B (zh) | 包设计和生成 | |
| US9946517B2 (en) | Dynamic model based software application development | |
| Rumpe | Agile Modeling with the UML | |
| US20100153909A1 (en) | Method and System for Building and Application | |
| CN102207903A (zh) | 用于单元测试的自动重定向方法调用 | |
| US20090144703A1 (en) | Method and system for versioning a software system | |
| CN104412229A (zh) | 自适应可移植库 | |
| US20120323550A1 (en) | System and method for system integration test (sit) planning | |
| US20080276221A1 (en) | Method and apparatus for relations planning and validation | |
| US20100242015A1 (en) | Generating libraries for reflection without project compilation | |
| US8677316B2 (en) | Enforcement of architectural design during software development | |
| US20110302563A1 (en) | Program structure recovery using multiple languages | |
| CN102696026B (zh) | 一种用于创建数据结构的系统和方法 | |
| CN102819766A (zh) | 一种表单校验方法、装置及企业系统 | |
| Olszewska et al. | DevOps meets formal modelling in high-criticality complex systems | |
| CN101276279A (zh) | 一种统一开发系统和方法 | |
| JP2010250378A (ja) | ソフトウェア開発支援装置、システム、ソフトウェア開発支援装置の機能拡張方法、及びプログラム | |
| CN102859489A (zh) | 可恢复的方法 | |
| Lamela Seijas et al. | Towards property-based testing of RESTful web services |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| ASS | Succession or assignment of patent right |
Owner name: MICROSOFT TECHNOLOGY LICENSING LLC Free format text: FORMER OWNER: MICROSOFT CORP. Effective date: 20150805 |
|
| C41 | Transfer of patent application or patent right or utility model | ||
| TA01 | Transfer of patent application right |
Effective date of registration: 20150805 Address after: Washington State Applicant after: Micro soft technique license Co., Ltd Address before: Washington State Applicant before: Microsoft Corp. |
|
| C14 | Grant of patent or utility model | ||
| GR01 | Patent grant |