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
19
class
cpp_parse_treet
20
{
21
public
:
22
// the (top-level) declarations/definitions
23
24
typedef
std::list<cpp_itemt>
itemst
;
25
itemst
items
;
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
cpp
cpp_parse_tree.h
Generated by
1.8.17