This lesson is for subscribers
You've completed the free preview. Subscribe to unlock every lesson in every course.
Subtypes must honor the behavioral contract of their base types, including preconditions, postconditions, and invariants.
You've completed the free preview. Subscribe to unlock every lesson in every course.