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
123
|
import annotation._
import elidable._
// runs -Xelide-below WARNING or 900
object Fail {
def fail(msg: String): Unit = throw new IllegalStateException(s"Expected failure: $msg")
}
import Fail.fail
trait T {
@elidable(FINEST) def f1()
@elidable(SEVERE) def f2()
@elidable(FINEST) def f3() = fail("Should have been elided.")
def f4()
}
class C extends T {
def f1() = println("Good for me, I was not elided. C.f1")
def f2() = println("Good for me, I was not elided. C.f2")
@elidable(FINEST) def f4() = fail("Should have been elided.")
}
object O {
@elidable(FINEST) def f1() = fail("Should have been elided.")
@elidable(INFO) def f2() = fail("Should have been elided.")
@elidable(SEVERE) def f3() = println("Good for me, I was not elided. O.f3")
@elidable(INFO) def f4 = fail("Should have been elided (no parens).")
}
object Test {
@elidable(FINEST) def f1() = fail("Should have been elided.")
@elidable(INFO) def f2() = fail("Should have been elided.")
@elidable(SEVERE) def f3() = println("Good for me, I was not elided. Test.f3")
@elidable(INFO) def f4 = fail("Should have been elided (no parens).")
@elidable(FINEST) def f5() = {}
@elidable(FINEST) def f6() = true
@elidable(FINEST) def f7() = 1:Byte
@elidable(FINEST) def f8() = 1:Short
@elidable(FINEST) def f9() = 1:Char
@elidable(FINEST) def fa() = 1
@elidable(FINEST) def fb() = 1l
@elidable(FINEST) def fc() = 1.0f
@elidable(FINEST) def fd() = 1.0
@elidable(FINEST) def fe() = { fail("Should have been elided to empty string.") ; "hello, world" }
/* variable elisions? see test/files/neg/t10068.scala
@elidable(INFO) val goner1: Int = { fail("Should have been elided.") ; 42 }
@elidable(INFO) lazy val goner2: Int = { fail("Should have been elided.") ; 42 }
@elidable(INFO) var goner3: Int = { fail("Should have been elided.") ; 42 }
@elidable(INFO) var goner4: Nothing = _
*/
def main(args: Array[String]): Unit = {
f1()
f2()
f3()
f4
O.f1()
O.f2()
O.f3()
O.f4
val c = new C
c.f1()
c.f2()
c.f3()
c.f4()
// make sure a return value is still available when eliding a call
println(f5())
println(f6())
println(f7())
println(f8())
println(f9().toInt)
println(fa())
println(fb())
println(fc())
println(fd())
println(fe())
if (!fe().isEmpty) fail(s"Not empty: [${fe()}]")
/*
()
false
0
0
0
0
0
0.0
0.0
// was: null
*/
// this one won't show up in the output because a call to f1 is elidable when accessed through T
(c:T).f1()
// Test whether the method definitions are still available.
List("Test", "Test$", "O", "O$", "C", "T") foreach { className =>
List("f1", "f2", "f3", "f4") foreach { methodName =>
Class.forName(className).getMethod(methodName)
}
}
List("Test", "Test$") foreach { className =>
List("f5", "f6", "f7", "f8", "f9", "fa", "fb", "fc", "fd", "fe") foreach { methodName =>
Class.forName(className).getMethod(methodName)
}
}
// variable elisions?
/*
assert(goner1 == 0)
assert(goner2 == 0)
assert(goner3 == 0)
try assert(goner4 == null)
catch {
case _: NullPointerException => println("NPE")
case _: NotImplementedError => println("NIE")
}
*/
}
}
|
