cprover
cpp_parse_tree.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: C++ Parser
4 
5 Author: Daniel Kroening, kroening@cs.cmu.edu
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_CPP_CPP_PARSE_TREE_H
13 #define CPROVER_CPP_CPP_PARSE_TREE_H
14 
15 #include "cpp_item.h"
16 
17 #include <list>
18 
20 {
21 public:
22  // the (top-level) declarations/definitions
23 
24  typedef std::list<cpp_itemt> itemst;
26 
27  void swap(cpp_parse_treet &cpp_parse_tree);
28  void clear();
29 };
30 
31 #endif // CPROVER_CPP_CPP_PARSE_TREE_H
cpp_parse_treet::swap
void swap(cpp_parse_treet &cpp_parse_tree)
Definition: cpp_parse_tree.cpp:14
cpp_parse_treet
Definition: cpp_parse_tree.h:19
cpp_item.h
cpp_parse_treet::clear
void clear()
Definition: cpp_parse_tree.cpp:19
cpp_parse_treet::itemst
std::list< cpp_itemt > itemst
Definition: cpp_parse_tree.h:24
cpp_parse_treet::items
itemst items
Definition: cpp_parse_tree.h:25