Inheritance and Contracts

Lecture overview -- Keyboard shortcut: 'u'

Previous page: Inheritance is Subcontracting [Section] -- Keyboard shortcut: 'p'

Next page: Subcontracting -- Keyboard shortcut: 'n'

Lecture notes - all slides together

Annotated slide -- Keyboard shortcut: 't'

Textbook -- Keyboard shortcut: 'v'

Alphabetic index

Help page about these notes

Contracts and Assertions - slide 23 : 32

Inheritance and Contracts

How do the assertions in a subclass relate to the similar assertions in the superclass?