cprover
preprocessor.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Preprocessing Base Class
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_UTIL_PREPROCESSOR_H
13#define CPROVER_UTIL_PREPROCESSOR_H
14
15#include <iosfwd>
16#include <string>
17
18#include "message.h"
19
21{
22public:
24 std::istream &_in,
25 std::ostream &_out,
26 message_handlert &_message_handler,
27 const std::string &_filename):
28 messaget(_message_handler),
29 in(_in), out(_out),
30 filename(_filename)
31 {
32 }
33
34 virtual ~preprocessort() { }
35
36 std::istream &in;
37 std::ostream &out;
38 std::string filename;
39
40 virtual void preprocessor()=0;
41};
42
43#endif // CPROVER_UTIL_PREPROCESSOR_H
Class that provides messages with a built-in verbosity 'level'.
Definition: message.h:155
preprocessort(std::istream &_in, std::ostream &_out, message_handlert &_message_handler, const std::string &_filename)
Definition: preprocessor.h:23
std::ostream & out
Definition: preprocessor.h:37
std::string filename
Definition: preprocessor.h:38
virtual ~preprocessort()
Definition: preprocessor.h:34
virtual void preprocessor()=0
std::istream & in
Definition: preprocessor.h:36