identifier.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_UTIL_IDENTIFIER_H
#define CPROVER_UTIL_IDENTIFIER_H
 
#include <string>
#include <vector>
 
#define ID_SEPARATOR "::"
 
class identifiert
{
public:
  explicit identifiert(const std::string &s)
  { parse(s); }
  explicit identifiert(const std::string &s) {…}
 
  identifiert()
  { }
  identifiert() {…}
 
  std::string as_string() const;
 
  typedef std::vector<std::string> componentst;
  componentst components;
 
protected:
  void parse(const std::string &s);
};
class identifiert {…};
 
#endif // CPROVER_UTIL_IDENTIFIER_H