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 and notes together  slide -- Keyboard shortcut: 't'  Textbook -- Keyboard shortcut: 'v'  Help page about these notes  Alphabetic index  Course home  Page 21 : 32
Object-oriented Programming in C#
Contracts and Assertions
An example of a class invariant

The class invariant of a circular lists expresses that the list is circular whenever it is non-empty

/user/normark/oop-csharp-1/sources/c-sharp/circular-list/java/CircularListInvariant.javaCircular list with a class invariant.