Utility code for throwing exceptions and setting breakpoints.

Defines

#define TEUCHOS_ASSERT(assertion_test)   TEST_FOR_EXCEPT(!(assertion_test))
 This macro is throws when an assert fails.
#define TEUCHOS_ASSERT_IN_RANGE_UPPER_EXCLUSIVE(index, lower_inclusive, upper_exclusive)
 This macro asserts that an integral number fallis in the range [lower_inclusive,upper_exclusive).
#define TEUCHOS_ASSERT_EQUALITY(val1, val2)
 This macro is checks that to numbers are equal and if not then throws an exception with a good error message.
#define TEUCHOS_ASSERT_INEQUALITY(val1, comp, val2)
 This macro is checks that an inequality between two numbers is satisified and if not then throws a good exception message.
#define TEST_FOR_EXCEPTION(throw_exception_test, Exception, msg)
 Macro for throwing an exception with breakpointing to ease debugging.
#define TEST_FOR_EXCEPTION_PURE_MSG(throw_exception_test, Exception, msg)
 Macro for throwing an exception with breakpointing to ease debugging.
#define TEST_FOR_EXCEPT(throw_exception_test)   TEST_FOR_EXCEPTION(throw_exception_test,std::logic_error,"Error!")
 This macro is designed to be a short version of TEST_FOR_EXCEPTION() that is easier to call.
#define TEST_FOR_EXCEPT_MSG(throw_exception_test, msg)   TEST_FOR_EXCEPTION(throw_exception_test,std::logic_error,msg)
 This macro is designed to be a short version of TEST_FOR_EXCEPTION() that is easier to call.
#define TEST_FOR_EXCEPTION_PRINT(throw_exception_test, Exception, msg, out_ptr)
 This macro is the same as TEST_FOR_EXCEPTION() except that the exception will be caught, the message printed, and then rethrown.
#define TEST_FOR_EXCEPT_PRINT(throw_exception_test, out_ptr)   TEST_FOR_EXCEPTION_PRINT(throw_exception_test,std::logic_error,"Error!",out_ptr)
 This macro is the same as TEST_FOR_EXCEPT() except that the exception will be caught, the message printed, and then rethrown.
#define TEUCHOS_TRACE(exc)
 This macro intercepts an exception, prints a standardized message including the current filename and line number, and then throws the exception up the stack.

Functions

void TestForException_incrThrowNumber ()
 Increment the throw number.
int TestForException_getThrowNumber ()
 Increment the throw number.
void TestForException_break (const std::string &msg)
 The only purpose for this function is to set a breakpoint.

Define Documentation

#define TEUCHOS_ASSERT ( assertion_test   )     TEST_FOR_EXCEPT(!(assertion_test))

This macro is throws when an assert fails.

Note:
The std::exception thrown is std::logic_error.

Definition at line 42 of file Teuchos_Assert.hpp.

#define TEUCHOS_ASSERT_IN_RANGE_UPPER_EXCLUSIVE ( index,
lower_inclusive,
upper_exclusive   ) 
Value:
{ \
    TEST_FOR_EXCEPTION( \
      !( (lower_inclusive) <= (index) && (index) < (upper_exclusive) ), \
      std::out_of_range, \
      "Error, the index " #index " = " << (index) << " does not fall in the range" \
      "["<<(lower_inclusive)<<","<<(upper_exclusive)<<")!" ); \
  }

This macro asserts that an integral number fallis in the range [lower_inclusive,upper_exclusive).

Note:
The std::exception thrown is std::logic_error.

Definition at line 52 of file Teuchos_Assert.hpp.

