2015-04-20 15:36:01 -07:00
|
|
|
|
//: generics/NeedCasting.java
|
2015-05-29 14:18:51 -07:00
|
|
|
|
// <20>2015 MindView LLC: see Copyright.txt
|
2015-04-20 15:36:01 -07:00
|
|
|
|
import java.io.*;
|
|
|
|
|
|
import java.util.*;
|
|
|
|
|
|
|
|
|
|
|
|
public class NeedCasting {
|
|
|
|
|
|
@SuppressWarnings("unchecked")
|
|
|
|
|
|
public void f(String[] args) throws Exception {
|
|
|
|
|
|
ObjectInputStream in = new ObjectInputStream(
|
|
|
|
|
|
new FileInputStream(args[0]));
|
|
|
|
|
|
List<Widget> shapes = (List<Widget>)in.readObject();
|
|
|
|
|
|
}
|
|
|
|
|
|
} ///:~
|
