logger.h

利用C

// Copyright (C) 2003-2008 Anders Logg.
// Licensed under the GNU LGPL Version 2.1.
//
// Thanks to Jim Tilander for many helpful hints.
//
// Modified by Ola Skavhaug, 2007.
//
// First added:  2003-03-13
// Last changed: 2008-06-17

#ifndef __LOGGER_H
#define __LOGGER_H

#include <string>
#include <ostream>
#include <map>
#include <dolfin/common/types.h>

namespace dolfin
{

  class Logger
  {
  public:
    
    /// Constructor
    Logger();

    /// Destructor
    ~Logger();
    
    /// Print message
    void message(std::string msg, int debug_level = 0);

    /// Print warning
    void warning(std::string msg);

    /// Print error message and throw exception
    void error(std::string msg);

    /// Begin task (increase indentation level)
    void begin(std::string msg, int debug_level = 0);

    /// End task (decrease indentation level)
    void end();

    /// Draw progress bar
    void progress (std::string title, real p);

    /// Set output destination ("terminal" or "silent")
    void setOutputDestination(std::string destination);

    /// Set output destination to stream
    void setOutputDestination(std::ostream& stream);

    /// Set debug level
    void setDebugLevel(int debug_level);

    /// Set debug level
    inline int getDebugLevel() { return debug_level; }

    /// Register timing (for later summary)
    void timing(std::string task, real elapsed_time);

    /// Print summary of timings and tasks, clearing stored timings
    void summary();

    /// Return summary of timings
    const std::map<std::string, std::pair<uint, real> >& timings() const;

    /// Helper function for dolfin_debug macro
    void __debug(std::string msg);

    /// Helper function for dolfin_assert macro
    void __assert(std::string msg);

  private:

    // Output destination
    enum Destination {terminal, stream, silent};
    Destination destination;

    // Write message to current output destination
    void write(int debug_level, std::string msg);
    
    // Current debug level
    int debug_level;

    // Current indentation level
    int indentation_level;

    // Optional stream for logging
    std::ostream* logstream;

    // List of timings for tasks, map from string to (num_timings, total_time)
    std::map<std::string, std::pair<uint, real> > _timings;

  };

}

#endif