l4/pkg/l4re-core/ned/server/src/debug.h

   1 /*
   2  * (c) 2008-2010 Alexander Warg <warg@os.inf.tu-dresden.de>,
   3  *               Björn Döbel <doebel@os.inf.tu-dresden.de>
   4  *     economic rights: Technische Universität Dresden (Germany)
   5  *
   6  * This file is part of TUD:OS and distributed under the terms of the
   7  * GNU General Public License 2.
   8  * Please see the COPYING-GPL-2 file for details.
   9  */
  10 #pragma once
  11
  12 #include <l4/re/util/debug>
  13
  14 class Err : public L4Re::Util::Err
  15 {
  16 public:
  17   explicit
  18   Err(Level l = Normal) : L4Re::Util::Err(l, "Ned") {}
  19 };
  20
  21 class Dbg : public L4Re::Util::Dbg
  22 {
  23 public:
  24   enum Level
  25   {
  26     Info       = 1,
  27     Warn       = 2,
  28     Boot       = 4,
  29
  30     Server     = 0x10,
  31     Exceptions = 0x20,
  32     Cmd_line   = 0x40,
  33     Loader     = 0x80,
  34     Parser     = 0x100,
  35     Name_space = 0x400,
  36   };
  37
  38   explicit
  39   Dbg(unsigned long mask, char const *subs = 0)
  40   : L4Re::Util::Dbg(mask, "Ned", subs)
  41   {}
  42 };
  43