Mapper

High-level Design

Programming

Programming by Contract

All functions (including member functions) are defined abstractly. Wherever practical, this is in terms of preconditions, postconditions and invariants that can be checked using the C assert macro.

This style is also known as programming by contract.

Detailed Design

The detailed design is documented using comments in the header files, and where necessary in other source-code files, which can be processed using Doxygen to generate formatted detailed design documentation.

This documentation is still being written, and is therefore incomplete.
$Revision: 6.3 $ $Date: 2002/07/06 15:38:34 $