KiCS2
Exported names: Imported modules:

Module Analysis.Logging

This module provides operation for log messages and setting the log level for the analyses.

Author: Michael Hanus

Version: March 2017

Summary of exported operations:

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:

Exported operations:

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: