|
CBMC
|
#include <iosfwd>#include <string>
Include dependency graph for c_preprocess.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Functions | |
| bool | c_preprocess (const std::string &path, std::ostream &outstream, message_handlert &message_handler) |
| bool | c_preprocess (std::istream &instream, std::ostream &outstream, message_handlert &message_handler) |
| ANSI-C preprocessing. More... | |
| bool | test_c_preprocessor (message_handlert &message_handler) |
| bool c_preprocess | ( | const std::string & | path, |
| std::ostream & | outstream, | ||
| message_handlert & | message_handler | ||
| ) |
Definition at line 203 of file c_preprocess.cpp.
| bool c_preprocess | ( | std::istream & | instream, |
| std::ostream & | outstream, | ||
| message_handlert & | message_handler | ||
| ) |
ANSI-C preprocessing.
Definition at line 157 of file c_preprocess.cpp.
| bool test_c_preprocessor | ( | message_handlert & | message_handler | ) |
Definition at line 758 of file c_preprocess.cpp.