ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
message.hpp
Go to the documentation of this file.
1#ifndef _message_h_INCLUDED
2#define _message_h_INCLUDED
3
4#include "global.h"
5
7
8/*------------------------------------------------------------------------*/
9
10// Macros for compact message code.
11
12#ifndef CADICAL_QUIET
13
14#define LINE() \
15 do { \
16 if (internal) \
17 internal->message (); \
18 } while (0)
19
20#define MSG(...) \
21 do { \
22 if (internal) \
23 internal->message (__VA_ARGS__); \
24 } while (0)
25
26#define PHASE(...) \
27 do { \
28 if (internal) \
29 internal->phase (__VA_ARGS__); \
30 } while (0)
31
32#define SECTION(...) \
33 do { \
34 if (internal) \
35 internal->section (__VA_ARGS__); \
36 } while (0)
37
38#define VERBOSE(...) \
39 do { \
40 if (internal) \
41 internal->verbose (__VA_ARGS__); \
42 } while (0)
43
44#else
45
46#define LINE() \
47 do { \
48 } while (0)
49#define MSG(...) \
50 do { \
51 } while (0)
52#define PHASE(...) \
53 do { \
54 } while (0)
55#define SECTION(...) \
56 do { \
57 } while (0)
58#define VERBOSE(...) \
59 do { \
60 } while (0)
61
62#endif
63
64#define FATAL fatal
65#define WARNING(...) internal->warning (__VA_ARGS__)
66
67/*------------------------------------------------------------------------*/
68
70
71#endif // ifndef _message_h_INCLUDED
#define ABC_NAMESPACE_CXX_HEADER_START
#define ABC_NAMESPACE_CXX_HEADER_END