Introduction to OOP: Chapter 10: Subclasses and Subtypes [next] [previous] [audio] [real] [text]

Binding in Java

All variables are polymorphic
All variables and all values know their dynamic type
Reverse polymorphism performed with a cast, and is dynamically checked.
Can test the run-time type of a value
No virtual keyword
Unique feature: data fields can also be overwritten

Intro OOP, Chapter 10, Slide 18