Patent ID: 11922238
Assignee: ORACLE INTERNATIONAL CORPORATION
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 10:
11. The media of claim 10, further storing instructions which cause:
identifying a third specialized type stored in association with a second object;
loading a second value for the first field of the second object from the heap, wherein the second value conforms to a second type restriction applied on the first field within a second context, and the second context is associated with the third specialized type;
wherein the second type restriction prohibits a second value, which is valid for the particular unspecialized type, for the first field;
wherein the first type restriction and the second type restriction are different;
casting the second value to the particular unspecialized type, wherein the particular unspecialized type is further not restricted by the second type restriction;
storing the casted second value onto a second operand stack.