Description Markus Keller 2004-12-16 06:04:04 EST

This bug is meant to foster a discussion about the meaning of matchRules
R_ERASURE_MATCH and R_EQUIVALENT_MATCH when searching for generic methods.

I currently see three cases that need to be defined:

(1) Search for references to parameterized methods:
Declaration: <T> void foo(T t);
References: foo("Eclipse"), foo(new Integer(1))

(2) Search for references to method in parameterized type, where signature
contains the type's type parameter:
Declaration: interface List<E> ... { ... boolean add(E o); ... }
References:
- new ArrayList<String>.add("Eclipse")
- new ArrayList.add("Eclipse")
- new ArrayList.add(new Object())
- class StringList extends ArrayList<String> {
      public boolean add(String s) {..}
  }
  ... and client: new StringList.add("Eclipse");

(3) Search for references to method with generic parameter type:
Declarations: foo(List l), foo(List<String> l)
References: foo(new ArrayList<String>()), foo(new ArrayList())