Package sootup.interceptors.invokedynamic

Class RecordMethodsDesugarizer

java.lang.Object

sootup.interceptors.invokedynamic.RecordMethodsDesugarizer

All Implemented Interfaces:

InvokeDynamicDesugarizer

public final class RecordMethodsDesugarizer
extends Object
implements InvokeDynamicDesugarizer

ObjectMethods.bootstrap - the body of a record's toString, hashCode and equals - lowered to the code it stands for, component by component (the REF_GET_FIELD bootstrap arguments):

• toString: "R[a=" + a + ", b=" + b + "]".
• hashCode: h = 31 * h + hash(c) from h = 0, with Objects.hashCode or the wrapper's static hashCode as hash.
• equals: this == o, else o instanceof R and each component equal - Objects.equals, Float/Double.compare(a, b) == 0 or == - checked last to first, as ObjectMethods does.

Calls on object components are declared by the component type, so call graphs see the overriding methods.

Constructor Summary

Constructors

Constructor	Description
RecordMethodsDesugarizer()

Method Summary

Modifier and Type	Method	Description
boolean	applies(@NonNull JDynamicInvokeExpr expr)	Whether this desugarizer handles expr.
boolean	desugar(@NonNull JDynamicInvokeExpr expr, @Nullable LValue result, @NonNull Fragment code)	Emits code into code that does what expr does and stores its value into result.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

RecordMethodsDesugarizer

public RecordMethodsDesugarizer()

Method Details

applies

public boolean applies(@NonNull JDynamicInvokeExpr expr)

Description copied from interface: InvokeDynamicDesugarizer

Whether this desugarizer handles expr.

Specified by:

applies in interface InvokeDynamicDesugarizer

desugar

public boolean desugar(@NonNull JDynamicInvokeExpr expr,
 @Nullable LValue result,
 @NonNull Fragment code)

Description copied from interface: InvokeDynamicDesugarizer

Emits code into code that does what expr does and stores its value into result.

Specified by:

desugar in interface InvokeDynamicDesugarizer

result - where the invokedynamic's value goes, null if it is discarded

Returns:

whether expr could be lowered; if not, the invokedynamic stays