Description Ed Merks 2006-11-20 07:54:07 EST

I was trying to understand when the Eclipse compiler generates warnings about raw types.  In this example I think all casts to (List)/(Map)should produce a warning, but some don't...

package org.example;

import java.util.List;
import java.util.Map;

public class Warning 
{
  public static void main(String[] args)
  {
    Object object = null;
    
    List list = (List)object; // 
    
    foo((List)object);  // This should produce a raw type warning, right?
    foo((List<?>)object);
    foo((List<Object>)object); // 
    foo((List<? extends Object>)object);
    
    foo((Map)object);  // This should produce a raw type warning, right?
    foo((Map<?, ?>)object);
    foo((Map<Object, ?>)object);
    foo((Map<?, Object>)object);
    foo((Map<Object, Object>)object); // 
    foo((Map<? extends Object, Object>)object);
    foo((Map<? extends Object, ? extends Object>)object);
  }
  
  public static void foo(List<?> list)
  {
    System.out.println("###" + list);
  }

  public static void foo(Map<?, ?> map)
  {
    System.out.println("###" + map);
  }
}

I've marked this as "major" because we are trying to eliminate all warnings in the EMF code and more importantly in the generated code EMF produces so I want to be sure that the current set of warnings are complete that we don't suddenly get new ones when oversights in where to produce warnings are fixed.