ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
message.h File Reference
#include <cstdio>
#include <fmt/format.h>
#include <fmt/color.h>
#include <fmt/ranges.h>
#include <util/message/format.h>
#include <ctime>
#include <chrono>
#include <iomanip>
Include dependency graph for message.h:

Go to the source code of this file.

Classes

struct  messaget
class  messaget::statet

Macros

#define log_error(fmt, ...)
#define log_result(fmt, ...)
#define log_warning(fmt, ...)
#define log_progress(fmt, ...)
#define log_success(fmt, ...)
#define log_fail(fmt, ...)
#define log_status(fmt, ...)
#define log_debug(mod, fmt, ...)

Enumerations

enum class  VerbosityLevel : char {
  None , Error , Warning , Result ,
  Progress , Success , Fail , Status ,
  Debug
}
 Verbosity refers to the max level of which inputs are going to be printed out. More...

Macro Definition Documentation

◆ log_debug

#define log_debug ( mod,
fmt,
... )
Value:
messaget::state.logln( \
mod, VerbosityLevel::Debug, __FILE__, __LINE__, FMT_STRING(fmt), ##__VA_ARGS__)
@ Debug
Definition message.h:33
Definition format.h:30
static class messaget::statet state

◆ log_error

#define log_error ( fmt,
... )
Value:
messaget::state.logln( \
nullptr, VerbosityLevel::Error, __FILE__, __LINE__, FMT_STRING(fmt), ##__VA_ARGS__)
@ Error
Definition message.h:26

◆ log_fail

#define log_fail ( fmt,
... )
Value:
messaget::state.logln( \
nullptr, VerbosityLevel::Fail, __FILE__, __LINE__, FMT_STRING(fmt), ##__VA_ARGS__)
@ Fail
Definition message.h:31

◆ log_progress

#define log_progress ( fmt,
... )
Value:
messaget::state.logln( \
nullptr, VerbosityLevel::Progress, __FILE__, __LINE__, FMT_STRING(fmt), ##__VA_ARGS__)
@ Progress
Definition message.h:29

◆ log_result

#define log_result ( fmt,
... )
Value:
messaget::state.logln( \
nullptr, VerbosityLevel::Result, __FILE__, __LINE__, FMT_STRING(fmt), ##__VA_ARGS__)
@ Result
Definition message.h:28

◆ log_status

#define log_status ( fmt,
... )
Value:
messaget::state.logln( \
nullptr, VerbosityLevel::Status, __FILE__, __LINE__, FMT_STRING(fmt), ##__VA_ARGS__)
@ Status
Definition message.h:32

◆ log_success

#define log_success ( fmt,
... )
Value:
messaget::state.logln( \
nullptr, VerbosityLevel::Success, __FILE__, __LINE__, FMT_STRING(fmt), ##__VA_ARGS__)
@ Success
Definition message.h:30

◆ log_warning

#define log_warning ( fmt,
... )
Value:
messaget::state.logln( \
nullptr, VerbosityLevel::Warning, __FILE__, __LINE__, FMT_STRING(fmt), ##__VA_ARGS__)
@ Warning
Definition message.h:27

Enumeration Type Documentation

◆ VerbosityLevel

enum class VerbosityLevel : char
strong

Verbosity refers to the max level of which inputs are going to be printed out.

The level adds up to the greater level which means that if the level is set to 3 all messages of value 0,1,2,3 are going to be printed but 4+ will not be printed

The number is where it appeared in the definition, in the implementation below Debug is the highest value

Enumerator
None 
Error 
Warning 
Result 
Progress 
Success 
Fail 
Status 
Debug