cprover
Public Types | Public Member Functions | Public Attributes | List of all members
cpp_parse_treet Class Reference

#include <cpp_parse_tree.h>

Collaboration diagram for cpp_parse_treet:
[legend]

Public Types

typedef std::list< cpp_itemt > itemst
 

Public Member Functions

void swap (cpp_parse_treet &cpp_parse_tree)
 
void clear ()
 

Public Attributes

itemst items
 

Detailed Description

Definition at line 17 of file cpp_parse_tree.h.

Member Typedef Documentation

◆ itemst

typedef std::list<cpp_itemt> cpp_parse_treet::itemst

Definition at line 22 of file cpp_parse_tree.h.

Member Function Documentation

◆ clear()

void cpp_parse_treet::clear ( void  )

Definition at line 19 of file cpp_parse_tree.cpp.

References items.

Referenced by cpp_parsert::clear().

◆ swap()

void cpp_parse_treet::swap ( cpp_parse_treet &  cpp_parse_tree)

Definition at line 14 of file cpp_parse_tree.cpp.

References items.

Referenced by cpp_languaget::parse().

Member Data Documentation

◆ items

itemst cpp_parse_treet::items

Definition at line 23 of file cpp_parse_tree.h.

Referenced by clear(), Parser::operator()(), cpp_languaget::show_parse(), swap(), cpp_languaget::to_expr(), and cpp_typecheckt::typecheck().

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