custom_assert.hpp

Go to the documentation of this file.

// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use these files except in compliance with the License.
// You may obtain a copy of the License at
//
//    http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

// Copyright 2012 - Gonzalo Iglesias, Adrià de Gispert, William Byrne

#ifndef CUSTOM_ASSERT
#define CUSTOM_ASSERT

#include <fstream>
#include <iostream>

#ifndef OSR
#include "backtrace.hpp"
#endif

#define USER_CHECK_CONTINUE(exp,comment) (bool)( (exp) || (check (#exp,#comment, __FILE__, __PRETTY_FUNCTION__,__LINE__,false), 0) )

#ifdef USER_CHECK_DEBUG
extern bool user_check_ok;
#define USER_CHECK(exp,comment) (bool)( (exp) || (check (#exp,#comment, __FILE__, __PRETTY_FUNCTION__,__LINE__,false), 0) )
#else
#define USER_CHECK(exp,comment) (bool)( (exp) || (check (#exp,#comment, __FILE__, __PRETTY_FUNCTION__,__LINE__,true), 0) )
#endif

inline bool check ( const char * expression, const char * message,
                    const char *filename, const char *function, uint line , bool abort = true) {
  std::cerr << "==========================================================" <<
            std::endl;
  std::cerr << "User check failure at " << filename << ",function=" << function <<
            ",line=" <<  line << std::endl;
  std::cerr << "Reason: " << message << std::endl;
  std::cerr << "Test: " <<  expression  << std::endl;
#ifndef OSR
  displayBacktrace();
#endif
  if (abort) {
    std::cerr << "Aborting!" << std::endl;
    std::cerr << "==========================================================" <<
              std::endl;
    exit ( EXIT_FAILURE );
  }
  std::cerr << "==========================================================" <<
            std::endl;
#ifdef USER_CHECK_DEBUG
  return user_check_ok = false; //we can now get rid of this
#endif
  return false;
};

#endif