jsil_parse_treet Class Reference

#include <jsil_parse_tree.h>

Collaboration diagram for jsil_parse_treet:

Public Types
typedef std::list< jsil_declarationt >	itemst

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

Public Attributes
itemst	items

Detailed Description

Definition at line 100 of file jsil_parse_tree.h.

Member Typedef Documentation

itemst

typedef std::list<jsil_declarationt> jsil_parse_treet::itemst

Definition at line 103 of file jsil_parse_tree.h.

Member Function Documentation

clear()

void jsil_parse_treet::clear ( )

inline

Definition at line 111 of file jsil_parse_tree.h.

output()

void jsil_parse_treet::output

(

std::ostream &

out

)

const

Definition at line 92 of file jsil_parse_tree.cpp.

swap()

void jsil_parse_treet::swap ( jsil_parse_treet &  other )

inline

Definition at line 106 of file jsil_parse_tree.h.

Member Data Documentation

items

itemst jsil_parse_treet::items

Definition at line 104 of file jsil_parse_tree.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/jsil/jsil_parse_tree.h
• /home/runner/work/cbmc-documentation/cbmc-documentation/src/jsil/jsil_parse_tree.cpp