|
CBMC
|
#include "preprocessor_line.h"#include <cctype>#include <util/string2int.h>#include <util/parser.h>#include "literals/unescape_string.h"
Include dependency graph for preprocessor_line.cpp:Go to the source code of this file.
Functions | |
| void | preprocessor_line (const char *text, parsert &parser) |
ANSI-C Language Conversion
Definition in file preprocessor_line.cpp.
| void preprocessor_line | ( | const char * | text, |
| parsert & | parser | ||
| ) |
Definition at line 21 of file preprocessor_line.cpp.