Project Coin precise rethrow support

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlighting/ClassicRethrow.java

@@ -0,0 +1,116 @@
+import java.lang.Exception;
+
+class C {
+  static class E extends Exception { }
+  static class E1 extends E { }
+  static class E2 extends E { }
+
+  void m1() {
+    try {
+      throw new E1();
+    }
+    catch (Exception e) {
+      try {
+        // throws Exception before JDK7
+        <error descr="Unhandled exception: java.lang.Exception">throw e;</error>
+      }
+      catch (E2 e2) { }
+    }
+  }
+
+  void m2() {
+    try {
+      throw new E1();
+    }
+    catch (Exception e) {
+      try {
+        e = new E1(); // no effect before JDK7
+        <error descr="Unhandled exception: java.lang.Exception">throw e;</error>
+      }
+      catch (E2 e2) { }
+    }
+  }
+
+  void m3(boolean f) throws E1, E2 {
+    try {
+      if (f)
+        throw new E1();
+      else
+        throw new E2();
+    }
+    catch (Exception e) {
+      // throws Exception before JDK7
+      <error descr="Unhandled exception: java.lang.Exception">throw e;</error>
+    }
+  }
+
+  void m4(boolean f) throws E1, E2 {
+    try {
+      if (f)
+        throw new E1();
+      else
+        throw new E2();
+    }
+    catch (Exception e) {
+      e = new E2(); // no effect before JDK7
+      <error descr="Unhandled exception: java.lang.Exception">throw e;</error>
+    }
+  }
+
+  void m5(boolean f) throws E {
+    try {
+      if (f)
+        throw new E1();
+      else if (!f)
+        throw new E2();
+      else
+        throw (Throwable)new E();
+    }
+    catch (E1 e1) { }
+    catch (final Exception e) {
+      // throws Exception
+      <error descr="Unhandled exception: java.lang.Exception">throw e;</error>
+    }
+    catch (Throwable t) { }
+  }
+
+  void m6(boolean f) throws E2 {
+    try {
+      if (f)
+        throw new E1();
+      else if (!f)
+        throw new E2();
+    }
+    catch (E1 e1) { }
+    catch (final Exception e) {
+      // throws Exception before JDK7
+      <error descr="Unhandled exception: java.lang.Exception">throw e;</error>
+    }
+  }
+
+  void m7() {
+    try {
+      throw new E1();
+    }
+    catch (E e) {
+      try {
+        throw e;
+      }
+      catch (E x) {
+        // no chained exception type evaluation
+        <error descr="Unhandled exception: C.E">throw x;</error>
+      }
+    }
+  }
+
+  void m8() {
+    try {
+      throw new E1();
+    }
+    catch (E e) {
+      E x = e;
+      // no chained exception type evaluation
+      <error descr="Unhandled exception: C.E">throw x;</error>
+    }
+  }
+}

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlighting7/PreciseRethrow.java

@@ -0,0 +1,158 @@
+class C {
+  static class E extends Exception { }
+  static class E1 extends E { }
+  static class E2 extends E { }
+
+  void m0() {
+    try {
+      throw new E1();
+    }
+    catch (Exception e) {
+      try {
+        // throws E1 in JDK7
+        <error descr="Unhandled exception: C.E1">throw e;</error>
+      } catch (E2 e2) { }
+    }
+  }
+
+  void m1() throws E1 {
+    try {
+      throw new E1();
+    }
+    catch (Exception e) {
+      try {
+        // throws E1 in JDK7
+        throw e;
+      } catch (<error descr="Exception 'C.E2' is never thrown in the corresponding try block">E2 e2</error>) { }
+    }
+  }
+
+  void m2() {
+    try {
+      throw new E1();
+    }
+    catch (Exception e) {
+      try {
+        if (true) {
+          <error descr="Unhandled exception: java.lang.Exception">throw e;</error>
+        }
+        e = new E1(); // analysis disabled, even by late assignment
+      }
+      catch (E2 e2) { }
+    }
+  }
+
+  void m3(boolean f) throws E1, E2 {
+    try {
+      if (f)
+        throw new E1();
+      else
+        throw new E2();
+    }
+    catch (Exception e) {
+      // read access doesn't disables an analysis
+      System.out.println(e);
+      // throws E1, E2 in JDK7
+      throw e;
+    }
+  }
+
+  void m4(boolean f) throws E1, E2 {
+    try {
+      if (f)
+        throw new E1();
+      else
+        throw new E2();
+    }
+    catch (Exception e) {
+      e = new E2(); // analysis disabled
+      <error descr="Unhandled exception: java.lang.Exception">throw e;</error>
+    }
+  }
+
+  void m5(boolean f) throws E {
+    try {
+      if (f)
+        throw new E1();
+      else if (!f)
+        throw new E2();
+      else
+        throw (Throwable)new E();
+    }
+    catch (E1 e1) { }
+    catch (final Exception e) {
+      // Throwable isn't a subtype of Exception
+      <error descr="Unhandled exception: java.lang.Exception">throw e;</error>
+    }
+    catch (Throwable t) { }
+  }
+
+  void m6(boolean f) throws E2 {
+    try {
+      if (f)
+        throw new E1();
+      else if (!f)
+        throw new E2();
+    }
+    catch (E1 e1) { }
+    catch (final Exception e) {
+      throw e;
+    }
+  }
+
+  void m7() {
+    try {
+      if (true)
+        throw new E1();
+      else if (false)
+        throw new E2();
+    }
+    catch (E e) {
+      // throws E1, E2 in JDK7
+      <error descr="Unhandled exceptions: C.E1, C.E2">throw e;</error>
+    }
+  }
+
+  void m8() throws E1 {
+    try {
+      if (true)
+        throw new E1();
+      else if (false)
+        throw new E2();
+    }
+    catch (E1 | E2 e) {
+      <error descr="Unhandled exception: C.E2">throw e;</error>
+    }
+  }
+
+  void m9() {
+    try {
+      throw new E1();
+    }
+    catch (E x) {
+      try {
+        throw x;
+      }
+      catch (E y) {
+        try {
+          throw y;
+        }
+        catch (E z) {
+          // chained exception type evaluation
+          <error descr="Unhandled exception: C.E1">throw z;</error>
+        }
+      }
+    }
+  }
+
+  void m10() {
+    try {
+      throw new E1();
+    }
+    catch (E e) {
+      E x = e;
+      // no chained exception type evaluation
+      <error descr="Unhandled exception: C.E">throw x;</error>
+    }
+  }
+}