From 0368e8e8bdd474318e287163b13eef049b1ea308 Mon Sep 17 00:00:00 2001 From: acolyer Date: Thu, 4 Aug 2005 14:06:09 +0000 Subject: with the new matching algorithm, these tests now pass - hurrah! --- .../generics/pointcuts/WithinCodeOverriding.aj | 23 ++++++++++++++++++++++ 1 file changed, 23 insertions(+) (limited to 'tests/java5/generics/pointcuts') diff --git a/tests/java5/generics/pointcuts/WithinCodeOverriding.aj b/tests/java5/generics/pointcuts/WithinCodeOverriding.aj index ba7160968..005de7b2c 100644 --- a/tests/java5/generics/pointcuts/WithinCodeOverriding.aj +++ b/tests/java5/generics/pointcuts/WithinCodeOverriding.aj @@ -11,6 +11,21 @@ public aspect WithinCodeOverriding { declare warning : withincode(void *.foo(Object)) : "wildcard declaring type match on erasure"; + + declare warning : withincode(void Generic.foo(Object)) + : "base declaring type match on erasure"; + + declare warning : withincode(void SubGeneric.foo(Object)) + : "not expecting any matches"; + + declare warning : withincode(void SubGeneric.foo(Number)) + : "sub type match on erasure"; + + declare warning : withincode(void SubParameterized.foo(Object)) + : "not expecting any matches"; + + declare warning : withincode(void SubParameterized.foo(String)) + : "parameterized match on erasure"; } class Generic { @@ -64,5 +79,13 @@ class ParameterizedI implements I { public void bar(Double d) { x = 1; } + + static aspect ParameterizedChecker { + + declare warning : withincode(void I.bar(Object)) : "erasure match on base interface"; + declare warning : withincode(void *.bar(Object)) : "wildcard match on erasure"; + declare warning : withincode(void ParameterizedI.bar(Double)) : "parameterized match"; + declare warning : withincode(void ParameterizedI.bar(Object)) : "no match expected"; + } } -- cgit v1.2.3