json_symbol.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: JSON symbol deserialization
 
Author: Chris Smowton, chris.smowton@diffblue.com
 
\*******************************************************************/
 
#include "json_symbol.h"
 
#include <util/exception_utils.h>
#include <util/expr.h>
#include <util/json_irep.h>
#include <util/type.h>
 
const std::string &try_get_string(const jsont &in, const std::string &key)
{
  if(!in.is_string())
  {
    throw deserialization_exceptiont{"expected string for key '" + key + "'"};
  }
  return in.value;
}
 
bool try_get_bool(const jsont &in, const std::string &key)
{
  if(!(in.is_true() || in.is_false()))
  {
    throw deserialization_exceptiont{"expected bool for key '" + key + "'"};
  }
  return in.is_true();
}
 
source_locationt try_get_source_location(const jsont &json)
{
  if(!json.is_object())
  {
    throw deserialization_exceptiont{
      "source location should be encoded as an object"};
  }
 
  const json_objectt &json_object = to_json_object(json);
 
  if(json_object.size() == 0)
  {
    return source_locationt::nil();
  }
  else if(json_object.find("id") != json_object.end())
  {
    json_irept json2irep{true};
    irept irep = json2irep.convert_from_json(json_object);
    return static_cast<source_locationt &>(irep);
  }
 
  source_locationt result;
  for(const auto &kv : json_object)
  {
    if(kv.first == "workingDirectory")
    {
      result.set_working_directory(
        try_get_string(kv.second, "workingDirectory"));
    }
    else if(kv.first == "file")
    {
      result.set_file(try_get_string(kv.second, "file"));
    }
    else if(kv.first == "line")
    {
      result.set_line(try_get_string(kv.second, "line"));
    }
    else if(kv.first == "column")
    {
      result.set_column(try_get_string(kv.second, "column"));
    }
    else if(kv.first == "function")
    {
      result.set_function(try_get_string(kv.second, "function"));
    }
    else if(kv.first == "bytecodeIndex")
    {
      result.set_java_bytecode_index(
        try_get_string(kv.second, "bytecodeIndex"));
    }
    else if(kv.first == "propertyId")
    {
      result.set_property_id(try_get_string(kv.second, "propertyId"));
    }
    else if(kv.first == "propertyClass")
    {
      result.set_property_class(try_get_string(kv.second, "propertyClass"));
    }
    else if(kv.first == "comment")
    {
      result.set_comment(try_get_string(kv.second, "comment"));
    }
    else if(kv.first == "caseNumber")
    {
      result.set_case_number(try_get_string(kv.second, "caseNumber"));
    }
    else if(kv.first == "basicBlockSourceLines")
    {
      json_irept json2irep{true};
      irept irep = json2irep.convert_from_json(kv.second);
      result.set_basic_block_source_lines(irep);
    }
    else if(kv.first == "propertyFatal")
    {
      result.property_fatal(try_get_bool(kv.second, "propertyFatal"));
    }
    else if(kv.first == "hide")
    {
      if(try_get_bool(kv.second, "hide"))
        result.set_hide();
    }
    else if(kv.first == "pragma")
    {
      if(!kv.second.is_array())
        throw deserialization_exceptiont{"pragmas must be an array"};
 
      for(const auto &pragma : to_json_array(kv.second))
      {
        if(!pragma.is_string())
          throw deserialization_exceptiont{"pragma must be a string"};
        result.add_pragma(pragma.value);
      }
    }
    else
    {
      throw deserialization_exceptiont{
        "try_get_source_location: unexpected key '" + kv.first + "'"};
    }
  }
 
  return result;
}
 
symbolt symbol_from_json(const jsont &in)
{
  if(!in.is_object())
    throw deserialization_exceptiont("symbol_from_json takes an object");
  symbolt result;
  json_irept json2irep(true);
  for(const auto &kv : to_json_object(in))
  {
    if(kv.first == "type")
    {
      irept irep = json2irep.convert_from_json(kv.second);
      result.type = static_cast<typet &>(irep);
    }
    else if(kv.first == "value")
    {
      irept irep = json2irep.convert_from_json(kv.second);
      result.value = static_cast<exprt &>(irep);
    }
    else if(kv.first == "location")
      result.location = try_get_source_location(kv.second);
    else if(kv.first == "name")
      result.name = try_get_string(kv.second, "name");
    else if(kv.first == "module")
      result.module = try_get_string(kv.second, "module");
    else if(kv.first == "baseName")
      result.base_name = try_get_string(kv.second, "baseName");
    else if(kv.first == "mode")
      result.mode = try_get_string(kv.second, "mode");
    else if(kv.first == "prettyName")
      result.pretty_name = try_get_string(kv.second, "prettyName");
    else if(kv.first == "isType")
      result.is_type = try_get_bool(kv.second, "isType");
    else if(kv.first == "isMacro")
      result.is_macro = try_get_bool(kv.second, "isMacro");
    else if(kv.first == "isExported")
      result.is_exported = try_get_bool(kv.second, "isExported");
    else if(kv.first == "isInput")
      result.is_input = try_get_bool(kv.second, "isInput");
    else if(kv.first == "isOutput")
      result.is_output = try_get_bool(kv.second, "isOutput");
    else if(kv.first == "isStateVar")
      result.is_state_var = try_get_bool(kv.second, "isStateVar");
    else if(kv.first == "isProperty")
      result.is_property = try_get_bool(kv.second, "isProperty");
    else if(kv.first == "isStaticLifetime")
      result.is_static_lifetime = try_get_bool(kv.second, "isStaticLifetime");
    else if(kv.first == "isThreadLocal")
      result.is_thread_local = try_get_bool(kv.second, "isThreadLocal");
    else if(kv.first == "isLvalue")
      result.is_lvalue = try_get_bool(kv.second, "isLvalue");
    else if(kv.first == "isFileLocal")
      result.is_file_local = try_get_bool(kv.second, "isFileLocal");
    else if(kv.first == "isExtern")
      result.is_extern = try_get_bool(kv.second, "isExtern");
    else if(kv.first == "isVolatile")
      result.is_volatile = try_get_bool(kv.second, "isVolatile");
    else if(kv.first == "isParameter")
      result.is_parameter = try_get_bool(kv.second, "isParameter");
    else if(kv.first == "isAuxiliary")
      result.is_auxiliary = try_get_bool(kv.second, "isAuxiliary");
    else if(kv.first == "isWeak")
      result.is_weak = try_get_bool(kv.second, "isWeak");
    else if(kv.first == "prettyType")
    {
    } // ignore
    else if(kv.first == "prettyValue")
    {
    } // ignore
    else
      throw deserialization_exceptiont(
        "symbol_from_json: unexpected key '" + kv.first + "'");
  }
 
  return result;
}