identifier.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
#include "identifier.h"
 
#include <cstring>
 
std::string identifiert::as_string() const
{
  std::string result;
 
  for(componentst::const_iterator it=components.begin();
      it!=components.end(); it++)
  {
    if(it!=components.begin())
      result+=ID_SEPARATOR;
    result+=*it;
  }
 
  return result;
}
 
void identifiert::parse(const std::string &s)
{
  std::string component;
 
  for(size_t i=0; i<s.size();)
  {
    for(; i<s.size(); i++)
    {
      if(strncmp(s.c_str()+i, ID_SEPARATOR, strlen(ID_SEPARATOR))==0)
      {
        i+=strlen(ID_SEPARATOR);
        break;
      }
      else
        component+=s[i];
    }
 
    components.push_back(component);
    component.clear();
  }
}