-
公开(公告)号：US07620944B2
公开(公告)日：2009-11-17
申请号：US10699327
申请日：2003-10-31
IPC分类号： G06F9/45
CPC分类号： G06F8/437
摘要： Techniques are disclosed to support the resolution of an operator which has been called with inconsistent typing and at least one operand of a user-defined type. In order to allow the compilation of such an operation, first all possible widening conversions for each operand are examined to determine if any widening conversions of any operands would result in types over which the operator is defined. If not, both the narrowing and the widening conversions of each operand are considered, to determine if any conversions of either or both operands would result in types for which the operator is defined. If only widening conversions are used, the most encompassed possible result type is selected as the target type. If a narrowing conversion is used, the most encompassing possible result type is selected as the target type. In order to use the target type, each operand is converted to the target type. The operation is then performed using the converted operands.
摘要翻译： 公开了技术来支持以不一致的打字和用户定义的类型的至少一个操作数来调用的操作者的解析。 为了允许编译这样的操作，首先检查每个操作数的所有可能的扩展转换，以确定任何操作数的任何扩大转换是否会导致定义操作符的类型。 如果不是，则考虑每个操作数的缩小和扩大的转换，以确定任一或两个操作数的任何转换是否会导致定义操作符的类型。 如果仅使用加宽转换，则选择最包含的可能结果类型作为目标类型。 如果使用缩小转换，则选择最包含的可能结果类型作为目标类型。 为了使用目标类型，每个操作数都转换为目标类型。 然后使用转换的操作数执行操作。
-
公开(公告)号：US20050097532A1
公开(公告)日：2005-05-05
申请号：US10699327
申请日：2003-10-31
申请人： Cameron Beccario , Paul Vick , Harish Kantamneni , Amanda Silver , John Hamby
发明人： Cameron Beccario , Paul Vick , Harish Kantamneni , Amanda Silver , John Hamby
IPC分类号： G06F9/45
CPC分类号： G06F8/437
摘要： Techniques are disclosed to support the resolution of an operator which has been called with inconsistent typing and at least one operand of a user-defined type. In order to allow the compilation of such an operation, first all possible widening conversions for each operand are examined to determine if any widening conversions of any operands would result in types over which the operator is defined. If not, both the narrowing and the widening conversions of each operand are considered, to determine if any conversions of either or both operands would result in types for which the operator is defined. If only widening conversions are used, the most encompassed possible result type is selected as the target type. If a narrowing conversion is used, the most encompassing possible result type is selected as the target type. In order to use the target type, each operand is converted to the target type. The operation is then performed using the converted operands.
摘要翻译： 公开了技术来支持以不一致的打字和用户定义的类型的至少一个操作数来调用的操作者的解析。 为了允许编译这样的操作，首先检查每个操作数的所有可能的扩展转换，以确定任何操作数的任何扩大转换是否会导致定义操作符的类型。 如果不是，则考虑每个操作数的缩小和扩大的转换，以确定任一或两个操作数的任何转换是否会导致定义操作符的类型。 如果仅使用加宽转换，则选择最包含的可能结果类型作为目标类型。 如果使用缩小转换，则选择最包含的可能结果类型作为目标类型。 为了使用目标类型，将每个操作数转换为目标类型。 然后使用转换的操作数执行操作。
-
公开(公告)号：US20070074162A1
公开(公告)日：2007-03-29
申请号：US11214716
申请日：2005-08-30
申请人： Henricus Meijer , Paul Vick , Amanda Silver , Chris Suver
发明人： Henricus Meijer , Paul Vick , Amanda Silver , Chris Suver
IPC分类号： G06F9/44
CPC分类号： G06F8/24 , G06F9/4488 , Y10S707/99944
摘要： An object-oriented interface for providing access to stored data comprises a data enumeration module that provides an object-oriented view to at least one stored first datum that is not an object created by the interface. The interface also includes a scanning module that cooperates with the data enumeration module to change the view from the stored first datum to another datum. Methods for using the interface are also provided.
摘要翻译： 用于提供对存储数据的访问的面向对象的接口包括数据枚举模块，其向至少一个存储的第一数据提供面向对象的视图，该第一数据不是由该接口创建的对象。 该接口还包括与数据枚举模块配合的扫描模块，以将视图从存储的第一数据改变为另一个数据。 还提供了使用接口的方法。
-
公开(公告)号：US20070050380A1
公开(公告)日：2007-03-01
申请号：US11215178
申请日：2005-08-30
申请人： Henricus Meijer , Amanda Silver , Brian Beckman , Paul Vick , Avner Aharoni , David Schach , Peter Drayton
发明人： Henricus Meijer , Amanda Silver , Brian Beckman , Paul Vick , Avner Aharoni , David Schach , Peter Drayton
IPC分类号： G06F7/00
CPC分类号： G06F8/31
摘要： Systems and methods that enhance a programming language by introducing null unification on a type level in addition to a value level, for static types of both reference and value types T. An operator that adds a level of nullability (and removes such nullability) is introduced without a mention of the actual type, to steer overloading in a precise manner.
摘要翻译： 引入了一个编程语言的系统和方法，通过在类型级别上引入空值统一，除了值级别之外，还引用了引用和值类型T的静态类型。引入了可空性级别（并消除了这种可空性）的操作符被引入 没有提到实际的类型，以精确的方式引导超载。
-
公开(公告)号：US20070050347A1
公开(公告)日：2007-03-01
申请号：US11215089
申请日：2005-08-30
IPC分类号： G06F17/30
CPC分类号： G06F17/30637 , Y10S715/968
摘要： The subject disclosure pertains to interaction with one or more collections of data. Queries and domains are presented as separate entities. A number of compositional operators are provided to manipulate a generic collection of data at a low level. Query comprehensions can specify interactions with one or more collections at a higher or more intuitive level. The query comprehensions can be translated or mapped to operators that can be employed to interact with one or more data collections and return results where applicable.
摘要翻译： 主题公开涉及与一个或多个数据集合的交互。 查询和域作为单独实体呈现。 提供了许多组合操作符来操纵低级别的通用数据集合。 查询理解可以在更高或更直观的级别指定与一个或多个集合的交互。 可以将查询理解转换或映射到可用于与一个或多个数据集合进行交互并在适用的情况下返回结果的运算符。
-
公开(公告)号：US20070094647A1
公开(公告)日：2007-04-26
申请号：US11214404
申请日：2005-08-29
申请人： Henricus Meijer , Amanda Silver , Paul Vick , Brian Beckman
发明人： Henricus Meijer , Amanda Silver , Paul Vick , Brian Beckman
IPC分类号： G06F9/45
摘要： A computer-implemented system for accessing data stored in a computer-readable format comprises a data source indicator that identifies least one datum of a data source to be typed. The system also includes a type definition component that defines a strongly typed view of the at least one datum. Methods of using the system are also provided.
摘要翻译： 用于访问以计算机可读格式存储的数据的计算机实现的系统包括识别待键入的数据源的最少一个数据的数据源指示符。 该系统还包括定义至少一个基准的强类型视图的类型定义组件。 还提供了使用该系统的方法。
-
公开(公告)号：US20070055978A1
公开(公告)日：2007-03-08
申请号：US11220167
申请日：2005-09-06
申请人： Henricus Meijer , Brian Beckman , David Schach , Amanda Silver , Paul Vick , Peter Drayton , Avner Aharoni , Ralf Lammel
发明人： Henricus Meijer , Brian Beckman , David Schach , Amanda Silver , Paul Vick , Peter Drayton , Avner Aharoni , Ralf Lammel
IPC分类号： G06F9/44
摘要： Systems and methods that enhance and balance a late binding and an early binding in a programming language, via supplying an option component to opt-in (or opt-out) late binding, and wherein a late binding is triggered based on a static type for the variable (e.g., object or a type/string.) Additionally, the variable is enabled to have different static types at different regions (e.g., a program fragment) of the programming language.
摘要翻译： 通过提供选项组件来选择（或选择退出）后期绑定，增强和平衡编程语言中的后期绑定和早期绑定的系统和方法，并且其中基于静态类型触发后期绑定 变量（例如，对象或类型/字符串）。此外，变量可以在编程语言的不同区域（例如，程序片段）中具有不同的静态类型。
-
公开(公告)号：US20070050168A1
公开(公告)日：2007-03-01
申请号：US11214424
申请日：2005-08-29
申请人： Henricus Meijer , Paul Vick , Brian Beckman , Amanda Silver
发明人： Henricus Meijer , Paul Vick , Brian Beckman , Amanda Silver
IPC分类号： G01R27/28
CPC分类号： G06F9/4492
摘要： A system for extending data types in software comprises an extension unit that modifies an arbitrary preexisting base data type, the preexisting base data type having at least one member. The system also includes a supplemental member that is included with the extension unit and that provides additional functionality to the preexisting base type. Methods for using the system are also provided.
摘要翻译： 用于以软件扩展数据类型的系统包括修改任意的预先存在的基本数据类型的扩展单元，预先存在的基本数据类型具有至少一个成员。 该系统还包括扩展单元附带的补充成员，并为预先存在的基本类型提供附加功能。 还提供了使用该系统的方法。
-
公开(公告)号：US20070044080A1
公开(公告)日：2007-02-22
申请号：US11208703
申请日：2005-08-22
申请人： Paul Vick , Henricus Meijer , Amanda Silver , Chris Suver
发明人： Paul Vick , Henricus Meijer , Amanda Silver , Chris Suver
CPC分类号： G06F9/4488
摘要： The claimed subject matter provides a system and/or a method that facilitates constructing and initializing an object within a single expression. An interface component can receive data related to an object that has at least one property associated therewith. A syntax component can combine a construction of the object and an initialization of the at least one property into a single expression.
摘要翻译： 所要求保护的主题提供了有助于在单个表达中构建和初始化对象的系统和/或方法。 接口组件可以接收与具有与其相关联的至少一个属性的对象相关的数据。 语法组件可以将对象的构造和至少一个属性的初始化组合成单个表达式。
-
公开(公告)号：US20070043760A1
公开(公告)日：2007-02-22
申请号：US11209067
申请日：2005-08-22
申请人： Henricus Johannes Maria Meijer , David Schach , Avner Aharoni , Peter Drayton , Brian Beckman , Amanda Silver , Paul Vick
发明人： Henricus Johannes Maria Meijer , David Schach , Avner Aharoni , Peter Drayton , Brian Beckman , Amanda Silver , Paul Vick
IPC分类号： G06F7/00
CPC分类号： G06F17/2247 , G06F8/41 , G06F17/272
摘要： An architecture that that extends conventional computer programming languages that compile into an instance of an extensible markup language (XML) document object model (DOM) to provide support for XML literals in the underlying programming language. This architecture facilitates a convenient short cut by replacing the complex explicit construction required by conventional systems to create an instance of a DOM with a concise XML literal for which conventional compilers can translate into the appropriate code. The architecture allows these XML literals to be embedded with expressions, statement blocks or namespaces to further enrich the power and versatility. In accordance therewith, context information describing the position and data types that an XML DOM can accept can be provided to the programmer via, for example, an integrated development environment. Additionally, the architecture supports escaping XML identifiers, a reification mechanism, and a conversion mechanism to convert between collections and singletons.
摘要翻译： 一种将常规计算机编程语言扩展到可扩展标记语言（XML）文档对象模型（DOM）的实例的体系结构，以便为底层编程语言中的XML文字提供支持。 该架构通过替代传统系统所需的复杂显式构造来简化方便的快捷操作，以创建具有简洁XML文字的DOM实例，常规编译器可将其转换为适当的代码。 该架构允许这些XML文字嵌入表达式，语句块或命名空间，以进一步丰富功能和多功能性。 根据此，可以通过例如集成开发环境向程序员提供描述XML DOM可以接受的位置和数据类型的上下文信息。 另外，该架构支持转义XML标识符，一个验证机制，以及一个在集合和单例之间进行转换的转换机制。
-
-
-
-
-
-
-
-
-
搜索结果
14 条记录 (耗时 0.03 秒)
