Assertion.hpp

Go to the documentation of this file.

/*
 * DUNE DAQ modification notice:
 * This file has been modified from the original ATLAS ers source for the DUNE DAQ project.
 * Fork baseline commit: 8267df82a4f6fe6bf02c4014923eba19eddc4614 (2020-04-14).
 * Renamed since fork: yes (from ers/Assertion.h to include/ers/Assertion.hpp).
 *
 * Original copyright:
 * Copyright (C) 2001-2020 CERN for the benefit of the ATLAS collaboration.
 * Licensed under the Apache License, Version 2.0.
 */
 
/*
 *  Assertion.h
 *  ers
 *
 *  Created by Matthias Wiesmann on 26.11.04.
 *  Modified by Serguei Kolos on 02.08.05.
 *  Copyright 2004 CERN. All rights reserved.
 *
 */

 
#ifndef ERS_ASSERTION_H
#define ERS_ASSERTION_H
 
#include <ers/Issue.hpp>
#include <ers/Severity.hpp>
#include <ers/StreamManager.hpp>

 
ERS_DECLARE_ISSUE(ers,
                  Assertion,
                  "Assertion (" << condition << ") failed because " << reason,
                  ((const char*)condition)((const char*)reason))
#ifdef __rtems__
#include <assert.h>
#define ERS_INTERNAL_ABORT(m) __assert_func(__FILE__, __LINE__, __ASSERT_FUNC, m)
#else
#define ERS_INTERNAL_ABORT(_) ::abort()
#endif

#define ERS_ASSERT_MSG(expression, message)                                                                            \
  {                                                                                                                    \
    if (!(expression)) {                                                                                               \
      std::ostringstream ers_report_impl_out_buffer;                                                                   \
      ers_report_impl_out_buffer << BOOST_PP_IF(ERS_IS_EMPTY(message), "of unknown reason", message);                  \
      std::string reason = ers_report_impl_out_buffer.str();                                                           \
      ers::Assertion __issue__(ERS_HERE, #expression, reason.c_str());                                                 \
      ers::StreamManager::instance().report_issue(ers::Fatal, __issue__);                                              \
      ERS_INTERNAL_ABORT(#expression);                                                                                 \
    }                                                                                                                  \
  }

#define ERS_ASSERT(expression) ERS_ASSERT_MSG(expression, "of bad internal state")

#define ERS_PRECONDITION(expression) ERS_ASSERT_MSG(expression, "of bad external parameter")

#define ERS_RANGE_CHECK(min, val, max)                                                                                 \
  ERS_ASSERT_MSG((min) <= (val) && (val) <= (max), val << " is not in [" << min << "," << max << "] range")

#define ERS_STRICT_RANGE_CHECK(min, val, max)                                                                          \
  ERS_ASSERT_MSG((min) < (val) && (val) < (max), val << " is not in (" << min << "," << max << ") range")
 
#endif