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