coding.cc

Go to the documentation of this file.

// ======================================================================
//
// coding
//
// ======================================================================

#include "fhiclcpp/coding.h"

#include "cetlib/canonical_number.h"
#include "cetlib/canonical_string.h"
#include "fhiclcpp/ParameterSet.h"
#include "fhiclcpp/ParameterSetRegistry.h"

#include <cstddef>
#include <cstdlib>
#include <limits>
#include <stdexcept>

using namespace fhicl;
using namespace fhicl::detail;

using boost::lexical_cast;
using boost::numeric_cast;
using std::any;
using std::any_cast;

// ======================================================================

static inline std::string
canon_nil()
{
  static std::string const canon_nil(9, '\0');
  return canon_nil;
}

static inline ps_atom_t
literal_true()
{
  static std::string literal_true("true");
  return literal_true;
}

static inline ps_atom_t
literal_false()
{
  static std::string literal_false("false");
  return literal_false;
}

static inline ps_atom_t
literal_infinity()
{
  static std::string literal_infinity("infinity");
  return literal_infinity;
}

static void
atom_rep(any const& a, std::string& result)
{
  if (is_table(a))
    throw fhicl::exception(type_mismatch, "can't obtain atom from table");
  if (is_sequence(a))
    throw fhicl::exception(type_mismatch, "can't obtain atom from sequence");

  result = any_cast<std::string>(a);
#if 0
  if( result.size() >= 2 && result[0] == '\"' && result.end()[-1] == '\"' )
    result = cet::unescape( result.substr(1, result.size()-2) );
#endif // 0
}

// ----------------------------------------------------------------------

bool
fhicl::detail::is_nil(std::any const& val)
{
  bool result = false;
  if (!(is_table(val) || is_sequence(val))) {
    std::string str;
    atom_rep(val, str);
    result = (str == canon_nil());
  }
  return result;
}

ps_atom_t // string (with quotes)
fhicl::detail::encode(std::string const& value)
{
  bool is_quoted = value.size() >= 2 && value[0] == value.end()[-1] &&
                   (value[0] == '\"' || value[0] == '\'');

  std::string const& str = is_quoted ? value : '\'' + value + '\'';

  extended_value xval;
  std::string unparsed;
  if (!parse_value_string(str, xval, unparsed) || !xval.is_a(STRING))
    throw fhicl::exception(type_mismatch, "error in input string:\n")
      << str << "\nat or before:\n"
      << unparsed;

  return extended_value::atom_t(xval);
}

ps_atom_t // string (with quotes)
fhicl::detail::encode(char const* value)
{
  return encode(std::string(value));
}

ps_atom_t // nil
fhicl::detail::encode(std::nullptr_t)
{
  return canon_nil();
}

ps_atom_t // bool
fhicl::detail::encode(bool value)
{
  return value ? literal_true() : literal_false();
}

ParameterSetID // table
fhicl::detail::encode(ParameterSet const& value)
{
  return ParameterSetRegistry::put(value);
}

ps_atom_t // unsigned
fhicl::detail::encode(std::uintmax_t value)
{
  std::string result = lexical_cast<std::string>(value);
  if (result.size() > 6) {
    std::size_t sz = result.size() - 1;
    result.insert(1, ".");
    result += "e+" + lexical_cast<std::string>(sz);
  }
  return result;
}

ps_atom_t // signed
fhicl::detail::encode(std::intmax_t value)
{
  std::string result = encode(std::uintmax_t(std::abs(value)));
  if (value < 0)
    result.insert(0, "-");
  return result;
}

ps_atom_t // floating-point
fhicl::detail::encode(ldbl value)
{
  if (value == std::numeric_limits<ldbl>::infinity())
    return '+' + literal_infinity();
  if (value == -std::numeric_limits<ldbl>::infinity())
    return '-' + literal_infinity();

  std::intmax_t chopped = static_cast<std::intmax_t>(value);
  if (static_cast<ldbl>(chopped) == value)
    return encode(chopped);

  std::string result;
  cet::canonical_number(lexical_cast<std::string>(value), result);
  return result;
}

// ----------------------------------------------------------------------

