blob: 00d491486a6c4f916ebaf1814ef3c4bf29cf2164 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
package dotty.tools.dotc
package transform
import core._
import Types._
import Symbols._
import SymDenotations._
import Contexts._
import Flags._
import StdNames._
import SymUtils._
/** Methods that apply to user-defined value classes */
object ValueClasses {
def isDerivedValueClass(d: SymDenotation)(implicit ctx: Context) = {
!ctx.settings.XnoValueClasses.value &&
!d.isRefinementClass &&
d.isValueClass &&
(d.initial.symbol ne defn.AnyValClass) && // Compare the initial symbol because AnyVal does not exist after erasure
!d.isPrimitiveValueClass
}
def isMethodWithExtension(d: SymDenotation)(implicit ctx: Context) =
d.isRealMethod &&
isDerivedValueClass(d.owner) &&
!d.isConstructor &&
!d.isSuperAccessor &&
!d.is(Macro)
/** The member of a derived value class that unboxes it. */
def valueClassUnbox(d: ClassDenotation)(implicit ctx: Context): Symbol =
// (info.decl(nme.unbox)).orElse(...) uncomment once we accept unbox methods
d.classInfo.decls.find(_.is(TermParamAccessor))
/** For a value class `d`, this returns the synthetic cast from the underlying type to
* ErasedValueType defined in the companion module. This method is added to the module
* and further described in [[ExtensionMethods]].
*/
def u2evt(d: ClassDenotation)(implicit ctx: Context): Symbol =
d.linkedClass.info.decl(nme.U2EVT).symbol
/** For a value class `d`, this returns the synthetic cast from ErasedValueType to the
* underlying type defined in the companion module. This method is added to the module
* and further described in [[ExtensionMethods]].
*/
def evt2u(d: ClassDenotation)(implicit ctx: Context): Symbol =
d.linkedClass.info.decl(nme.EVT2U).symbol
/** The unboxed type that underlies a derived value class */
def underlyingOfValueClass(d: ClassDenotation)(implicit ctx: Context): Type =
valueClassUnbox(d).info.resultType
/** Whether a value class wraps itself */
def isCyclic(cls: ClassSymbol)(implicit ctx: Context): Boolean = {
def recur(seen: Set[Symbol], clazz: ClassSymbol)(implicit ctx: Context): Boolean =
(seen contains clazz) || {
val unboxed = underlyingOfValueClass(clazz).typeSymbol
(isDerivedValueClass(unboxed)) && recur(seen + clazz, unboxed.asClass)
}
recur(Set[Symbol](), cls)
}
}
|
