[jdt-core-dev] Re: Improving capture readable names

[Philippe P Mulet <philippe_mulet@xxxxxxxxxx>]

Rather than answering my previous note, please post a comment into:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=149573



                                                                           
             Philippe P                                                    
             Mulet/France/IBM                                              
                                                                        To 
             07/04/2006 02:14          jdt-core-dev@xxxxxxxxxxx            
             PM                                                         cc 
                                                                           
                                                                   Subject 
                                       Improving capture readable names    
                                                                           
                                                                           
                                                                           
                                                                           
                                                                           
                                                                           



Currently, the following (invalid) program is rejected, but the error
message is slightly misleading.


   import java.util.List;

   public class X {
      void foo(List<? extends Exception> l1, List<? extends Exception> l2)
   {
            l1.add(l2.get(0));
      }
   }

Compiler says:
      The method add(capture-of ? extends Exception) in the type
List<capture-of ? extends Exception> is not applicable for the arguments
(capture-of ? extends Exception)

Note that there are 2 instances of captures, which end up being not
distinguishable in the message. Along the lines of
http://blogs.sun.com/ahe?entry=diagnosing_captured_wildcards, I am
proposing to improve the rendering into something telling the capture
number.


Like one of the following:

1-The method add(capture$1-of ? extends Exception) in the type
List<capture$1-of ? extends Exception> is not applicable for the arguments
(capture$2-of ? ? extends Exception)

2-The method add(capture#1-of ? extends Exception) in the type
List<capture#1-of ? extends Exception> is not applicable for the arguments
(capture#2-of ? ? extends Exception)

3-The method add(capture-1-of ? extends Exception) in the type
List<capture-1-of ? extends Exception> is not applicable for the arguments
(capture-2-of ? ? extends Exception)

4-The method add(capture1-of ? extends Exception) in the type
List<capture1-of ? extends Exception> is not applicable for the arguments
(capture2-of ? ? extends Exception)

5-The method add(capture[1]-of ? extends Exception) in the type
List<capture[1]-of ? extends Exception> is not applicable for the arguments
(capture[2]-of ? ? extends Exception)

6-The method add(capture'1-of ? extends Exception) in the type
List<capture'1-of ? extends Exception> is not applicable for the arguments
(capture'2-of ? ? extends Exception)

7-Other?

Please indicate your preference.