-
公开(公告)号:US08370399B2
公开(公告)日:2013-02-05
申请号:US11770708
申请日:2007-06-28
申请人: Stanislav Kitsis , Kevin H. Krouse , Peter F. Drayton , Federico A. Garcia , Steven P. Lindeman , Christopher J. Lovett , Alvaro de Matos Miranda , David L. Remy
发明人: Stanislav Kitsis , Kevin H. Krouse , Peter F. Drayton , Federico A. Garcia , Steven P. Lindeman , Christopher J. Lovett , Alvaro de Matos Miranda , David L. Remy
IPC分类号: G06F17/30
CPC分类号: G06F17/30908 , G06F17/2247
摘要: A schema development system is provided. The system includes a location component to automatically determine members of a schema set. A processor component performs software development operations across the schema set. The members of the schema set can be implicitly determined from at least one development file, where the development file can be an XML file or an XSD file, for example.
摘要翻译: 提供了模式开发系统。 该系统包括一个位置组件来自动确定模式集的成员。 处理器组件在整个架构集中执行软件开发操作。 模式集的成员可以从至少一个开发文件隐式确定,其中开发文件可以是XML文件或XSD文件。
-
公开(公告)号:US20080133553A1
公开(公告)日:2008-06-05
申请号:US11770708
申请日:2007-06-28
申请人: Stanislav Kitsis , Kevin H. Krouse , Peter F. Drayton , Federico A. Garcia , Steven P. Lindeman , Christopher J. Lovett , Alvaro de Matos Miranda , David L. Remy
发明人: Stanislav Kitsis , Kevin H. Krouse , Peter F. Drayton , Federico A. Garcia , Steven P. Lindeman , Christopher J. Lovett , Alvaro de Matos Miranda , David L. Remy
IPC分类号: G06F17/30
CPC分类号: G06F17/30908 , G06F17/2247
摘要: A schema development system is provided. The system includes a location component to automatically determine members of a schema set. A processor component performs software development operations across the schema set. The members of the schema set can be implicitly determined from at least one development file, where the development file can be an XML file or an XSD file, for example.
摘要翻译: 提供了模式开发系统。 该系统包括一个位置组件来自动确定模式集的成员。 处理器组件在整个架构集中执行软件开发操作。 模式集的成员可以从至少一个开发文件隐式确定,其中开发文件可以是XML文件或XSD文件。
-
公开(公告)号:US07730467B1
公开(公告)日:2010-06-01
申请号:US11046979
申请日:2005-01-31
申请人: 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。
-
公开(公告)号:US20080313609A1
公开(公告)日:2008-12-18
申请号:US12139712
申请日:2008-06-16
申请人: Erik Meijer , Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Christopher J. Lovett , Matthew J. Wararen
发明人: Erik Meijer , Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Christopher J. Lovett , Matthew J. Wararen
IPC分类号: G06F9/44
CPC分类号: G06F8/437
摘要: A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.
摘要翻译: 本文公开了采用结构子类型的类型系统。 核心类型系统支持多种结构类型,如流,选择,交集和序列。 核心类型系统的一部分是新的不变类型,它表示动态类型与其静态类型相同的值,以及限制基本类型范围的类型限制。 此外,向类型系统介绍了一种简化的代表结构版本,称为结构代理及其验证方法。 为了进一步促进类型安全,引入了严格的静态检查界面。
-
公开(公告)号:US08112740B2
公开(公告)日:2012-02-07
申请号:US12139693
申请日:2008-06-16
申请人: Erik Meijer , Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Christopher J. Lovett , Matthew J. Warren
发明人: Erik Meijer , Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Christopher J. Lovett , Matthew J. Warren
IPC分类号: G06F9/44
CPC分类号: G06F8/437
摘要: A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.
摘要翻译: 本文公开了采用结构子类型的类型系统。 核心类型系统支持多种结构类型,如流,选择,交集和序列。 核心类型系统的一部分是新的不变类型,它表示动态类型与其静态类型相同的值,以及限制基本类型范围的类型限制。 此外,向类型系统介绍了一种简化的代表结构版本,称为结构代理及其验证方法。 为了进一步促进类型安全,引入了严格的静态检查界面。
-
公开(公告)号:US08060859B2
公开(公告)日:2011-11-15
申请号:US12139712
申请日:2008-06-16
申请人: Erik Meijer , Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Christopher J. Lovett , Matthew J. Warren
发明人: Erik Meijer , Wolfram Schulte , Barend H. Venter , Chia-Hsun Chen , Christopher J. Lovett , Matthew J. Warren
CPC分类号: G06F8/437
摘要: A type system employing structural subtyping is disclosed herein. A core type system supports several structural types, such as stream, choice, intersection and sequence. Also part of the core type system is a new invariant type, which denotes values whose dynamic type is the same as its static type, and type restrictions for limiting a range of a base type. Furthermore, a streamlined structural version of delegates, called structural delegates and a validation method thereof are introduce into the type system. To further facilitate type safety, strict statically checked interface casts are introduced.
摘要翻译: 本文公开了采用结构子类型的类型系统。 核心类型系统支持多种结构类型,如流,选择,交集和序列。 核心类型系统的一部分是新的不变类型,它表示动态类型与其静态类型相同的值,以及限制基本类型范围的类型限制。 此外,向类型系统介绍了一种简化的代表结构版本,称为结构代理及其验证方法。 为了进一步促进类型安全,引入了严格的静态检查界面。
-
公开(公告)号:US20100242027A1
公开(公告)日:2010-09-23
申请号:US12406976
申请日:2009-03-19
IPC分类号: G06F9/44
CPC分类号: G06F8/71
摘要: Aspects of the subject matter described herein relate to automatically identifying groups and subgroups in dependency data. In aspects, a data structure that indicates dependencies between components is analyzed to create groups that are related by dependencies. The groups are further analyzed to create subgroups that depend on shared components but that do not depend on each other. Information about the components is used to generate names for the groups that are indicative of the components included in the groups. The groups, their names, and their relationships may then be displayed.
摘要翻译: 本文描述的主题的方面涉及在依赖性数据中自动识别组和子组。 在方面,分析指示组件之间的依赖关系的数据结构,以创建与依赖关系相关的组。 进一步分析组以创建依赖于共享组件但不依赖于彼此的子组。 有关组件的信息用于生成指示组中包含的组件的组的名称。 然后可以显示组,名称及其关系。
-
公开(公告)号:US08191040B2
公开(公告)日:2012-05-29
申请号:US11622836
申请日:2007-01-12
申请人: Anders Hejlsberg , Daniel Dedu-Constantin , Erik B. Christensen , Keith W. Ballinger , Mark W. Fussell , Neetu Rajpal , Nithyalakshmi Sampathkumar , Omri Gazitt , Stefan H. Pharies , William A. Adams , Yan Leshinsky , Chia-Hsun Chen , Christopher J. Lovett
发明人: Anders Hejlsberg , Daniel Dedu-Constantin , Erik B. Christensen , Keith W. Ballinger , Mark W. Fussell , Neetu Rajpal , Nithyalakshmi Sampathkumar , Omri Gazitt , Stefan H. Pharies , William A. Adams , Yan Leshinsky , Chia-Hsun Chen , Christopher J. Lovett
IPC分类号: G06F9/44
CPC分类号: G06F9/44 , G06F9/4488
摘要: An application program interface (API) provides a set of functions that make available support for processing XML documents for application developers who build Web applications on Microsoft Corporation's .NET™ platform.
摘要翻译: 应用程序接口(API)提供了一组功能,可以为在Microsoft Corporation的.NET™平台上构建Web应用程序的应用程序开发人员处理XML文档提供支持。
-
公开(公告)号:US20110249002A1
公开(公告)日:2011-10-13
申请号:US12758816
申请日:2010-04-13
IPC分类号: G06T11/20
CPC分类号: G06T11/206 , G06F3/0481 , G06F3/0482 , G06F3/04845 , G06F17/30994
摘要: Scalable architecture for managing and rendering a large graph containing a large number of nodes and edges. The user can group arbitrary nodes to encapsulate complexity without losing any of the cross-group edges dependencies. All edges of the nodes contained in the group are rolled up into roll-up links (or “arteries”) where the graphical thickness indicates relatively how many links are bundled. By collapsing groups the entire view gives the user a clearer understanding of the graph. Information related to the groups and links is retained for drill-into to obtain the details inside each group on the same canvas and for user navigation across groups.
摘要翻译: 可扩展架构,用于管理和呈现包含大量节点和边缘的大图。 用户可以对任意节点进行分组以封装复杂性,而不会丢失任何跨组边缘依赖关系。 包含在组中的节点的所有边缘被卷起成卷积链接(或“动脉”),其中图形厚度指示相对多少链接被捆绑。 通过折叠组,整个视图可以让用户更清楚地了解图形。 保留与组和链接相关的信息,以进行钻取,以便在同一画布中的每个组中获取详细信息,并跨组进行用户导航。
-
公开(公告)号:US07747633B2
公开(公告)日:2010-06-29
申请号:US11781636
申请日:2007-07-23
IPC分类号: G06F17/30
CPC分类号: G06F17/2247 , G06F17/272
摘要: An incremental parser for hierarchical files is provided where the file can be parsed into a tree representation. Changes to the file can effectuate incremental changes to the tree such that the whole hierarchical file need not be reparsed; the incremental change modifies the necessary portions of the tree, not necessarily the entire tree. Moreover, the incremental parser can intelligently handle errors related to modification of the hierarchical file, such as unmatched tags corresponding to unmatched nodes in the tree. Such error handling provides operability with the malformed hierarchical file rather than providing an error and/or rejecting the file as modified.
摘要翻译: 提供分层文件的增量解析器,其中文件可以被解析成树表示。 对文件的更改可以对树进行增量更改,从而不需要重新整理层次结构文件; 增量更改会修改树的必要部分,而不一定是整个树。 此外,增量解析器可以智能地处理与分层文件的修改相关的错误,例如与树中不匹配的节点相对应的不匹配的标签。 这种错误处理提供了畸形分层文件的可操作性,而不是提供错误和/或拒绝被修改的文件。
-
-
-
-
-
-
-
-
-