@testcase PR#84033 incremental declare error persists after fix

diff --git a/tests/ajcTestsFailing.xml b/tests/ajcTestsFailing.xml
index b3b6401b1e8e462e90bfc623ed5dd4c36e0d2be8..c109cf1885930b03de15c846d9ae3ab147d3037b 100644 (file)
--- a/tests/ajcTestsFailing.xml
+++ b/tests/ajcTestsFailing.xml
@@ -152,4 +152,14 @@
           files="Test_AroundVarBug.java,AroundVarBug.java"/>
         <run class="Test_AroundVarBug"/>
     </ajc-test>
+
+    <ajc-test dir="bugs/incremental-declare-error" pr="84033"
+        title="incremental declare error persists after fix">
+        <compile files="pack/Aspect.java,pack/Main.java">
+                       <message kind="error" line="6" text="main"/>
+                       </compile>
+        <inc-compile tag="20"/>
+        <run class="pack.Main"/>
+    </ajc-test>
+
 </suite>

diff --git a/tests/bugs/incremental-declare-error/pack/Aspect.20.java b/tests/bugs/incremental-declare-error/pack/Aspect.20.java
new file mode 100644 (file)
index 0000000..ec9f72d
--- /dev/null
+++ b/tests/bugs/incremental-declare-error/pack/Aspect.20.java
@@ -0,0 +1,6 @@
+
+package pack;
+
+public aspect Aspect {
+    declare error : execution(private static void Main.main(String[])) : "main";
+}
\ No newline at end of file

diff --git a/tests/bugs/incremental-declare-error/pack/Aspect.java b/tests/bugs/incremental-declare-error/pack/Aspect.java
new file mode 100644 (file)
index 0000000..f3aa005
--- /dev/null
+++ b/tests/bugs/incremental-declare-error/pack/Aspect.java
@@ -0,0 +1,6 @@
+
+package pack;
+
+public aspect Aspect {
+    declare error : execution(public static void Main.main(String[])) : "main";
+}
\ No newline at end of file

diff --git a/tests/bugs/incremental-declare-error/pack/Main.java b/tests/bugs/incremental-declare-error/pack/Main.java
new file mode 100644 (file)
index 0000000..079b05d
--- /dev/null
+++ b/tests/bugs/incremental-declare-error/pack/Main.java
@@ -0,0 +1,8 @@
+
+package pack;
+
+/** @testcase PR#84033 incremental declare error persists after fix */
+public class Main {
+    public static void main(String[] args) {  // CE 6 on first pass, not second
+    }
+}
\ No newline at end of file