公开(公告)号：US08572585B2

公开(公告)日：2013-10-29

申请号：US13162328

申请日：2011-06-16

申请人： Stephen Harris Toub ,  Mads Torgersen ,  Lucian Jules Wishchik ,  Anders Hejlsberg ,  Dmitry Lomov ,  Matthew J. Warren ,  Robert Eric Lippert

发明人： Stephen Harris Toub ,  Mads Torgersen ,  Lucian Jules Wishchik ,  Anders Hejlsberg ,  Dmitry Lomov ,  Matthew J. Warren ,  Robert Eric Lippert

IPC分类号： G06F9/45

CPC分类号： G06F8/45

摘要： The present invention extends to methods, systems, and computer program products for representing various programming elements with compiler-generated tasks. Embodiments of the invention enable access to the future state of a method through a handle to a single and composable task object. For example, an asynchronous method is rewritten to generate and return a handle to an instance of a builder object, which represents one or more future states of the asynchronous method. Information about operation of the asynchronous method is then passed through the handle. Accordingly, state of the asynchronous method is trackable prior to and after completing.

摘要翻译： 本发明扩展到用于用编译器生成的任务表示各种编程元素的方法，系统和计算机程序产品。 本发明的实施例能够通过对单个和可组合任务对象的句柄来访问方法的未来状态。 例如，重写异步方法以生成并返回对构建器对象的实例的句柄，该对象表示异步方法的一个或多个未来状态。 关于异步方法的操作的信息然后通过句柄传递。 因此，异步方法的状态在完成之前和之后是可追踪的。

公开(公告)号：US08555261B1

公开(公告)日：2013-10-08

申请号：US09894331

申请日：2001-06-28

申请人： Anders Hejlsberg ,  Christopher J. Lovett ,  Matthew J. Warren ,  Chia-Hsun Chen ,  Mark W. Fussell ,  Neetu Rajpal

发明人： Anders Hejlsberg ,  Christopher J. Lovett ,  Matthew J. Warren ,  Chia-Hsun Chen ,  Mark W. Fussell ,  Neetu Rajpal

IPC分类号： G06F9/45

CPC分类号： G06F17/272 ,  G06F17/2247 ,  G06F17/2725

摘要： A system and method for parsing XML is provided. The method includes associating an input stream with a pull model parser, accepting requests to selectively parse out XML items from the input stream and retrieving metadata information associated with the parsed out XML items. The method further includes checking the pulled XML item to determine whether it conforms to XML syntax and/or semantic standards and validating the pulled XML item to determine whether it conforms to a selected DTD.

摘要翻译： 提供了解析XML的系统和方法。 该方法包括将输入流与拉模型解析器相关联，接受从输入流中选择性地解析出XML项的请求，并检索与解析的XML项相关联的元数据信息。 该方法还包括检查所拉出的XML项目以确定其是否符合XML语法和/或语义标准，并验证所拉出的XML项目以确定其是否符合选定的DTD。

公开(公告)号：US20120324431A1

公开(公告)日：2012-12-20

申请号：US13162288

申请日：2011-06-16

申请人： Stephen Harris Toub ,  Mads Torgersen ,  Lucian Jules Wischik ,  Anders Hejlsberg ,  Niklas Gustafsson ,  Dmitry Lomov ,  Matthew J. Warren

发明人： Stephen Harris Toub ,  Mads Torgersen ,  Lucian Jules Wischik ,  Anders Hejlsberg ,  Niklas Gustafsson ,  Dmitry Lomov ,  Matthew J. Warren

IPC分类号： G06F9/45

CPC分类号： G06F8/456

摘要： The present invention extends to methods, systems, and computer program products for transforming source code to await execution of asynchronous operations. Embodiments of the invention simplify authoring and use of asynchronous methods, by generating statements that use well-defined awaitable objects to await completion of asynchronous operations. For example, a computer system can transform a statement that requests to await the completion of an asynchronous operation into a plurality of statements that use a predefined pattern of members of an awaitable object corresponding the asynchronous operation. The pattern can include one or more members configured to return a completion status of the asynchronous operation, one or more members configured to resume execution of the asynchronous method at a resumption point when the asynchronous operation completes, and one or more members configured to retrieve completion results. Accordingly, the plurality of statements can use these members to await execution of the asynchronous operation.

