Home | Documentation | Download | Platforms | Projects | Mailing Lists | Version History
00001 //========================================================================== 00002 // 00003 // debug.h - Functions, which are useful for debugging 00004 // 00005 //========================================================================== 00006 // $Id: debug.h,v 1.8 2001/10/10 08:30:00 chris Exp $ 00007 00008 #ifndef GTL_DEBUG_H 00009 #define GTL_DEBUG_H 00010 00011 #include <GTL/GTL.h> 00012 00013 #include <iostream> 00014 00015 __GTL_BEGIN_NAMESPACE 00016 00017 // 00018 // If _DEBUG is defined the funtions defined here will produce output. 00019 // You can either define _DEBUG here (or undef it) or you can set it as 00020 // option of your compiler. 00021 // 00022 //#define _DEBUG 1 00023 //#undef _DEBUG 00024 // 00025 00029 class GTL_EXTERN GTL_debug { 00030 public: 00031 static void debug_message (const char*, ...); 00032 static void init_debug(); 00033 static void close_debug(); 00034 static ostream& os () 00035 { return *GTLerr; } 00036 00037 private: 00038 static ostream* GTLerr; 00039 }; 00040 00041 __GTL_END_NAMESPACE 00042 00043 #endif // GTL_DEBUG_H 00044 00045 //-------------------------------------------------------------------------- 00046 // end of file 00047 //--------------------------------------------------------------------------
University of Passau - FMI - Theoretical Computer Science