CBMC
mini_c_parser.h File Reference
#include "cscanner.h"
#include <iosfwd>
#include <vector>
#include <util/optional.h>
+ 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 38 of file mini_c_parser.h.

Function Documentation

◆ operator<<()

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

Definition at line 79 of file mini_c_parser.cpp.

◆ parse_c()

c_translation_unitt parse_c ( std::istream &  )

Definition at line 392 of file mini_c_parser.cpp.