Here is the source code of every design pattern from the book Design Patterns with Contracts.
Putting it the other way round, the documentation of this software package is in this book.

This software package is released to the public domain.

It has been tested under Linux and Solaris with SmallEiffel, The GNU Eiffel Compiler Version: -0.78
Most of the examples should also work for other Eiffel Compilers.
Some ACE files are provided for ISE Eiffel.

If you have SmallEiffel correctly installed on your computer, just type: make to compile and run every example (the outputs go into a file called output.txt in each sub directory).

Please send comments, bug reports, etc. to Jean-Marc Jézéquel