exceptions

Go to the documentation of this file.

// vi:set ft=cpp: -*- Mode: C++ -*-
/*
 * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
 *               Alexander Warg <warg@os.inf.tu-dresden.de>
 *     economic rights: Technische Universität Dresden (Germany)
 *
 * License: see LICENSE.spdx (in this directory or the directories above)
 */
#pragma once
 
#include <l4/cxx/l4types.h>
#include <l4/cxx/basic_ostream>
#include <l4/sys/err.h>
#include <l4/sys/capability>
 
 
#ifndef L4_CXX_NO_EXCEPTION_BACKTRACE
# define L4_CXX_EXCEPTION_BACKTRACE 20  
#endif
 
#if defined(L4_CXX_EXCEPTION_BACKTRACE)
#include <l4/util/backtrace.h>
#endif
 
namespace L4
{
  class Exception_tracer
  {
#if defined(L4_CXX_EXCEPTION_BACKTRACE)
  private:
    void *_pc_array[L4_CXX_EXCEPTION_BACKTRACE];
    int   _frame_cnt;
 
  protected:
#if defined(__PIC__)
    Exception_tracer() noexcept : _frame_cnt(0) {}
#else
    Exception_tracer() noexcept
    : _frame_cnt(l4util_backtrace(_pc_array, L4_CXX_EXCEPTION_BACKTRACE)) {}
    Exception_tracer() noexcept {…}
#endif
 
  public:
    void const *const *pc_array() const noexcept { return _pc_array; }
    int frame_count() const noexcept { return _frame_cnt; }
#else
  protected:
    Exception_tracer() noexcept {}
 
  public:
    void const *const *pc_array() const noexcept { return 0; }
    int frame_count() const noexcept { return 0; }
#endif
  };
  class Exception_tracer {…};
 
  class Base_exception : public Exception_tracer
  {
  protected:
    Base_exception() noexcept {}
 
  public:
    virtual char const *str() const noexcept = 0;
 
    virtual ~Base_exception() noexcept {}
  };
  class Base_exception : public Exception_tracer {…};
 
  class Runtime_error : public Base_exception
  {
  private:
    long _errno;
    char _extra[80];
 
  public:
    explicit Runtime_error(long err_no, char const *extra = 0) noexcept
      : _errno(err_no)
    {
      if (!extra)
        _extra[0] = 0;
      else
        {
          unsigned i = 0;
          for (; i < sizeof(_extra) && extra[i]; ++i)
            _extra[i] = extra[i];
          _extra[i < sizeof(_extra) ? i : sizeof(_extra) - 1] = 0;
        }
    }
    explicit Runtime_error(long err_no, char const *extra = 0) noexcept {…}
    char const *str() const noexcept override
    { return l4sys_errtostr(_errno); }
    char const *str() const noexcept override {…}
 
    char const *extra_str() const { return _extra; }
    ~Runtime_error() noexcept {}
 
    long err_no() const noexcept { return _errno; }
  };
  class Runtime_error : public Base_exception {…};
 
  class Out_of_memory : public Runtime_error
  {
  public:
    explicit Out_of_memory(char const *extra = "") noexcept
    : Runtime_error(-L4_ENOMEM, extra) {}
    explicit Out_of_memory(char const *extra = "") noexcept {…}
    ~Out_of_memory() noexcept {}
  };
  class Out_of_memory : public Runtime_error {…};
 
 
  class Element_already_exists : public Runtime_error
  {
  public:
    explicit Element_already_exists(char const *e = "") noexcept
    : Runtime_error(-L4_EEXIST, e) {}
    ~Element_already_exists() noexcept {}
  };
  class Element_already_exists : public Runtime_error {…};
 
  class Unknown_error : public Base_exception
  {
  public:
    Unknown_error() noexcept {}
    char const *str() const noexcept override { return "unknown error"; }
    ~Unknown_error() noexcept {}
  };
  class Unknown_error : public Base_exception {…};
 
  class Element_not_found : public Runtime_error
  {
  public:
    explicit Element_not_found(char const *e = "") noexcept
    : Runtime_error(-L4_ENOENT, e) {}
  };
  class Element_not_found : public Runtime_error {…};
 
  class Invalid_capability : public Base_exception
  {
  private:
    Cap<void> const _o;
 
  public:
    explicit Invalid_capability(Cap<void> const &o) noexcept : _o(o) {}
    template< typename T>
    explicit Invalid_capability(Cap<T> const &o) noexcept : _o(o.cap()) {}
    char const *str() const noexcept override { return "invalid object"; }
 
    Cap<void> const &cap() const noexcept { return _o; }
    ~Invalid_capability() noexcept {}
  };
  class Invalid_capability : public Base_exception {…};
 
  class Com_error : public Runtime_error
  {
  public:
    explicit Com_error(long err) noexcept : Runtime_error(err) {}
 
    ~Com_error() noexcept {}
  };
  class Com_error : public Runtime_error {…};
 
  class Bounds_error : public Runtime_error
  {
  public:
    explicit Bounds_error(char const *e = "") noexcept
    : Runtime_error(-L4_ERANGE, e) {}
    ~Bounds_error() noexcept {}
  };
  class Bounds_error : public Runtime_error {…};
};
 
inline
L4::BasicOStream &
operator << (L4::BasicOStream &o, L4::Base_exception const &e)
{
  o << "Exception: " << e.str() << ", backtrace ...\n";
  for (int i = 0; i < e.frame_count(); ++i)
    o << L4::n_hex(l4_addr_t(e.pc_array()[i])) << '\n';
 
  return o;
}
 
inline
L4::BasicOStream &
operator << (L4::BasicOStream &o, L4::Runtime_error const &e)
{
  o << "Exception: " << e.str() << ": ";
  if (e.extra_str())
    o << e.extra_str() << ": ";
  o << "backtrace ...\n";
  for (int i = 0; i < e.frame_count(); ++i)
    o << L4::n_hex(l4_addr_t(e.pc_array()[i])) << '\n';
 
  return o;
}