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
class
cpp_parse_treet
18
{
19
public
:
20
// the (top-level) declarations/definitions
21
22
typedef
std::list<cpp_itemt>
itemst
;
23
itemst
items
;
24
25
void
swap
(
cpp_parse_treet
&cpp_parse_tree);
26
void
clear
();
27
};
28
29
#endif // CPROVER_CPP_CPP_PARSE_TREE_H
cpp_parse_treet::items
itemst items
Definition:
cpp_parse_tree.h:23
cpp_parse_treet::swap
void swap(cpp_parse_treet &cpp_parse_tree)
Definition:
cpp_parse_tree.cpp:14
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:22
cpp_parse_treet
Definition:
cpp_parse_tree.h:17
cpp_item.h
C++ Language Type Checking.
cpp
cpp_parse_tree.h
Generated by
1.8.12