Overriding a migrated method in an updated type

A method, comprising:

• identifying one or more instructions to invoke a particular method corresponding to a particular object, using values corresponding to a particular set of types as arguments, wherein the particular method is in a sub-type and referenced by a particular method name;
• determining that the sub-type comprises:
• a first method associated with the particular method name and a first set of parameter types;
• wherein the sub-type does not include any method associated with the particular method name and a second set of parameter types;
• determining that a super-type of the sub-type comprises:
• a second method associated with the particular method name and the first set of parameter types;
• a third method associated with the particular method name and the second set of parameter types;
• wherein the second method was migrated to the third method;
• responsive to determining that the particular set of types is same as the second set of parameter types:
• generating a new method, comprising:
• instructions to apply a conversion function to convert values corresponding to the particular set of types into values corresponding to the first set of parameter types;
• instructions to invoke the first method using the values corresponding to the first set of parameter types;
• wherein the method is performed by at least one device including a hardware processor.

A system, comprising:

• at least one device including a hardware processor;
• and
• the system configured to perform operations comprising:
• identifying one or more instructions to invoke a particular method corresponding to a particular object, using values corresponding to a particular set of types as arguments, wherein the particular method is in a sub-type and referenced by a particular method name;
• determining that the sub-type comprises:
• a first method associated with the particular method name and a first set of parameter types;
• wherein the sub-type does not include any method associated with the particular method name and a second set of parameter types;
• determining that a super-type of the sub-type comprises:
• a second method associated with the particular method name and the first set of parameter types;
• a third method associated with the particular method name and the second set of parameter types;
• wherein the second method was migrated to the third method;
• responsive to determining that the particular set of types is same as the second set of parameter types:
• generating a new method, comprising:
• instructions to apply a conversion function to convert values corresponding to the particular set of types into values corresponding to the first set of parameter types;
• instructions to invoke the first method using the values corresponding to the first set of parameter types.

A non-transitory computer readable medium comprising instructions, which when executed by one or more hardware processors, cause performance of operations comprising:

• identifying one or more instructions to return a first value from a particular method as a second value of a particular type, wherein the particular method is in a sub-type and referenced by a particular method name;
• determining that the sub-type comprises:
• a first method associated with the particular method name and a first return type;
• wherein the sub-type does not include any method associated with the particular method name and a second return type;
• determining that a super-type of the sub-type comprises:
• a second method associated with the particular method name and the first return type;
• a third method associated with the particular method name and the second return type;
• wherein the second method was migrated to the third method;
• responsive to determining that the particular type is same as the second return type:
• generating a new method, comprising:
• instructions to return a third value from the first method, wherein the third value is of the first return type;
• instructions to apply a conversion function to convert the third value into a fourth value of the second return type;
• instructions to return the fourth value as the second value of the particular type.