tests and fix for 135068: verifyerror for @AJ

14 files changed, 193 insertions, 0 deletions

diff --git a/tests/bugs152/pr135068/A.java b/tests/bugs152/pr135068/A.java
new file mode 100644
index 000000000..adbab3f93
--- /dev/null
+++ b/tests/bugs152/pr135068/A.java
@@ -0,0 +1,3 @@
+aspect A {
+  static before(): call(* *(..)) {}
+}
diff --git a/tests/bugs152/pr135068/Aaj.aj b/tests/bugs152/pr135068/Aaj.aj
new file mode 100644
index 000000000..48af01dba
--- /dev/null
+++ b/tests/bugs152/pr135068/Aaj.aj
@@ -0,0 +1,8 @@
+import java.net.InetAddress;
+
+public aspect Aaj {
+
+	InetAddress around() throws java.net.UnknownHostException : call(public java.net.InetAddress C.getAddress() throws java.net.UnknownHostException) {
+		return InetAddress.getLocalHost();
+	}
+}
diff --git a/tests/bugs152/pr135068/Ajava.java b/tests/bugs152/pr135068/Ajava.java
new file mode 100644
index 000000000..c00aa7952
--- /dev/null
+++ b/tests/bugs152/pr135068/Ajava.java
@@ -0,0 +1,16 @@
+
+import java.net.InetAddress;
+import java.net.UnknownHostException;
+
+import org.aspectj.lang.annotation.Around;
+import org.aspectj.lang.annotation.Aspect;
+import org.aspectj.lang.*;
+
+@Aspect
+public class Ajava {
+
+	@Around("call(public java.net.InetAddress C.getAddress() throws java.net.UnknownHostException)")
+	public InetAddress getAddress() throws UnknownHostException {
+		return InetAddress.getLocalHost();
+	}
+}
diff --git a/tests/bugs152/pr135068/Ajava2.java b/tests/bugs152/pr135068/Ajava2.java
new file mode 100644
index 000000000..cfe0d05b0
--- /dev/null
+++ b/tests/bugs152/pr135068/Ajava2.java
@@ -0,0 +1,16 @@
+
+import java.net.InetAddress;
+import java.net.UnknownHostException;
+
+import org.aspectj.lang.annotation.Around;
+import org.aspectj.lang.annotation.Aspect;
+import org.aspectj.lang.*;
+
+@Aspect
+public class Ajava2 {
+
+	@Around("call(public java.net.InetAddress C2.getAddress() throws java.net.UnknownHostException)")
+	public static InetAddress getAddress() throws UnknownHostException {
+		return InetAddress.getLocalHost();
+	}
+}
diff --git a/tests/bugs152/pr135068/C.java b/tests/bugs152/pr135068/C.java
new file mode 100644
index 000000000..4e8c71d98
--- /dev/null
+++ b/tests/bugs152/pr135068/C.java
@@ -0,0 +1,14 @@
+
+import java.net.InetAddress;
+import java.net.UnknownHostException;
+
+public class C {
+
+	public static InetAddress getAddress() throws UnknownHostException {
+		return null;
+	}
+	
+	public static void main(String[] args) throws Exception {
+		System.out.println(getAddress().toString());
+	}
+}
diff --git a/tests/bugs152/pr135068/C2.java b/tests/bugs152/pr135068/C2.java
new file mode 100644
index 000000000..b363356b1
--- /dev/null
+++ b/tests/bugs152/pr135068/C2.java
@@ -0,0 +1,14 @@
+
+import java.net.InetAddress;
+import java.net.UnknownHostException;
+
+public class C2 {
+
+	public static InetAddress getAddress() throws UnknownHostException {
+		return null;
+	}
+	
+	public static void main(String[] args) throws Exception {
+		System.out.println(getAddress().toString());
+	}
+}
diff --git a/tests/bugs152/pr135068/aop.xml b/tests/bugs152/pr135068/aop.xml
new file mode 100644
index 000000000..eaef22b32
--- /dev/null
+++ b/tests/bugs152/pr135068/aop.xml
@@ -0,0 +1,9 @@
+<aspectj>
+  <aspects>
+    <aspect name="t.Ajava"/>
+  </aspects>
+
+  <weaver>
+    <include within="t..*"/>
+  </weaver>
+</aspectj>
diff --git a/tests/bugs152/pr135068/t/Aaj.aj b/tests/bugs152/pr135068/t/Aaj.aj
new file mode 100644
index 000000000..8123292fe
--- /dev/null
+++ b/tests/bugs152/pr135068/t/Aaj.aj
@@ -0,0 +1,10 @@
+package t;
+
+import java.net.InetAddress;
+
+public aspect Aaj {
+
+	InetAddress around() throws java.net.UnknownHostException : call(public java.net.InetAddress t.C.getAddress() throws java.net.UnknownHostException) {
+		return InetAddress.getLocalHost();
+	}
+}
diff --git a/tests/bugs152/pr135068/t/Ajava.java b/tests/bugs152/pr135068/t/Ajava.java
new file mode 100644
index 000000000..fc519368b
--- /dev/null
+++ b/tests/bugs152/pr135068/t/Ajava.java
@@ -0,0 +1,16 @@
+package t;
+
+import java.net.InetAddress;
+import java.net.UnknownHostException;
+
+import org.aspectj.lang.annotation.Around;
+import org.aspectj.lang.annotation.Aspect;
+
+@Aspect
+public class Ajava {
+
+	@Around("call(public java.net.InetAddress t.C.getAddress() throws java.net.UnknownHostException)")
+	public InetAddress getAddress() throws UnknownHostException {
+		return InetAddress.getLocalHost();
+	}
+}
diff --git a/tests/bugs152/pr135068/t/Ajava2.java b/tests/bugs152/pr135068/t/Ajava2.java
new file mode 100644
index 000000000..5bf933c5d
--- /dev/null
+++ b/tests/bugs152/pr135068/t/Ajava2.java
@@ -0,0 +1,16 @@
+package t;
+
+import java.net.InetAddress;
+import java.net.UnknownHostException;
+
+import org.aspectj.lang.annotation.Around;
+import org.aspectj.lang.annotation.Aspect;
+
+@Aspect
+public class Ajava2 {
+
+	@Around("call(public java.net.InetAddress t.C2.getAddress() throws java.net.UnknownHostException)")
+	public static InetAddress getAddress() throws UnknownHostException {
+		return InetAddress.getLocalHost();
+	}
+}
diff --git a/tests/bugs152/pr135068/t/C.java b/tests/bugs152/pr135068/t/C.java
new file mode 100644
index 000000000..a36f333a8
--- /dev/null
+++ b/tests/bugs152/pr135068/t/C.java
@@ -0,0 +1,20 @@
+package t;
+
+import java.net.InetAddress;
+import java.net.UnknownHostException;
+
+public class C {
+
+	public InetAddress getAddress() throws UnknownHostException {
+		return null;
+	}
+	
+	private void test() throws UnknownHostException {
+		System.out.println(getAddress().toString());
+	}
+
+	public static void main(String[] args) throws Exception {
+		C c = new C();
+		c.test();
+	}
+}
diff --git a/tests/bugs152/pr135068/t/C2.java b/tests/bugs152/pr135068/t/C2.java
new file mode 100644
index 000000000..32cf00136
--- /dev/null
+++ b/tests/bugs152/pr135068/t/C2.java
@@ -0,0 +1,20 @@
+package t;
+
+import java.net.InetAddress;
+import java.net.UnknownHostException;
+
+public class C2 {
+
+	public InetAddress getAddress() throws UnknownHostException {
+		return null;
+	}
+	
+	private void test() throws UnknownHostException {
+		System.out.println(getAddress().toString());
+	}
+
+	public static void main(String[] args) throws Exception {
+		C2 c = new C2();
+		c.test();
+	}
+}
diff --git a/tests/src/org/aspectj/systemtest/ajc152/Ajc152Tests.java b/tests/src/org/aspectj/systemtest/ajc152/Ajc152Tests.java
index 8344f1070..67b599c87 100644
--- a/tests/src/org/aspectj/systemtest/ajc152/Ajc152Tests.java
+++ b/tests/src/org/aspectj/systemtest/ajc152/Ajc152Tests.java
@@ -17,6 +17,10 @@ import org.aspectj.testing.XMLBasedAjcTestCase;
 
 public class Ajc152Tests extends org.aspectj.testing.XMLBasedAjcTestCase {
 	
+  public void testVerifyErrorLTW_pr135068() { runTest("ltw verifyerror");}
+  public void testVerifyErrorLTW_pr135068_2() { runTest("ltw verifyerror - 2");}
+  public void testVerifyErrorLTW_pr135068_3() { runTest("ltw verifyerror - 3");}
+  public void testVerifyErrorLTW_pr135068_4() { runTest("ltw verifyerror - 4");}
   public void testVerifyErrorForComplexCflow_pr136026() { runTest("verifyerror");}
   public void testVerifyErrorForComplexCflow_pr136026_2() { runTest("verifyerror - 2");}
   public void testAnnotationsAndGenericsBCException_pr129704() { runTest("annotations and generics leading to BCException");}
diff --git a/tests/src/org/aspectj/systemtest/ajc152/ajc152.xml b/tests/src/org/aspectj/systemtest/ajc152/ajc152.xml
index 08b008bdf..ee5ec2ded 100644
--- a/tests/src/org/aspectj/systemtest/ajc152/ajc152.xml
+++ b/tests/src/org/aspectj/systemtest/ajc152/ajc152.xml
@@ -272,4 +272,31 @@
 	    <message kind="error" line="16" text="Stystems cannot be resolved"/>
 	  </compile>
 	</ajc-test>
+	
+	<ajc-test dir="bugs152/pr135068" title="ltw verifyerror">
+	    <compile files="C.java,Ajava.java" options="-1.5 -XnoInline"/>
+	    <run class="C"/>
+    </ajc-test>
+    
+    	<ajc-test dir="bugs152/pr135068" title="ltw verifyerror - 2">
+	    <compile files="C2.java,Ajava2.java" options="-1.5 -XnoInline">
+	      <message kind="error" line="13" text="advice can not be declared static"/>
+	    </compile>
+    </ajc-test>
+    
+    	<ajc-test dir="bugs152/pr135068" title="ltw verifyerror - 3">
+	    <compile files="t/C.java" options="-1.5"/>
+        <compile files="t/Ajava.java" options="-1.5">
+          <message kind="warning" line="13" text="advice defined"/>
+        </compile>
+        <run class="t.C" ltw="aop.xml"/>
+    </ajc-test>
+    
+    	<ajc-test dir="bugs152/pr135068" title="ltw verifyerror - 4">
+	    <compile files="t/C2.java" options="-1.5"/>
+        <compile files="t/Ajava2.java" options="-1.5">
+	      <message kind="error" line="13" text="advice can not be declared static"/>
+        </compile>
+    </ajc-test>
+    
 </suite>
\ No newline at end of file