error_handler.h

Go to the documentation of this file.

 
/******************************************************************************
The MIT License(MIT)
 
Embedded Template Library.
https://github.com/ETLCPP/etl
https://www.etlcpp.com
 
Copyright(c) 2014 John Wellbelove
 
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files(the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and / or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions :
 
The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software.
 
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.
******************************************************************************/
 
#ifndef ETL_ERROR_HANDLER_INCLUDED
#define ETL_ERROR_HANDLER_INCLUDED

 
#include "platform.h"
#include "exception.h"
#include "function.h"
#include "nullptr.h"
 
#include <assert.h>
 
#if defined(ETL_LOG_ERRORS) || defined(ETL_IN_UNIT_TEST)
namespace etl
{
  //***************************************************************************
  //***************************************************************************
  class error_handler
  {
  public:
 
    //*************************************************************************
    //*************************************************************************
    struct free_function : public etl::function<void, const etl::exception&>
    {
      explicit free_function(void (*p_function_)(const etl::exception&))
        : etl::function<void, const etl::exception&>(p_function_)
      {
      }
    };
 
    //*************************************************************************
    //*************************************************************************
    template <typename TObject>
    struct member_function : public etl::function<TObject, const etl::exception&>
    {
      member_function(TObject& object_, void (TObject::*p_function_)(const etl::exception&))
        : etl::function<TObject, const etl::exception&>(object_, p_function_)
      {
      }
    };
 
    //*****************************************************************************
    //*****************************************************************************
    static void set_callback(ifunction<const etl::exception&>& f)
    {
      create((void*)(&f), ifunction_stub);
    }
 
    //*************************************************************************
    //*************************************************************************
    template <void (*Method)(const etl::exception&)>
    static void set_callback()
    {
      create(ETL_NULLPTR, function_stub<Method>);
    }
 
    //*************************************************************************
    //*************************************************************************
    template <typename T, void (T::*Method)(const etl::exception&)>
    static void set_callback(T& instance)
    {
      create((void*)(&instance), method_stub<T, Method>);
    }
 
    //*************************************************************************
    //*************************************************************************
    template <typename T, void (T::*Method)(const etl::exception&) const>
    static void set_callback(const T& instance)
    {
      create((void*)(&instance), const_method_stub<T, Method>);
    }
 
    //*************************************************************************
    //*************************************************************************
    template <typename T, T& Instance, void (T::*Method)(const etl::exception&)>
    static void set_callback()
    {
      create(method_instance_stub<T, Instance, Method>);
    }
 
    //*************************************************************************
    //*************************************************************************
    template <typename T, T const& Instance, void (T::*Method)(const etl::exception&) const>
    static void set_callback()
    {
      create(const_method_instance_stub<T, Instance, Method>);
    }
 
    //*****************************************************************************
    //*****************************************************************************
    static void error(const etl::exception& e)
    {
      invocation_element& invocation = get_invocation_element();
 
      if (invocation.stub != ETL_NULLPTR)
      {
        (*invocation.stub)(invocation.object, e);
      }
    }
 
  private:
 
    typedef void (*stub_type)(void* object, const etl::exception&);
 
    //*************************************************************************
    //*************************************************************************
    struct invocation_element
    {
      //***********************************************************************
      invocation_element()
        : object(ETL_NULLPTR)
        , stub(ETL_NULLPTR)
      {
      }
 
      //***********************************************************************
      void*     object;
      stub_type stub;
    };
 
    //*************************************************************************
    //*************************************************************************
    static invocation_element& get_invocation_element()
    {
      static invocation_element invocation;
 
      return invocation;
    }
 
    //*************************************************************************
    //*************************************************************************
    static void create(void* object, stub_type stub)
    {
      invocation_element& invocation = get_invocation_element();
 
      invocation.object = object;
      invocation.stub   = stub;
    }
 
    //*************************************************************************
    //*************************************************************************
    static void create(stub_type stub)
    {
      invocation_element& invocation = get_invocation_element();
 
      invocation.object = ETL_NULLPTR;
      invocation.stub   = stub;
    }
 
    //*************************************************************************
    //*************************************************************************
    template <typename T, void (T::*Method)(const etl::exception&)>
    static void method_stub(void* object, const etl::exception& e)
    {
      T* p = static_cast<T*>(object);
      return (p->*Method)(e);
    }
 
    //*************************************************************************
    //*************************************************************************
    template <typename T, void (T::*Method)(const etl::exception&) const>
    static void const_method_stub(void* object, const etl::exception& e)
    {
      T* const p = static_cast<T*>(object);
      return (p->*Method)(e);
    }
 
    //*************************************************************************
    //*************************************************************************
    template <typename T, T& Instance, void (T::*Method)(const etl::exception&)>
    static void method_instance_stub(void*, const etl::exception& e)
    {
      return (Instance.*Method)(e);
    }
 
