adding a callback definition for logging

diff --git a/src/sat_debug.c b/src/sat_debug.c
index 5c7dabaf2a8abf9941f9987120bdfa26fe52ca1c..fcf462c3864c51a3e21322b192a81c157c72db9c 100644 (file)
--- a/src/sat_debug.c
+++ b/src/sat_debug.c
@@ -21,7 +21,14 @@
 static DebugLevel debug_level = ERROR;
 // log file,function,line too
 static int sat_log_lineNr = 0;
+// Callback for logging
+SatDebugFn debugCallback = NULL;
 
+void
+sat_set_debugCallback (SatDebugFn callback)
+{
+    debugCallback = callback;
+}
 
 void
 sat_set_debug (DebugLevel level, int log_line_nr)
@@ -48,9 +55,15 @@ sat_debug (DebugLevel level, const char *format, ...)
     if (sat_debug_level() >= level) {
        if (sat_log_lineNr) {
            char pre[MAX_OUTPUT_LEN];
-           snprintf (pre, MAX_OUTPUT_LEN, "(%s, %s:%d) ", __FUNCTION__, __FILE__, __LINE__);
-           printf("%s", pre);
+           snprintf (pre, MAX_OUTPUT_LEN, "(%s, %s:%d) ", __FUNCTION__, __FILE__, __LINE__);       
+           if (debugCallback == NULL) 
+               printf("%s", pre);
+           else 
+               debugCallback (pre);
        }
-       printf ("%s", str);
+       if (debugCallback == NULL)     
+           printf ("%s", str);
+       else 
+           debugCallback (str);        
     }
 }

diff --git a/src/sat_debug.h b/src/sat_debug.h
index b376445e029f64dffce8507dc0f19c9a2d1f3ec6..a354530ac0550f4bb3cbeac43e3b910b30b6c1e1 100644 (file)
--- a/src/sat_debug.h
+++ b/src/sat_debug.h
@@ -26,12 +26,15 @@ typedef enum {
     DEBUG_5  = 5
 } DebugLevel;
 
+// Callback for logging
+typedef void (*SatDebugFn) (char *logString);
+void sat_set_debugCallback (SatDebugFn callback);
+
 // debug level
 void sat_set_debug (DebugLevel level, int log_line_nr);
 DebugLevel sat_debug_level ();
 
+// logging a line
 void sat_debug (DebugLevel  level, const char *format, ...);
 
-
-
 #endif /* _SAT_DEBUG_H */