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"
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.