CBMC
mini_c_parser.h File Reference

Mini C Parser. More...

#include "ctoken.h"
#include <iosfwd>
#include <optional>
#include <vector>
+ 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 &)
 

Detailed Description

Mini C Parser.

Definition in file mini_c_parser.h.

Typedef Documentation

◆ c_translation_unitt

using c_translation_unitt = std::vector<c_declarationt>

Definition at line 37 of file mini_c_parser.h.

Function Documentation

◆ operator<<()

std::ostream& operator<< ( std::ostream &  out,
const c_declarationt declaration 
)

Definition at line 79 of file mini_c_parser.cpp.

◆ parse_c()

c_translation_unitt parse_c ( std::istream &  in)

Definition at line 392 of file mini_c_parser.cpp.