logging.h

Go to the documentation of this file.

#pragma once
 
/**
 * @file
 * Use your own judgement for the following log levels:
 * TRACE    Finer-grained informational events than the DEBUG.
 * DEBUG  Fine-grained informational events that are most useful to debug an application.
 * INFO   Informational messages that highlight the progress of the application at coarse-grained level.
 * WARN     Potentially harmful situations.
 * ERROR    Error events that might still allow the application to continue running.
 * FATAL    Severe error events that will presumably lead the application to abort.
 */
 
#include "config.h"
 
#if defined LOGGING
    #define SMTRAT_LOGGING_ENABLED
    #include <carl-logging/logging.h>
    #define SMTRAT_LOG_FATAL(channel, msg) __CARL_LOG_FATAL(channel, msg)
    #define SMTRAT_LOG_ERROR(channel, msg) __CARL_LOG_ERROR(channel, msg)
    #define SMTRAT_LOG_WARN(channel, msg) __CARL_LOG_WARN(channel, msg)
    #define SMTRAT_LOG_INFO(channel, msg) __CARL_LOG_INFO(channel, msg)
    #define SMTRAT_LOG_DEBUG(channel, msg) __CARL_LOG_DEBUG(channel, msg)   
    #define SMTRAT_LOG_TRACE(channel, msg) __CARL_LOG_TRACE(channel, msg)
 
    #define SMTRAT_LOG_FUNC(channel, args) __CARL_LOG_FUNC(channel, args)
    #define SMTRAT_LOG_ASSERT(channel, condition, msg) __CARL_LOG_ASSERT(channel, condition, msg)
    #define SMTRAT_LOG_NOTIMPLEMENTED() __CARL_LOG_ERROR("", "Not implemented method-stub called.")
    #define SMTRAT_LOG_INEFFICIENT() __CARL_LOG_WARN("", "Inefficient method called.")
#else
    #define SMTRAT_LOG_FATAL(channel, msg) std::cerr << "FATAL " << channel << ": " << msg << std::endl;
    #define SMTRAT_LOG_ERROR(channel, msg) std::cerr << "ERROR " << channel << ": " << msg << std::endl;
    #define SMTRAT_LOG_WARN(channel, msg) {}
    #define SMTRAT_LOG_INFO(channel, msg) {}
    #define SMTRAT_LOG_DEBUG(channel, msg) {}
    #define SMTRAT_LOG_TRACE(channel, msg) {}
 
    #define SMTRAT_LOG_FUNC(channel, args)
    #define SMTRAT_LOG_ASSERT(channel, condition, msg) assert(condition)
    #define SMTRAT_LOG_NOTIMPLEMENTED()
    #define SMTRAT_LOG_INEFFICIENT()
#endif