    //*************************************************************************
    //*************************************************************************
    template <typename T, const T& Instance, void (T::*Method)(const etl::exception&) const>
    static void const_method_instance_stub(void*, const etl::exception& e)
    {
      (Instance.*Method)(e);
    }
 
    //*************************************************************************
    //*************************************************************************
    template <void (*Method)(const etl::exception&)>
    static void function_stub(void*, const etl::exception& e)
    {
      (Method)(e);
    }
 
    //*************************************************************************
    //*************************************************************************
    static void ifunction_stub(void* object, const etl::exception& e)
    {
      etl::ifunction<const etl::exception&>* p = static_cast<etl::ifunction<const etl::exception&>*>(object);
      p->operator()(e);
    }
  };
} // namespace etl
#elif defined(ETL_USE_ASSERT_FUNCTION)
namespace etl
{
  namespace private_error_handler
  {
    typedef void (*assert_function_ptr_t)(const etl::exception&);
 
    // Stores the assert function pointer and default assert function.
    template <size_t Index>
    struct assert_handler
    {
      static assert_function_ptr_t assert_function_ptr;
 
      static void default_assert(const etl::exception&)
      {
        assert(false);
      }
    };
 
    template <size_t Index>
    assert_function_ptr_t assert_handler<Index>::assert_function_ptr = assert_handler<Index>::default_assert;
  } // namespace private_error_handler
 
  //***************************************************************************
  //***************************************************************************
  inline void set_assert_function(etl::private_error_handler::assert_function_ptr_t afptr)
  {
    etl::private_error_handler::assert_handler<0>::assert_function_ptr = afptr;
  }
} // namespace etl
#endif
 
//***************************************************************************
//***************************************************************************
#if defined(ETL_NO_CHECKS)
  #define ETL_ASSERT(b, e)                    static_cast<void>(sizeof(b)) // Does nothing.
  #define ETL_ASSERT_OR_RETURN(b, e)          static_cast<void>(sizeof(b)) // Does nothing.
  #define ETL_ASSERT_OR_RETURN_VALUE(b, e, v) static_cast<void>(sizeof(b)) // Does nothing.
 
  #define ETL_ASSERT_FAIL(e)                     ETL_DO_NOTHING // Does nothing.
  #define ETL_ASSERT_FAIL_AND_RETURN(e)          ETL_DO_NOTHING // Does nothing.
  #define ETL_ASSERT_FAIL_AND_RETURN_VALUE(e, v) ETL_DO_NOTHING // Does nothing.
#elif defined(ETL_USE_ASSERT_FUNCTION)
  #define ETL_ASSERT(b, e)                                                       \
    do {                                                                         \
      if (!(b)) ETL_UNLIKELY                                                     \
      {                                                                          \
        etl::private_error_handler::assert_handler<0>::assert_function_ptr((e)); \
      }                                                                          \
    } while (false) // If the condition fails, calls the assert function
  #define ETL_ASSERT_OR_RETURN(b, e)                                             \
    do {                                                                         \
      if (!(b)) ETL_UNLIKELY                                                     \
      {                                                                          \
        etl::private_error_handler::assert_handler<0>::assert_function_ptr((e)); \
        return;                                                                  \
      }                                                                          \
    } while (false) // If the condition fails, calls the assert function and return
  #define ETL_ASSERT_OR_RETURN_VALUE(b, e, v)                                    \
    do {                                                                         \
      if (!(b)) ETL_UNLIKELY                                                     \
      {                                                                          \
        etl::private_error_handler::assert_handler<0>::assert_function_ptr((e)); \
        return (v);                                                              \
      }                                                                          \
    } while (false) // If the condition fails, calls the assert function and
                    // return a value
 
  #define ETL_ASSERT_FAIL(e)                                                   \
    do {                                                                       \
      etl::private_error_handler::assert_handler<0>::assert_function_ptr((e)); \
    } while (false) // Calls the assert function
  #define ETL_ASSERT_FAIL_AND_RETURN(e)                                        \
    do {                                                                       \
      etl::private_error_handler::assert_handler<0>::assert_function_ptr((e)); \
      return;                                                                  \
    } while (false) // Calls the assert function and return
  #define ETL_ASSERT_FAIL_AND_RETURN_VALUE(e, v)                               \
    do {                                                                       \
      etl::private_error_handler::assert_handler<0>::assert_function_ptr((e)); \
      return (v);                                                              \
    } while (false) // Calls the assert function and return a value
