symbol.hh

Go to the documentation of this file.

#ifndef MISC_SYMBOL_HH
# define MISC_SYMBOL_HH

# include <set>
# include <string>
# include <iosfwd>
# include <misc/unique.hh>

namespace misc
{

  class symbol : public unique<std::string>
  {
    typedef unique<std::string> super_type;
    typedef super_type::object_set_type string_set_type;
    typedef string_set_type::size_type string_size_type;

  public:
    symbol(const std::string& s);
    symbol(const char* s = "");
    virtual ~symbol();
  public:
    const std::string& name_get() const;

    static string_size_type string_map_size();
  public:
    symbol& operator=(const symbol& rhs);

    bool operator==(const symbol& rhs) const;
    bool operator!=(const symbol& rhs) const;
  public:
    static symbol fresh();
    static symbol fresh(const symbol& s);
  };

  std::ostream& operator<<(std::ostream& ostr, const symbol& the);
}

# include <misc/symbol.hxx>

#endif // !MISC_SYMBOL_HH