2015-04-20 15:36:01 -07:00
|
|
|
|
//: typeinfo/ClassCasts.java
|
2015-05-29 14:18:51 -07:00
|
|
|
|
// <20>2015 MindView LLC: see Copyright.txt
|
2015-04-20 15:36:01 -07:00
|
|
|
|
|
|
|
|
|
class Building {}
|
|
|
|
|
class House extends Building {}
|
|
|
|
|
|
|
|
|
|
public class ClassCasts {
|
|
|
|
|
public static void main(String[] args) {
|
|
|
|
|
Building b = new House();
|
|
|
|
|
Class<House> houseType = House.class;
|
|
|
|
|
House h = houseType.cast(b);
|
|
|
|
|
h = (House)b; // ... or just do this.
|
|
|
|
|
}
|
|
|
|
|
} ///:~
|