CBMC
Loading...
Searching...
No Matches
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
 
 
 
std::optional< ctokentdeclared_identifier () const
 

Public Attributes

 
 
 
 

Detailed Description

Definition at line 21 of file mini_c_parser.h.

Member Typedef Documentation

◆  tokenst

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:

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