updated for new sematics of issingleton aspects advising their own

initializers

diff --git a/tests/new/ConstructorExecInit.java b/tests/new/ConstructorExecInit.java
index 337fbbda3fa301214a09df3d65fde51a89bcecd0..02b9bf2935b691a5e22d6f13b93db57444ef42f5 100644 (file)
--- a/tests/new/ConstructorExecInit.java
+++ b/tests/new/ConstructorExecInit.java
@@ -17,10 +17,10 @@ public class ConstructorExecInit {
 
 /** @testcase after returning from initialization and after executing constructor */
 aspect A {
-    after (Object target) : execution(*.new(..)) && target(target) { 
+    after (Object target) : execution(*.new(..)) && target(target) && !within(A) { 
         Tester.event("execution");
     }
-    after () returning (Object target) : initialization(new(..)) { 
+    after () returning (Object target) : initialization(new(..)) && !this(A) { 
         Tester.event("initialization");
     }
 }

diff --git a/tests/new/ConstructorExecInitFails.java b/tests/new/ConstructorExecInitFails.java
new file mode 100644 (file)
index 0000000..4b5e775
--- /dev/null
+++ b/tests/new/ConstructorExecInitFails.java
@@ -0,0 +1,26 @@
+import org.aspectj.testing.*;
+
+/**
+ * -usejavac mode: no error
+ * not -usejavac mode: VerifyError
+ */
+public class ConstructorExecInitFails {
+    public static void main(String[] args) {
+       try {
+               new ConstructorExecInitFails();
+       } catch (ExceptionInInitializerError e) {
+               return;
+       }
+        Tester.checkFailed("shouldn't be able to run");
+    }
+}
+
+/** @testcase after returning from initialization and after executing constructor */
+aspect A {
+    after (Object target) : execution(*.new(..)) && target(target) { 
+        Tester.checkFailed("shouldn't be able to run");
+    }
+    after () returning (Object target) : initialization(new(..)) { 
+        Tester.checkFailed("shouldn't be able to run");
+    }
+}