From 311d26eeec387fc6365734d4d9991bb99f962325 Mon Sep 17 00:00:00 2001 From: aclement Date: Mon, 8 Aug 2005 15:18:46 +0000 Subject: genericitds: reusing similar specifications for type variables in the same aspect 'Comparable'. If our logic isnt working correctly, it reports a problem with calls to the second ITD thinking it is specified as '

>' --- tests/java5/generics/itds/ReusingLetters.aj | 30 +++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 tests/java5/generics/itds/ReusingLetters.aj (limited to 'tests/java5') diff --git a/tests/java5/generics/itds/ReusingLetters.aj b/tests/java5/generics/itds/ReusingLetters.aj new file mode 100644 index 000000000..9dda34f04 --- /dev/null +++ b/tests/java5/generics/itds/ReusingLetters.aj @@ -0,0 +1,30 @@ +import java.util.*; + +class Victim {} + +public class ReusingLetters { + public static void main(String []argv) { + Victim v = new Victim(); + + List as = new ArrayList(); + v.b(as); + v.c(as); + + + } + +} + +class A implements Comparable { + public int compareTo(A a) { return 0; } +} + +aspect X { + + public > + void Victim.b(List l) {} + + public

> + void Victim.c(List

col) {}; + +} -- cgit v1.2.3