|
00001 // Copyright (C) 2003 Johan Hoffman and Anders Logg. 00002 // Licensed under the GNU GPL Version 2. 00003 00004 #ifndef __TERMINAL_LOGGER_H 00005 #define __TERMINAL_LOGGER_H 00006 00007 #include <dolfin/constants.h> 00008 #include <dolfin/GenericLogger.h> 00009 00010 namespace dolfin { 00011 00012 class TerminalLogger : public GenericLogger { 00013 public: 00014 00015 TerminalLogger(); 00016 ~TerminalLogger(); 00017 00018 void info (const char* msg); 00019 void debug (const char* msg, const char* location); 00020 void warning (const char* msg, const char* location); 00021 void error (const char* msg, const char* location); 00022 void dassert (const char* msg, const char* location); 00023 void progress(const char* title, const char* label, real p); 00024 00025 void update(); 00026 void quit(); 00027 bool finished(); 00028 00029 void progress_add (Progress* p); 00030 void progress_remove (Progress *p); 00031 00032 private: 00033 00034 void indent(); 00035 00036 }; 00037 00038 } 00039 00040 #endif
Documentation automatically generated with Doxygen on 10 Sep 2004.