#elif ETL_USING_EXCEPTIONS
  #if defined(ETL_LOG_ERRORS)
    #define ETL_ASSERT(b, e)              \
      do {                                \
        if (!(b)) ETL_UNLIKELY            \
        {                                 \
          etl::error_handler::error((e)); \
          throw((e));                     \
        }                                 \
      } while (false) // If the condition fails, calls the error handler then
                      // throws an exception.
    #define ETL_ASSERT_OR_RETURN(b, e)    \
      do {                                \
        if (!(b)) ETL_UNLIKELY            \
        {                                 \
          etl::error_handler::error((e)); \
          throw((e));                     \
          return;                         \
        }                                 \
      } while (false) // If the condition fails, calls the error handler then
                      // throws an exception.
    #define ETL_ASSERT_OR_RETURN_VALUE(b, e, v) \
      do {                                      \
        if (!(b)) ETL_UNLIKELY                  \
        {                                       \
          etl::error_handler::error((e));       \
          throw((e));                           \
          return (v);                           \
        }                                       \
      } while (false) // If the condition fails, calls the error handler then
                      // throws an exception.
 
    #define ETL_ASSERT_FAIL(e)          \
      do {                              \
        etl::error_handler::error((e)); \
        throw((e));                     \
      } while (false) // Calls the error handler then throws an exception.
    #define ETL_ASSERT_FAIL_AND_RETURN(e) \
      do {                                \
        etl::error_handler::error((e));   \
        throw((e));                       \
        return;                           \
      } while (false) // Calls the error handler then throws an exception.
    #define ETL_ASSERT_FAIL_AND_RETURN_VALUE(e, v) \
      do {                                         \
        etl::error_handler::error((e));            \
        throw((e));                                \
        return (v);                                \
      } while (false) // Calls the error handler then throws an exception.
  #else
    #define ETL_ASSERT(b, e)   \
      do {                     \
        if (!(b)) ETL_UNLIKELY \
        {                      \
          throw((e));          \
        }                      \
      } while (false) // If the condition fails, throws an exception.
    #define ETL_ASSERT_OR_RETURN(b, e) \
      do {                             \
        if (!(b)) ETL_UNLIKELY         \
        {                              \
          throw((e));                  \
        }                              \
      } while (false) // If the condition fails, throws an exception.
    #define ETL_ASSERT_OR_RETURN_VALUE(b, e, v) \
      do {                                      \
        if (!(b)) ETL_UNLIKELY                  \
        {                                       \
          throw((e));                           \
        }                                       \
      } while (false) // If the condition fails, throws an exception.
 
    #define ETL_ASSERT_FAIL(e) \
      do {                     \
        throw((e));            \
      } while (false) // Throws an exception.
    #define ETL_ASSERT_FAIL_AND_RETURN(e) \
      do {                                \
        throw((e));                       \
      } while (false) // Throws an exception.
    #define ETL_ASSERT_FAIL_AND_RETURN_VALUE(e, v) \
      do {                                         \
        throw((e));                                \
      } while (false) // Throws an exception.
  #endif
#else
  #if defined(ETL_LOG_ERRORS)
    #define ETL_ASSERT(b, e)              \
      do {                                \
        if (!(b)) ETL_UNLIKELY            \
        {                                 \
          etl::error_handler::error((e)); \
        }                                 \
      } while (false) // If the condition fails, calls the error handler
    #define ETL_ASSERT_OR_RETURN(b, e)    \
      do {                                \
        if (!(b)) ETL_UNLIKELY            \
        {                                 \
          etl::error_handler::error((e)); \
          return;                         \
        }                                 \
      } while (false) // If the condition fails, calls the error handler and return
    #define ETL_ASSERT_OR_RETURN_VALUE(b, e, v) \
      do {                                      \
        if (!(b)) ETL_UNLIKELY                  \
        {                                       \
          etl::error_handler::error((e));       \
          return (v);                           \
        }                                       \
      } while (false) // If the condition fails, calls the error handler and
                      // return a value
 
    #define ETL_ASSERT_FAIL(e)          \
      do {                              \
        etl::error_handler::error((e)); \
      } while (false) // Calls the error handler
    #define ETL_ASSERT_FAIL_AND_RETURN(e) \
      do {                                \
        etl::error_handler::error((e));   \
        return;                           \
      } while (false) // Calls the error handler and return
    #define ETL_ASSERT_FAIL_AND_RETURN_VALUE(e, v) \
      do {                                         \
        etl::error_handler::error((e));            \
        return (v);                                \
      } while (false) // Calls the error handler and return a value
  #else
    #if ETL_IS_DEBUG_BUILD
      #define ETL_ASSERT(b, e) assert((b)) // If the condition fails, asserts.
      #define ETL_ASSERT_OR_RETURN(b, e) \
        do {                             \
          if (!(b)) ETL_UNLIKELY         \
          {                              \
            assert(false);               \
            return;                      \
          }                              \
        } while (false) // If the condition fails, asserts and return.
      #define ETL_ASSERT_OR_RETURN_VALUE(b, e, v) \
        do {                                      \
          if (!(b)) ETL_UNLIKELY                  \
          {                                       \
            assert(false);                        \
            return (v);                           \
          }                                       \
        } while (false) // If the condition fails, asserts and return a value.
 
      #define ETL_ASSERT_FAIL(e) assert(false) // Asserts.
      #define ETL_ASSERT_FAIL_AND_RETURN(e) \
        do {                                \
          assert(false);                    \
          return;                           \
        } while (false) // Asserts.
      #define ETL_ASSERT_FAIL_AND_RETURN_VALUE(e, v) \
        do {                                         \
          assert(false);                             \
          return (v);                                \
        } while (false) // Asserts.
    #else
      #define ETL_ASSERT(b, e) static_cast<void>(sizeof(b)) // Does nothing.
      #define ETL_ASSERT_OR_RETURN(b, e) \
        do {                             \
          if (!(b)) ETL_UNLIKELY         \
            return;                      \
        } while (false) // Returns.
      #define ETL_ASSERT_OR_RETURN_VALUE(b, e, v) \
        do {                                      \
          if (!(b)) ETL_UNLIKELY                  \
            return (v);                           \
        } while (false) // Returns a value.
 
      #define ETL_ASSERT_FAIL(e) ETL_DO_NOTHING // Does nothing.
      #define ETL_ASSERT_FAIL_AND_RETURN(e) \
        do {                                \
          return;                           \
        } while (false) // Returns.
      #define ETL_ASSERT_FAIL_AND_RETURN_VALUE(e, v) \
        do {                                         \
          return (v);                                \
        } while (false) // Returns a value.
    #endif
  #endif
