CBMC
Public Types | Public Member Functions | Public Attributes | List of all members
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: