json_stream.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Peter Schrammel
 
\*******************************************************************/
 
#include "json_stream.h"
 
#include <ostream>

void json_streamt::output_delimiter()
{
  if(!first)
    out << ',';
  else
    first = false;
  out << '\n';
  out << std::string((indent + 1) * 2, ' ');
}

json_stream_arrayt::json_stream_arrayt(std::ostream &out, unsigned indent)
  : json_streamt(out, indent)
{
  out << '[';
}

void json_stream_arrayt::output_child_stream()
{
  if(!object.empty())
  {
    output_delimiter();
    object["array_element"].output_rec(out, indent + 1);
    object.clear();
  }
  if(child_stream)
  {
    child_stream->close();
    child_stream = nullptr;
  }
}

void json_stream_arrayt::output_finalizer()
{
  out << '\n' << std::string(indent * 2, ' ');
  out << ']';
}

json_stream_objectt::json_stream_objectt(std::ostream &out, unsigned indent)
  : json_streamt(out, indent)
{
  out << '{';
}

json_stream_arrayt &json_streamt::create_child_stream_array()
{
  child_stream =
    std::unique_ptr<json_streamt>(new json_stream_arrayt(out, indent + 1));
  return static_cast<json_stream_arrayt &>(*child_stream);
}

json_stream_objectt &json_streamt::create_child_stream_object()
{
  child_stream =
    std::unique_ptr<json_streamt>(new json_stream_objectt(out, indent + 1));
  return static_cast<json_stream_objectt &>(*child_stream);
}

json_stream_objectt &json_stream_arrayt::push_back_stream_object()
{
  PRECONDITION(open);
  // To ensure consistency of the output, we flush and
  // close the current child stream before creating the new one.
  output_child_stream();
  output_delimiter();
  return create_child_stream_object();
}

json_stream_arrayt &json_stream_arrayt::push_back_stream_array()
{
  PRECONDITION(open);
  // To ensure consistency of the output, we flush and
  // close the current child stream before creating the new one.
  output_child_stream();
  output_delimiter();
  return create_child_stream_array();
}

json_stream_objectt &
json_stream_objectt::push_back_stream_object(const std::string &key)
{
  PRECONDITION(open);
  // To ensure consistency of the output, we flush and
  // close the current child stream before creating the new one.
  output_child_stream();
  output_delimiter();
  jsont::output_key(out, key);
  return create_child_stream_object();
}

json_stream_arrayt &
json_stream_objectt::push_back_stream_array(const std::string &key)
{
  PRECONDITION(open);
  // To ensure consistency of the output, we flush and
  // close the current child stream before creating the new one.
  output_child_stream();
  output_delimiter();
  jsont::output_key(out, key);
  return create_child_stream_array();
}

void json_stream_objectt::output_child_stream()
{
  for(const auto &obj : object)
  {
    output_delimiter();
    jsont::output_key(out, obj.first);
    obj.second.output_rec(out, indent + 1);
  }
  object.clear();
  if(child_stream)
  {
    child_stream->close();
    child_stream = nullptr;
  }
}

void json_stream_objectt::output_finalizer()
{
  jsont::output_object(out, object, indent);
  out << '\n' << std::string(indent * 2, ' ');
  out << '}';
}