format_specifier.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Format specifiers for String.format
 
Author: Romain Brenguier, Joel Allred
 
Date:   June 2019
 
\*******************************************************************/
 
 
#include "format_specifier.h"
#include <regex>
 
static format_specifiert format_specifier_of_match(std::smatch &m)
{
  PRECONDITION(m.size() == 7);
  int index = m[1].str().empty() ? -1 : std::stoi(m[1].str());
  std::string flag = m[2].str();
  int width = m[3].str().empty() ? -1 : std::stoi(m[3].str());
  int precision = m[4].str().empty() ? -1 : std::stoi(m[4].str());
  // `tT` values:  "t" = date/time, "T" = uppercase date/time
  std::string tT = m[5].str();
 
  // date/time
  bool dt = !tT.empty();
  if(tT == "T")
    flag.push_back(format_specifiert::DATE_TIME_UPPER);
 
  INVARIANT(
    m[6].str().length() == 1, "format conversion should be one character");
  char conversion = m[6].str()[0];
 
  return format_specifiert(index, flag, width, precision, dt, conversion);
}
 
std::vector<format_elementt> parse_format_string(std::string s)
{
  const std::string format_specifier =
    "%(\\d+\\$)?([-#+ 0,(\\<]*)?(\\d+)?(\\.\\d+)?([tT])?([a-zA-Z%])";
  std::regex regex(format_specifier);
  std::vector<format_elementt> al;
  std::smatch match;
 
  while(std::regex_search(s, match, regex))
  {
    if(match.position() != 0)
    {
      std::string pre_match = s.substr(0, match.position());
      al.emplace_back(pre_match);
    }
 
    al.emplace_back(format_specifier_of_match(match));
    s = match.suffix();
  }
 
  al.emplace_back(s);
  return al;
}