#endif
 
//*************************************
#if defined(ETL_CHECK_PUSH_POP)
  #define ETL_ASSERT_CHECK_PUSH_POP(b, e)           ETL_ASSERT(b, e)
  #define ETL_ASSERT_CHECK_PUSH_POP_OR_RETURN(b, e) ETL_ASSERT_OR_RETURN(b, e)
#else
  #define ETL_ASSERT_CHECK_PUSH_POP(b, e)
  #define ETL_ASSERT_CHECK_PUSH_POP_OR_RETURN(b, e)
#endif
 
//*************************************
#ifdef ETL_CHECK_INDEX_OPERATOR
  #define ETL_CHECKING_INDEX_OPERATOR           1
  #define ETL_NOT_CHECKING_INDEX_OPERATOR       0
  #define ETL_ASSERT_CHECK_INDEX_OPERATOR(b, e) ETL_ASSERT(b, e)
#else
  #define ETL_CHECKING_INDEX_OPERATOR     0
  #define ETL_NOT_CHECKING_INDEX_OPERATOR 1
  #define ETL_ASSERT_CHECK_INDEX_OPERATOR(b, e)
#endif
 
//*************************************
#ifdef ETL_CHECK_EXTRA
  #define ETL_CHECKING_EXTRA           1
  #define ETL_NOT_CHECKING_EXTRA       0
  #define ETL_ASSERT_CHECK_EXTRA(b, e) ETL_ASSERT(b, e)
#else
  #define ETL_CHECKING_EXTRA     0
  #define ETL_NOT_CHECKING_EXTRA 1
  #define ETL_ASSERT_CHECK_EXTRA(b, e)
#endif
 
//*************************************
#if defined(ETL_VERBOSE_ERRORS)
  // include everything, file name, line number, verbose text
  #define ETL_ERROR(e)                             (e(__FILE__, __LINE__))
  #define ETL_ERROR_WITH_VALUE(e, v)               (e(__FILE__, __LINE__, (v)))
  #define ETL_ERROR_TEXT(verbose_text, terse_text) (verbose_text)
  #define ETL_ERROR_GENERIC(text)                  (etl::exception((text), __FILE__, __LINE__))
#elif defined(ETL_MINIMAL_ERRORS)
  // include nothing, no file name, no line number, no text
  #define ETL_ERROR(e)                             (e("", -1))
  #define ETL_ERROR_WITH_VALUE(e, v)               (e("", -1, (v)))
  #define ETL_ERROR_TEXT(verbose_text, terse_text) ("")
  #define ETL_ERROR_GENERIC(text)                  (etl::exception("", "", -1))
#else
  // include only terse text, no file name, no line number
  #define ETL_ERROR(e)                             (e("", -1))
  #define ETL_ERROR_WITH_VALUE(e, v)               (e("", -1, (v)))
  #define ETL_ERROR_TEXT(verbose_text, terse_text) (terse_text)
  #define ETL_ERROR_GENERIC(text)                  (etl::exception((text), "", -1))
#endif
 
#endif