摘要翻译： 本发明扩展到用于转换源代码以等待执行异步操作的方法，系统和计算机程序产品。 本发明的实施例简化了异步方法的编写和使用，通过生成使用明确定义的等待对象等待完成异步操作的语句。 例如，计算机系统可以将请求等待完成异步操作的语句转换为使用对应于异步操作的可等待对象的成员的预定义模式的多个语句。 该模式可以包括被配置为返回异步操作的完成状态的一个或多个成员，被配置成在异步操作完成时在恢复点恢复异步方法的执行的一个或多个成员以及被配置为检索完成的一个或多个成员 结果。 因此，多个语句可以使用这些成员来等待异步操作的执行。

公开(公告)号：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.

摘要翻译： 提供对作为环境数据对象表示的捕获的可变变量的读/写访问。 作为示例，自由变量可以重写为私有类的字段，并通过环境数据对象中捕获的私有类的实例进行访问。 以这种方式，不需要占位符或代理功能来访问自由变量。 因此，本创新提供了一种简化的方法，用于捕获表达式树中的自由变量，并提供对这些变量的读/写访问。

公开(公告)号：US08005848B2

公开(公告)日：2011-08-23

申请号：US11770696

申请日：2007-06-28

申请人： Michael Craig Champion ,  Anders Hejlsberg ,  Andrew Eyring Kimball ,  Ralf Lammel ,  Henricus Johannes Maria Meijer ,  David L. Remy ,  Ion Vasilian

发明人： Michael Craig Champion ,  Anders Hejlsberg ,  Andrew Eyring Kimball ,  Ralf Lammel ,  Henricus Johannes Maria Meijer ,  David L. Remy ,  Ion Vasilian

IPC分类号： G06F12/00 ,  G06F17/30

CPC分类号： G06F8/427

摘要： Programming mechanisms for data parsing facilitate both clear code specification and efficient execution. Declarative style code can be employed to enable clear and concise specification of data parsing. Further, an efficient parsing approach can be utilized that enables processing of a data structure without first materializing the entire structure to memory. More specifically, streaming and/or selective materialization of portions of data to memory can be employed.

摘要翻译： 数据解析的编程机制有助于清除代码规范和高效执行。 可以使用声明式样式代码来实现数据解析的清晰和简明的规范。 此外，可以利用有效的解析方法，其能够在不首先将整个结构实现到存储器的情况下处理数据结构。 更具体地，可以采用数据到存储器的数据流和/或选择性实现。

公开(公告)号：US07657505B2

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

申请号：US11624964

申请日：2007-01-19

申请人： Anders Hejlsberg ,  Matthew J. Warren ,  Dinesh C. Kulkarni ,  Henricus Johannes Maria Meijer ,  Terry A. Adams ,  Jomo Ahab Fisher ,  Daigo Hamura ,  Mads Torgersen

发明人： Anders Hejlsberg ,  Matthew J. Warren ,  Dinesh C. Kulkarni ,  Henricus Johannes Maria Meijer ,  Terry A. Adams ,  Jomo Ahab Fisher ,  Daigo Hamura ,  Mads Torgersen

IPC分类号： G06F7/00

CPC分类号： G06F17/30471 ,  G06F17/3048 ,  Y10S707/99932

摘要： The subject disclosure pertains to systems and methods that facilitate retrieval of data. In particular, an application defined data shape can regulate loading of data for use in an object relational mapping system, enabling the object-oriented application to access data in a relational data base system. Data shapes define policies that control data retrieval, enabling efficient data loading. A data shape allows users to declaratively specify a set of policies to be applied to all queries associated with the data shape. In particular, data shapes can include policies that control eager loading. In addition, data shapes can also include filtering policies intended to reduce or limit data retrieved from a relational database.

