lispirep.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#include "lispirep.h"
 
#include "irep.h"
#include "lispexpr.h"
 
void lisp2irep(const lispexprt &src, irept &dest)
{
  dest.make_nil();
 
  if(src.type!=lispexprt::List || src.empty())
    return;
 
  dest.id(src[0].value);
 
  for(std::size_t i=1; i<src.size(); i++)
    if(!src[i].is_nil())
    {
      const std::string &name=src[i].value;
      i++;
 
      if(i<src.size())
      {
        irept sub;
        lisp2irep(src[i], sub);
 
        if(name.empty())
          dest.move_to_sub(sub);
        else
          dest.move_to_named_sub(name, sub);
      }
    }
}
 
void irep2lisp(const irept &src, lispexprt &dest)
{
  dest.clear();
  dest.value.clear();
  dest.type=lispexprt::List;
 
#if NAMED_SUB_IS_FORWARD_LIST
  const std::size_t named_sub_size =
    std::distance(src.get_named_sub().begin(), src.get_named_sub().end());
#else
  const std::size_t named_sub_size = src.get_named_sub().size();
#endif
  dest.reserve(2 + 2 * src.get_sub().size() + 2 * named_sub_size);
 
  lispexprt id;
  id.type=lispexprt::String;
  id.value=src.id_string();
  dest.push_back(id);
 
  // reserve objects for extra performance
 
  for(const auto &irep : src.get_sub())
  {
    lispexprt name;
    name.type=lispexprt::String;
    name.value.clear();
    dest.push_back(name);
 
    lispexprt sub;
 
    irep2lisp(irep, sub);
    dest.push_back(sub);
  }
 
  for(const auto &irep_entry : src.get_named_sub())
  {
    lispexprt name;
    name.type=lispexprt::String;
    name.value = id2string(irep_entry.first);
    dest.push_back(name);
 
    lispexprt sub;
 
    irep2lisp(irep_entry.second, sub);
    dest.push_back(sub);
  }
 
  lispexprt nil;
  nil.type=lispexprt::Symbol;
  nil.value="nil";
 
  dest.push_back(nil);
}