Teuchos - Trilinos Tools Package Version of the Day
Teuchos_Assert.hpp
00001 // @HEADER
00002 // ***********************************************************************
00003 //
00004 //                    Teuchos: Common Tools Package
00005 //                 Copyright (2004) Sandia Corporation
00006 //
00007 // Under terms of Contract DE-AC04-94AL85000, there is a non-exclusive
00008 // license for use of this work by or on behalf of the U.S. Government.
00009 //
00010 // Redistribution and use in source and binary forms, with or without
00011 // modification, are permitted provided that the following conditions are
00012 // met:
00013 //
00014 // 1. Redistributions of source code must retain the above copyright
00015 // notice, this list of conditions and the following disclaimer.
00016 //
00017 // 2. Redistributions in binary form must reproduce the above copyright
00018 // notice, this list of conditions and the following disclaimer in the
00019 // documentation and/or other materials provided with the distribution.
00020 //
00021 // 3. Neither the name of the Corporation nor the names of the
00022 // contributors may be used to endorse or promote products derived from
00023 // this software without specific prior written permission.
00024 //
00025 // THIS SOFTWARE IS PROVIDED BY SANDIA CORPORATION "AS IS" AND ANY
00026 // EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
00027 // IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
00028 // PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL SANDIA CORPORATION OR THE
00029 // CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
00030 // EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
00031 // PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
00032 // PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
00033 // LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
00034 // NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
00035 // SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
00036 //
00037 // Questions? Contact Michael A. Heroux (maherou@sandia.gov)
00038 //
00039 // ***********************************************************************
00040 // @HEADER
00041 
00042 #ifndef TEUCHOS_ASSERT_HPP
00043 #define TEUCHOS_ASSERT_HPP
00044 
00045 
00046 #include "Teuchos_TestForException.hpp"
00047 
00048 
00055 #define TEUCHOS_ASSERT(assertion_test) TEUCHOS_TEST_FOR_EXCEPT(!(assertion_test))
00056 
00057 
00072 #define TEUCHOS_ASSERT_IN_RANGE_UPPER_EXCLUSIVE( index, lower_inclusive, upper_exclusive ) \
00073   { \
00074     TEUCHOS_TEST_FOR_EXCEPTION( \
00075       !( (lower_inclusive) <= (index) && (index) < (upper_exclusive) ), \
00076       std::out_of_range, \
00077       "Error, the index " #index " = " << (index) << " does not fall in the range" \
00078       "["<<(lower_inclusive)<<","<<(upper_exclusive)<<")!" ); \
00079   }
00080 
00081 
00095 #define TEUCHOS_ASSERT_EQUALITY( val1, val2 ) \
00096   { \
00097     TEUCHOS_TEST_FOR_EXCEPTION( \
00098       (val1) != (val2), std::out_of_range, \
00099       "Error, (" #val1 " = " << (val1) << ") != (" #val2 " = " << (val2) << ")!" ); \
00100   }
00101 
00102 
00116 #define TEUCHOS_ASSERT_INEQUALITY( val1, comp, val2 ) \
00117   { \
00118     TEUCHOS_TEST_FOR_EXCEPTION( \
00119       !( (val1) comp (val2) ), std::out_of_range, \
00120       "Error, (" #val1 " = " << (val1) << ") " \
00121       #comp " (" #val2 " = " << (val2) << ")! FAILED!" ); \
00122   }
00123 
00124 
00125 #endif // TEUCHOS_ASSERT_HPP
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines