previous |
start |
next
Postconditions, Visibility, Exceptions
- Postcondition of redefined method at least as
strong
- Example: Employee.setSalary promises not to
decrease salary
- Then Manager.setSalary must fulfill
postcondition
- Redefined method cannot be more private.
(Common error: omit public when redefining)
- Redefined method cannot throw more checked exceptions
previous |
start |
next