cpp_declarator.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: C++ Language Type Checking
 
Author: Daniel Kroening, kroening@cs.cmu.edu
 
\*******************************************************************/
 
 
#include "cpp_declarator.h"
 
#include <ansi-c/merged_type.h>
 
#include <ostream>
 
void cpp_declaratort::output(std::ostream &out) const
{
  out << "  name: " << name().pretty() << '\n';
  out << "  type: " << type().pretty() << '\n';
  out << "  value: " << value().pretty() << '\n';
  out << "  init_args: " << init_args().pretty() << '\n';
  out << "  method_qualifier: " << method_qualifier().pretty() << '\n';
}
void cpp_declaratort::output(std::ostream &out) const {…}
 
typet cpp_declaratort::merge_type(const typet &declaration_type) const
{
  typet dest_type=type();
 
  if(declaration_type.id()=="cpp-cast-operator")
    return dest_type;
 
  typet *p=&dest_type;
 
  // walk down subtype until we hit nil
  while(true)
  {
    typet &t=*p;
    if(t.is_nil())
    {
      t=declaration_type;
      break;
    }
    else if(t.id()==ID_merged_type)
    {
      // the chain continues with the last one
      auto &merged_type = to_merged_type(t);
      p = &merged_type.last_type();
    }
    else
    {
      DATA_INVARIANT(!t.id().empty(), "empty type");
      p = &t.add_subtype();
    }
  }
 
  return dest_type;
}
typet cpp_declaratort::merge_type(const typet &declaration_type) const {…}