test cases for Bugzilla Bug 42743: declare soft limitation

1 files changed, 23 insertions, 0 deletions

diff --git a/tests/decs/VerifyError.aj b/tests/decs/VerifyError.aj
new file mode 100644
index 000000000..835748770
--- /dev/null
+++ b/tests/decs/VerifyError.aj
@@ -0,0 +1,23 @@
+import java.io.IOException;
+import org.aspectj.lang.SoftException;
+
+public class VerifyError {
+
+    static void foo() throws IOException {
+        throw new IOException();
+    }
+
+    public static void main(String[] args) throws Exception{
+		try {
+            foo();
+		} catch (SoftException sEx) {
+			//
+		}
+    }
+}
+
+
+aspect Soften {
+
+    declare soft : IOException : call(* foo());
+}
\ No newline at end of file