CBMC
preprocessor_line.cpp File Reference

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)
 

Detailed Description

ANSI-C Language Conversion.

Definition in file preprocessor_line.cpp.

Function Documentation

◆ preprocessor_line()

void preprocessor_line ( const char *  text,
parsert parser 
)

Definition at line 21 of file preprocessor_line.cpp.