convert_string_value.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Statement List Language Conversion
 
Author: Matthias Weiss, matthias.weiss@diffblue.com
 
\*******************************************************************/
 
 
#include "convert_string_value.h"
 
string_constantt convert_identifier(const std::string &src)
{
  string_constantt result{src};
  result.set(ID_statement_list_type, ID_statement_list_identifier);
  return result;
}
 
string_constantt convert_title(const std::string &src)
{
  string_constantt result{src};
  result.set(ID_statement_list_type, ID_statement_list_title);
  return result;
}
 
string_constantt convert_version(const std::string &src)
{
  string_constantt result{src};
  result.set(ID_statement_list_type, ID_statement_list_version);
  return result;
}
 
string_constantt convert_label(const std::string &src)
{
  // Cut the trailing colon
  std::string value = src.substr(0, src.length() - 1);
 
  string_constantt result{value};
  result.set(ID_statement_list_type, ID_label);
  return result;
}