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 
16 {
17 public:
18  // all messages go to stdout
20 };
21 
23 {
24 public:
25  // all messages go to stderr
27 };
28 
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 
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
virtual void flush(unsigned level) override
virtual void print(unsigned level, const std::string &message) override
virtual void print(unsigned level, const std::string &message) override