Perform Step 1 in the inline classes SIP: Creates extension methods for all methods in a value class, except parameter or super accessors, or constructors.
Additionally, for a value class V, let U be the underlying type after erasure. We add
to the companion module of V two cast methods:
def u2evt$(x0: U): ErasedValueType(V, U)
def evt2u$(x0: ErasedValueType(V, U)): U
The casts are used in Erasure to make it typecheck, they are then removed
in ElimErasedValueType.
This is different from the implementation of value classes in Scala 2
(see SIP-15) which uses asInstanceOf which does not typecheck.
Finally, if the constructor of a value class is private pr protected it is widened to public.
Also, drop the Local flag from all private[this] and protected[this] members that will be moved to the companion object.
- Companion
- object
Value members
Concrete methods
the following two members override abstract members in Transform
the following two members override abstract members in Transform
- Definition Classes
Inherited methods
Can this transform change the base types of a type?
Can this transform change the base types of a type?
- Inherited from
- Phase
Can this transform change the parents of a class?
Can this transform change the parents of a class?
- Inherited from
- Phase
Check what the phase achieves, to be called at any point after it is finished.
Check what the phase achieves, to be called at any point after it is finished.
- Inherited from
- Phase
A forwarder expression which calls derived, passing along
A forwarder expression which calls derived, passing along
- if
abstractOverClassthe type parameters and enclosing class parameters of originalDef`, - the
thisof the enclosing class, - the value parameters of the original method
originalDef.
- Inherited from
- FullParameterization
Given an instance method definition originalDef, return a
fully parameterized method definition derived from originalDef, which
has derived as symbol and fullyParameterizedType(originalDef.symbol.info)
as info.
abstractOverClass defines weather the DefDef should abstract over type parameters
of class that contained original defDef
Given an instance method definition originalDef, return a
fully parameterized method definition derived from originalDef, which
has derived as symbol and fullyParameterizedType(originalDef.symbol.info)
as info.
abstractOverClass defines weather the DefDef should abstract over type parameters
of class that contained original defDef
- Inherited from
- FullParameterization
Converts the type info of a member of class clazz to a method type that
takes the this of the class and any type parameters of the class
as additional parameters. Example:
Converts the type info of a member of class clazz to a method type that
takes the this of the class and any type parameters of the class
as additional parameters. Example:
class Foo[+A <: AnyRef](val xs: List[A]) extends AnyVal { def baz[B >: A](x: B): List[B] = ... }
leads to:
object Foo { def extension$baz[B >: A <: Any, A >: Nothing <: AnyRef]($this: Foo[A])(x: B): List[B] }
If a self type is present, $this has this self type as its type.
- Value Params
- abstractOverClass
if true, include the type parameters of the class in the method's list of type parameters.
- liftThisType
if true, require created $this to be $this: (Foo[A] & Foo,this). This is needed if created member stays inside scope of Foo(as in tailrec)
- Inherited from
- FullParameterization
The sequence position of this phase in the given context where 0 is reserved for NoPhase and the first real phase is at position 1. -1 if the phase is not installed in the context.
The sequence position of this phase in the given context where 0 is reserved for NoPhase and the first real phase is at position 1. -1 if the phase is not installed in the context.
- Inherited from
- Phase
Output should be checkable by TreeChecker
Output should be checkable by TreeChecker
- Inherited from
- Phase
Is this phase the standard typerphase? True for FrontEnd, but not for other first phases (such as FromTasty). The predicate is tested in some places that perform checks and corrections. It's different from ctx.isAfterTyper (and cheaper to test).
Is this phase the standard typerphase? True for FrontEnd, but not for other first phases (such as FromTasty). The predicate is tested in some places that perform checks and corrections. It's different from ctx.isAfterTyper (and cheaper to test).
- Inherited from
- Phase
The last phase during which the transformed denotations are valid
The last phase during which the transformed denotations are valid
- Inherited from
- DenotTransformer
If set, use relaxed typing for all phases in group
If set, use relaxed typing for all phases in group
- Inherited from
- MiniPhase
Transform tree using all transforms of current group (including this one)
Transform tree using all transforms of current group (including this one)
- Inherited from
- MiniPhase
Transform single node using all transforms following the current one in this group
Transform single node using all transforms following the current one in this group
- Inherited from
- MiniPhase
Transform tree using all transforms following the current one in this group
Transform tree using all transforms following the current one in this group
- Inherited from
- MiniPhase
The validity period of the transformed denotations in the given context
The validity period of the transformed denotations in the given context
- Inherited from
- DenotTransformer