equal
deleted
inserted
replaced
23 |
23 |
24 /* |
24 /* |
25 * @test |
25 * @test |
26 * @bug 6993963 7025809 |
26 * @bug 6993963 7025809 |
27 * @summary Project Coin: Use precise exception analysis for effectively final catch parameters |
27 * @summary Project Coin: Use precise exception analysis for effectively final catch parameters |
28 * @library ../../lib |
28 * @library /tools/javac/lib |
29 * @build JavacTestingAbstractProcessor ModelChecker |
29 * @build JavacTestingAbstractProcessor ModelChecker |
30 * @compile -processor ModelChecker Model01.java |
30 * @compile -processor ModelChecker Model01.java |
31 */ |
31 */ |
32 |
32 |
33 import com.sun.source.tree.CatchTree; |
33 import com.sun.source.tree.CatchTree; |