/* inf.h */

#ifndef __PROG_INF_H__
#define __PROG_INF_H__

#include "std.h"
#include "msglevel.h"

OPEN_NAMESPACE

/* ---------------------------------------------------------------------- */

/* configuration */

void   set_prog_name (string name);
string get_prog_name ();

void set_error_handlers ();
// throw exception when some signal happens

/* ---------------------------------------------------------------------- */

void enable_debug_messages ();
void disable_debug_messages ();
// show / hide debug messages

void enable_warnings ();
void disable_warnings ();
// show / hide warning messages

/* ---------------------------------------------------------------------- */

void enable_error_trace ();
void disable_error_trace ();
// show stack trace when error happens

void enable_abort_trace ();
void disable_abort_trace ();
// show stack trace when abort happens

/* ---------------------------------------------------------------------- */

int get_warning_count ();
int get_mistake_count ();
int get_flaw_count ();
int get_error_count (); // number of errors and aborts

void increment_error_count ();

/* ---------------------------------------------------------------------- */

void trace ();

void show_position (string msg, string file_name = "", int line = 0, int column = 0);

void show_message (MessageLevel level,
                   string msg, string file_name = "", int line = 0, int column = 0);

void remember_message (MessageLevel level,
                       string msg, string file_name = "", int line = 0, int column = 0);

void throw_message (MessageLevel level,
                    string msg, string file_name = "", int line = 0, int column = 0);

void message (MessageLevel level,
              string msg, string file_name = "", int line = 0, int column = 0);

/* ---------------------------------------------------------------------- */

void debug   (string msg, string file_name = "", int line = 0, int column = 0);
void info    (string msg, string file_name = "", int line = 0, int column = 0);
void note    (string msg, string file_name = "", int line = 0, int column = 0);
void warning (string msg, string file_name = "", int line = 0, int column = 0);
void mistake (string msg, string file_name = "", int line = 0, int column = 0);
void flaw    (string msg, string file_name = "", int line = 0, int column = 0);
void error   (string msg, string file_name = "", int line = 0, int column = 0);
void abort   (string msg, string file_name = "", int line = 0, int column = 0);

/* check internal faults */

inline void check (bool cond, const string msg, string file_name = "", int line = 0, int column = 0)
{
   if (! cond)
      abort (msg, file_name, line, column);
}

/* ---------------------------------------------------------------------- */

/* additional utilities */

void show_info  (string msg, string file_name = "", int line = 0, int column = 0);
void show_error (string msg, string file_name = "", int line = 0, int column = 0);
void show_abort (string msg, string file_name = "", int line = 0, int column = 0);

/* ---------------------------------------------------------------------- */

/* hook fuctions */

typedef void (* msg_func_t)
   (MessageLevel level, string msg, string file_name, int line, int column);

extern msg_func_t message_hook;

/* ---------------------------------------------------------------------- */

CLOSE_NAMESPACE

#endif /* __PROG_INF_H__ */