CBMC
c_preprocess.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_ANSI_C_C_PREPROCESS_H
11 #define CPROVER_ANSI_C_C_PREPROCESS_H
12 
13 #include <iosfwd>
14 #include <string>
15 
16 class message_handlert;
17 
18 bool c_preprocess(
19  const std::string &path,
20  std::ostream &outstream,
21  message_handlert &message_handler);
22 
23 bool c_preprocess(
24  std::istream &instream,
25  std::ostream &outstream,
26  message_handlert &message_handler);
27 
28 // returns 'true' in case of error
29 bool test_c_preprocessor(message_handlert &message_handler);
30 
31 #endif // CPROVER_ANSI_C_C_PREPROCESS_H
c_preprocess
bool c_preprocess(const std::string &path, std::ostream &outstream, message_handlert &message_handler)
Definition: c_preprocess.cpp:200
test_c_preprocessor
bool test_c_preprocessor(message_handlert &message_handler)
Definition: c_preprocess.cpp:751
message_handlert
Definition: message.h:28