convert_dint_literal.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Statement List Language Conversion
 
Author: Matthias Weiss, matthias.weiss@diffblue.com
 
\*******************************************************************/

 
#include "convert_dint_literal.h"
#include "statement_list_types.h"
 
#include <util/arith_tools.h>
#include <util/bitvector_types.h>
 
#include <stdexcept>

#define STL_DINT_MAX_VALUE 2147483647LL
#define STL_DINT_MIN_VALUE -2147483648LL
#define BASE_10 10u
#define BASE_16 16u
#define BASE_2 2u
#define PREFIX_SEPARATOR '#'
#define OUT_OF_RANGE_MSG "DInt literal out of range"

static constant_exprt convert_dint_literal_value(const long long literal_value)
{
  if(STL_DINT_MIN_VALUE <= literal_value && STL_DINT_MAX_VALUE >= literal_value)
    return from_integer(literal_value, get_dint_type());
  else
    throw std::out_of_range{OUT_OF_RANGE_MSG};
}

static long long get_literal_value(const std::string &src, unsigned int base)
{
  std::string::size_type offset = src.find_last_of(PREFIX_SEPARATOR);
  if(offset == std::string::npos)
    offset = 0u;
  else
    ++offset;
  const std::string literal{src.substr(offset)};
  return std::stoll(literal, nullptr, base);
}
 
constant_exprt convert_dint_dec_literal_value(const std::string &src)
{
  try
  {
    const long long literal_value = get_literal_value(src, BASE_10);
    return convert_dint_literal_value(literal_value);
  }
  catch(std::out_of_range &)
  {
    throw std::out_of_range{OUT_OF_RANGE_MSG};
  }
}
 
constant_exprt convert_dint_hex_literal_value(const std::string &src)
{
  try
  {
    const long long literal_value = get_literal_value(src, BASE_16);
    return convert_dint_literal_value(literal_value);
  }
  catch(std::out_of_range &)
  {
    throw std::out_of_range{OUT_OF_RANGE_MSG};
  }
}
 
constant_exprt convert_dint_bit_literal_value(const std::string &src)
{
  try
  {
    const long long literal_value = get_literal_value(src, BASE_2);
    return convert_dint_literal_value(literal_value);
  }
  catch(std::out_of_range &)
  {
    throw std::out_of_range{OUT_OF_RANGE_MSG};
  }
}