Lecture overview -- Keyboard shortcut: 'u'  Previous page: Everyday invariants -- Keyboard shortcut: 'p'  Next page: Inheritance is Subcontracting [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  Course home    Contracts and Assertions - slide 21 : 32

An example of a class invariant
The class invariant of a circular lists expresses that the list is circular whenever it is non-empty
CircularListInvariant.java
Circular list with a class invariant.