tests/java5/generics/itds/sharing/MethodQ.aj


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

import java.util.*;

public class MethodQ {
  public static void main(String []argv) { 
    SimpleClass<Float> sc = new SimpleClass<Float>();
    List<Integer> li = new ArrayList<Integer>();
    List<Float> lf = new ArrayList<Float>();
    sc.m(li,lf,li);
  }
}

class SimpleClass<N> {// extends Number> { 
 // This is what we are trying to mimic with our ITD
 //public <L extends Number> void m(List<L> ll1, List<N> lz,List<L> ll2) {} 
}

aspect X {
  // scary, multiple tvars, one from member, one from target
  public <L extends Number> void SimpleClass<Z>.m(List<L> ll1, List<Z> lz,List<L> ll2) {} 
}