CBMC
Loading...
Searching...
No Matches
Classes | Typedefs | Functions
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.

AltStyle によって変換されたページ (->オリジナル) /