blob: 2d44ed8269b1509d20c3d56fb8a24093c5950663 (
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
|
package dotty.tools.dotc
package transform
import core._
import Types._
import Symbols._
import SymDenotations._
import Contexts._
import Flags._
/** Methods that apply to user-defined value classes */
object ValueClasses {
def isDerivedValueClass(d: SymDenotation)(implicit ctx: Context) =
d.isClass &&
(d.symbol ne defn.AnyValClass) &&
d.derivesFrom(defn.AnyValClass) &&
!d.isPrimitiveValueClass
def isMethodWithExtension(d: SymDenotation)(implicit ctx: Context) =
d.isSourceMethod &&
isDerivedValueClass(d.owner) &&
!d.isConstructor &&
!d.is(SuperAccessor) &&
!d.is(Macro)
/** The member that 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(d => d.isTerm && d.symbol.is(ParamAccessor))
.map(_.symbol)
.getOrElse(NoSymbol)
/** The unboxed type that underlies a derived value class */
def underlyingOfValueClass(d: ClassDenotation)(implicit ctx: Context): Type =
valueClassUnbox(d).info.resultType
}
|
