| author | erikj |
| Tue, 12 Sep 2017 19:03:39 +0200 | |
| changeset 47216 | 71c04702a3d5 |
| parent 7203 | langtools/test/tools/javac/multicatch/Neg01eff_final.java@1153590927f7 |
| child 50949 | 999f09bf3464 |
| permissions | -rw-r--r-- |
|
7203
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
1 |
/* |
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
2 |
* @test /nodynamiccopyright/ |
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
3 |
* @bug 6943289 |
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
4 |
* |
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
5 |
* @summary Project Coin: Improved Exception Handling for Java (aka 'multicatch') |
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
6 |
* @author darcy |
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
7 |
* @compile/fail/ref=Neg01eff_final.out -XDrawDiagnostics Neg01eff_final.java |
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
8 |
* @compile -source 6 -XDrawDiagnostics Neg01eff_final.java |
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
9 |
* |
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
10 |
*/ |
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
11 |
|
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
12 |
class Neg01eff_final {
|
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
13 |
static class A extends Exception {}
|
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
14 |
static class B1 extends A {}
|
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
15 |
static class B2 extends A {}
|
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
16 |
|
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
17 |
class Test {
|
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
18 |
void m() throws A {
|
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
19 |
try {
|
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
20 |
throw new B1(); |
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
21 |
} catch (A ex1) {
|
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
22 |
try {
|
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
23 |
throw ex1; // used to throw A, now throws B1! |
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
24 |
} catch (B2 ex2) { }//unreachable
|
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
25 |
} |
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
26 |
} |
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
27 |
} |
|
1153590927f7
6993963: Project Coin: Use precise exception analysis for effectively final catch parameters
mcimadamore
parents:
diff
changeset
|
28 |
} |