void // string without delimiting quotes
fhicl::detail::decode(any const& a, std::string& result)
{
  atom_rep(a, result);
  if (result == canon_nil())
    throw fhicl::exception(type_mismatch, "can't obtain string from nil");

  if (result.size() >= 2 && result[0] == '\"' && result.end()[-1] == '\"')
    result = cet::unescape(result.substr(1, result.size() - 2));
}

void // nil
fhicl::detail::decode(any const& a, std::nullptr_t& result)
{
  std::string str;
  atom_rep(a, str);

  if (str != canon_nil())
    throw fhicl::exception(type_mismatch, "error in nil string:\n") << str;

  result = nullptr;
}

void // bool
fhicl::detail::decode(any const& a, bool& result)
{
  std::string str;
  decode(a, str);

  extended_value xval;
  std::string unparsed;
  if (!parse_value_string(str, xval, unparsed) || !xval.is_a(BOOL))
    throw fhicl::exception(type_mismatch, "error in bool string:\n")
      << str << "\nat or before:\n"
      << unparsed;

  typedef extended_value::atom_t atom_t;
  atom_t const& atom = atom_t(xval);
  result = atom == literal_true();
}

void // table
fhicl::detail::decode(any const& a, ParameterSet& result)
{
  ParameterSetID id = any_cast<ParameterSetID>(a);
  result = ParameterSetRegistry::get(id);
}

void // unsigned
fhicl::detail::decode(any const& a, std::uintmax_t& result)
{
  std::string str;
  decode(a, str);

  extended_value xval;
  std::string unparsed;
  if (!parse_value_string(str, xval, unparsed) || !xval.is_a(NUMBER))
    throw fhicl::exception(type_mismatch, "error in unsigned string:\n")
      << str << "\nat or before:\n"
      << unparsed;

  typedef extended_value::atom_t atom_t;
  atom_t const& atom = atom_t(xval);
  ldbl via = lexical_cast<ldbl>(atom);
  result = numeric_cast<std::uintmax_t>(via);
  if (via != ldbl(result))
    throw std::range_error("narrowing conversion");
}

void // signed
fhicl::detail::decode(any const& a, std::intmax_t& result)
{
  std::string str;
  decode(a, str);

  extended_value xval;
  std::string unparsed;
  if (!parse_value_string(str, xval, unparsed) || !xval.is_a(NUMBER))
    throw fhicl::exception(type_mismatch, "error in signed string:\n")
      << str << "\nat or before:\n"
      << unparsed;

  typedef extended_value::atom_t atom_t;
  atom_t const& atom = atom_t(xval);
  ldbl via = lexical_cast<ldbl>(atom);
  result = numeric_cast<std::intmax_t>(via);
  if (via != ldbl(result))
    throw std::range_error("narrowing conversion");
}

void // floating-point
fhicl::detail::decode(any const& a, ldbl& result)
{
  std::string str;
  decode(a, str);

  extended_value xval;
  std::string unparsed;
  if (!parse_value_string(str, xval, unparsed) || !xval.is_a(NUMBER))
    throw fhicl::exception(type_mismatch, "error in float string:\n")
      << str << "\nat or before:\n"
      << unparsed;

  typedef extended_value::atom_t atom_t;
  atom_t const& atom = atom_t(xval);
  if (atom.substr(1) == literal_infinity()) {
    switch (atom[0]) {
    case '+':
      result = +std::numeric_limits<ldbl>::infinity();
      return;
    case '-':
      result = -std::numeric_limits<ldbl>::infinity();
      return;
    }
  } else
    result = lexical_cast<ldbl>(atom);
}

void // complex
fhicl::detail::decode(any const& a, std::complex<ldbl>& result)
{
  std::string str;
  decode(a, str);

  extended_value xval;
  std::string unparsed;
  if (!parse_value_string(str, xval, unparsed) || !xval.is_a(COMPLEX))
    throw fhicl::exception(type_mismatch, "error in complex string:\n")
      << str << "\nat or before:\n"
      << unparsed;

  typedef extended_value::complex_t complex_t;
  complex_t const& cmplx = complex_t(xval);
  ldbl real, imag;
  decode(cmplx.first, real);
  decode(cmplx.second, imag);
  result = std::complex<ldbl>(real, imag);
}

// ======================================================================