#define TEUCHOS_ASSERT_EQUALITY ( val1,
val2   ) 
Value:
{ \
    TEST_FOR_EXCEPTION( \
      (val1) != (val2), std::out_of_range, \
      "Error, (" #val1 " = " << (val1) << ") != (" #val2 " = " << (val2) << ")!" ); \
  }

This macro is checks that to numbers are equal and if not then throws an exception with a good error message.

Note:
The std::exception thrown is std::logic_error.

Definition at line 69 of file Teuchos_Assert.hpp.

#define TEUCHOS_ASSERT_INEQUALITY ( val1,
comp,
val2   ) 
Value:
{ \
    TEST_FOR_EXCEPTION( \
      !( (val1) comp (val2) ), std::out_of_range, \
      "Error, (" #val1 " = " << (val1) << ") " \
      #comp " (" #val2 " = " << (val2) << ")! FAILED!" ); \
  }

This macro is checks that an inequality between two numbers is satisified and if not then throws a good exception message.

Note:
The std::exception thrown is std::logic_error.

Definition at line 84 of file Teuchos_Assert.hpp.

#define TEST_FOR_EXCEPTION ( throw_exception_test,
Exception,
msg   ) 
Value:
{ \
    const bool throw_exception = (throw_exception_test); \
    if(throw_exception) { \
      TestForException_incrThrowNumber(); \
      std::ostringstream omsg; \
      omsg \
        << __FILE__ << ":" << __LINE__ << ":\n\n" \
        << "Throw number = " << TestForException_getThrowNumber() << "\n\n" \
        << "Throw test that evaluated to true: "#throw_exception_test << "\n\n" \
        << msg; \
      const std::string &omsgstr = omsg.str(); \
      TestForException_break(omsgstr); \
      throw Exception(omsgstr); \
    } \
}

Macro for throwing an exception with breakpointing to ease debugging.

Parameters:
throw_exception_test [in] Test for when to throw the exception. This can and should be an expression that may mean something to the user. The text verbatim of this expression is included in the formed error string.
Exception [in] This should be the name of an exception class. The only requirement for this class is that it have a constructor that accepts an std::string object (as all of the standard exception classes do).
msg [in] This is any expression that can be included in an output stream operation. This is useful when buinding error messages on the fly. Note that the code in this argument only gets evaluated if throw_exception_test evaluates to true when an exception is throw.

The way that this macro is intended to be used is to call it in the source code like a function. For example, suppose that in a piece of code in the file my_source_file.cpp that the exception std::out_of_range is thrown if n > 100. To use the macro, the source code would contain (at line 225 for instance):


 TEST_FOR_EXCEPTION( n > 100, std::out_of_range
    , "Error, n = " << n << is bad" );
 

When the program runs and with n = 125 > 100 for instance, the std::out_of_range exception would be thrown with the error message:


 /home/bob/project/src/my_source_file.cpp:225: n > 100: Error, n = 125 is bad
 

In order to debug this, simply open your debugger (gdb for instance), set a break point at my_soure_file.cpp:225 and then set the condition to break for n > 100 (e.g. in gdb the command is cond break_point_number n > 100 and then run the program. The program should stop a the point in the source file right where the exception will be thrown at but before the exception is thrown. Try not to use expression for throw_exception_test that includes virtual function calls, etc. as most debuggers will not be able to check these types of conditions in order to stop at a breakpoint. For example, instead of:


 TEST_FOR_EXCEPTION( obj1->val() > obj2->val(), std::logic_error, "Oh no!" );
 

try:


 double obj1_val = obj1->val(), obj2_val = obj2->val();
 TEST_FOR_EXCEPTION( obj1_val > obj2_val, std::logic_error, "Oh no!" );
 

If the developer goes to the line in the source file that is contained in the error message of the exception thrown, he/she will see the underlying condition.

As an alternative, you can set a breakpoint for any exception thrown by setting a breakpoint in the function ThrowException_break().

Definition at line 115 of file Teuchos_TestForException.hpp.

#define TEST_FOR_EXCEPTION_PURE_MSG ( throw_exception_test,
Exception,
msg   ) 
Value:
{ \
    const bool throw_exception = (throw_exception_test); \
    if(throw_exception) { \
      TestForException_incrThrowNumber(); \
      std::ostringstream omsg; \
      omsg << msg; \
      omsg << "\n\nThrow number = " << TestForException_getThrowNumber() << "\n\n"; \
      const std::string &omsgstr = omsg.str(); \
      TestForException_break(omsgstr); \
      throw Exception(omsgstr); \
    } \
}

Macro for throwing an exception with breakpointing to ease debugging.

This macro is equivalent to the TEST_FOR_EXCEPTION() macro except the file name, line number, and test condition are not printed.

Definition at line 137 of file Teuchos_TestForException.hpp.

#define TEST_FOR_EXCEPT ( throw_exception_test   )     TEST_FOR_EXCEPTION(throw_exception_test,std::logic_error,"Error!")

This macro is designed to be a short version of TEST_FOR_EXCEPTION() that is easier to call.

Parameters:
throw_exception_test [in] Test for when to throw the exception. This can and should be an expression that may mean something to the user. The text verbatim of this expression is included in the formed error string.
Note:
The exception thrown is std::logic_error.

Definition at line 161 of file Teuchos_TestForException.hpp.

#define TEST_FOR_EXCEPT_MSG ( throw_exception_test,
msg   )     TEST_FOR_EXCEPTION(throw_exception_test,std::logic_error,msg)

