@testcase inter-type declaration of void field

diff --git a/tests/ajcTestsFailing.xml b/tests/ajcTestsFailing.xml
index c87051140d5c339de8d9b9ed417c32b91c2077f0..335649e9d926cd8d78be00ff1f93715565364767 100644 (file)
--- a/tests/ajcTestsFailing.xml
+++ b/tests/ajcTestsFailing.xml
@@ -65,4 +65,18 @@
         <run class="ConstructorDeclaration"/>
     </ajc-test>
 
+    <ajc-test dir="errors"  keywords="error"
+               title="class extending abstract aspect">
+        <compile files="ClassExtendingAbstractAspectCE.java">
+                       <message kind="error" line="20"/>
+        </compile>
+    </ajc-test>
+
+    <ajc-test dir="errors"  keywords="error"
+               title="inter-type declaration of void field">
+        <compile files="VoidFieldDeclarationCE.java">
+                       <message kind="error" line="7"/>
+        </compile>
+    </ajc-test>
+
 </suite>

diff --git a/tests/errors/VoidFieldDeclarationCE.java b/tests/errors/VoidFieldDeclarationCE.java
new file mode 100644 (file)
index 0000000..5812464
--- /dev/null
+++ b/tests/errors/VoidFieldDeclarationCE.java
@@ -0,0 +1,8 @@
+
+/** @testcase inter-type declaration of void field */
+public class VoidFieldDeclarationCE {
+}
+
+aspect A {
+    public void VoidFieldDeclarationCE.bug; // CE 46 invalid field type
+}