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

Claim 12:
13. The media of claim 1, further storing instructions which cause:
identifying a particular unspecialized type of the first field, wherein the particular unspecialized type of the first field is specified by one or more of (a) one or more of the first unspecialized type and a supertype of the first unspecialized type, and (b) a descriptor corresponding to the first field;
popping a first value from a first operand stack, wherein the first value is of the particular unspecialized type;
identifying a first type restriction applied on the first field within the first context;
wherein the first type restriction prohibits a first value, which is valid for the particular unspecialized type, for the first field;
casting the first value to conform to the first type restriction;
storing the casted first value into a heap for the first field of the first object.