log_debugger.h

/*****************************************************/
/* lean Logging                 (c) Tobias Zirr 2011 */
/*****************************************************/

#ifndef LEAN_LOGGING_LOG_DEBUGGER
#define LEAN_LOGGING_LOG_DEBUGGER

#include "../lean.h"
#include "../strings/types.h"
#include "log_target.h"

namespace lean
{
namespace logging
{

LEAN_MAYBE_EXPORT void print_debugger(const char_ntri &message);

class log_debugger : public log_target
{
private:
    log_debugger() { }
    ~log_debugger() { }

public:
    LEAN_MAYBE_EXPORT static log_debugger& get();

    void print(const char_ntri &message) { print_debugger(message); }
};

} // namespace

using logging::log_debugger;

} // namespace

#ifdef LEAN_INCLUDE_LINKED
#include "source/log_debugger.cpp"
#endif

#endif