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
|
import annotation._
import elidable._
trait T {
@elidable(FINEST) def f1()
@elidable(SEVERE) def f2()
@elidable(FINEST) def f3() = assert(false, "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() = assert(false, "Should have been elided.")
}
object O {
@elidable(FINEST) def f1() = assert(false, "Should have been elided.")
@elidable(INFO) def f2() = assert(false, "Should have been elided.")
@elidable(SEVERE) def f3() = println("Good for me, I was not elided. O.f3")
@elidable(INFO) def f4 = assert(false, "Should have been elided (no parens).")
}
object Test {
@elidable(FINEST) def f1() = assert(false, "Should have been elided.")
@elidable(INFO) def f2() = assert(false, "Should have been elided.")
@elidable(SEVERE) def f3() = println("Good for me, I was not elided. Test.f3")
@elidable(INFO) def f4 = assert(false, "Should have been elided (no parens).")
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()
// 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)
}
}
Class.forName("T$class").getMethod("f3", classOf[T])
}
}
|
