c_declarationt Struct Reference

#include <mini_c_parser.h>

Collaboration diagram for c_declarationt:

Public Types
using	tokenst = std::vector< ctokent >

Public Member Functions
void	print (std::ostream &) const
bool	is_function () const
bool	has_body () const
std::optional< ctokent >	declared_identifier () const

Public Attributes
tokenst	pre_declarator
tokenst	declarator
tokenst	post_declarator
tokenst	initializer

Detailed Description

Definition at line 21 of file mini_c_parser.h.

Member Typedef Documentation

tokenst

using c_declarationt::tokenst = std::vector<ctokent>

Definition at line 24 of file mini_c_parser.h.

Member Function Documentation

declared_identifier()

std::optional< ctokent > c_declarationt::declared_identifier

(

)

const

Definition at line 117 of file mini_c_parser.cpp.

has_body()

bool c_declarationt::has_body

(

)

const

Definition at line 112 of file mini_c_parser.cpp.

is_function()

bool c_declarationt::is_function

(

)

const

Definition at line 107 of file mini_c_parser.cpp.

print()

void c_declarationt::print

(

std::ostream &

out

)

const

Definition at line 96 of file mini_c_parser.cpp.

Member Data Documentation

declarator

tokenst c_declarationt::declarator

Definition at line 27 of file mini_c_parser.h.

initializer

tokenst c_declarationt::initializer

Definition at line 29 of file mini_c_parser.h.

post_declarator

tokenst c_declarationt::post_declarator

Definition at line 28 of file mini_c_parser.h.

pre_declarator

tokenst c_declarationt::pre_declarator

Definition at line 26 of file mini_c_parser.h.

---

The documentation for this struct was generated from the following files:

• /home/runner/work/cbmc/cbmc/src/crangler/mini_c_parser.h
• /home/runner/work/cbmc/cbmc/src/crangler/mini_c_parser.cpp