Method of implementing parameterized types to be compatible with existing unparameterized libraries

• US 6,018,628 A
• Filed: 06/16/1998
• Issued: 01/25/2000
• Est. Priority Date: 06/16/1998
• Status: Expired due to Term

• Current Assignee: Oracle America, Inc. (Oracle Corporation)
• Original Assignee: Sun Microsystems Incorporated (Oracle Corporation)
• Inventors: Stoutamire, David P.
• Primary Examiner(s): Hafiz, Tariq R.
• Assistant Examiner(s): DAM, TUAN QUANG
• Application Number:
  US09/098,126
• Time in Patent Office: 588 Days
• Field of Search: 395/701, 395/702, 395/705, 395/706, 395/708, 395/710, 707/101-104, 709/303-304, 709/300, 709/305
• US Class Current: 717/147
• CPC Class Codes: G06F 8/437 Type checking

Abstract

A method and apparatus for generating code using parameterized classes which is compatible with an existing class library that was previously generated using unparameterized classes is disclosed. According to the method, parameterized source code is received that contains variables that belong to a plurality of types which are defined by supplying parameter values to a parameterized class definition. Static type checking is performed on the parameterized source code to determine if any incompatible type assignments exist between variables that belong to the plurality of types and values assigned to the variables. If no incompatible type assignments exist, then a homogeneous translation is performed on the parameterized source code to generate unparameterized class code. The unparameterized class code is then compiled to produce code that is compatible with the existing class library that was generated using unparameterized classes.

Claims

1. A method for generating code using parameterized classes, such that the code is compatible with existing compiled code that was generated using unparameterized classes, the method comprising the steps of:

receiving parameterized source code that contains variables that belong to a plurality of classes which are defined by supplying parameter values to a parameterized class definition for one of said unparameterized classes defined in said existing compiled code;

performing static type checking on said parameterized source code to determine if incompatible type assignments exist between variables that belong to said plurality of classes and values assigned to said variables;

if no incompatible type assignments exist, then

performing a homogeneous translation on the parameterized source code to generate unparameterized class code; and

compiling the unparameterized class code to produce code that is compatible with the existing compiled code.

2. The method of claim 1, wherein the step of performing the homogeneous translation on the parameterized source code includes the steps of:

determining an erasure type for the parameter values, wherein the erasure type is of a generic type for which all parameter values can be members; and

replacing the parameter values with the erasure type.

3. The method of claim 2, wherein the step of determining the erasure type for the parameterized types includes the step of setting the erasure type to be of type Object.

4. The method of claim 1, further comprising the step of adding one or more flags to the code, wherein the one or more flags can be used to identify the code as being created using parameterized classes.

5. The method of claim 4, further comprising the steps of:

executing the code on a code executor, wherein the code executor uses the one or more flags to determine that the code was created using parameterized classes; and

the code executor, upon determining that the code was created using parameterized classes, ignoring cast instructions contained in the code, wherein the cast instructions are a result of the homogeneous translation.

6. The method of claim 2, further includes the step of adding cast instructions into the code;

wherein the cast instructions are used to explicitly convert a less specific type to a more specific type.

7. A computer-readable medium carrying one or more sequences of instructions for generating code using parameterized classes, such that the code is compatible with existing compiled code that was generated using unparameterized classes, wherein execution of the one or more sequences of instructions by one or more processors causes the one or more processors to perform the steps of:

receiving parameterized source code that contains variables that belong to a plurality of classes which are defined by supplying parameter values to a parameterized class definition for one of said unparameterized classes defined in said existing compiled code;

performing static type checking on said parameterized source code to determine if incompatible type assignments exist between variables that belong to said plurality of classes and values assigned to said variables;

if no incompatible type assignments exist, then

performing a homogeneous translation on the parameterized source code to generate unparameterized class code; and

compiling the unparameterized class code to produce code that is compatible with the existing compiled code.

8. The computer-readable medium of claim 7, wherein the step of performing the homogeneous translation on the parameterized source code includes the steps of:

determining an erasure type for the parameter values, wherein the erasure type is of a generic type for which all parameter values can be members; and

replacing the parameter values with the erasure type.

9. The computer-readable medium of claim 8, wherein the step of determining the erasure type for the parameterized types includes the step of setting the erasure type to be of type Object.

10. The computer-readable medium of claim 7, further comprising instructions for performing the step of adding one or more flags to the code, wherein the one or more flags can be used to identify the code as being created using parameterized classes.

11. The computer-readable medium of claim 10, further comprising instructions for performing the steps of:

executing the code on a code executor, wherein the code executor uses the one or more flags to determine that the code was created using parameterized classes; and

the code executor, upon determining that the code was created using parameterized classes, ignoring cast instructions contained in the code, wherein the cast instructions are a result of the homogeneous translation.

12. The computer-readable medium of claim 8, further comprising instructions for performing the step of adding cast instructions into the code;

wherein the cast instructions are used to explicitly convert a less specific type to a more specific type.

13. A system for generating code using parameterized classes, such that the code is compatible with existing compiled code that was generated using unparameterized classes, the system comprising:

a memory;

one or more processors coupled to the memory; and

a set of computer instructions contained in the memory, the set of computer instructions including computer instructions which when executed by the one or more processors, cause the one or more processors to perform the steps of;

receiving parameterized source code that contains variables that belong to a plurality of classes which are defined by supplying parameter values to a parameterized class definition for one of said unparameterized classes defined in said existing compiled code;

performing static type checking on said parameterized source code to determine if incompatible type assignments exist between variables that belong to said plurality of classes and values assigned to said variables;

if no incompatible type assignments exist, then

performing a homogeneous translation on the parameterized source code to generate unparameterized class code; and

compiling the unparameterized class code to produce code that is compatible with the existing compiled code.

14. The system of claim 13, wherein the step of performing the homogeneous translation on the parameterized source code includes the steps of:

determining an erasure type for the parameter values, wherein the erasure type is of a generic type for which all parameter values can be members; and

replacing the parameter values with the erasure type.

15. The system of claim 14, wherein the step of determining the erasure type for the parameterized types includes the step of setting the erasure type to be of type Object.

16. The system of claim 13, further comprising the step of adding one or more flags to the code, wherein the one or more flags can be used to identify the code as being created using parameterized classes.

17. The system of claim 16, further comprising the steps of:

executing the code on a code executor, wherein the code executor uses the one or more flags to determine that the code was created using parameterized classes; and

the code executor, upon determining that the code was created using parameterized classes, ignoring cast instructions contained in the code, wherein the cast instructions are a result of the homogeneous translation.

18. The system of claim 14, further includes the step of adding cast instructions into the code;

wherein the cast instructions are used to explicitly convert a less specific type to a more specific type.