|
CBMC
|
Include dependency graph for mini_c_parser.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| struct | c_declarationt |
Typedefs | |
| using | c_translation_unitt = std::vector< c_declarationt > |
Functions | |
| c_translation_unitt | parse_c (std::istream &) |
| std::ostream & | operator<< (std::ostream &, const c_declarationt &) |
Mini C Parser.
Definition in file mini_c_parser.h.
| using c_translation_unitt = std::vector<c_declarationt> |
Definition at line 37 of file mini_c_parser.h.
| 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.