利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

5 条记录 (耗时 0.018 秒)

    Pattern types as constraints on generic type parameters
    1.
    发明申请
    Pattern types as constraints on generic type parameters 有权
    模式类型作为通用类型参数的约束

    公开(公告)号：US20060048024A1

    公开(公告)日：2006-03-02

    申请号：US10924544

    申请日：2004-08-24

    申请人： Sergey Lidin ,  Henricus Meijer

    发明人： Sergey Lidin ,  Henricus Meijer

    IPC分类号： G01R31/28

    CPC分类号： G01R31/31813

    摘要： A system and method for constraining generic types is disclosed. In brief, the subject invention provides a pattern type for defining a set of one or more parameter constraints. Rather than being confined to a predetermined set of hard-coded constraints in an execution engine, a pattern type can be specified as an extensible constraint mechanism for generic type parameters. According to one aspect of the invention, the pattern type can manifest itself as a class including one or more properties and/or features. The shape of the pattern type can then be compared or matched to instantiated type parameters to determine constraint satisfaction.

    摘要翻译： 公开了一种用于约束通用类型的系统和方法。 简言之，本发明提供了一种用于定义一个或多个参数约束的集合的模式类型。 可以将模式类型指定为用于通用类型参数的可扩展约束机制，而不是被限制在执行引擎中的预定的硬编码约束集合。 根据本发明的一个方面，图案类型可以表现为包括一个或多个属性和/或特征的类别。 然后可以将模式类型的形状与实例化的类型参数进行比较或匹配，以确定约束满足度。

    Pattern types as constraints on generic type parameters
    2.
    发明授权
    Pattern types as constraints on generic type parameters 有权
    模式类型作为通用类型参数的约束

    公开(公告)号：US07657874B2

    公开(公告)日：2010-02-02

    申请号：US10924544

    申请日：2004-08-24

    申请人： Sergey Lidin ,  Henricus Johannes Maria Meijer

    发明人： Sergey Lidin ,  Henricus Johannes Maria Meijer

    IPC分类号： G06F9/44 ,  G01R31/28

    CPC分类号： G01R31/31813

    摘要： A system and method for constraining generic types is disclosed. In brief, the subject invention provides a pattern type for defining a set of one or more parameter constraints. Rather than being confined to a predetermined set of hard-coded constraints in an execution engine, a pattern type can be specified as an extensible constraint mechanism for generic type parameters. According to one aspect of the invention, the pattern type can manifest itself as a class including one or more properties and/or features. The shape of the pattern type can then be compared or matched to instantiated type parameters to determine constraint satisfaction.

    摘要翻译： 公开了一种用于约束通用类型的系统和方法。 简言之，本发明提供了一种用于定义一个或多个参数约束的集合的模式类型。 可以将模式类型指定为用于通用类型参数的可扩展约束机制，而不是被限制在执行引擎中的预定的硬编码约束集合。 根据本发明的一个方面，图案类型可以表现为包括一个或多个属性和/或特征的类别。 然后可以将模式类型的形状与实例化的类型参数进行比较或匹配，以确定约束满足度。

    Virtual method protection
    5.
    发明申请
    Virtual method protection 有权
    虚拟方法保护

    公开(公告)号：US20050015753A1

    公开(公告)日：2005-01-20

    申请号：US10622413

    申请日：2003-07-18

    申请人： Erik Meijer ,  Craig Sinclair ,  James Hogg ,  Peter Golde ,  Sergey Lidin ,  Christopher Brumme

    发明人： Erik Meijer ,  Craig Sinclair ,  James Hogg ,  Peter Golde ,  Sergey Lidin ,  Christopher Brumme

    IPC分类号： G06F9/42 ,  G06F9/45

    CPC分类号： G06F8/433 ,  G06F9/449

    摘要： Performing validation of a derived virtual method includes receiving program code where the derived virtual method is derived from a virtual method of the program language used to generate the program code, compiling the program code to an intermediate language expression, generating metadata descriptive of the compiled program code, validating the use of the derived virtual method by accessing the metadata, and permitting the use of the derived virtual method if the metadata grants override permissions concerning the virtual method of the programming language. The metadata indicating access and override permissions may be generated while compiling the program code in the common language infrastructure. Alternately, the flag may use pre-existing values indicative of the access and override permissions concerning the virtual method of the programming language.

    摘要翻译： 执行衍生虚拟方法的验证包括接收程序代码，其中派生虚拟方法从用于生成程序代码的程序语言的虚拟方法导出，将程序代码编译为中间语言表达，生成描述编译程序的元数据 代码，通过访问元数据来验证导出的虚拟方法的使用，以及如果元数据授予涉及编程语言的虚拟方法的覆盖许可，则允许使用导出的虚拟方法。 可以在公共语言基础设施中编译程序代码时生成指示访问和覆盖权限的元数据。 或者，标志可以使用指示关于编程语言的虚拟方法的访问和覆盖许可的预先存在的值。