Assertions in Abstract classes

Lecture overview -- Keyboard shortcut: 'u'

Previous page: Class invariants in the triangle class hierarchy -- Keyboard shortcut: 'p'

Next page: Design by Contract [Section] -- 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 26 : 32

Assertions in Abstract classes

It is - in particular - useful to supply assertions in abstract classes

An abstract class with preconditions and postconditions.

The abstract class Stack