cprover
Loading...
Searching...
No Matches
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
messaget(const messaget &other)
Definition message.h:193
preprocessort(std::istream &_in, std::ostream &_out, message_handlert &_message_handler, const std::string &_filename)
std::ostream & out
std::string filename
virtual ~preprocessort()
virtual void preprocessor()=0
std::istream & in