mockpp_dbc.h File Reference

Basic support for "Design By Contract". More...

Go to the source code of this file.

---

Detailed Description

Basic support for "Design By Contract".

If you want to use the DBC statements within you sources in your doxygen documentation you have to add something similar to this into your doxygen configuration file:

  PREDEFINED =  \
                DOXYGEN_SHOULD_SKIP_THIS \
                "MOCKPP_PRE(a)              = / *! \pre a                        * /" \
                "MOCKPP_PRE_MSG(a,b)       = / *! \pre a \code b \endcode       * /" \
                "MOCKPP_POST(a)             = / *! \post a                       * /" \
                "MOCKPP_POST_MSG(a,b)      = / *! \post a \code b \endcode      * /" \
                "MOCKPP_INVARIANT(a)        = / *! \invariant a                  * /" \
                "MOCKPP_INVARIANT_MSG(a,b) = / *! \invariant a \code b \endcode * /"
  

Id

mockpp_dbc.h 1491 2010-01-02 22:21:45Z ewald-arnold

Definition in file mockpp_dbc.h.