|
CBMC
|
#include "mini_c_parser.h"#include <util/exception_utils.h>#include <util/invariant.h>#include "cscanner.h"
Include dependency graph for mini_c_parser.cpp:Go to the source code of this file.
Classes | |
| class | mini_c_parsert |
Functions | |
| std::ostream & | operator<< (std::ostream &out, const c_declarationt &declaration) |
| c_translation_unitt | parse_c (std::istream &in) |
Mini C Parser
Definition in file mini_c_parser.cpp.
| std::ostream& operator<< | ( | std::ostream & | out, |
| const c_declarationt & | declaration | ||
| ) |
Definition at line 79 of file mini_c_parser.cpp.
| c_translation_unitt parse_c | ( | std::istream & | in | ) |
Definition at line 392 of file mini_c_parser.cpp.