专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

11. 发明申请

US20100175048A1 ARCHITECTURE THAT EXTENDS TYPES USING EXTENSION METHODS 有权
标题翻译：使用扩展方法扩展类型的架构
公开(公告)号：US20100175048A1
公开(公告)日：2010-07-08
申请号：US12728939
申请日：2010-03-22
申请人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Matthew J. Warren , Luca Bolognese , Peter A. Hallam , Gary S. Katzenberger , Dinesh C. Kulkarni
发明人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Matthew J. Warren , Luca Bolognese , Peter A. Hallam , Gary S. Katzenberger , Dinesh C. Kulkarni
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会在命名空间中的所有静态类中导入所有扩展方法。实际上，导入的扩展方法在其第一个参数给出的类型上显示为附加方法，并且具有比常规实例方法更低的优先级。

12. 发明授权

US07694274B2 Dynamically typed unsafe variance 有权
标题翻译：动态类型不安全差异
公开(公告)号：US07694274B2
公开(公告)日：2010-04-06
申请号：US11193692
申请日：2005-07-29
申请人： Erik Meijer , Anders Hejlsberg , Matthew J. Warren , Luca Bolognese , Peter A. Hallam , Gary S. Katzenberger
发明人： Erik Meijer , Anders Hejlsberg , Matthew J. Warren , Luca Bolognese , Peter A. Hallam , Gary S. Katzenberger
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）中发出运行时检查。另外，不支持差异的语言可以将通用类型视为非变体。

13. 发明授权

US07702686B2 Retrieving and persisting objects from/to relational databases 有权
标题翻译：从/到关系数据库检索和保存对象
公开(公告)号：US07702686B2
公开(公告)日：2010-04-20
申请号：US11193574
申请日：2005-07-29
申请人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Dinesh Chandrakant Kulkarni , Luca Bolognese , Matthew J. Warren , Peter A. Hallam
发明人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Dinesh Chandrakant Kulkarni , Luca Bolognese , Matthew J. Warren , Peter A. Hallam
IPC分类号： G06F7/00 , G06F17/00 , G06F15/16
CPC分类号： G06F17/30595 , G06F17/30607
摘要： Systems and methods that enable consistent navigation (for a database and memory environment) in object relational mapping. This typically ensures fidelity of object graph via restrictions on collections of persistent objects (e.g., entity sets, entity refs . . . ). Moreover, a tracking component can detect changes as they occur, and only a copy of the objects that have changed can be created, to optimize operation.
摘要翻译：在对象关系映射中实现一致导航（用于数据库和内存环境）的系统和方法。这通常通过对持久对象的集合（例如，实体集，实体参考）的限制来确保对象图的保真度。此外，跟踪组件可以检测到它们发生的变化，并且可以仅创建已经改变的对象的副本来优化操作。

14. 发明授权

US07890939B2 Partial methods 有权
标题翻译：部分方法
公开(公告)号：US07890939B2
公开(公告)日：2011-02-15
申请号：US11674333
申请日：2007-02-13
申请人： Dinesh C. Kulkarni , Mads Torgersen , Henricus Johannes Maria Meijer , Anders Hejlsberg , Matthew J. Warren , Peter A. Hallam
发明人： Dinesh C. Kulkarni , Mads Torgersen , Henricus Johannes Maria Meijer , Anders Hejlsberg , Matthew J. Warren , Peter A. Hallam
IPC分类号： G06F9/45
CPC分类号： G06F8/00
摘要： Partial methods enable separation of method declaration and/or calls from method implementation. A partial method specifies a signature of a join or hook point in a class. Calls to a partial method specify a join or hook point in code that can optionally be linked with an actual method implementation of the same signature. Separate method implementations or other code related to a partial method are injected into a single program prior to execution. Unimplemented partial methods are treated as no operation instructions or otherwise ignored.
摘要翻译：部分方法使得方法实现能够分离方法声明和/或调用。部分方法指定类中的连接或钩点的签名。调用部分方法指定可以可选地与相同签名的实际方法实现链接的代码中的连接或挂接点。在执行之前，将单独的方法实现或与部分方法相关的其他代码注入到单个程序中。未实现的部分方法被视为无操作指令或以其他方式忽略。

15. 发明授权

