cprover
Loading...
Searching...
No Matches
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.