This module provides operation for log messages and setting the log level for the analyses.
Author: Michael Hanus
Version: March 2017
getDebugLevel
:: IO Int
Gets the current debug level. |
setDebugLevel
:: Int -> IO ()
Sets the debug level to a new value. |
debugMessage
:: Int -> String -> IO ()
Prints a message line if debugging level is at least n: |
debugString
:: Int -> String -> IO ()
Prints a string if debugging level (as specified in the Config file) is at least n: |
Gets the current debug level. |
Sets the debug level to a new value. |
Prints a message line if debugging level is at least n: |
Prints a string if debugging level (as specified in the Config file) is at least n: |