cpp_parse_tree.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: C++ Parser
 
Author: Daniel Kroening, kroening@cs.cmu.edu
 
\*******************************************************************/
 
 
#ifndef CPROVER_CPP_CPP_PARSE_TREE_H
#define CPROVER_CPP_CPP_PARSE_TREE_H
 
#include "cpp_item.h"
 
#include <list>
 
class cpp_parse_treet
{
public:
  // the (top-level) declarations/definitions
 
  typedef std::list<cpp_itemt> itemst;
  itemst items;
 
  void swap(cpp_parse_treet &cpp_parse_tree);
  void clear();
};
class cpp_parse_treet {…};
 
class uninitialized_typet : public typet
{
public:
  uninitialized_typet() : typet(static_cast<const typet &>(get_nil_irep()))
  {
  }
  uninitialized_typet() : typet(static_cast<const typet &>(get_nil_irep())) {…}
};
class uninitialized_typet : public typet {…};
 
#endif // CPROVER_CPP_CPP_PARSE_TREE_H