Manual Refinement of Specialized Classes

• US 20150301808A1
• Filed: 04/21/2015
• Published: 10/22/2015
• Est. Priority Date: 04/22/2014
• Status: Active Grant

• Current Assignee: Oracle International Corporation (Oracle Corporation)
• Original Assignee: Oracle International Corporation (Oracle Corporation)
• Inventors: Goetz, Brian, Rose, John R., Buckley, Alexander R.
• Granted Patent: US 9,477,450 B2
• Time in Patent Office: Days
• US Class Current: 1/1
• CPC Class Codes: G06F 8/24 Object-oriented
• CPC Class Codes: G06F 8/315 Object-oriented languages
• CPC Class Codes: G06F 8/41 Compilation
• CPC Class Codes: G06F 8/437 Type checking
• CPC Class Codes: G06F 8/443 Optimisation
• CPC Class Codes: G06F 8/447 Target code generation
• CPC Class Codes: G06F 8/70 Software maintenance or management
• CPC Class Codes: G06F 8/71 Version control security arrangements therefor G06F21/57; Configuration management
• CPC Class Codes: G06F 8/76 Adapting program code to run in a different environment; Porting
• CPC Class Codes: G06F 9/44521 Dynamic linking or loading; Link editing at or after load time, e.g. Java class loading
• CPC Class Codes: G06F 9/4488 Object-oriented
• CPC Class Codes: G06F 9/449 Object-oriented method invocation or resolution
• CPC Class Codes: G06F 9/4492 Inheritance
• CPC Class Codes: G06F 9/4498 Finite state machines
• CPC Class Codes: G06F 9/45516 Runtime code conversion or optimisation

Abstract

While a runtime specializer may always be able to generate an automated specialized version of a generic class, in some cases an alternate form of user control over specialization may allow the use of automated specialization while also adding (or overriding) specialization-specific method implementations. In general, the set of members of a generic class may not change when the class is specialized. In other words, the same members may exist in the auto-specialized version as in the generic version. However, manual refinement of specialized classes may allow a developer to hand specialize a particular (possibly a better) representation and/or implementation of one or more methods of the specialized class.

Claims

1. A non-transitory, computer-readable storage medium storing program instructions that when executed on a computing device cause the computing device to perform:

loading a class file comprising a class declaration for a generic class, wherein the generic class is specializable over a plurality of type parameterizations, wherein the class declaration comprises a refinement method specific to a particular one of the plurality of type parameterizations, wherein the refinement method comprises an alternate implementation for a method of the generic class when the generic class is specialized for the particular type parameterization;

specializing the generic class for the particular type parameterization; and

including the refinement method in the specialized generic class in response to said specializing and based on the particular type parameterization.

2. The non-transitory, computer-readable storage medium of claim 1, wherein the refinement method overrides an existing generic method of the generic class.

3. The non-transitory, computer-readable storage medium of claim 1, wherein the program instructions further cause the computing device to perform:

specializing the generic class for a different type parameterization, wherein the refinement method is not specific to the different type parameterization; and

not including the refinement method in the specialized generic class for the different type parameterization.

4. The non-transitory, computer-readable storage medium of claim 3, wherein the class declaration for the generic class comprises a different method specific to the different type parameterization;

and

wherein the program instructions further cause the computing device to perform including the different method in the specialized generic class for the different type parameterization.

5. The non-transitory, computer-readable storage medium of claim 1, wherein the class declaration for the generic class comprises information indicating that the refinement method is generic over one or more of the plurality of type parameterizations.

6. The non-transitory, computer-readable storage medium of claim 1, wherein the class declaration for the generic class comprises information indicating that the refinement method is specific to the particular type parameterization.

7. A method, comprising:

loading, by a platform-independent, object-oriented, runtime environment, a class file comprising a class declaration for a generic class, wherein the generic class is specializable over a plurality of type parameterizations, wherein the class declaration comprises a refinement method specific to a particular one of the plurality of type parameterizations, wherein the refinement method comprises an alternate implementation for a method of the generic class when the generic class is specialized for the particular type parameterization;

specializing, by a platform-independent, object-oriented, runtime environment, the generic class for the particular type parameterization; and

including, by a platform-independent, object-oriented, runtime environment, the refinement method in the specialized generic class in response to said specializing and based on the particular type parameterization.

8. The method of claim 7, wherein the refinement method overrides an existing generic method of the generic class.

9. The method of claim 7, further comprising:

specializing, by the platform-independent, object-oriented, runtime environment, the generic class for a different type parameterization, wherein the refinement method is not specific to the different type parameterization; and

not including, by the platform-independent, object-oriented, runtime environment, the refinement method in the specialized generic class for the different type parameterization.

10. The method of claim 9, wherein the class declaration for the generic class comprises a different method specific to the different type parameterization, the method further comprising:

including, by a platform-independent, object-oriented, runtime environment, the different method in the specialized generic class for the different type parameterization.

11. The method of claim 7, wherein the class declaration for the generic class comprises information indicating that the refinement method is generic over one or more of the plurality of type parameterizations.

12. The method of claim 7, wherein the class declaration for the generic class comprises information indicating that the refinement method is specific to the particular type parameterization.

13. The method of claim 7, further comprising generating, by a compiler, the class file, based at least in part on source code comprising the class declaration, wherein the source code is written in an object-oriented, programming language.

14. The method of claim 13, wherein the object-oriented, programming language is one or more of:

the Java programming language;

the C++ programming language;

the C# programming language;

or

the Scala programming language.

15. A computing device, comprising:

a processor; and

a memory comprising program instructions, that when executed on the processor cause the processor to;

load a class file comprising a class declaration for a generic class, wherein the generic class is specializable over a plurality of type parameterizations, wherein the class declaration comprises a refinement method specific to a particular one of the plurality of type parameterizations, wherein the refinement method has a method signature that is not included in the generic class when the generic class is specialized for at least one of the plurality of type parameterizations;

specialize the generic class for the particular type parameterization; and

include the refinement method in the specialized generic class in response to specializing the generic class and based on the particular type parameterization.

16. The computing device of claim 15, wherein the program instructions further cause the processor to:

specialize the generic class for a different type parameterization, wherein the refinement method is not specific to the different type parameterization; and

not include the refinement method in the specialized generic class for the different type parameterization.

17. The computing device of claim 16, wherein the specialized generic class for the different type parameterization does not include any method having a method signature that matches the method signature of the refinement method.

18. The computing device of claim 17, wherein the class declaration for the generic class comprises a different method specific to the different type parameterization;

and

wherein the program instructions further cause the processor to include the different method in the specialized generic class for the different type parameterization.

19. The computing device of claim 15, wherein the class declaration for the generic class comprises information indicating that the refinement method is generic over one or more of the plurality of type parameterizations.

20. The computing device of claim 15, wherein the program instructions further cause the processor to generate the class file, based at least in part on source code comprising the class declaration, wherein the source code is written in an object-oriented, programming language.