cprover
cout_message.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module:
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
9
10
#ifndef CPROVER_UTIL_COUT_MESSAGE_H
11
#define CPROVER_UTIL_COUT_MESSAGE_H
12
13
#include "
ui_message.h
"
14
15
class
cout_message_handlert
:
public
stream_message_handlert
16
{
17
public
:
18
// all messages go to stdout
19
cout_message_handlert
();
20
};
21
22
class
cerr_message_handlert
:
public
stream_message_handlert
23
{
24
public
:
25
// all messages go to stderr
26
cerr_message_handlert
();
27
};
28
29
class
console_message_handlert
:
public
ui_message_handlert
30
{
31
public
:
32
// level 4 and upwards go to cout, level 1-3 to cerr
33
virtual
void
print
(
34
unsigned
level,
35
const
std::string &message)
override
;
36
37
virtual
void
flush
(
unsigned
level)
override
;
38
};
39
40
class
gcc_message_handlert
:
public
ui_message_handlert
41
{
42
public
:
43
// aims to imitate the messages gcc prints
44
virtual
void
print
(
45
unsigned
level,
46
const
std::string &message)
override
;
47
48
virtual
void
print
(
49
unsigned
level,
50
const
std::string &message,
51
int
sequence_number,
52
const
source_locationt
&location)
override
;
53
};
54
55
#endif // CPROVER_UTIL_COUT_MESSAGE_H
ui_message_handlert
Definition:
ui_message.h:15
stream_message_handlert
Definition:
message.h:78
cout_message_handlert::cout_message_handlert
cout_message_handlert()
Definition:
cout_message.cpp:22
ui_message.h
console_message_handlert
Definition:
cout_message.h:29
stream_message_handlert::print
virtual void print(unsigned level, const std::string &message)
Definition:
message.h:85
gcc_message_handlert
Definition:
cout_message.h:40
cerr_message_handlert
Definition:
cout_message.h:22
source_locationt
Definition:
source_location.h:16
stream_message_handlert::flush
virtual void flush(unsigned level)
Definition:
message.h:93
cout_message_handlert
Definition:
cout_message.h:15
util
cout_message.h
Generated by
1.8.12