Lecture overview -- Keyboard shortcut: 'u'  Previous page: Logical expressions -- Keyboard shortcut: 'p'  Next page: An Assertion Language -- 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 7 : 32
Object-oriented Programming in C#
Contracts and Assertions
Examples of preconditions and postconditions

Preconditions and postconditions in a circular list

A circular list. The large yellow object represents the circular list as such. The circular green nodes represent the elements of the list. The rectangular nodes are instances of a class akin to LinkedListNode, which connect the constituents of the list together.

/user/normark/oop-csharp-1/sources/c-sharp/circular-list/java/CircularListPrePost.javaCircular list with preconditions and postconditions.