expanded coverage and fix for bug involving around advice with either

assert or <name>.class in the body

the fix for now is just to not inline such advice, but in the future these
should be transformed to inlinable constructs

3 files changed, 13 insertions, 0 deletions

diff --git a/tests/bugs/interSpecials/p1/C.java b/tests/bugs/interSpecials/p1/C.java
index 472afd808..160bb847c 100644
--- a/tests/bugs/interSpecials/p1/C.java
+++ b/tests/bugs/interSpecials/p1/C.java
@@ -1,4 +1,5 @@
 package p1;
 
 public class C {
+	public void bar() {}
 }
\ No newline at end of file
diff --git a/tests/bugs/interSpecials/p2/A1.java b/tests/bugs/interSpecials/p2/A1.java
index 4a84e592d..9b75428bb 100644
--- a/tests/bugs/interSpecials/p2/A1.java
+++ b/tests/bugs/interSpecials/p2/A1.java
@@ -5,6 +5,7 @@ import p1.C;
 public class A1 {
 	public static void main(String[] args) {
 		new C().foo();
+		new C().bar();
 	}
 }
 
@@ -12,4 +13,9 @@ aspect InterClass {
 	void C.foo() {
 		System.out.println("class: " + C.class);
 	}
+	
+	void around(): execution(void C.bar()) {
+		System.out.println("class: " + C.class);
+		proceed();
+	}
 }
\ No newline at end of file
diff --git a/tests/bugs/interSpecials/p2/A2.java b/tests/bugs/interSpecials/p2/A2.java
index a29f3d5b9..003e35486 100644
--- a/tests/bugs/interSpecials/p2/A2.java
+++ b/tests/bugs/interSpecials/p2/A2.java
@@ -4,6 +4,7 @@ import p1.C;
 public class A2 {
 	public static void main(String[] args) {
 		new C().foo();
+		new C().bar();
 	}
 }
 
@@ -11,4 +12,9 @@ aspect InterClass {
 	void C.foo() {
 		assert(C.class != null);
 	}
+	
+	void around(): execution(void C.bar()) {
+		assert(C.class != null);
+		proceed();
+	}
 }