Classes: Inheritance (cont.)
Can override method, attribute definitions in a subclass
- Type of redefined attribute must be subtype of inherited attribute’s type
- All types in a redefined method signature must be subtypes of corresponding types in inherited method
- Which fire_emp method is invoked on a nextDept?
- Unknown until run-time: late binding
for (nextDept in Departments)