ansi_c_parse_treet Class Reference

#include <ansi_c_parse_tree.h>

Collaboration diagram for ansi_c_parse_treet:

Public Types
typedef std::list< ansi_c_declarationt >	itemst

Public Member Functions
void	swap (ansi_c_parse_treet &other)
void	clear ()
void	output (std::ostream &out) const

Public Attributes
itemst	items

Detailed Description

Definition at line 17 of file ansi_c_parse_tree.h.

Member Typedef Documentation

itemst

typedef std::list<ansi_c_declarationt> ansi_c_parse_treet::itemst

Definition at line 21 of file ansi_c_parse_tree.h.

Member Function Documentation

clear()

void ansi_c_parse_treet::clear

(

void

)

Definition at line 18 of file ansi_c_parse_tree.cpp.

output()

void ansi_c_parse_treet::output

(

std::ostream &

out

)

const

Definition at line 23 of file ansi_c_parse_tree.cpp.

swap()

void ansi_c_parse_treet::swap

(

ansi_c_parse_treet &

other

)

Definition at line 13 of file ansi_c_parse_tree.cpp.

Member Data Documentation

items

itemst ansi_c_parse_treet::items

Definition at line 22 of file ansi_c_parse_tree.h.

---

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

• /home/runner/work/cbmc/cbmc/src/ansi-c/ansi_c_parse_tree.h
• /home/runner/work/cbmc/cbmc/src/ansi-c/ansi_c_parse_tree.cpp