blob: 39120f5f4452f57147ba34d8da87245e95274a22 (
plain)
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
|
public class PR72157 {
public PR72157() throws Exception {
throw new Exception();
}
public static void main(String[] args) {
new SCE2();
}
}
class SCE2 extends PR72157 {
public SCE2() {
super(); // CE L13?
}
}
class Foo {
public Foo() throws Exception {
throw new Exception();
}
}
class Goo {
public Goo() {
new Foo();
}
}
aspect SCEAspect {
declare soft: Exception: within(SCE2);
declare soft: Exception: within(Goo);
}
|