摘要翻译： 本发明涉及促进数据检索的系统和方法。 特别地，应用定义的数据形状可以调节用于对象关系映射系统的数据的加载，使面向对象的应用能够访问关系数据库系统中的数据。 数据形状定义了控制数据检索的策略，从而实现了高效的数据加载。 数据形状允许用户声明性地指定要应用于与数据形状相关联的所有查询的一组策略。 特别地，数据形状可以包括控制加速加载的策略。 此外，数据形状还可以包括旨在减少或限制从关系数据库检索的数据的过滤策略。

公开(公告)号：US20090327220A1

公开(公告)日：2009-12-31

申请号：US12145523

申请日：2008-06-25

申请人： Erik Meijer ,  Dinesh Chandrakant Kulkarni ,  Matthew J. Warren ,  Anders Hejlsberg

发明人： Erik Meijer ,  Dinesh Chandrakant Kulkarni ,  Matthew J. Warren ,  Anders Hejlsberg

IPC分类号： G06F7/06 ,  G06F17/30

CPC分类号： H04L67/42 ,  G06F17/30477 ,  G06F17/3056

摘要： An operation (such as a relational query) may be processed on a processing engine (such as a relational database server) on behalf of a client. A conventional processing involves the delivery of the operation to the processing engine, which executes the entire operation to completion and returns a result data set. It may be more efficient to allocate part of the operation to be performed on the client, but a developer may be unable or unavailable to rewrite the operation in a distributed manner. Instead, the operation may be automatically partitioned into a pre-engine client portion, a processing engine portion, and a client portion, and the instructions of each portion may be automatically allocated respectively to the client, the server, and the client. The partitioning may be adjusted to conserve computing resources, such as bandwidth and storage, and the instructions may be reordered to improve the processing of the operation.

摘要翻译： 可以在处理引擎（例如关系数据库服务器）上代表客户端处理操作（例如关系查询）。 常规处理涉及将操作传递到处理引擎，该处理引擎执行整个操作以完成并返回结果数据集。 分配要在客户端上执行的部分操作可能更有效，但开发人员可能无法或不可以以分布式方式重写操作。 相反，可以将操作自动分割为预引擎客户端部分，处理引擎部分和客户端部分，并且可以将每个部分的指令分别自动分配给客户端，服务器和客户端。 可以调整分区以节省诸如带宽和存储的计算资源，并且可以重新排序指令以改进操作的处理。

公开(公告)号：US20080282238A1

公开(公告)日：2008-11-13

申请号：US11746995

申请日：2007-05-10

申请人： Henricus Johannes Maria Meijer ,  Peter A. Hallam ,  Anders Hejlsberg

发明人： Henricus Johannes Maria Meijer ,  Peter A. Hallam ,  Anders Hejlsberg

IPC分类号： G06F9/44

CPC分类号： G06F8/437

摘要： A static type computer language provides optional dynamic typing triggered by a unique static type. The unique static type can be utilized anywhere other types can be employed to identify programmatic elements that are late bound. As a result, static types can be analyzed at compile time while deferring analysis of dynamic types until runtime.

摘要翻译： 静态类型的计算机语言提供了由唯一静态类型触发的可选动态类型。 独特的静态类型可以在任何其他类型可用于识别晚期限制的程序元素的地方使用。 因此，可以在编译时分析静态类型，同时推迟对动态类型的分析，直到运行时为止。

公开(公告)号：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.

摘要翻译： 系统和方法便于计算机编程环境中的类型推断。 类型推断可以应用于面向对象语言中的泛型方法或函数调用，以确定程序员隐藏的类型参数列表。 一个或多个类型参数可以被识别为可以转换一组关联参数类型中的所有其他类型的参数类型。

公开(公告)号：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.

摘要翻译： 部分方法使得方法实现能够分离方法声明和/或调用。 部分方法指定类中的连接或钩点的签名。 调用部分方法指定可以可选地与相同签名的实际方法实现链接的代码中的连接或挂接点。 在执行之前，将单独的方法实现或与部分方法相关的其他代码注入到单个程序中。 未实现的部分方法被视为无操作指令或以其他方式忽略。