When the newly introduced symbol is abstract and does not have an implementation at all.
When the newly introduced symbol is abstract and does not have an implementation at all.
Method to access field
, in a specialized class should be rewired to the
actual field.
The symbol with this information needs a body that forwards
to method
.
The symbol with this information needs a body that forwards
to method
.
E.g. apply
forwards to apply$mcII$sp
in Function1$mcII$sp
.
This class should be extended by various classes containing information about different types of methods that are created during specialization.
In the specialized class the function which will have the implementation will be the specialized one and the generic one will forward to it.
In the specialized class the function which will have the implementation will be the specialized one and the generic one will forward to it.
E.g. apply$mcII$sp
uses as implementation the body of apply
which
forwards to it. So, method
will be apply
.
Marker trait for tags
When the newly introduced symbol is abstract and does not have an implementation at all.
When the newly introduced symbol is abstract and does not have an implementation at all.
While running the MiniboxInfoTransform
we record information about how
the newly created methods should be implemented when reached by the
MiniboxTreeTransformation
.