|
cprover
|
ANSI-C Language Conversion. More...
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.h.
| void preprocessor_line | ( | const char * | text, |
| parsert & | parser | ||
| ) |
Definition at line 21 of file preprocessor_line.cpp.
References parsert::set_file(), parsert::set_line_no(), unescape_string(), and unsafe_string2unsigned().
Referenced by yyansi_clex().