|
|
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.
|