COMPILER SUPPORTING PROGRAMS AS DATA OBJECTS
    11.
    发明申请
    COMPILER SUPPORTING PROGRAMS AS DATA OBJECTS 有权
    编译器支持程序作为数据对象

    公开(公告)号:US20110246973A1

    公开(公告)日:2011-10-06

    申请号:US13161816

    申请日:2011-06-16

    IPC分类号: G06F9/45

    CPC分类号: G06F8/47 G06F8/427 G06F8/436

    摘要: A compiler supporting a language in which selected semantic objects are represented as data objects. The data objects may be used in multiple ways to expand the capabilities of the programming language. Data objects may be passed to applications and used to create executable instructions for that application. In this way, instructions written in the native language of the compiler may be used to control applications that accept programs in a language inconsistent with the native language of the compiler. The syntax checking and variable binding capabilities of the compiler may be used for those instructions that will be executed by an application separate from the object code generated by the compiler. The semantic objects represented as data objects may be selected based on express operations included in the source code or may be based on implicit type conversion.

    摘要翻译: 支持语言的编译器,其中选择的语义对象被表示为数据对象。 数据对象可以以多种方式用于扩展编程语言的能力。 数据对象可以传递给应用程序,并用于为该应用程序创建可执行指令。 以这种方式,用编译器的母语编写的指令可以用于控制接受与编译器的本机语言不一致的语言的程序的应用程序。 编译器的语法检查和变量绑定功能可以用于将由与编译器生成的目标代码分离的应用程序执行的那些指令。 可以基于包含在源代码中的快速操作来选择表示为数据对象的语义对象,或者可以基于隐式类型转换。

    ARCHITECTURE THAT EXTENDS TYPES USING EXTENSION METHODS
    12.
    发明申请
    ARCHITECTURE THAT EXTENDS TYPES USING EXTENSION METHODS 有权
    使用扩展方法扩展类型的架构

    公开(公告)号:US20100175048A1

    公开(公告)日:2010-07-08

    申请号:US12728939

    申请日:2010-03-22

    IPC分类号: G06F9/44

    CPC分类号: G06F8/315

    摘要: Architecture that extends existing types including constructed and sealed types using extension methods. Extension methods are static methods that can be invoked using instance method syntax. Extension methods are declared by specifying the keyword “this” as a modifier on the first parameter of the methods. Extension methods have all the capabilities of regular static methods. In addition, once imported, extension methods can be invoked using instance method syntax. Also disclosed are rules for importing extension methods, and extension method invocations. Extension methods are imported through using-namespace-directives. In addition to importing the types contained in a namespace, a using-namespace-directive imports all extension methods in all static classes in the namespace. In effect, imported extension methods appear as additional methods on the types that are given by their first parameter and have lower precedence than regular instance methods.

    摘要翻译: 使用扩展方法扩展现有类型,包括构造和密封类型的体系结构。 扩展方法是可以使用实例方法语法调用的静态方法。 扩展方法通过在方法的第一个参数上指定关键字“this”作为修饰符来声明。 扩展方法具有常规静态方法的所有功能。 另外,一旦导入,可以使用实例方法语法来调用扩展方法。 还公开了导入扩展方法和扩展方法调用的规则。 扩展方法通过using-namespace-directives导入。 除了导入命名空间中包含的类型之外,using-namespace-directive会在命名空间中的所有静态类中导入所有扩展方法。 实际上,导入的扩展方法在其第一个参数给出的类型上显示为附加方法,并且具有比常规实例方法更低的优先级。

    Dynamically typed unsafe variance
    13.
    发明授权
    Dynamically typed unsafe variance 有权
    动态类型不安全差异

    公开(公告)号:US07694274B2

    公开(公告)日:2010-04-06

    申请号:US11193692

    申请日:2005-07-29

    IPC分类号: G06F9/44 G06F9/45

    CPC分类号: G06F9/44589 G06F9/45516

    摘要: A program execution engine that facilitates generic type variance verification is provided. The execution engine receives a program executable in the form of intermediate language (IL). The program executable can be based on code that includes expression(s) with generic type(s) which have been identified as requiring variance verification (e.g., covariance and/or contra-variance). The execution engine includes a variance verification component that dynamically determines whether value(s) associated with the generic type(s) identified as requiring variance verification comply with the particular variance verification requirement. The variance verification component can provide error information (e.g., throw an exception), if the specified variance is not safely compliant. Variance verification can be based on static checking which places the burden on a source language compiler to emit the run-time checks in intermediate language (IL), if run-time checked variance is required. Additionally, language(s) that do not support variance can treat generic type(s) as non-variant.

    摘要翻译: 提供了促进通用类型方差验证的程序执行引擎。 执行引擎以中间语言(IL)的形式接收可执行的程序。 程序可执行程序可以基于包括已经被识别为需要方差验证(例如协方差和/或反差)的通用类型的表达式的代码。 执行引擎包括方差验证组件,其动态地确定与被识别为需要方差验证的通用类型相关联的值是否符合特定方差验证要求。 方差验证组件可以提供错误信息(例如,抛出异常),如果指定的方差不能安全地符合。 方差验证可以基于静态检查,如果需要运行时检查方差,那么将源语言编译器的负担放在中间语言(IL)中发出运行时检查。 另外,不支持差异的语言可以将通用类型视为非变体。

    Active debugging environment for applications containing compiled and interpreted programming language code
    14.
    发明授权
    Active debugging environment for applications containing compiled and interpreted programming language code 有权
    包含编译和解释编程语言代码的应用程序的主动调试环境

    公开(公告)号:US07203926B2

    公开(公告)日:2007-04-10

    申请号:US09757102

    申请日:2001-01-08

    IPC分类号: G06F9/45

    摘要: An active debugging environment for debugging a virtual application that contains program language code from multiple compiled and/or interpreted programming languages. The active debugging environment is language neutral and host neutral, where the host is a standard content centric script host with language engines for each of the multiple compiled and/or interpreted programming languages represented in the virtual application. The active debugging environment user interface can be of any debug tool interface design. The language neutral and host neutral active debugging environment is facilitated by a process debug manager that catalogs and manages application specific components, and a machine debug manager that catalogs and manages the various applications that comprise a virtual application being run by the script host. The process debug manager and the machine debug manager act as an interface between the language engine specific programming language details and the debug user interface.

    摘要翻译: 用于调试包含来自多个编译和/或解释型编程语言的程序语言代码的虚拟应用程序的主动调试环境。 活动的调试环境是语言中性和主机中性,其中主机是标准的以内容为中心的脚本主机,具有针对虚拟应用程序中表示的多个编译和/或解释性编程语言中的每一个的语言引擎。 主动调试环境用户界面可以是任何调试工具界面设计。 通过编目和管理特定于应用程序的组件的进程调试管理器以及一个机器调试管理器,为包含由脚本主机运行的虚拟应用程序的各种应用程序进行编目和管理,从而方便了语言中立和主机中性主动调试环境。 过程调试管理器和机器调试管理器充当语言引擎特定编程语言详细信息和调试用户界面之间的接口。