cprover
ansi_c_parse_tree.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_ANSI_C_ANSI_C_PARSE_TREE_H
11 #define CPROVER_ANSI_C_ANSI_C_PARSE_TREE_H
12 
13 #include "ansi_c_declaration.h"
14 
16 {
17 public:
18  // the declarations
19  typedef std::list<ansi_c_declarationt> itemst;
21 
22  void swap(ansi_c_parse_treet &other);
23  void clear();
24  void output(std::ostream &out) const;
25 };
26 
27 #endif // CPROVER_ANSI_C_ANSI_C_PARSE_TREE_H
void output(std::ostream &out) const
std::list< ansi_c_declarationt > itemst
ANSI-CC Language Type Checking.
void swap(ansi_c_parse_treet &other)