This macro is designed to be a short version of TEST_FOR_EXCEPTION() that is easier to call.

Parameters:
throw_exception_test [in] Test for when to throw the exception. This can and should be an expression that may mean something to the user. The text verbatim of this expression is included in the formed error string.
msg [in] The error message.
Note:
The exception thrown is std::logic_error.

Definition at line 176 of file Teuchos_TestForException.hpp.

#define TEST_FOR_EXCEPTION_PRINT ( throw_exception_test,
Exception,
msg,
out_ptr   ) 
Value:
try { \
  TEST_FOR_EXCEPTION(throw_exception_test,Exception,msg); \
} \
catch(const std::exception &except) { \
  std::ostream *l_out_ptr = (out_ptr); \
  if(l_out_ptr) { \
    *l_out_ptr \
      << "\nThorwing an std::exception of type \'"<<Teuchos::typeName(except)<<"\' with the error message: " \
      << except.what(); \
  } \
  throw; \
}

This macro is the same as TEST_FOR_EXCEPTION() except that the exception will be caught, the message printed, and then rethrown.

Parameters:
throw_exception_test [in] See TEST_FOR_EXCEPTION().
Exception [in] See TEST_FOR_EXCEPTION().
msg [in] See TEST_FOR_EXCEPTION().
out_ptr [in] If out_ptr!=NULL then *out_ptr will receive a printout of a line of output that gives the exception type and the error message that is generated.

Definition at line 192 of file Teuchos_TestForException.hpp.

#define TEST_FOR_EXCEPT_PRINT ( throw_exception_test,
out_ptr   )     TEST_FOR_EXCEPTION_PRINT(throw_exception_test,std::logic_error,"Error!",out_ptr)

This macro is the same as TEST_FOR_EXCEPT() except that the exception will be caught, the message printed, and then rethrown.

Parameters:
throw_exception_test [in] See TEST_FOR_EXCEPT().
out_ptr [in] If out_ptr!=NULL then *out_ptr will receive a printout of a line of output that gives the exception type and the error message that is generated.

Definition at line 215 of file Teuchos_TestForException.hpp.

#define TEUCHOS_TRACE ( exc   ) 
Value:
{ \
  std::ostringstream omsg; \
  omsg << exc.what() << std::endl \
       << "caught in " << __FILE__ << ":" << __LINE__ << std::endl ; \
  throw std::runtime_error(omsg.str()); \
}

This macro intercepts an exception, prints a standardized message including the current filename and line number, and then throws the exception up the stack.

Parameters:
exc [in] the exception that has been caught

Definition at line 224 of file Teuchos_TestForException.hpp.


Function Documentation

void TestForException_incrThrowNumber (  ) 

Increment the throw number.

Definition at line 35 of file Teuchos_TestForException.cpp.

int TestForException_getThrowNumber (  ) 

Increment the throw number.

Definition at line 41 of file Teuchos_TestForException.cpp.

void TestForException_break ( const std::string &  msg  ) 

The only purpose for this function is to set a breakpoint.

Definition at line 47 of file Teuchos_TestForException.cpp.

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines

Generated on Tue Oct 20 10:23:12 2009 for Teuchos Package Browser (Single Doxygen Collection) by  doxygen 1.6.1