initial version

1 files changed, 39 insertions, 0 deletions

diff --git a/tests/errors/AspectInheritance2.java b/tests/errors/AspectInheritance2.java
new file mode 100644
index 000000000..eb443ff2d
--- /dev/null
+++ b/tests/errors/AspectInheritance2.java
@@ -0,0 +1,39 @@
+public class AspectInheritance2 {
+    public static void main(String[] args) {
+    }
+}
+
+
+abstract aspect Base {
+    abstract pointcut targets(int i, C c);
+
+    after(int i, C c): targets(i, c) {
+	//
+    }
+}
+
+aspect FullConcrete extends Base {
+    pointcut targets(int i, SubC subc):      //ERROR param types must match exactly
+        call(void SubC.m(double)) && target(subc) && args(i);
+}
+
+aspect ForgetfulConcrete extends Base { //ERROR must concretize abstracts
+}
+
+aspect ExplictAbstractConcrete extends Base {
+    pointcut targets(int i, C c);
+
+    abstract pointcut newTargets();  //ERROR no abstracts allowed in concrete
+}
+
+aspect PrivateConcrete extends Base {
+    private pointcut targets(int i, C c):  //ERROR can't reduce visibility of decs
+        call(void C.m(int)) && target(c) && args(i);
+}
+
+
+class C {
+    public void m(int i) { }
+}
+
+class SubC extends C {}