CBMC: /home/runner/work/cbmc/cbmc/src/util/preprocessor.h Source File

CBMC
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
20 class preprocessort:public messaget
21{
22public:
24 std::istream &_in,
25 std::ostream &_out,
27 const std::string &_filename):
29 in(_in), out(_out),
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
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:566
Definition message.h:27
Class that provides messages with a built-in verbosity 'level'.
Definition message.h:154
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

AltStyle によって変換されたページ (->オリジナル) /