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
void swap(cpp_parse_treet &cpp_parse_tree)
std::list< cpp_itemt > itemst
C++ Language Type Checking.