CN106415488A - 将泛型类分解成层 - Google Patents
将泛型类分解成层 Download PDFInfo
- Publication number
- CN106415488A CN106415488A CN201580028016.6A CN201580028016A CN106415488A CN 106415488 A CN106415488 A CN 106415488A CN 201580028016 A CN201580028016 A CN 201580028016A CN 106415488 A CN106415488 A CN 106415488A
- Authority
- CN
- China
- Prior art keywords
- class
- general type
- version
- general
- layer
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/448—Execution paradigms, e.g. implementations of programming paradigms
- G06F9/4488—Object-oriented
- G06F9/4492—Inheritance
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/31—Programming languages or programming paradigms
- G06F8/315—Object-oriented languages
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/20—Software design
- G06F8/24—Object-oriented
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/43—Checking; Contextual analysis
- G06F8/436—Semantic checking
- G06F8/437—Type checking
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/44—Encoding
- G06F8/443—Optimisation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/44—Encoding
- G06F8/447—Target code generation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
- G06F8/71—Version control; Configuration management
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
- G06F8/76—Adapting program code to run in a different environment; Porting
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/445—Program loading or initiating
- G06F9/44521—Dynamic linking or loading; Link editing at or after load time, e.g. Java class loading
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/448—Execution paradigms, e.g. implementations of programming paradigms
- G06F9/4488—Object-oriented
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/448—Execution paradigms, e.g. implementations of programming paradigms
- G06F9/4488—Object-oriented
- G06F9/449—Object-oriented method invocation or resolution
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/448—Execution paradigms, e.g. implementations of programming paradigms
- G06F9/4498—Finite state machines
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
- G06F9/45504—Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators
- G06F9/45516—Runtime code conversion or optimisation
Abstract
即使已有类的一些成员不支持扩展的泛型,已有泛型类的泛型域也可被扩展以便不仅包括引用类型,还包括原始类型和值类型。可创建类的细分版本,所述类的细分版本包括:泛型层,包括类成员的抽象版本;和引用特定层,包括在泛型层中抽象的类成员的非抽象版本。所述类的细分版本还可包括指示类成员属于哪个层的信息。存在问题的方法(例如,具有关于泛型域的内置假设的方法)可被移动到第二个引用特定层中,由此保留与当前将那些方法实例化或引用那些方法的类的兼容性并且同时仍然允许在扩展的泛型域内使用。
Description
背景技术
本发明一般地涉及软件开发,并且更具体地讲,涉及各种编程语言中的任何编程语言(诸如,作为一个示例,独立于平台的面向对象的编程语言)内的语言开发的各种方面。
许多编程语言支持参数多态,诸如Java、C#和Scala中的泛型类。经常利用关于泛型域的假设编写泛型类。经常地,这种假设在编程语言内是显式的,而其它假设是隐式的。例如,在Java编程语言内,传统上在假设类型变量仅在引用类型的范围上变化的情况下编写泛型类。这些假设经常被结合到这些类的实现方式。例如,对于具有声明List<T>的泛型类,开发者可在假设T必须是引用类型的情况下编写代码。然而,关于受限域的假设使得在更广泛的域(诸如,既包括引用类型又包括原始类型的域)上泛型化的能力更加困难或者成问题。
发明内容
这里描述了各种实施例,这些实施例增强面向对象的软件开发,以包括用于对泛型类执行分解的语言和/或运行时支持,从而支持将其泛型性扩展至更大的域,并且同时保持与已有实现方式和客户机的兼容性(例如,二进制、源和/或行为兼容性)。
这里描述的技术可涉及将泛型类“剥离”成多个层。例如,泛型类可被“剥离”为包括可在扩展域上被视为泛型的一个完全泛型层和可被限制于先前域的另一层(例如,作为一个示例,引用特定)。存在问题的方法(例如,具有关于泛型域的内置假设的方法)可被移动到与先前(例如,更加限制性的)泛型域对应的层中,由此保留与当前将这些方法实例化或引用这些方法的类的兼容性,并且同时仍然允许在扩展的泛型域内使用。
可通过允许创建类的细分版本来以兼容方式扩展已有泛型类型的泛型域,所述类的细分版本包括多个层,诸如支持扩展域的完全泛型层以及可能不完全支持扩展的泛型域的其它层。例如,Java编程语言可被增强以允许创建细分泛型类,所述细分泛型类包括支持除引用类型之外的类型的完全泛型层和支持先前(例如,仅引用)泛型域的层。
所述类的细分版本还可包括指示特定类成员位于哪个层中的信息。在一些实施例中,针对与扩展的泛型域对应的类型(例如,引用类型、原始类型、值类型、元组类型等)和与先前泛型域对应的类型(例如,在Java示例中,仅引用类型),可加载、实例化和/或特化单个细分泛型类。
因此,根据一些实施例,使用具有多个层的泛型类可允许将泛型域扩展为包括另外的类型(例如,不仅仅包括所有的引用类型,还包括原始类型和/或所有的值类型),同时保持与已有实现方式和客户机的兼容性。
附图说明
图1是表示根据各种实施例的用于编译和执行按照高级的面向对象的语言指定并且被配置为支持将泛型类分解成层的计算机程序的工作流程的逻辑方框图。
图2是表示根据一个实施例的包括多个层的细分泛型类的创建的逻辑方框图。
图3是表示根据一个实施例的用于创建既包括完全泛型层又包括引用特定层的细分类的方法的一个实施例的流程图。
图4是表示根据一个实施例的既包括完全泛型层又包括引用特定层的泛型类的一个示例的逻辑方框图。
图5是表示在一个实施例中的基于细分泛型类的类的实例化的逻辑方框图。
图6是表示根据一个实施例的用于加载细分泛型类的完全泛型版本的方法的一个实施例的流程图。
图7是表示根据一个实施例的用于加载细分泛型类的引用特定版本的方法的一个实施例的流程图。
图8是表示根据一个实施例的用于针对非引用类型参数化将细分泛型类特化的方法的一个实施例的流程图。
图9是表示根据一个实施例的适合实现将泛型类分解成层的示例性计算机系统的逻辑方框图。
具体实施方式
这里描述了各种实施例,这些实施例增强使用面向对象的语言的软件开发(诸如,增强JavaTM编程语言),以支持对泛型类执行分解,从而支持与已有实现方式和客户机的二进制、源和/或行为兼容性,并且同时仍然支持其泛型扩展至更大的域。根据一些实施例,泛型域可表示由泛型类支持的不同类型的范围。
一些实施例中,将泛型类分解成两个或更多个层可被称为“剥离”。例如,泛型类可被“剥离”成多个层,诸如可在扩展域上被视为泛型的一个泛型层(例如,完全泛型)和可被限制于先前域的一个层(例如,引用特定)。存在问题的方法(例如,具有关于泛型域的内置假设的方法)可被移动到第二个引用特定层中,由此保留与当前将那些方法实例化或引用那些方法的类的兼容性,并且同时仍然允许在扩展的泛型域内使用。
例如,在一些实施例中,编程语言可被增强以便通过支持包括多个层的类的细分版本的创建来以兼容方式扩展已有泛型类型的泛型域。例如,在一个实施例中,类可被细分为用于一个或多个类成员的抽象版本的泛型层和用于在泛型层中抽象的成员的非抽象版本的对象(或引用特定)层。类的细分版本可包括指示特定成员位于哪个层中的信息。另外,运行时环境可将细分泛型类加载、实例化和/或特化。在一些实施例中,对于引用类型和非引用类型,相同的细分泛型类可被加载、实例化和/或特化。
因此,根据一些实施例,将泛型类剥离成多个层可允许将泛型域扩展为不仅包括所有的引用类型,还包括原始类型和/或所有的值类型,同时保持与已有实现方式和客户机的兼容性。例如,在一个实施例中,在Java编程语言内,如这里所述,剥离的使用可允许在T是引用类型、原始类型和/或值类型的情况下将泛型类List<T>特化。在另一实施例中,在支持类、函数和元组的三重系统(诸如,FortressTM系统)内,类可被细分为多个层以支持泛型的不同级别。例如,细分类可包括用于类、函数和/或元组的层以及更细粒度的层以便诸如支持特定情况(例如,int、numeric、“T extends Comparable”等)。
在下面的详细描述中,阐述许多特定细节以提供对要求保护的主题的彻底的理解。然而,本领域技术人员将会理解,可在没有这些特定细节的情况下实施要求保护的主题。在其它实例中,因为本领域普通技术人员知道方法、设备或系统,所以以下未详细地描述所述方法、设备或系统以免模糊要求保护的主题。
尽管对于几个实施例和说明性附图作为示例在这里描述了各种实施例,但本领域技术人员将会意识到,实施例不限于描述的实施例或附图。应该理解,附图及其详细描述并不意图将实施例限制于公开的特定形式,而是相反地,意图包括落在本公开的精神和范围内的所有变型、等同物和替代物。这里使用的任何标题仅用于组织目的,而非意图用于限制该描述的范围。如在整个本申请中所使用,在许可意义(即,意味着具有可能性)而非强制性意义(即,意味着必须)上使用词语“可”。类似地,词语“包括”、“包含”和“具有”表示包括但不限于。
按照对存储在特定设备或专用计算装置或平台的存储器内的二进制数字信号的操作的算法或符号表示,提供下面的详细描述的一些部分。在这个特定说明书的上下文中,一旦通用计算机被编程为根据来自程序软件的指令执行特定功能,则术语特定设备等包括所述通用计算机。算法描述或符号表示是由信号处理或相关领域普通技术人员用于将他们的工作的实质传达给其他本领域技术人员的方法的示例。算法在这里通常被视为导致预期结果的前后一致的一系列操作或类似信号处理。在这种情况下,操作或处理涉及物理量的物理操纵。通常,但并非必然,这种量可采取能够被存储、传送、组合、比较或以其它方式操纵的电信号或磁信号的形式。有时,主要由于常用的原因,已证明将这种信号称为位、数据、值、元素、码元、字符、项、数、数字等是比较方便的。然而,应该理解,所有这些或类似术语应该与合适的物理量关联并且仅是方便的标签。除非另外具体地指出,否则从下面的讨论清楚可知,应该理解,在本说明书中,使用诸如“处理”、“计算”、“核算”、“确定”等的术语的讨论始终表示特定设备(诸如,专用计算机或类似专用电子计算装置)的动作或处理。因此,在本说明书的上下文中,专用计算机或类似专用电子计算装置能够操纵或变换在专用计算机或类似专用电子计算装置的存储器、寄存器或其它信息存储装置、传输装置或显示装置内通常表示为物理电子量或磁量的信号。
根据各种实施例,这里描述的方法和/或特征可涉及语言开发的各种方面,诸如例如包括用于在Java虚拟机(JVM)中描述动态派生类的基础支持、用于将语言级别概念翻译成JVM能够执行的字节码的Java编译器中的翻译机构、和用于表示以前不能表示的事物的在Java语言中暴露的特征。根据Java编程语言和/或使用利用Java编程语言的软件开发的特征讨论这里描述的方法、技术、特征和/或增强的各种实施例。然而,根据各种实施例,这里描述的方法、技术、特征和其它增强也可被与其它编程语言(诸如,C、C++、C#、Python)一起使用。
另外,如这里所提及,类可被视为用户定义的类型或数据结构,所述用户定义的类型或数据结构可包括数据、变量、函数、方法和/或其它属性作为成员并且代表用于创建特定类型的编程对象的定义、蓝图或模板。类可为数据成员提供初始值并且为成员函数和方法提供实现方式。类经常被包括在库中。如这里所提及,库可被视为由软件程序或应用使用的一批资源。根据一些实施例,库可包括各种类型的资源中的任何资源,包括但不限于数据、文件、类、子程序和/或类型规范。库可被组织以便由超过一个应用(可能同时)使用,并且可通过提供资源来提升可重用性,以使得应用可不必实现(或重新实现)相同行为。
现在参照图1,图1表示根据各种实施例的用于编译和执行按照高级的独立于平台的面向对象的语言指定的支持原始和引用数据类型以及关于如这里所述的将泛型类分解成层的各种方法、特征和增强的计算机程序的工作流程。为了说明的目的,主要在使用JavaTM编程语言的情况下提供下面的描述。然而,需要注意的是,描述的技术可被与在任何合适的情况下支持原始和引用类型和特化的几乎任何编程语言一起使用。
根据示出的实施例,当编译器(诸如,编译器120)接收到用于计算机程序的源代码(诸如,源代码文件110)时,工作流程可开始。在各种实施例中,可按照各种高级和/或独立于平台的面向对象的编程语言(诸如,JavaTM和/或其它语言)指定源代码文件110。例如,在使用JavaTM的实施例中,源代码可被提供作为一组.java文件。类似地,在使用C++的实施例中,源代码可被提供作为一组.cpp文件。在一些实施例中,可使用语言的组合指定源代码文件110,所述组合可包括一种或多种低级和/或中间语言(例如,汇编)。在一些实施例中,可最初按照动态类型的高级语言(诸如,Python或Ruby)编写至少一些源代码,而在其它实施例中,所有的源代码可以按照静态类型的语言(诸如,JavaTM)编写。
在描述的实施例中,编译器120可分析源代码文件110以产生字节码文件或程序的可执行版本,诸如类文件130(例如,在JavaTM的情况下的.class文件或.jar文件)。不同类型的可执行代码格式可被用于各种实施例;例如,可替代于字节码而使用二进制机器语言。在一些场景中,类文件130中的可执行代码的一部分可以是字节码,而其它部分是原生二进制机器语言。
根据一些实施例,作为将程序源代码文件110编译为类文件130的一部分,编译器120可执行一系列分析操作并且在产生可执行版本之前产生各种中间数据结构,以便诸如应用或实现将泛型类分解成层。例如,编译器可在创建类文件130时产生一个或多个细分类(例如,已被剥离成多个层的类)。如上所述,编程语言可被修改以允许泛型类被以兼容方式分解(或“剥离”)成多个层,一个层在扩展域上是泛型的(例如,完全泛型),并且一个层被限制于先前域(例如,引用特定)。因此,编译器120可被修改以通过实现各种编程语言特征来支持扩展的泛型域,允许开发者创建新类(或修改已有类),同时保持与已有实现方式的兼容性,所述新类(或已有类)包括多个泛型层,如以下更详细所讨论。
如图1中所示,类文件130可被传送给执行环境,诸如虚拟化运行时环境140,虚拟化运行时环境140在执行平台102上执行代码,由此创建各种输出数据和/或行为。根据各种实施例,虚拟化运行时环境140又可包括许多不同部件,诸如类加载器150、存储管理器160、字节码校验器170(例如,用于检查可执行代码的有效性)和/或解释器和/或即时(JIT)编译器180。在一些实施例中,JIT编译器可负责将一些或全部的字节码(例如,字节码的大量使用的部分)翻译成平台特定机器代码以提高程序执行的性能。在一些实施例中,虚拟化运行时环境140还可包括用于实现许多应用编程接口(API)库190的代码。在一些实施例中,虚拟化运行时环境140可在低层软件(诸如,操作系统192)上运行。
在不同实施例中,作为编译代码的执行的结果产生的输出或行为可包括存储在各种级别的系统存储器中的数据(例如,内存对象和/或数据结构)、存储在持久存储装置上的数据(例如,文件系统中的文件)等。所述行为还可包括各种程序功能,诸如在屏幕上显示输出、经网络发送消息和/或以其它方式与各种用户和/或部件交互。
面向对象的编程内的参数多态涉及泛型类型、方法和类。例如,在JavaTM编程语言内,泛型类型是由一组类型参数参数化的泛型类或接口。传统上,泛型类被定义为具有类型参数部分,所述类型参数部分跟随在类名后面,由角括号(<>)定界。所述参数部分指定类型参数(也被称为类型变量)。为了更新非泛型类以使用泛型,可通过引入类型变量T来创建泛型类型声明,能够在类内部的任何地方使用类型变量T。类声明内的Object的一个、一些或全部出现(例如,根据特定情况)可被T替换。类似地,泛型方法也可被一组类型参数参数化。传统上,类型变量能够是任何非原始类型(例如,任何类类型、任何接口类型、任何阵列类型甚至另一类型变量)。然而,通过应用这里描述的方法和/或技术,泛型域可被扩展为包括另外的类型(例如,原始类型、值类型、函数类型、元组类型等),同时保持与已有实现方式的兼容性。
如上所述,经常利用关于泛型域的假设编写泛型类。然而,如这里所述,根据各种实施例,该限制可被解除以允许泛型类型参数在无限的一组全部类型上或在受限的一组类型上变化,所述一组类型包括不在先前泛型域中的至少一个类型(例如,在基于Java的示例中,不是引用,诸如int)。在一些实施例中,解除这个限制可能需要通过提取(例如,分层和/或重构)应用于所有类型参数分派(诸如,int或float以及Object或String)的结构(例如,类成员),同时留下局限于仅对引用进行操作的那些结构(诸如,Object或String),来改进已对其泛型域做出显式假设的已有类型。
根据一些实施例,可对泛型类执行分解以支持与已有实现方式和客户机的兼容性,同时仍然支持其泛型扩展至更大的域。这个技术可在这里被称为“剥离”,因为它可采用泛型类并且将其剥离成多个层(例如,在扩展域上是泛型的一个层和被限制于先前域的一个(或多个)层)。因此,在一些实施例中,存在问题的方法可被移动到不同层中,由此保留与当前将它们实例化或引用它们的类的兼容性,并且同时仍然允许在扩展的泛型域内使用。
在一些实施例中,一些类可能不需要被细分,因为它们可能不包括关于更加受限的泛型域的假设(例如,被利用关于更加受限的泛型域的假设开发)。换句话说,一些类可能已经支持更广泛的泛型域。然而,其它类可能具有关于受限的泛型域的假设,并且因此可能需要大量修改(例如,细分)以支持扩展的泛型域。在其它实施例中,类可被开发为使得类的多数功能可被包括在任何细分层中,但某些方法可被包括(例如,“限制”)在引用层中,同时可在细分类内的一个或多个其它层中包括新的泛型方法以提供相同的功能。
因此,在一些实施例中,编译器120可被配置为通过允许创建类的细分版本来支持已有泛型类型的扩展的泛型域,所述类的细分版支持扩展的泛型并且也保持已有泛型类的兼容性(例如,源兼容性、二进制兼容性和/或行为兼容性)。在各种实施例中,可存在超过一种类型的兼容性,诸如源兼容性、二进制兼容性和/或行为兼容性。源兼容性可允许引用修改的类的源文件在已做出改变之后继续被编译。二进制兼容性可允许链接到修改的类的二进制文件在已做出改变之后继续合适地链接。行为兼容性可允许在修改类之前提供的功能与在修改类之后提供的功能相同。
如以下更详细所解释,根据一些实施例,类的细分版本可包括包含一个或多个类成员的版本的泛型层和与由可包括泛型层中的成员的其它版本的类支持的先前泛型域对应的层。在一个实施例中,编译器120可在类的细分版本中包括指示支持扩展的泛型的成员(例如,位于泛型层中的成员)和不支持扩展的泛型的至少一部分的成员(例如,位于对象层中的成员)的信息(例如,装饰(adornment)、属性、元数据等)。
在一些实施例中,虚拟化运行时环境140可被配置为将细分(例如,多层或剥离)的泛型类加载、实例化和/或特化。例如,在一些实施例中,虚拟化运行时环境140可被配置为将细分泛型类的完全泛型版本(例如,针对非引用类型实例化的泛型类的版本)加载和/或实例化。类似地,在另一实施例中,虚拟化运行时环境140可被配置为将与先前泛型域对应的相同的细分泛型类的版本加载和/或实例化(例如,针对引用类型实例化的泛型类的版本)。因此,根据各种实施例,虚拟化运行时环境140可被配置为既加载和/或实例化细分泛型类的完全泛型版本,又加载和/或实例化细分泛型类的不完全泛型版本。
另外,在一些实施例中,虚拟化运行时环境140可被配置为对于各种参数化的特化细分泛型类。例如,在一个实施例中,虚拟化运行时环境140可被配置为对于引用类型、原始类型、值类型和/或对于几乎任何类型特化单个细分泛型类。
作为一个示例,在一些实施例中,剥离(例如,将泛型类分解成多个层)可涉及将两个层引入到泛型类:完全泛型层和与先前泛型域对应的一个层(例如,特定于利用Textends Object的实例化的引用特定层),由此扩展类的泛型域,同时保持与已有实现方式的兼容性。剥离可被视为用于以兼容方式重写具有不完整或不一致的泛型的库类的技术。例如,传统泛型类是在假设它们将会仅应用于引用类型的情况下使用Java编程语言编写的。
在一些实施例中,将泛型类分解成多个层(例如,剥离)可包括:即使已有泛型类的一个或多个成员不支持扩展的泛型的至少一部分,也以兼容方式扩展所述类的泛型域。类的所述一个或多个成员可包括方法、字段、构造器和/或嵌套类型中的一个或多个。可创建在一个或多个层中包括类的所有成员的类的细分版本。
图2是表示根据一个实施例的包括多个层的细分泛型类的创建的逻辑方框图。如图2中所示,已有泛型类声明200可包括一个或多个类成员210。为了以兼容方式扩展泛型类的泛型域,如箭头220所指示,可产生细分泛型类声明230。例如,在一个实施例中,可在假设仅引用域的情况下,诸如在假设变量类型(用于泛型类的变量类型)仅在引用类型上变化的情况下,编写已有类声明200。为了将泛型域从仅引用域扩展到更大的域(例如,引用类型以及值类型),已有泛型类声明200可被重写以产生细分泛型类声明230。如上所述,细分类可包括多个层。根据由图2示出的实施例,细分泛型类声明230已被细分或“剥离”为包括泛型层240和与先前泛型域(例如,仅引用)对应的对象层250。
根据一个实施例,下面的示例性伪代码可代表已有泛型类声明200:
在以上的示例性代码中,可能已利用关于泛型域的假设编写方法void foo(T t),并且因此,方法void foo(T t)可能不支持扩展的泛型域。因此,像下面的示例性伪代码中一样,以上的示例性类可被分解或剥离成诸如由细分泛型类声明230表示的细分泛型类:
其接口和/或实现方式不适合(例如,不支持)扩展的泛型域的已有方法可被放到限制于先前域的层中。例如,在以上示例中,方法foo(T t)已被移动到引用特定层中。根据一些实施例,如以上示例中所示,可使用“layer”关键字指示类的不同层。然而,在其它实施例中,类的层可被以不同方式指示。例如,能够使用不同语法编写以上示例以指示引用特定层:
因此,如以下更详细所解释,在不同实施例中,可使用不同机制指示分解(例如,剥离)的类内的各个层。
泛型层240可包括完全泛型类成员260,当针对扩展的泛型域的类型(例如,除仅仅引用类型之外的类型)对泛型类进行实例化(或特化)时可使用完全泛型类成员260。在一个示例性实施例中,对象层250可以是包括受限方法成员270的引用特定层,受限方法成员270可被限制于针对引用类型对泛型类进行实例化(或特化)。尽管图2中示出的细分泛型类声明230包括两个层(例如,泛型层和对象层),但在其它实施例中,细分类可包括超过两个层以支持不同泛型域(例如,引用类型、原始类型、值类型、函数类型、元组类型等)。另外,细分泛型类内的不同层可包括不同类成员,诸如不同方法。例如,根据一些实施例,泛型层240可包括一个或多个类成员的抽象版本,而对象层250可包括在泛型层240中抽象的至少一些类成员的非抽象版本。
因此,在一些实施例中,编程语言可被增强以扩展泛型域,从而允许创建支持扩展的泛型并且同时保持与已有泛型类的兼容性(例如,源兼容性、二进制兼容性和/或行为兼容性)的类的细分版本。在一个实施例中,类信息(例如,装饰、属性、元数据等)的细分版本指示支持扩展的泛型的成员(例如,位于完全泛型层中的成员)和不支持扩展的泛型的至少一部分的成员(例如,位于与先前泛型域对应的层中的成员)。
图3是表示根据一个实施例的用于创建既包括完全泛型层又包括引用特定层的细分类的方法的一个实施例的流程图。如块300中所示,根据一些实施例,即使一个或多个类成员不支持扩展的泛型的至少一部分,包括一个或多个类成员的已有泛型类的泛型域也可被以兼容方式扩展。例如,如上所述,已有类声明200可包括一个或多个类成员210,所述一个或多个类成员210中的至少一个类成员可能不支持扩展的泛型。例如,可能已利用类将会仅在引用类型上是泛型的假设编写已有类声明200,并且因此,至少一个类成员可能不支持将泛型域扩展为包括原始(或其它非引用)类型。
根据各种实施例,如块310中所示,扩展已有类的泛型域可包括创建支持扩展的泛型并且保持与已有泛型类的兼容性的类的细分版本,并且还可涉及在类的细分版本中包括识别不支持扩展的泛型的至少一部分的所述一个或多个成员的一个或多个指示器,如块320中所示。例如,细分泛型类声明230可被产生,并且可包括识别类的完全泛型成员260和/或识别类的受限成员270的各种指示器。根据不同实施例,如以下参照图4更详细所解释,细分泛型类声明230可包括各种类型的指示器中的任何类型的指示器。
因此,根据一些实施例,可在逐个成员的基础上充分地区分不同层。另外,各种层还可通过子/超关系而合适地相关,在一些实施例中,这可能需要用于将超类型成员继承到子类型层中的详细规则。在一些实施例中,这种关系可允许软件重新使用的多个层。
例如,支持扩展的泛型域的新编写的程序可重新使用泛型层240(例如,扩展或超类型层),而能够接受先前泛型域(例如,仅引用限制)的已有程序(或代码库)可使用对象层250(例如,受限或子类型层),并且因此,可能不需要修改。例如,在一些实施例中,泛型类ArrayList<T>可与原始类型(诸如,int)以及与引用类型(诸如,String)一起使用。当如这里所述使用剥离时,泛型类(诸如,ArrayList)的泛型域可被扩展为包括原始和/或值类型,而不必重写在假设泛型类ArrayList可仅与引用类型一起使用(例如,利用引用类型实例化或特化)的情况下使用ArrayList的已有代码(例如,类、应用、库等)。
根据一些实施例,通过使与先前泛型域对应的层(例如,对象层或受限层)在功能上与泛型类的传统已有类型相同,可提供向后兼容。根据各种实施例,分层/分解的另外的应用还可提供其它益处,诸如用于旧(受限边界)和新(不受限)系统中的类型的特化的实现方式。
另外,在一些实施例中,类可包括类型特定的一个或多个层,如下面的示例性伪代码中所示:
类的细分版本还可包括用于不支持扩展的泛型的至少一部分的类成员的特殊处理的指令,并且类成员的特殊处理可保持与类的已有使用的兼容性(例如,源兼容性、二进制兼容性和/或行为兼容性)。在一些实施例中,例如,用于特殊处理的指令可至少部分地由类的过载方法的静态或动态类型的输入触发。
图4是表示根据一个实施例的具有多个层的泛型类的一个示例的逻辑图。如图4中所示,编译器120可被配置为支持从已有泛型类400产生(如箭头410所指示)细分泛型类420。例如,在一些实施例中,泛型类400(诸如,ListLike<T>)可在逻辑上被划分或“剥离”成两个层——泛型层430和引用特定或对象层440。泛型层430可在扩展的泛型上是泛型的,而对象层440可特定于类型变量的先前泛型域(例如,在由图4示出的实施例中,引用实例化),从而保持与已有实现方式和客户机的兼容性。
在一些实施例中,对于类使用多个层可以使得能够在特化内处理原始类型和引用类型之间(诸如,replace(int)和replace(T)之间)的潜在冲突。当将已有泛型类迁移到具体化、扩展或特化的泛型时,已有泛型类可能具有兼容性问题。例如,在使用扩展的泛型域进行特化的情况下,传统上有效的某些过载可能变得存在问题。例如,下面的示例性代码:
在假设T代表引用类型的情况下是非常好的,但当泛型被扩展以使得T可采用值或原始类型(例如,int)时,这可能变得存在问题,因为可能无法区分这两种remove方法。利用取决于用于引用T的ListLike<T>的代码的主体,在不破坏兼容性的情况下,以上示例中的remove方法都可能无法被去除或重新命名。然而,可能需要在特化侧(例如,产生什么方法)以及在过载选择(例如,调用哪个方法)上解决这些方法。换句话说,根据一些实施例,当产生特化的代码时以及当编译客户机代码时,都可消费(例如,使用)分层信息。
例如,考虑以上使用的List-like类示例中的过载对:
ListLike的传统(例如,旧)使用可隐含地取决于T的域不包括int(例如,因为int是非引用类型)的事实,并且因此,可仅包括引用实例化(例如,因为这可以是在以前仅允许的实例化)。因此,兼容性可能需要引用实例化具有全部这些方法,但可能不需要关于非引用实例化的任何事情(例如,因为可能在传统上全都不存在)。
然而,在一些实施例中,扩展泛型域可以使得能够在扩展的泛型域内处理原始类型和引用类型之间(诸如,replace(int)和replace(T)之间)的潜在冲突。例如,以上ListLike示例性代码在建设T代表引用类型的情况下是非常好的,但当泛型被扩展以使得T可采用值或原始类型(例如,int)时,这可能变得存在问题,因为可能无法区分这两种remove方法。例如,利用取决于用于引用T的ListLike<T>的代码的主体,在不破坏兼容性的情况下,以上示例中的remove方法都可能无法被去除或重新命名。
然而,在一些实施例中,剥离可允许示例性ListLike类被如图4中所示并且像下面的示例性代码中一样重写:
ListLike的细分版本可包括一个或多个指示器,所述一个或多个指示器指示哪些成员是完全泛型的以及哪些成员不支持ListLike的细分版本的扩展的泛型。根据各种实施例,各种方法中的任何方法可被用于指示方法(和/或类的其它成员)在所有类型上是泛型的以及它们被包括在泛型层430中。在一些实施例中,完全泛型层430中的方法(或方法声明)可被注释(例如,使用各种装饰中的任何装饰)以指示:它们在所有类型上是泛型的,而非仅在引用类型上是泛型的。在一个实施例中,所述方法声明可被利用一个或多个特殊标记、符号和/或关键字装饰,而在其它实施例中,特定元数据(例如,在实际方法声明内或与实际方法声明分开)可指示:特定方法声明在所有类型上是泛型的。在另一实施例中,另外的属性和/或元数据可被添加到所述类,指示哪些方法是完全泛型的。
另外,在一些实施例中,细分类420可包括识别位于与先前泛型域对应的层中的类成员的指示器。如上所述,根据各种实施例,各种方法、方式和/或语法中的任何方法、方式和/或语法可被用于指示方法(和/或类的其它成员)仅在先前(受限)泛型域内是泛型的并且它们被包括在对象层440中。例如,一些实施例中,对象层440中的方法(或方法声明)可被注释(例如,使用各种装饰中的任何装饰)以指示:它们仅对于引用类型是泛型的。在一个实施例中,所述方法声明可被利用一个或多个特殊标记、符号和/或关键字装饰,而在其它实施例中,特定元数据(例如,在实际方法声明内或与实际方法声明分开)可指示:所述特定方法声明仅在先前(受限)泛型域内是泛型的。在另一实施例中,另外的属性和/或元数据可被添加到所述类,指示哪些方法仅在先前泛型域内是泛型的。
在其它实施例中,指示器可被添加以识别仅在一个层中的成员(例如,其它层中的成员可被识别为不在指示的层中的那些成员)。另外,不同类型的指示器和/或语法可被用在不同实施例中并且用于指示同一个类内的不同类型的成员。
在一些实施例中,类的细分版本可包括包含类的一个或多个成员的抽象版本的泛型层和包括在泛型层中抽象的至少一个类成员的非抽象版本的与先前泛型域对应的层。泛型层430可包括抽象方法,诸如remove(T)和removeAt(int)。在一些实施例中,针对T=int新特化的类可对于这些抽象方法而言没有问题。引用特定(例如,对象)层440还可包括(或添加)抽象方法(诸如,示例性remove(int))以及来自泛型层的一个或多个方法的具体实现方式(诸如,remoteAt(int)方法)。在一些实施例中,使用ListLike<T>(其中T扩展了Object)的已有代码可看见熟悉的remove(Object)和remove(int)方法,由此提供兼容性。换句话说,已有类文件将会发现它们寻找的方法(例如,二进制兼容性),并且已有客户机和实现方式能够被针对更新的库重新编译而没有不良作用(例如,源兼容性)。另外,针对非引用类型(诸如,int)的ListLike<T>的特化可看见一对无问题的方法remove(T)和removeAt(int)。
已有实现方式(例如,不支持扩展的泛型域)可预期存在remove(T)和remove(int),并且可预期它们是抽象的,同时预期不会看见新的抽象方法(例如,所述新的抽象方法的存在可引起编译器错误)。根据一个示例性实施例,通过在引用层中包括remove(int)的声明和removeAt(int)的实现方式,可保持与已有实现方式的兼容性。换句话说,引用实例化可具有remove(T)和remove(int)以及新的removeAt(int),由此可确保兼容性,而特化可具有remove(T)和removeAt(int)的(非问题)过载。因此,根据一些实施例,ListLike的已有实现方式可继续编译(即使它们不支持扩展的泛型域),因为新方法removeAt(int)具有用于引用特化的默认值。然而,根据一些实施例,对于原始特化,removeAt可被视为抽象并且可能需要提供removeAt,但remove可能根本不存在。
在一些实施例中,对象层440中所包括的方法(或其它类成员)(例如,仅在引用类型上是泛型的那些方法(或其它类成员))可被视为抽象和不抽象。例如,使用以上的ListLike示例,一些方法(例如,以上示例中的remove)可在T是引用的情况下实现,但在T是值的情况下可能无法实现。
在一些实施例中,虚拟化运行时环境140可被配置为将细分(例如,多层或剥离)的泛型类加载、实例化和/或特化。例如,在一些实施例中,虚拟化运行时环境140可被配置为将细分泛型类的完全泛型版本(例如,针对非引用类型实例化的泛型类的版本)加载和/或实例化。类似地,在另一实施例中,虚拟化运行时环境140可被配置为将与先前泛型域对应的相同的细分泛型类的版本(例如,针对引用类型实例化的泛型类的版本)加载和/或实例化。因此,根据各种实施例,虚拟化运行时环境140可被配置为既加载和/或实例化细分泛型类的完全泛型版本,又加载和/或实例化细分泛型类的不完全泛型版本。
图5是表示在一个实施例中的基于细分泛型类的类的实例化的逻辑方框图。根据一些实施例,当细分(例如,多层)泛型类(诸如,细分类)500被加载时,运行时环境(例如,基于Java的系统中的VM)可分析所述类以确定哪些方法(或其它成员)被限制于特定参数化,并且可忽略不适用于所述特定实例化的那些方法。如上所述,细分类文件可包括指示器(例如,属性、装饰、元数据等),所述指示器可识别被限制于特定参数化(或完全泛型)的特定类成员,并且类加载器可使用这些指示器确定使用哪些类成员以及(可)忽略哪些类成员。
因此,在一个实施例中,当如箭头530所指示,细分类500被加载和/或实例化为类的完全泛型版本(例如,针对非引用类型实例化)时,类加载器可产生类的完全泛型版本,所述类的完全泛型版本包括来自泛型层510的那些类成员并且可不包括来自对象层520的那些类成员(例如,被指示为不支持特定的扩展的泛型),如完全泛型类声明550中所示。
另外,根据一个实施例,当如箭头540所指示,细分类500被加载和/或实例化为不支持扩展的泛型域的类的版本(例如,针对引用类型实例化)时,类加载器可产生类的引用特定版本,如引用特定类声明560所示,所述类的引用特定版本包括来自对象层520的那些类成员,而不包括来自泛型层的类成员,如引用特定类声明560中所示。需要注意的是,尽管图5表示使用与仅引用泛型域对应的先前泛型域的实施例并且根据使用与仅引用泛型域对应的先前泛型域的实施例描述图5,但在其它实施例中,不同类型(和或一组类型)可被包括在各种泛型域中的任何泛型域中(并且因此,被包括在细分泛型类的不同层中)。
图6是表示根据一个实施例的用于加载(和/或实例化)细分泛型类的完全泛型版本的方法的一个实施例的流程图。如块600中所示,根据一些实施例,类加载器(或运行时环境的其它部件)可加载细分类的完全泛型版本,所述细分类的完全泛型版本包括包含一个或多个类成员的抽象版本的泛型层和包括在泛型层中抽象的至少一个类成员的非抽象版本的引用特定层。
例如,如以上关于图5所述,类加载器可基于细分类500加载类。细分类500可包括泛型层510和对象或引用特定层520。在一些实施例中,用于加载类的完全泛型版本(例如,用于非引用类型的类的版本)的方法可涉及:在细分类的完全泛型版本中包括在泛型层中抽象的所述一个或多个类成员,如块610中所示。例如,细分类500的完全泛型版本可包括来自泛型层510的类成员remove(T)和removeAt(int),如完全泛型类声明550中所示。
用于加载类的完全泛型版本(例如,用于非引用类型的类的版本)的方法也可涉及:不在细分类的完全泛型版本中包括不支持扩展的泛型的至少一部分的一个或多个类成员,如块620中所示。例如,完全泛型类声明550可能不包括来自对象层520的类成员,如上所述,所述来自对象层520的类成员可能不在非引用类型上支持泛型。在一些实施例中,对象层中所包括的类成员(例如,仅在引用类型上是泛型的那些类成员)可被视为抽象和不抽象。因此,根据一些实施例,一些方法(例如,以上的ListLike示例中的remove)在T是引用的情况下可实现,但在T是值的情况下可能无法实现。需要注意的是,尽管图6表示使用与仅引用泛型域对应的先前泛型域的实施例并且根据使用与仅引用泛型域对应的先前泛型域的实施例描述图6,但在其它实施例中,不同类型(和或一组类型)可被包括在各种泛型域中的任何泛型域中(并且因此,被包括在细分泛型类的不同层中)。
图7是根据一个实施例的用于加载(和/或实例化)与先前泛型域对应并且不支持扩展的泛型域的细分泛型类的版本的方法的一个实施例的流程图。如块700中所示,在一个示例性实施例中,类加载器(或运行时环境的其它部件)可加载细分类的引用特定版本。如上所述,类的已有实现方式(例如,不支持扩展的泛型域)可预期存在某些方法,并且可预期它们是抽象的,同时预期不会看见新的抽象方法(例如,所述新的抽象方法的存在可引起编译器错误)。因此,根据一些实施例,与以上关于图6描述的加载类的完全泛型版本一样,所述细分类可包括包含一个或多个类成员的抽象版本的泛型层和包括在泛型层中抽象的至少一个类成员的非抽象版本的引用特定层。
根据一些实施例,如块710中所示,用于加载细分类的引用特定版本的方法可涉及:不在细分类的引用特定版本中包括在泛型层中抽象的所述一个或多个类成员。例如,如引用特定类声明560中所示,类的引用特定版本可不包括来自泛型层510的抽象成员(例如,引用特定类声明560不包括来自泛型层的抽象方法remove(T))。用于加载细分类的引用特定版本的方法也可涉及:在细分类的引用特定版本中包括不支持扩展的泛型的至少一部分的类成员,如块720中所示。例如,如引用特定类声明560中所示,类的引用特定版本可包括来自对象层520的那些类成员,所述来自对象层520的那些类成员(引用特定)不支持扩展的泛型(例如,它们不在非引用类型上支持泛型)。
需要注意的是,尽管图7表示使用与仅引用泛型域对应的先前泛型域的实施例并且根据使用与仅引用泛型域对应的先前泛型域的实施例描述图7,但在其它实施例中,不同类型(和或一组类型)可被包括在各种泛型域中的任何泛型域中(并且因此,被包括在细分泛型类的不同层中)。
当对类进行特化时,也可使用细分类的多个层。例如,当细分类被特化时,特化器可使用类文件作为输入以产生新的类文件,将输入类文件的每个方法(或其它类成员)变换成所述新的类文件的对应方法(或其它成员)。然而,在一些实施例中,特化器可(在所述新的类文件中)不包括不适用于正在执行的特定特化的某些方法/成员。与类加载器一样,特化器可使用各种类型的指示器中的任何类型的指示器确定对哪些类成员进行特化以及在所述新的类文件中不包括哪些类成员。
图8是表示根据一个实施例的用于将用于非引用类型参数化的细分泛型类特化的方法的一个实施例的流程图。如块800中所示,用于对用于非引用类型参数化的细分泛型类进行特化的方法可包括:创建包括在泛型层中抽象的一个或多个类成员的细分类的特化版本,如块810中所示,而不包括不支持扩展的泛型的至少一部分的一个或多个类成员,如块820中所示。
例如,用于非引用类型(例如,int)的细分类500的特化可涉及创建包括来自泛型层510的抽象成员(诸如,remove(T))的类的特化版本,但可不包括来自对象层520的引用特定成员,所述来自对象层520的引用特定成员可不在非引用类型上支持特化。
另外,在一些实施例中,某些类可具有这样的方法:所述方法的签名“错误地”包括关于先前泛型域的假设。例如,尽管从一批对象去除等于给定对象的对象的方法的自然声明可能是remove(T),但开发者经常将这种方法声明编码为remove(object),当隐式泛型域对应于T extends Object(例如,仅引用泛型域)时,这是无害的,但当泛型域被扩展时,这可变得存在问题。例如,Collection类可具有remove(T)方法,所述remove(T)方法可被声明为remove(Object),但当类被特化时,这些方法可能也需要被特化(例如,Collection.remove的实参类型是Object,而不是T)。因此,在一些实施例中,根据一些实施例,注释(或其它指示器)可被用于指示该方法应该被特化,就好像这个类型参数被声明为T。不同形式的注释可被用在不同实施例中。例如,在一些实施例中,可使用@SpecializeAsFullyGeneric形式的注释。
另外,将泛型类分解成多个层也可被应用以便可消除针对某些类型的可null的结果的问题。例如,null可被视为每个引用类型的有效值,并且可因此被用于代表这样的事实:没有什么东西位于正在引用的位置,或者所述引用不表示任何位置。然而,原始类型和值类型可能不具有null的类似物。这可被视为对某些方法(诸如,被定义为返回null的方法)的挑战。例如,在一个实施例中,方法Map.get可被定义为在不能在map中找到指定键的情况下返回null。
根据一些实施例,利用null的某些操作(例如,分派null和与null比较)可被分派特定语义。例如,在一些实施例中,分派null可被视为分派零值。零可被视为未初始化的字段和阵列元素被设置的值(例如,数字类型的零、boolean的false等)。类似地,在一些实施例中,与null的比较可被视为与零值的比较。然而,在其它实施例中,这种处理可能引入模糊性,其中可能无法区分没有值(例如,引用null)和等于零的值(例如,未初始化的数字或布尔类型)。类似地,使用Map.get的传统行为,返回值null能够意味着“没有映射”或者能够意味着“映射到null”。替代地,在一些实施例中,null的某些使用可被禁止,这可不利地影响一些类(诸如,Java中的HashMap类)的某些使用(例如,可特化性)。
在一些实施例中,将泛型类分解多个层可被用于潜在地消除原始类型(或不支持扩展的泛型域的其它类型)的可null结果的问题。例如,Map.get可被移动到引用特定层中(例如,用于特化),并且原始实例化可使用getOrDefault方法(例如,在完全泛型层中)。例如:
类似于以上的ListLike示例,示例性类Map<K,V>可包括多个层,诸如完全泛型层和与先前泛型域对应的层。完全泛型层可包括抽象方法getOrDefault(K key,VdefaultValue)。在一些实施例中,对于这个抽象方法,针对值类型的新特化的类可能没有问题。与先前泛型域对应的层可包括(或添加)抽象方法(诸如,示例性getK key))以及来自泛型层的方法的具体实现方式(诸如,getOrDefault(K key,V defaultValue))方法。
当针对非引用类型对以上示例性Map类进行特化时,通过如上所述包括来自泛型层的抽象方法而不包括来自对象层的方法,特化器可产生Map类。替代地,根据一些实施例,当针对非引用类型对以上示例性Map类进行特化时,通过包括来自对象层的方法而不包括(例如,忽略)来自泛型层的抽象方法,特化器可产生Map类。
因此,在一些实施例中,Map<K,V>(其中T扩展了Object)的已有客户机可看见remove(Object)和remove(int)方法(例如,当Map针对引用类型而被特化时),由此可保持二进制兼容性,同时针对非引用类型(诸如,int)的ListLike<T>的特化可看见一对无问题的方法remove(T)和removeAt(int)。
在至少一些实施例中,实现这里描述的一种或多种技术的一部分或全部的计算机系统可包括通用计算机系统,所述通用计算机系统包括一个或多个计算机可读介质或被配置为访问一个或多个计算机可读介质。图9表示适合实现这里描述的方法、特征和增强的这种通用计算装置3000。在示出的实施例中,计算装置3000包括经输入/输出(I/O)接口3030耦合到系统存储器3020的一个或多个处理器3010。计算装置3000还包括耦合到I/O接口3030的网络接口3040。
在各种实施例中,计算装置3000可以是包括一个处理器3010的单处理器系统或包括几个处理器3010(例如,两个、四个、八个或另一合适的数量)的多处理器系统。处理器3010可包括能够执行指令的任何合适的处理器。例如,在各种实施例中,处理器3010可以是执行各种指令集架构(ISA)中的任何指令集架构(ISA)(诸如,x86、PowerPC、SPARC或MIPSISA或任何其它合适的ISA)的通用或嵌入式处理器。在多处理器系统中,每个处理器3010可通常但并不必然执行相同的ISA。
系统存储器3020可被配置为存储可由处理器3010访问的程序指令和数据。在各种实施例中,可使用任何合适的存储技术(诸如,静态随机存取存储器(SRAM)、同步动态RAM(SDRAM)、非易失性/闪存类型存储器或任何其它类型的存储器)实现系统存储器3020。在示出的实施例中,实现一个或多个预期功能的程序指令和数据(诸如,上述那些方法、技术和数据)被示出为在系统存储器3020内存储为代码(即,程序指令)3025和数据3026。例如,在一个实施例中,存储器3020以及代码3025和数据3026可存储用于实现上述编译器120和/或虚拟化运行时环境140的程序指令和数据。
在各种实施例中,编译器120和/或虚拟化运行时环境140(和/或其任何个体子模块)可分别被按照各种编程语言或方法中的任何编程语言或方法实现。例如,在一个实施例中,可按照C、C++、汇编、JAVA或其它通用编程语言中的任何编程语言编写编译器120和/或虚拟化运行时环境140,而在另一实施例中,可使用不同的更加专业的编程语言编写编译器120和/或虚拟化运行时环境140中的一个或多个。此外,在一些实施例中,可不使用相同的编程语言实现编译器120和/或虚拟化运行时环境140(和/或其各种子模块)。
在一个实施例中,I/O接口3030可被配置为协调处理器3010、系统存储器3020和所述装置中的任何外围装置(包括网络接口3040或其它外围接口)之间的I/O业务。在一些实施例中,I/O接口3030可执行任何必要的协议、定时或其它数据变换以将来自一个部件(例如,系统存储器3020)的数据信号转换成适合由另一部件(例如,处理器3010)使用的格式。在一些实施例中,I/O接口3030可包括对通过各种类型的外围总线(诸如,例如外围部件互连(PCI)总线标准或通用串行总线(USB)标准的变型)连接的装置的支持。此外,在一些实施例中,I/O接口3030的一些或全部功能(诸如,与系统存储器3020的接口)可被直接包括在处理器3010中。
网络接口3040可被配置为允许在计算装置3000和连接到一个或多个网络3050的其它装置3060之间交换数据。在各种实施例中,网络接口3040可支持经任何合适的有线或无线通用数据网络(诸如,例如以太网网络的类型)的通信。
在一些实施例中,系统存储器3020可以是计算机可读(例如,计算机可访问)介质的一个实施例,所述计算机可读介质被配置为存储用于实现对应方法和设备的实施例的如以上参照图1-8所述的程序指令和数据。然而,在其它实施例中,可在不同类型的计算机可读介质上接收、发送或存储程序指令和/或数据。一般而言,计算机可读介质可包括经I/O接口3030耦合到计算装置3000的非暂态存储介质或存储器介质,诸如磁介质或光学介质(例如,盘或DVD/CD)。非暂态计算机可读存储介质还可包括任何易失性或非易失性介质,诸如RAM(例如,SDRAM、DDR SDRAM、RDRAM、SRAM等)、ROM等,所述任何易失性或非易失性介质可被包括在计算装置3000的一些实施例中作为系统存储器3020或另一类型的存储器。
另外,计算机可读介质可包括经通信介质(诸如,网络和/或无线链路)传送的传输介质或信号(诸如,电信号、电磁信号或数字信号),诸如可经网络接口3040实现。在各种实施例中,多个计算装置(诸如,图9中示出的计算装置)中的一部分或全部可被用于实现描述的功能;例如,在各种不同装置和服务器上运行的软件部件可合作以提供所述功能。在一些实施例中,除了使用通用计算机系统实现描述的功能的一部分之外或替代于使用通用计算机系统实现描述的功能的一部分,可使用存储装置、网络装置或专用计算机系统实现描述的功能的一部分。如这里所使用,术语“计算装置”表示至少所有这些类型的装置,但不限于这些类型的装置。
各种实施例还可包括接收、发送或存储根据前面的描述在计算机可读介质上实现的指令和/或数据。一般而言,计算机可读介质可包括存储介质或存储器介质,诸如磁介质或光学介质(例如,盘或DVD/CD-ROM)、易失性介质或非易失性介质(诸如,RAM(例如,SDRAM、DDR、RDRAM、SRAM等)、ROM等)。在一些实施例中,计算机可读介质还可包括经通信介质(诸如,网络和/或无线链路)传送的传输介质或信号(诸如,电信号、电磁信号或数字信号)。
如附图中所示并且如这里所述的各种方法代表方法的示例性实施例。所述方法可被实现于软件、硬件或者其组合。在各种方法中,步骤的次序可被改变,并且各种元件可被添加、重新排序、组合、省略、修改等。各种步骤可被自动地(例如,不通过用户输入来直接提示)和/或以编程方式(例如,根据程序指令)执行。
尽管已在这里参照特定实施例并且在特定实施例的情况下描述各种系统和方法,但将会理解,这些实施例是说明性的并且本公开的范围不限于这些特定实施例。可实现许多变化、修改、添加和改进。例如,在描述中识别的块和逻辑单元用于理解描述的实施例,而非意图限制本公开。例如,在一些实施例中,这里描述为由编译器120执行的动作、处理、方法、任务或功能可由虚拟化运行时环境140执行,反之亦然。另外,在这里描述或利用不同术语描述的系统和方法的各种实现中,可按照不同方式在块中分离或组合功能。
这些实施例应该是说明性的,而非限制性的。因此,可为这里描述的部件提供多个实例作为单个实例。各种部件、操作和数据仓库之间的边界是稍微任意的,并且在特定说明性结构的情况下示出特定操作。可设想功能的其它分配,并且所述功能的其它分配可落在下面的示例的范围内。最后,在示例性结构中作为分立部件提供的结构和功能可被实现为组合结构或部件。
虽然已详细地描述以上实施例,但一旦充分理解以上公开,许多变化和修改将会变得清楚。下面的权利要求应该被解释为包括所有这种变化和修改。
Claims (20)
1.一种非暂态计算机可读存储介质,所述非暂态计算机可读存储介质存储程序指令,所述程序指令在计算装置上执行时使计算装置执行:
扩展包括一个或多个类成员的已有泛型类的泛型域,其中一个或多个类成员不支持扩展的泛型的至少一部分;
其中所述扩展包括:
创建包括一个或多个类成员的类的细分版本,其中所述类的细分版本支持扩展的泛型并且保持与已有泛型类的兼容性;以及
在所述类的细分版本中包括识别不支持扩展的泛型的至少一部分的一个或多个成员的一个或多个指示器。
2.如权利要求1所述的非暂态计算机可读存储介质,其中所述类的细分版本包括:
泛型层,其中泛型层包括一个或多个类成员的抽象版本;和
引用特定层,其中引用特定层包括在泛型层中抽象的一个或多个类成员中的至少一个类成员的非抽象版本。
3.如权利要求2所述的非暂态计算机可读存储介质,其中所述程序指令还使计算装置加载细分类的完全泛型版本,其中所述加载包括:
在细分类的完全泛型版本中包括在泛型层中抽象的一个或多个类成员;以及
在细分类的完全泛型版本中不包括不支持扩展的泛型的至少一部分的一个或多个类成员。
4.如权利要求2所述的非暂态计算机可读存储介质,其中所述程序指令还使计算装置加载细分类的引用特定版本,其中所述加载包括:
在细分类的引用特定版本中不包括在泛型层中抽象的一个或多个类成员;以及
在细分类的引用特定版本中包括不支持扩展的泛型的至少一部分的一个或多个类成员。
5.如权利要求2所述的非暂态计算机可读存储介质,其中所述程序指令还使计算装置针对非引用类型参数化对细分类进行特化,其中所述特化包括:
创建细分类的特化版本,所述细分类的特化版本包括在泛型层中抽象的一个或多个类成员;以及
在细分类的特化版本中不包括不支持扩展的泛型的至少一部分的一个或多个类成员。
6.如权利要求1所述的非暂态计算机可读存储介质,其中一个或多个类成员包括下面各项中的一个或多个:方法、字段、构造器或嵌套类型。
7.一种方法,包括:
由在一个或多个计算装置上实现的编译器或独立于平台的面向对象的运行时环境,扩展包括一个或多个类成员的已有泛型类的泛型域,其中一个或多个类成员不支持扩展的泛型的至少一部分;
其中所述扩展包括:
由编译器或独立于平台的面向对象的运行时环境,创建包括一个或多个类成员的类的细分版本,其中所述类的细分版本支持扩展的泛型并且保持与已有泛型类的兼容性;以及
由编译器或独立于平台的面向对象的运行时环境,在所述类的细分版本中包括识别不支持扩展的泛型的至少一部分的一个或多个成员的一个或多个指示器。
8.如权利要求7所述的方法,其中所述类的细分版本包括:
泛型层,其中泛型层包括一个或多个类成员的抽象版本;和
引用特定层,其中引用特定层包括在泛型层中抽象的一个或多个类成员中的至少一个类成员的非抽象版本。
9.如权利要求8所述的方法,还包括:由独立于平台的面向对象的运行时环境加载细分类的完全泛型版本,其中所述加载包括:
由独立于平台的面向对象的运行时环境,在细分类的完全泛型版本中包括在泛型层中抽象的一个或多个类成员;以及
由独立于平台的面向对象的运行时环境,在细分类的完全泛型版本中不包括不支持扩展的泛型的至少一部分的一个或多个类成员。
10.如权利要求8所述的方法,还包括:由独立于平台的面向对象的运行时环境,加载细分类的引用特定版本,其中所述加载包括:
由独立于平台的面向对象的运行时环境,在细分类的引用特定版本中不包括在泛型层中抽象的一个或多个类成员;以及
由独立于平台的面向对象的运行时环境,在细分类的引用特定版本中包括不支持扩展的泛型的至少一部分的一个或多个类成员。
11.如权利要求8所述的方法,还包括:由独立于平台的面向对象的运行时环境,针对非引用类型参数化对细分类进行特化,其中所述特化包括:
由独立于平台的面向对象的运行时环境,创建细分类的特化版本,所述细分类的特化版本包括在泛型层中抽象的一个或多个类成员;以及
由独立于平台的面向对象的运行时环境,在细分类的特化版本中不包括不支持扩展的泛型的至少一部分的一个或多个类成员。
12.如权利要求7所述的方法,其中一个或多个类成员包括下面各项中的一个或多个:方法、字段、构造器或嵌套类型。
13.如权利要求7所述的方法,其中所述兼容性包括源兼容性、二进制兼容性或行为兼容性中的一个或多个。
14.一种计算装置,包括:
处理器;和
存储器,包括程序指令,所述程序指令在处理器上执行时使处理器:
扩展包括一个或多个类成员的已有泛型类的泛型域,其中一个或多个类成员不支持扩展的泛型的至少一部分;
其中为了扩展已有泛型类的泛型域,所述程序指令还使处理器:
创建包括一个或多个类成员的类的细分版本,其中所述类的细分版本支持扩展的泛型并且保持与已有泛型类的兼容性;以及
在所述类的细分版本中包括识别不支持扩展的泛型的至少一部分的一个或多个成员的一个或多个指示器。
15.如权利要求14所述的计算装置,其中所述类的细分版本包括:
泛型层,其中泛型层包括一个或多个类成员的抽象版本;和
引用特定层,其中引用特定层包括在泛型层中抽象的一个或多个类成员中的至少一个类成员的非抽象版本。
16.如权利要求15所述的计算装置,其中所述程序指令还使处理器:
加载细分类的完全泛型版本,其中为了加载细分类的完全泛型版本,所述程序指令还使处理器:
在细分类的完全泛型版本中包括在泛型层中抽象的一个或多个类成员;以及
在细分类的完全泛型版本中不包括不支持扩展的泛型的至少一部分的一个或多个类成员。
17.如权利要求15所述的计算装置,其中所述程序指令还使处理器:
加载细分类的引用特定版本,其中为了加载细分类的引用特定版本,所述程序指令还使处理器:
在细分类的引用特定版本中不包括在泛型层中抽象的一个或多个类成员;以及
在细分类的引用特定版本中包括不支持扩展的泛型的至少一部分的一个或多个类成员。
18.如权利要求15所述的计算装置,其中所述程序指令还使处理器:
针对非引用类型参数化对细分类进行特化,其中为了对细分类进行特化,所述程序指令还使处理器:
创建细分类的特化版本,所述细分类的特化版本包括在泛型层中抽象的一个或多个类成员;以及
在细分类的特化版本中不包括不支持扩展的泛型的至少一部分的一个或多个类成员。
19.如权利要求14所述的计算装置,其中一个或多个类成员包括下面各项中的一个或多个:方法、字段、构造器或嵌套类型。
20.如权利要求14所述的计算装置,其中所述兼容性包括源兼容性、二进制兼容性或行为兼容性中的一个或多个。
Applications Claiming Priority (5)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US201461982802P | 2014-04-22 | 2014-04-22 | |
US61/982,802 | 2014-04-22 | ||
US14/660,604 | 2015-03-17 | ||
US14/660,604 US9910680B2 (en) | 2014-04-22 | 2015-03-17 | Decomposing a generic class into layers |
PCT/US2015/026965 WO2015191165A1 (en) | 2014-04-22 | 2015-04-22 | Decomposing a generic class into layers |
Publications (2)
Publication Number | Publication Date |
---|---|
CN106415488A true CN106415488A (zh) | 2017-02-15 |
CN106415488B CN106415488B (zh) | 2020-02-14 |
Family
ID=53059453
Family Applications (6)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201580028725.4A Active CN106716349B (zh) | 2014-04-22 | 2015-04-21 | 特化类的手动精炼 |
CN202010673980.7A Pending CN111813389A (zh) | 2014-04-22 | 2015-04-21 | 特化类的手动精炼 |
CN201580020873.1A Active CN106233251B (zh) | 2014-04-22 | 2015-04-21 | 元数据驱动的动态具体化 |
CN201580029282.0A Active CN106462414B (zh) | 2014-04-22 | 2015-04-22 | 特化类的依赖性驱动的共同特化 |
CN201580028016.6A Active CN106415488B (zh) | 2014-04-22 | 2015-04-22 | 将泛型类分解成层 |
CN201580028400.6A Active CN106462412B (zh) | 2014-04-22 | 2015-04-22 | 动态地产生的基于模式的类的结构识别 |
Family Applications Before (4)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201580028725.4A Active CN106716349B (zh) | 2014-04-22 | 2015-04-21 | 特化类的手动精炼 |
CN202010673980.7A Pending CN111813389A (zh) | 2014-04-22 | 2015-04-21 | 特化类的手动精炼 |
CN201580020873.1A Active CN106233251B (zh) | 2014-04-22 | 2015-04-21 | 元数据驱动的动态具体化 |
CN201580029282.0A Active CN106462414B (zh) | 2014-04-22 | 2015-04-22 | 特化类的依赖性驱动的共同特化 |
Family Applications After (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201580028400.6A Active CN106462412B (zh) | 2014-04-22 | 2015-04-22 | 动态地产生的基于模式的类的结构识别 |
Country Status (6)
Country | Link |
---|---|
US (9) | US9910680B2 (zh) |
EP (5) | EP3134809B1 (zh) |
JP (1) | JP6592009B2 (zh) |
CN (6) | CN106716349B (zh) |
BR (1) | BR112016024522B1 (zh) |
WO (5) | WO2015164436A1 (zh) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10579374B2 (en) * | 2016-11-14 | 2020-03-03 | Samsung Sds Co., Ltd. | Method for converting application and computing device |
Families Citing this family (42)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9910680B2 (en) | 2014-04-22 | 2018-03-06 | Oracle International Corporation | Decomposing a generic class into layers |
US9792094B2 (en) * | 2014-09-04 | 2017-10-17 | Home Box Office, Inc. | Factory identification system |
WO2016049379A1 (en) | 2014-09-25 | 2016-03-31 | Oracle International Corporation | System and method for supporting dynamic deployment of executable code in a distributed computing environment |
US9575750B2 (en) * | 2014-12-11 | 2017-02-21 | Successfactors, Inc. | Generic annotation seeker |
US9921859B2 (en) * | 2014-12-12 | 2018-03-20 | The Regents Of The University Of Michigan | Runtime compiler environment with dynamic co-located code execution |
US10146522B1 (en) * | 2015-03-10 | 2018-12-04 | Twitter, Inc. | Live code updates |
US9594904B1 (en) * | 2015-04-23 | 2017-03-14 | Fireeye, Inc. | Detecting malware based on reflection |
US10129361B2 (en) * | 2015-07-01 | 2018-11-13 | Oracle International Corporation | System and method for multi-version remote function execution control in a distributed computing environment |
US9471285B1 (en) | 2015-07-09 | 2016-10-18 | Synopsys, Inc. | Identifying software components in a software codebase |
US10120661B2 (en) * | 2015-07-16 | 2018-11-06 | Sugarcrm Inc. | Multi-flavored software execution from a singular code base |
US10055208B2 (en) * | 2015-08-09 | 2018-08-21 | Oracle International Corporation | Extending a virtual machine instruction set architecture |
US10083014B2 (en) * | 2015-09-08 | 2018-09-25 | Oracle International Corporation | Generating dynamic modular proxies |
US10275226B2 (en) * | 2015-10-23 | 2019-04-30 | Oracle International Corporation | Structural representation of generic type variable in a nominally typed virtual machine |
US9904543B2 (en) * | 2015-10-26 | 2018-02-27 | Hewlett-Packard Development Company, L.P. | Setting a build indicator to enable or disable a feature |
US10459939B1 (en) | 2016-07-31 | 2019-10-29 | Splunk Inc. | Parallel coordinates chart visualization for machine data search and analysis system |
US10459938B1 (en) | 2016-07-31 | 2019-10-29 | Splunk Inc. | Punchcard chart visualization for machine data search and analysis system |
US10853380B1 (en) | 2016-07-31 | 2020-12-01 | Splunk Inc. | Framework for displaying interactive visualizations of event data |
US11037342B1 (en) * | 2016-07-31 | 2021-06-15 | Splunk Inc. | Visualization modules for use within a framework for displaying interactive visualizations of event data |
US10861202B1 (en) | 2016-07-31 | 2020-12-08 | Splunk Inc. | Sankey graph visualization for machine data search and analysis system |
US20180074797A1 (en) * | 2016-09-09 | 2018-03-15 | Hewlett Packard Enterprise Development Lp | Transform a data object in a meta model based on a generic type |
US10083029B2 (en) * | 2016-11-09 | 2018-09-25 | Red Hat, Inc. | Detect application defects by correlating contracts in application dependencies |
US10228957B2 (en) * | 2017-01-20 | 2019-03-12 | International Business Machines Corporation | Online method handle deduplication |
US10417036B2 (en) * | 2017-02-24 | 2019-09-17 | Oracle International Corporation | Evaluation techniques for fast access to structured, semi-structured and unstructured data using a virtual machine that provides support for dynamic code generation |
US10572275B2 (en) | 2017-06-15 | 2020-02-25 | Microsoft Technology Licensing, Llc | Compatible dictionary layout |
US11360976B2 (en) | 2017-08-31 | 2022-06-14 | Oracle International Corporation | Deployment of javascript and typescript stored procedures and user-defined functions into database management systems |
US11662719B2 (en) * | 2017-09-29 | 2023-05-30 | Rockwell Automation Technologies, Inc. | Classification modeling for monitoring, diagnostics optimization and control |
EP3693851B1 (en) * | 2017-10-09 | 2023-01-11 | Huawei Technologies Co., Ltd. | Class unloading method and electronic device |
CN110119274A (zh) * | 2018-02-05 | 2019-08-13 | 北京智明星通科技股份有限公司 | 一种数据编译的方法、装置以及电子终端、计算机可读存储介质 |
CN108446113B (zh) * | 2018-03-28 | 2021-06-15 | 武汉斗鱼网络科技有限公司 | 类名称获取方法、装置及电子设备 |
CN110347372B (zh) * | 2018-04-08 | 2022-07-05 | 福建省天奕网络科技有限公司 | 一种遍历数据的方法及终端 |
CN109117142B (zh) * | 2018-07-19 | 2020-11-24 | 北京理工大学 | 一种基于变量关联树的基本类型重构方法 |
US11425002B1 (en) * | 2018-11-26 | 2022-08-23 | Amazon Technologies, Inc. | Infrastructure managing framework for serverless architecture |
CN111736913B (zh) * | 2019-03-25 | 2021-11-19 | 华为技术有限公司 | 类加载方法和装置 |
US11068543B2 (en) * | 2019-06-11 | 2021-07-20 | Dell Products L.P. | Component and object management of information handling systems |
US11030066B2 (en) * | 2019-10-30 | 2021-06-08 | EMC IP Holding Company LLC | Dynamic application decomposition for execution in a computing environment |
US20210405982A1 (en) * | 2020-06-25 | 2021-12-30 | Red Hat, Inc. | Bytecode transformations using virtual artifacts |
CN111857662B (zh) * | 2020-07-15 | 2023-06-30 | 曹蕤 | 基于map和接口来描述对象特定构成的程序设计方法 |
US20220134222A1 (en) * | 2020-11-03 | 2022-05-05 | Nvidia Corporation | Delta propagation in cloud-centric platforms for collaboration and connectivity |
CN114706619A (zh) * | 2020-12-16 | 2022-07-05 | 武汉斗鱼鱼乐网络科技有限公司 | 配置信息的处理方法、装置、电子设备及存储介质 |
US11687388B2 (en) * | 2021-03-19 | 2023-06-27 | Oracle International Corporation | Implementing optional specialization when executing code |
US11947931B2 (en) * | 2021-10-12 | 2024-04-02 | Sap Se | Generic factory class |
US20240045669A1 (en) * | 2022-08-08 | 2024-02-08 | Capital One Services, Llc | Computer-based systems configured to decouple delivery of product configuration changes associated with continuous integration/continuous delivery programming pipelines and methods of use thereof |
Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP0619544A3 (en) * | 1993-04-05 | 1995-02-01 | Ibm | Object system with derived meta classes. |
US20020169589A1 (en) * | 2000-12-29 | 2002-11-14 | Banki Attila D. | Computer system and method having a facility management logic architecture |
US20050097514A1 (en) * | 2003-05-06 | 2005-05-05 | Andrew Nuss | Polymorphic regular expressions |
US20060206860A1 (en) * | 1999-05-17 | 2006-09-14 | Invensys Systems, Inc. | Process control configuration system with connection validation and configuration |
US20070168926A1 (en) * | 2005-12-16 | 2007-07-19 | Raghuram Rajah | Software customization framework |
CN101251795A (zh) * | 2007-11-01 | 2008-08-27 | 中国地质大学(武汉) | 泛型空间网络分析模型及其算法 |
JP4662657B2 (ja) * | 2000-07-10 | 2011-03-30 | マイクロソフト コーポレーション | 統一データ型システムおよび方法 |
Family Cites Families (119)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5421016A (en) * | 1991-12-12 | 1995-05-30 | International Business Machines Corporation | System and method for dynamically invoking object methods from an application designed for static method invocation |
WO1994005289A1 (en) | 1992-09-09 | 1994-03-17 | Vanderbilt University | Method and compositions for maintaining glomerular filtration rate while inhibition extracellular matrix accumulation |
US5379432A (en) * | 1993-07-19 | 1995-01-03 | Taligent, Inc. | Object-oriented interface for a procedural operating system |
US5628016A (en) | 1994-06-15 | 1997-05-06 | Borland International, Inc. | Systems and methods and implementing exception handling using exception registration records stored in stack memory |
US5630131A (en) * | 1994-11-14 | 1997-05-13 | Object Technology Licensing Corp. | Method and apparatus for importing and exporting archive files for a graphical user interface |
US6360360B1 (en) * | 1996-02-08 | 2002-03-19 | International Business Machines Corporation | Object-oriented compiler mechanism for automatically selecting among multiple implementations of objects |
US5940616A (en) * | 1996-05-31 | 1999-08-17 | International Business Machines Corporation | Tracker class for object-oriented programming environments |
US6067577A (en) * | 1996-09-30 | 2000-05-23 | Apple Computer, Inc. | Dynamic method resolution for native methods in a dynamic object-oriented programming language |
US5923878A (en) | 1996-11-13 | 1999-07-13 | Sun Microsystems, Inc. | System, method and apparatus of directly executing an architecture-independent binary program |
US6513152B1 (en) * | 1997-07-23 | 2003-01-28 | International Business Machines Corporation | Object oriented framework mechanism for customization of object oriented frameworks |
US6230314B1 (en) * | 1997-10-02 | 2001-05-08 | International Business Machines Corporation | Method and device for program transformation using class hierarchy transformation based upon type constraint analysis |
US5966702A (en) * | 1997-10-31 | 1999-10-12 | Sun Microsystems, Inc. | Method and apparatus for pre-processing and packaging class files |
US6279008B1 (en) | 1998-06-29 | 2001-08-21 | Sun Microsystems, Inc. | Integrated graphical user interface method and apparatus for mapping between objects and databases |
US6138269A (en) * | 1998-05-20 | 2000-10-24 | Sun Microsystems, Inc. | Determining the actual class of an object at run time |
US6018628A (en) * | 1998-06-16 | 2000-01-25 | Sun Microsystems, Inc. | Method of implementing parameterized types to be compatible with existing unparameterized libraries |
US6769124B1 (en) * | 1998-07-22 | 2004-07-27 | Cisco Technology, Inc. | Persistent storage of information objects |
US6226788B1 (en) * | 1998-07-22 | 2001-05-01 | Cisco Technology, Inc. | Extensible network management system |
US8418131B2 (en) * | 1998-11-25 | 2013-04-09 | Helmut Emmelmann | Interactive server side components |
AU5273100A (en) * | 1999-05-17 | 2000-12-05 | Foxboro Company, The | Methods and apparatus for control configuration with versioning, security, composite blocks, edit selection, object swapping, formulaic values and other aspects |
US6484313B1 (en) * | 1999-06-30 | 2002-11-19 | Microsoft Corporation | Compiling and persisting of intermediate language code |
US6560774B1 (en) * | 1999-09-01 | 2003-05-06 | Microsoft Corporation | Verifier to check intermediate language |
US7171646B2 (en) | 1999-10-05 | 2007-01-30 | Borland Software Corporation | Generating source code for object oriented elements with language neutral transient meta model and correlating display of names, symbols and code |
US6484276B1 (en) * | 1999-10-25 | 2002-11-19 | Lucent Technologies Inc. | Method and apparatus for providing extensible object-oriented fault injection |
US6907546B1 (en) * | 2000-03-27 | 2005-06-14 | Accenture Llp | Language-driven interface for an automated testing framework |
US7334216B2 (en) | 2000-04-04 | 2008-02-19 | Sosy, Inc. | Method and apparatus for automatic generation of information system user interfaces |
US6901588B1 (en) * | 2000-04-17 | 2005-05-31 | Codemesh, Inc. | Sharing components between programming languages by use of polymorphic proxy |
US7577834B1 (en) * | 2000-05-09 | 2009-08-18 | Sun Microsystems, Inc. | Message authentication using message gates in a distributed computing environment |
GB0011954D0 (en) * | 2000-05-17 | 2000-07-05 | Univ Surrey | Protocol stacks |
ATE268921T1 (de) * | 2000-08-02 | 2004-06-15 | Philipp Kutter | Xml-roboter |
US6701501B2 (en) * | 2000-10-16 | 2004-03-02 | Simon Joshua Waters | Structured algorithmic programming language approach to system design |
US6968540B2 (en) * | 2000-10-25 | 2005-11-22 | Opnet Technologies Inc. | Software instrumentation method and apparatus |
IE20010964A1 (en) | 2000-11-03 | 2002-05-29 | Wilde Technologies Ltd | A software development process |
US6757890B1 (en) * | 2000-12-28 | 2004-06-29 | Sun Microsystems, Inc. | Methods and apparatus for enabling local Java object allocation and collection |
US7277836B2 (en) * | 2000-12-29 | 2007-10-02 | Exxonmobil Upstream Research Company | Computer system and method having a facility network architecture |
US7243346B1 (en) * | 2001-05-21 | 2007-07-10 | Microsoft Corporation | Customized library management system |
US7162716B2 (en) | 2001-06-08 | 2007-01-09 | Nvidia Corporation | Software emulator for optimizing application-programmable vertex processing |
US7117489B2 (en) | 2001-06-20 | 2006-10-03 | Sun Microsystems, Inc. | Optional attribute generator for customized Java programming environments |
US7149734B2 (en) * | 2001-07-06 | 2006-12-12 | Logic Library, Inc. | Managing reusable software assets |
US7017162B2 (en) * | 2001-07-10 | 2006-03-21 | Microsoft Corporation | Application program interface for network software platform |
US7853933B2 (en) * | 2001-09-29 | 2010-12-14 | Siebel Systems, Inc. | Computing system and method to perform compile-time extension for world wide web application |
US6948156B2 (en) | 2001-10-24 | 2005-09-20 | Sun Microsystems, Inc. | Type checking in java computing environments |
US6961933B2 (en) | 2001-10-24 | 2005-11-01 | Sun Microsystems, Inc. | Representation of Java data types in virtual machines |
US7353502B2 (en) | 2002-07-03 | 2008-04-01 | The Mathworks, Inc. | System and method for creation of software components |
US7127709B2 (en) * | 2002-09-25 | 2006-10-24 | Microsoft Corporation | System and method for jointly managing dynamically generated code and data |
US8032860B2 (en) * | 2003-02-26 | 2011-10-04 | Oracle International Corporation | Methods for type-independent source code editing |
US20040221228A1 (en) | 2003-04-30 | 2004-11-04 | International Business Machines Corporation | Method and apparatus for domain specialization in a document type definition |
US7380242B2 (en) * | 2003-05-14 | 2008-05-27 | Mainsoft Israel Ltd. | Compiler and software product for compiling intermediate language bytecodes into Java bytecodes |
US7240327B2 (en) * | 2003-06-04 | 2007-07-03 | Sap Ag | Cross-platform development for devices with heterogeneous capabilities |
US7707566B2 (en) * | 2003-06-26 | 2010-04-27 | Microsoft Corporation | Software development infrastructure |
US7219330B2 (en) * | 2003-06-26 | 2007-05-15 | Microsoft Corporation | Extensible metadata |
US7086041B2 (en) * | 2003-06-27 | 2006-08-01 | Microsoft Corporation | Extensible type system for representing and checking consistency of program components during the process of compilation |
US7634763B2 (en) * | 2003-07-15 | 2009-12-15 | Microsoft Corporation | Extensible multi-language compilation |
US7890928B2 (en) * | 2003-07-26 | 2011-02-15 | Pilla Gurumurty Patrudu | Mechanism and system for representing and processing rules |
US20050055682A1 (en) | 2003-09-08 | 2005-03-10 | Microsoft Corporation | Authoring and using generic classes in JAVA language code |
US7130863B2 (en) * | 2003-09-24 | 2006-10-31 | Tablecode Software Corporation | Method for enhancing object-oriented programming through extending metadata associated with class-body class-head by adding additional metadata to the database |
US7669193B1 (en) * | 2003-09-25 | 2010-02-23 | Lantronix, Inc. | Program transformation using flow-sensitive type constraint analysis |
US7496908B2 (en) * | 2004-01-14 | 2009-02-24 | International Business Machines Corporation | Method and apparatus for optimizing code execution using annotated trace information having performance indicator and counter information |
US7448022B1 (en) * | 2004-02-10 | 2008-11-04 | Prasad Ram | Dynamic software composition in a component-based software system |
US7644402B1 (en) * | 2004-03-17 | 2010-01-05 | Sun Microsystems, Inc. | Method for sharing runtime representation of software components across component loaders |
US8677312B1 (en) | 2004-03-30 | 2014-03-18 | Synopsys, Inc. | Generation of compiler description from architecture description |
US7343379B2 (en) * | 2004-05-21 | 2008-03-11 | Bea Systems, Inc. | System and method for controls |
US7665062B1 (en) * | 2004-07-02 | 2010-02-16 | Borland Software Corporation | System and methodology for design-time dynamic class type construction |
EP1783580A4 (en) * | 2004-08-12 | 2011-03-23 | Fujitsu Ltd | JAVA APPLET, JAR FILE GENERATION PROCESS, JAR FILE GENERATION PROGRAM, AND JAR FILE GENERATION DEVICE |
US7657874B2 (en) | 2004-08-24 | 2010-02-02 | Microsoft Corporation | Pattern types as constraints on generic type parameters |
US7676476B2 (en) * | 2004-08-25 | 2010-03-09 | Microsoft Corporation | Data types with incorporated collation information |
US7475150B2 (en) | 2004-09-07 | 2009-01-06 | International Business Machines Corporation | Method of generating a common event format representation of information from a plurality of messages using rule-based directives and computer keys |
US7614045B2 (en) * | 2004-09-24 | 2009-11-03 | Sap (Ag) | Sharing classes and class loaders |
US7530051B1 (en) * | 2004-10-21 | 2009-05-05 | Sun Microsystems, Inc. | Method and apparatus for dimensional analysis encoded in metatypes and generics |
DE102004057490B4 (de) * | 2004-11-29 | 2007-02-22 | Infineon Technologies Ag | Vorrichtung und Verfahren zum Verarbeiten eines Programmcodes |
US8250528B2 (en) | 2004-12-15 | 2012-08-21 | Microsoft Corporation | Static inheritance systems and methods |
US7493605B2 (en) | 2004-12-29 | 2009-02-17 | Mainsoft R&D Ltd | Method and a software product for adapting a .Net framework compliant reflection mechanism to a java environment |
US7571430B2 (en) * | 2005-01-24 | 2009-08-04 | Lsi Logic Corporation | Adaptive dispatch table based on templates |
US7844958B2 (en) * | 2005-03-11 | 2010-11-30 | Aptana, Inc. | System and method for creating target byte code |
CA2504333A1 (en) * | 2005-04-15 | 2006-10-15 | Symbium Corporation | Programming and development infrastructure for an autonomic element |
US7983209B2 (en) | 2005-04-18 | 2011-07-19 | Research In Motion Limited | System and method for producing notification based web services |
US7716630B2 (en) * | 2005-06-27 | 2010-05-11 | Ab Initio Technology Llc | Managing parameters for graph-based computations |
NZ589831A (en) | 2005-06-27 | 2012-07-27 | Csc Technology Singapore Pte Ltd | Code Transformation |
US7992140B2 (en) * | 2005-07-29 | 2011-08-02 | Microsoft Corporation | Compiler supporting programs as data objects |
WO2007035545A2 (en) * | 2005-09-15 | 2007-03-29 | Invixa, Llc | Apparatus, method and system for building software by composition |
US8121985B2 (en) * | 2005-10-24 | 2012-02-21 | Sap Aktiengesellschaft | Delta versioning for learning objects |
US7966602B1 (en) * | 2006-03-16 | 2011-06-21 | Oracle America, Inc. | Incremental modification detector, and methods, systems, and apparatus for implementing the same |
US8572138B2 (en) * | 2006-03-30 | 2013-10-29 | Ca, Inc. | Distributed computing system having autonomic deployment of virtual machine disk images |
US7836440B2 (en) * | 2006-04-27 | 2010-11-16 | Oracle America, Inc. | Dependency-based grouping to establish class identity |
US8225294B2 (en) * | 2006-04-27 | 2012-07-17 | Oracle America, Inc. | Method and apparatus for expressing and checking relationships between types |
US20080033968A1 (en) | 2006-08-07 | 2008-02-07 | Quan Dennis A | Methods and apparatus for input specialization |
US20080040360A1 (en) | 2006-08-14 | 2008-02-14 | Microsoft Corporation | Design pattern for choice types in object oriented languages |
US8370818B2 (en) * | 2006-12-02 | 2013-02-05 | Time Warner Cable Inc. | Methods and apparatus for analyzing software interface usage |
US20080154950A1 (en) * | 2006-12-21 | 2008-06-26 | Sap Ag | Object constructors for generic frameworks |
WO2008115553A1 (en) * | 2007-03-20 | 2008-09-25 | The University Of North Carolina At Chapel Hill | Methods, systems, and computer readable media for automatically generating customizable user interfaces using proagramming patterns |
US8079023B2 (en) | 2007-03-22 | 2011-12-13 | Microsoft Corporation | Typed intermediate language support for existing compilers |
US7654413B2 (en) | 2007-04-17 | 2010-02-02 | Kuei-Tang Chang | Supporting device for package water dispenser |
US8112388B2 (en) * | 2007-08-03 | 2012-02-07 | Sap Ag | Dependency processing of computer files |
US8615734B2 (en) * | 2007-11-09 | 2013-12-24 | Oracle International Corporation | System and method for dynamically redefining class files in an application server environment |
CN101520733B (zh) * | 2008-02-27 | 2014-04-16 | 国际商业机器公司 | 装载类的方法和装置及重组类存档文件方法 |
US9063765B2 (en) | 2008-04-28 | 2015-06-23 | Kaazing Corporation | System and methods for distributed execution of computer executable programs utilizing asymmetric translation |
US8935293B2 (en) | 2009-03-02 | 2015-01-13 | Oracle International Corporation | Framework for dynamically generating tuple and page classes |
US9075667B2 (en) * | 2009-05-21 | 2015-07-07 | Microsoft Technology Licensing, Llc | Dynamic binding directed by static types |
US8484614B2 (en) * | 2009-05-29 | 2013-07-09 | Red Hat, Inc. | Fast late binding of object methods |
US8843920B2 (en) | 2009-09-15 | 2014-09-23 | Advanced Micro Devices, Inc. | Systems and methods for deferring software implementation decisions until load time |
CA2678095C (en) * | 2009-09-25 | 2012-05-01 | Ibm Canada Limited - Ibm Canada Limitee | Object level compatibility and class resizing utilizing semantic values |
WO2011042228A1 (en) * | 2009-10-06 | 2011-04-14 | International Business Machines Corporation | Method and system to handle java class versioning |
US8549506B2 (en) * | 2010-04-27 | 2013-10-01 | Microsoft Corporation | Resumable methods |
US8645490B2 (en) * | 2010-06-08 | 2014-02-04 | Microsoft Corporation | Web site implementation by mapping expression evaluation |
US8813049B2 (en) | 2010-06-30 | 2014-08-19 | Oracle International Corporation | Type inference of partially-specified parameterized types |
US8533695B2 (en) * | 2010-09-28 | 2013-09-10 | Microsoft Corporation | Compile-time bounds checking for user-defined types |
US8959501B2 (en) * | 2010-12-14 | 2015-02-17 | Microsoft Corporation | Type and length abstraction for data types |
US9207935B2 (en) * | 2011-04-07 | 2015-12-08 | Infosys Limited | Early analysis of software design diagrams |
US8997070B2 (en) * | 2011-12-15 | 2015-03-31 | Sap Se | Extension mechanism for scripting language compiler |
US9411560B2 (en) * | 2012-01-26 | 2016-08-09 | Oracle International Corporation | Error propagation |
JP2013235386A (ja) | 2012-05-08 | 2013-11-21 | Internatl Business Mach Corp <Ibm> | 最適化装置、最適化方法、及び最適化プログラム |
CN103491111B (zh) * | 2012-06-08 | 2016-12-14 | 阿里巴巴集团控股有限公司 | 无线应用发布、实现方法与装置 |
US8863079B2 (en) | 2012-07-31 | 2014-10-14 | Oracle International Corporation | Efficient and expansive conversions between reference and primitive |
US8776031B1 (en) * | 2012-08-09 | 2014-07-08 | Noble Systems Corporation | Manipulating resources embedded in a dynamic-link library |
US8893082B2 (en) * | 2012-08-31 | 2014-11-18 | Oracle International Corporation | Type inference of generic type parameters in overloaded functions using type intervals and inference directions |
US9170908B2 (en) * | 2012-12-14 | 2015-10-27 | Salesforce.Com, Inc. | System and method for dynamic analysis bytecode injection for application dataflow |
US9817804B2 (en) * | 2013-09-12 | 2017-11-14 | Wix.Com Ltd. | System for comparison and merging of versions in edited websites and interactive applications |
US9606783B2 (en) * | 2013-10-14 | 2017-03-28 | International Business Machines Corporation | Dynamic code selection based on data policies |
US9329985B1 (en) * | 2014-04-04 | 2016-05-03 | Xoom Corporation | Using emulation to disassociate verification from stimulus in functional test |
US9910680B2 (en) | 2014-04-22 | 2018-03-06 | Oracle International Corporation | Decomposing a generic class into layers |
-
2015
- 2015-03-17 US US14/660,604 patent/US9910680B2/en active Active
- 2015-03-17 US US14/660,177 patent/US9772828B2/en active Active
- 2015-03-17 US US14/660,143 patent/US9785456B2/en active Active
- 2015-04-21 BR BR112016024522-9A patent/BR112016024522B1/pt active IP Right Grant
- 2015-04-21 CN CN201580028725.4A patent/CN106716349B/zh active Active
- 2015-04-21 EP EP15721428.9A patent/EP3134809B1/en active Active
- 2015-04-21 US US14/692,590 patent/US9678729B2/en active Active
- 2015-04-21 WO PCT/US2015/026962 patent/WO2015164436A1/en active Application Filing
- 2015-04-21 EP EP15721427.1A patent/EP3134808B1/en active Active
- 2015-04-21 WO PCT/US2015/026947 patent/WO2015164426A1/en active Application Filing
- 2015-04-21 US US14/692,592 patent/US9524152B2/en active Active
- 2015-04-21 CN CN202010673980.7A patent/CN111813389A/zh active Pending
- 2015-04-21 CN CN201580020873.1A patent/CN106233251B/zh active Active
- 2015-04-21 US US14/692,601 patent/US9483242B2/en active Active
- 2015-04-21 US US14/692,593 patent/US9477450B2/en active Active
- 2015-04-22 EP EP15771741.4A patent/EP3134811B1/en active Active
- 2015-04-22 WO PCT/US2015/026965 patent/WO2015191165A1/en active Application Filing
- 2015-04-22 CN CN201580029282.0A patent/CN106462414B/zh active Active
- 2015-04-22 EP EP15721429.7A patent/EP3134810B1/en active Active
- 2015-04-22 WO PCT/US2015/026964 patent/WO2015164438A1/en active Application Filing
- 2015-04-22 WO PCT/US2015/026966 patent/WO2015164439A1/en active Application Filing
- 2015-04-22 CN CN201580028016.6A patent/CN106415488B/zh active Active
- 2015-04-22 EP EP15721430.5A patent/EP3134806B1/en active Active
- 2015-04-22 JP JP2016564078A patent/JP6592009B2/ja active Active
- 2015-04-22 CN CN201580028400.6A patent/CN106462412B/zh active Active
-
2016
- 2016-02-26 US US15/055,469 patent/US9891900B2/en active Active
-
2017
- 2017-09-25 US US15/714,836 patent/US10740115B2/en active Active
Patent Citations (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP0619544A3 (en) * | 1993-04-05 | 1995-02-01 | Ibm | Object system with derived meta classes. |
US20060206860A1 (en) * | 1999-05-17 | 2006-09-14 | Invensys Systems, Inc. | Process control configuration system with connection validation and configuration |
JP4662657B2 (ja) * | 2000-07-10 | 2011-03-30 | マイクロソフト コーポレーション | 統一データ型システムおよび方法 |
US20020169589A1 (en) * | 2000-12-29 | 2002-11-14 | Banki Attila D. | Computer system and method having a facility management logic architecture |
CN1483181A (zh) * | 2000-12-29 | 2004-03-17 | ����ɭ���������о���˾ | 面向对象的烃储集层系统模拟 |
US7761270B2 (en) * | 2000-12-29 | 2010-07-20 | Exxonmobil Upstream Research Co. | Computer system and method having a facility management logic architecture |
US20050097514A1 (en) * | 2003-05-06 | 2005-05-05 | Andrew Nuss | Polymorphic regular expressions |
US20070168926A1 (en) * | 2005-12-16 | 2007-07-19 | Raghuram Rajah | Software customization framework |
CN101251795A (zh) * | 2007-11-01 | 2008-08-27 | 中国地质大学(武汉) | 泛型空间网络分析模型及其算法 |
Non-Patent Citations (1)
Title |
---|
ERICH GAMMA: "《Design Patterns:Elements of Reusable Object-Oriented Software》", 1 September 1999 * |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10579374B2 (en) * | 2016-11-14 | 2020-03-03 | Samsung Sds Co., Ltd. | Method for converting application and computing device |
Also Published As
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN106415488A (zh) | 将泛型类分解成层 | |
WO2009009138A1 (en) | A programming environment with support for handle and non-handle user-created classes | |
Bucanek et al. | Learn Objective-C for Java Developers | |
Guller et al. | Programming in scala | |
Mandala et al. | PROGRAMMING IN C++ | |
Le Goc et al. | EVL: A framework for multi-methods in C++ | |
Ganesh et al. | Java Class Design | |
Ganesh et al. | Oracle Certified Professional Java SE 8 Programmer Exam 1Z0-809: A Comprehensive OCPJP 8 Certification Guide: A Comprehensive OCPJP 8 Certification Guide | |
Fischer et al. | A Tour of Paradigms | |
Goyal et al. | Data Abstraction | |
Vo et al. | Improve Performance with Native C/C++ | |
Ducasse | Object-Oriented Design with Smalltalk |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
REG | Reference to a national code |
Ref country code: HK Ref legal event code: DE Ref document number: 1232979 Country of ref document: HK |
|
GR01 | Patent grant | ||
GR01 | Patent grant |