Modular Integration of Distinct Type Systems for the Compilation of Programs
    7.
    发明申请
    Modular Integration of Distinct Type Systems for the Compilation of Programs 失效
    用于汇编程序的不同类型系统的模块化集成

    公开(公告)号:US20090055800A1

    公开(公告)日:2009-02-26

    申请号:US11844315

    申请日:2007-08-23

    IPC分类号: G06F9/44

    CPC分类号: G06F8/437 G06F8/315

    摘要: A method for extending functionality of a compiler includes: receiving a first source file written in a language that supports multiple system types, wherein the first source file includes a plurality of source constructs associated with parameter types of the multiple type systems; annotating each of the plurality of source constructs with the type system from one of the multiple type systems and precise parameter type to which its associated type system belongs; retrieving type system rules corresponding to each type system referred to in the first source file from a type system loader; verifying, using the type system rules, that instances of use of variables, expressions, and methods in the first source file are appropriate with respect to the type system of annotated types associated with the source constructs; and compiling the first source file to produce a second source file including type information retained from the first source file.

    摘要翻译: 一种用于扩展编译器的功能的方法包括:接收以支持多种系统类型的语言编写的第一源文件,其中所述第一源文件包括与所述多类型系统的参数类型相关联的多个源结构; 使用来自多种类型系统之一的类型系统和其相关联的类型系统所属的精确参数类型来注释多个源结构中的每一个; 从类型系统加载器检索对应于在第一源文件中引用的每个类型系统的类型系统规则; 使用类型系统规则验证在第一源文件中使用变量,表达式和方法的实例对于与源结构相关联的注释类型的类型系统是合适的; 并且编译第一源文件以产生包括从第一源文件保留的类型信息的第二源文件。

    Modular integration of distinct type systems for the compilation of programs
    8.
    发明授权
    Modular integration of distinct type systems for the compilation of programs 失效
    用于汇编程序的不同类型系统的模块化集成

    公开(公告)号:US08196121B2

    公开(公告)日:2012-06-05

    申请号:US11844315

    申请日:2007-08-23

    IPC分类号: G06F9/45

    CPC分类号: G06F8/437 G06F8/315

    摘要: A method for extending functionality of a compiler includes: receiving a first source file written in a language that supports multiple system types, wherein the first source file includes a plurality of source constructs associated with parameter types of the multiple type systems; annotating each of the plurality of source constructs with the type system from one of the multiple type systems and precise parameter type to which its associated type system belongs; retrieving type system rules corresponding to each type system referred to in the first source file from a type system loader; verifying, using the type system rules, that instances of use of variables, expressions, and methods in the first source file are appropriate with respect to the type system of annotated types associated with the source constructs; and compiling the first source file to produce a second source file including type information retained from the first source file.

    摘要翻译: 一种用于扩展编译器的功能的方法包括:接收以支持多种系统类型的语言编写的第一源文件,其中所述第一源文件包括与所述多类型系统的参数类型相关联的多个源结构; 使用来自多种类型系统之一的类型系统和其相关联的类型系统所属的精确参数类型来注释多个源结构中的每一个; 从类型系统加载器检索对应于在第一源文件中引用的每个类型系统的类型系统规则; 使用类型系统规则验证在第一源文件中使用变量,表达式和方法的实例对于与源结构相关联的注释类型的类型系统是合适的; 并且编译第一源文件以产生包括从第一源文件保留的类型信息的第二源文件。

    COMPUTATION OF IMPACTED AND AFFECTED CODE DUE TO DATABASE SCHEMA CHANGES
    10.
    发明申请
    COMPUTATION OF IMPACTED AND AFFECTED CODE DUE TO DATABASE SCHEMA CHANGES 失效
    由于数据库模式的变化,影响和影响的代码的计算

    公开(公告)号:US20110208785A1

    公开(公告)日:2011-08-25

    申请号:US12958893

    申请日:2010-12-02

    IPC分类号: G06F17/30

    CPC分类号: G06F8/74 G06F8/00 G06F8/30

    摘要: The disclosed technology enables assistance to software developers by identifying the software application code that needs to be changed or behaves differently, as a consequence of a database schema change. The disclosed technology also enables a provision of automatic transformations, or at least hints for the transformation of the code, to accommodate the database schema change.

    摘要翻译: 所公开的技术通过识别需要改变或不同行为的软件应用程序代码,从而可以帮助软件开发人员,这是由于数据库模式的改变。 所公开的技术还能够提供自动转换,或至少提供用于代码转换的提示,以适应数据库模式的改变。