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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
|
import org.scalacheck._
import Prop._
import Gen._
import Arbitrary._
import scala.reflect.runtime.universe._
import Flag._
object TermDeconstructionProps extends QuasiquoteProperties("term deconstruction") {
property("f(..x) = f") = test {
assertThrows[MatchError] {
val q"f(..$argss)" = q"f"
}
}
property("f(x)") = forAll { (x: Tree) =>
val q"f($x1)" = q"f($x)"
x1 ≈ x
}
property("f(..xs)") = forAll { (x1: Tree, x2: Tree) =>
val q"f(..$xs)" = q"f($x1, $x2)"
xs ≈ List(x1, x2)
}
property("f(y, ..ys)") = forAll { (x1: Tree, x2: Tree, x3: Tree) =>
val q"f($y, ..$ys)" = q"f($x1, $x2, $x3)"
y ≈ x1 && ys ≈ List(x2, x3)
}
property("f(y1, y2, ..ys)") = forAll { (x1: Tree, x2: Tree, x3: Tree) =>
val q"f($y1, $y2, ..$ys)" = q"f($x1, $x2, $x3)"
y1 ≈ x1 && y2 ≈ x2 && ys ≈ List(x3)
}
property("f(...xss)") = forAll { (x1: Tree, x2: Tree) =>
val q"f(...$argss)" = q"f($x1)($x2)"
argss ≈ List(List(x1), List(x2))
}
property("f(...xss) = f") = forAll { (x1: Tree, x2: Tree) =>
val q"f(...$argss)" = q"f"
argss ≈ List()
}
property("@$annot def foo") = forAll { (annotName: TypeName) =>
val q"@$annot def foo" = q"@$annotName def foo"
annot ≈ Apply(Select(New(Ident(annotName)), nme.CONSTRUCTOR), List())
}
property("@$annot(..$args) def foo") = forAll { (annotName: TypeName, tree: Tree) =>
val q"@$annot(..$args) def foo" = q"@$annotName($tree) def foo"
annot ≈ Ident(annotName) && args ≈ List(tree)
}
property("@..$annots def foo") = test {
val a = annot("a")
val b = annot("b")
val q"@..$annots def foo" = q"@$a @$b def foo"
annots ≈ List(a, b)
}
property("@$annot @..$annots def foo") = test {
val a = annot("a")
val b = annot("b")
val c = annot("c")
val q"@$first @..$rest def foo" = q"@$a @$b @$c def foo"
first ≈ a && rest ≈ List(b, c)
}
property("class without params") = test {
val q"class $name { ..$body }" = q"class Foo { def bar = 3 }"
assert(body ≈ List(q"def bar = 3"))
}
property("class constructor") = test {
val q"class $name(...$argss)" = q"class Foo(x: Int)(y: Int)"
assert(argss.length == 2)
}
property("class parents") = test {
val q"class $name extends ..$parents" = q"class Foo extends Bar with Blah"
assert(parents ≈ List(tq"Bar", tq"Blah"))
}
property("class selfdef") = test {
val q"class $name { $self => }" = q"class Foo { self: T => }"
assert(self.name ≈ TermName("self") && self.tpt ≈ tq"T")
}
property("class tparams") = test {
val q"class $name[..$tparams]" = q"class Foo[A, B]"
assert(tparams.map { _.name } == List(TypeName("A"), TypeName("B")))
}
property("deconstruct unit as tuple") = test {
val q"(..$xs)" = q"()"
assert(xs.isEmpty)
}
property("deconstruct tuple") = test {
val q"(..$xs)" = q"(a, b)"
assert(xs ≈ List(q"a", q"b"))
}
property("deconstruct tuple mixed") = test {
val q"($first, ..$rest)" = q"(a, b, c)"
assert(first ≈ q"a" && rest ≈ List(q"b", q"c"))
}
property("deconstruct cases") = test {
val q"$x match { case ..$cases }" = q"x match { case 1 => case 2 => }"
x ≈ q"x" && cases ≈ List(cq"1 =>", cq"2 =>")
}
property("deconstruct mods") = test {
val mods = Modifiers(IMPLICIT | PRIVATE, TermName("foobar"), Nil)
val q"$mods0 def foo" = q"$mods def foo"
assert(mods0 ≈ mods)
}
}
|
