packages/Utils/harness/DBC.cc
//===========================================================================//
/*!
 * \brief Specialized constructor for profugus::assertion class.
 *
 * This constructor creates a ds++ exception object.  This object is
 * derived form std::runtime_error and has identical functionality.  This
 * constructor is specialized for use by utils DbC commands (Require,
 * Ensure, Check, and Insist).  It forms the error message from the test
 * condition and the file and line number of the DbC command.
 *
 * \param cond The expression that failed a DbC test.
 * \param file The source code file name that contains the DbC test.
 * \param line The source code line number that contains the DbC test.
 */
\brief Specialized constructor for profugus::assertion class.
This constructor creates a ds++ exception object.  This object is
derived form std::runtime_error and has identical functionality.  This
constructor is specialized for use by utils DbC commands (Require,
Ensure, Check, and Insist).  It forms the error message from the test
condition and the file and line number of the DbC command.

\param cond The expression that failed a DbC test.
\param file The source code file name that contains the DbC test.
\param line The source code line number that contains the DbC test.
\ brief Specialized constructor for profugus :: assertion class . This constructor creates a ds ++ exception object . This object is derived form std :: runtime_error and has identical functionality . This constructor is specialized for use by utils DbC commands ( Require Ensure Check and Insist ) . It forms the error message from the test condition and the file and line number of the DbC command . \ param cond The expression that failed a DbC test . \ param file The source code file name that contains the DbC test . \ param line The source code line number that contains the DbC test .
assertion::assertion(
        std::string const & cond,
        std::string const & file,
        int const line )
    : Base( build_message( cond, file, line ) )
{
}
assertion :: assertion ( std :: string const & cond , std :: string const & file , int const line ) : Base ( build_message ( cond , file , line ) ) { }
\brief Specialized constructor for profugus::assertion class.
\ brief Specialized constructor for profugus :: assertion class .
/* empty */