|
CBMC
|
ANSI-C Language Conversion. More...
#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.