US07873592B2 Type inference for object-oriented languages 有权
标题翻译：类型推理面向对象语言
公开(公告)号：US07873592B2
公开(公告)日：2011-01-18
申请号：US11737892
申请日：2007-04-20
申请人： Henricus Johannes Maria Meijer , Gavin Bierman , Mads Torgersen , Anders Hejlsberg , Danny Van Velzen , Peter A. Hallam , Robert Eric Lippert , Matthew J. Warren , Paul A. Vick , Amanda Silver
发明人： Henricus Johannes Maria Meijer , Gavin Bierman , Mads Torgersen , Anders Hejlsberg , Danny Van Velzen , Peter A. Hallam , Robert Eric Lippert , Matthew J. Warren , Paul A. Vick , Amanda Silver
IPC分类号： G06F9/44 , G06N7/02 , G06N7/06
CPC分类号： G06F9/4488
摘要： Systems and methods facilitate type inference in a computer-programming environment. Type inference can be applied to generic method or function invocation in object-oriented languages to determine a type argument list left implicit by a programmer. One or more type arguments can be identified as a parameter type to which all other types in a set of associated parameter types can be converted.
摘要翻译：系统和方法便于计算机编程环境中的类型推断。类型推断可以应用于面向对象语言中的泛型方法或函数调用，以确定程序员隐藏的类型参数列表。一个或多个类型参数可以被识别为可以转换一组关联参数类型中的所有其他类型的参数类型。

16. 发明授权

US07631011B2 Code generation patterns 有权
标题翻译：代码生成模式
公开(公告)号：US07631011B2
公开(公告)日：2009-12-08
申请号：US11193690
申请日：2005-07-29
申请人： Dinesh Chandrakant Kulkarni , Anders Hejlsberg , Matthew J. Warren , Luca Bolognese , Henricus Johannes Maria Meijer , Peter A. Hallam
发明人： Dinesh Chandrakant Kulkarni , Anders Hejlsberg , Matthew J. Warren , Luca Bolognese , Henricus Johannes Maria Meijer , Peter A. Hallam
IPC分类号： G06F17/30
CPC分类号： G06F8/24 , G06F8/30 , G06F8/65 , G06F17/30595 , G06F17/30607 , Y10S707/99931 , Y10S707/99943 , Y10S707/99944
摘要： The subject disclosure pertains to code generation patterns for use in object relational mapping. The code patterns may be used to manage bidirectional relationships and ensure consistency. The code patterns may support on-demand or deferred loading of relational data. Change detection and tracking are also provided. In addition, a default member modifier allows developers to override tool generated source code without directly modifying the generated source code.
摘要翻译：本发明涉及用于对象关系映射的代码生成模式。代码模式可用于管理双向关系并确保一致性。代码模式可以支持关系数据的按需或延迟加载。还提供了更改检测和跟踪。此外，默认成员修饰符允许开发人员覆盖工具生成的源代码，而无需直接修改生成的源代码。

17. 发明申请

US20080320440A1 FULLY CAPTURING OUTER VARIABLES AS DATA OBJECTS 有权
标题翻译：作为数据对象完全捕获外部变量
公开(公告)号：US20080320440A1
公开(公告)日：2008-12-25
申请号：US11766514
申请日：2007-06-21
申请人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Mads Torgersen , Peter A. Hallam , Matthew J. Warren , Dinesh C. Kulkarni , Clemens Alden Szyperski
发明人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Mads Torgersen , Peter A. Hallam , Matthew J. Warren , Dinesh C. Kulkarni , Clemens Alden Szyperski
IPC分类号： G06F9/44
CPC分类号： G06F8/72
摘要： Providing for read/write access to captured free variables expressed as environment data objects is disclosed herein. By way of example, free variables can be rewritten as a field of a private class, and accessed via an instance of the private class captured within the environment data object. In such a manner, no need of a placeholder or proxy function is required to access the free variable. Consequently, the subject innovation provides a simplified method for capturing free variables within expression trees and providing read/write access to such variables.
摘要翻译：提供对作为环境数据对象表示的捕获的可变变量的读/写访问。作为示例，自由变量可以重写为私有类的字段，并通过环境数据对象中捕获的私有类的实例进行访问。以这种方式，不需要占位符或代理功能来访问自由变量。因此，本创新提供了一种简化的方法，用于捕获表达式树中的自由变量，并提供对这些变量的读/写访问。

18. 发明授权

US08060868B2 Fully capturing outer variables as data objects 有权
标题翻译：将外部变量完全捕获为数据对象
公开(公告)号：US08060868B2
公开(公告)日：2011-11-15
申请号：US11766514
申请日：2007-06-21
申请人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Mads Torgersen , Peter A. Hallam , Matthew J. Warren , Dinesh C. Kulkarni , Clemens Alden Szyperski
发明人： Henricus Johannes Maria Meijer , Anders Hejlsberg , Mads Torgersen , Peter A. Hallam , Matthew J. Warren , Dinesh C. Kulkarni , Clemens Alden Szyperski
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F8/72
摘要： Providing for read/write access to captured free variables expressed as environment data objects is disclosed herein. By way of example, free variables can be rewritten as a field of a private class, and accessed via an instance of the private class captured within the environment data object. In such a manner, no need of a placeholder or proxy function is required to access the free variable. Consequently, the subject innovation provides a simplified method for capturing free variables within expression trees and providing read/write access to such variables.
摘要翻译：提供对作为环境数据对象表示的捕获的可变变量的读/写访问。作为示例，自由变量可以重写为私有类的字段，并通过环境数据对象中捕获的私有类的实例进行访问。以这种方式，不需要占位符或代理功能来访问自由变量。因此，本创新提供了一种简化的方法，用于捕获表达式树中的自由变量，并提供对这些变量的读/写访问。

19. 发明申请

US20080262992A1 TYPE INFERENCE FOR OBJECT-ORIENTED LANGUAGES 有权
标题翻译：面向对象语言的类型推理
公开(公告)号：US20080262992A1
公开(公告)日：2008-10-23
申请号：US11737892
申请日：2007-04-20
申请人： Henricus Johannes Maria Meijer , Gavin Bierman , Mads Torgersen , Anders Hejlsberg , Danny Van Velzen , Peter A. Hallam , Robert Eric Lippert , Matthew J. Warren , Paul A. Vick , Amanda Silver
发明人： Henricus Johannes Maria Meijer , Gavin Bierman , Mads Torgersen , Anders Hejlsberg , Danny Van Velzen , Peter A. Hallam , Robert Eric Lippert , Matthew J. Warren , Paul A. Vick , Amanda Silver
IPC分类号： G06F9/44
CPC分类号： G06F9/4488
摘要： Systems and methods facilitate type inference in a computer-programming environment. Type inference can be applied to generic method or function invocation in object-oriented languages to determine a type argument list left implicit by a programmer. One or more type arguments can be identified as a parameter type to which all other types in a set of associated parameter types can be converted.
摘要翻译：系统和方法便于计算机编程环境中的类型推断。类型推断可以应用于面向对象语言中的泛型方法或函数调用，以确定程序员隐藏的类型参数列表。一个或多个类型参数可以被识别为可以转换一组关联参数类型中的所有其他类型的参数类型。

20. 发明申请

US20080196014A1 PARTIAL METHODS 有权
标题翻译：部分方法
公开(公告)号：US20080196014A1
公开(公告)日：2008-08-14
申请号：US11674333
申请日：2007-02-13
申请人： Dinesh C. Kulkarni , Mads Torgersen , Henricus Johannes Maria Meijer , Anders Hejlsberg , Matthew J. Warren , Peter A. Hallam
发明人： Dinesh C. Kulkarni , Mads Torgersen , Henricus Johannes Maria Meijer , Anders Hejlsberg , Matthew J. Warren , Peter A. Hallam
IPC分类号： G06F9/45
CPC分类号： G06F8/00
摘要： Partial methods enable separation of method declaration and/or calls from method implementation. A partial method specifies a signature of a join or hook point in a class. Calls to a partial method specify a join or hook point in code that can optionally be linked with an actual method implementation of the same signature. Separate method implementations or other code related to a partial method are injected into a single program prior to execution. Unimplemented partial methods are treated as no operation instructions or otherwise ignored.
摘要翻译：部分方法使得方法实现能够分离方法声明和/或调用。部分方法指定类中的连接或钩点的签名。调用部分方法指定可以可选地与相同签名的实际方法实现链接的代码中的连接或挂接点。在执行之前，将单独的方法实现或与部分方法相关的其他代码注入到单个程序中。未实现的部分方法被视为无操作指令或以其他方式忽略。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式