named.hh

Go to the documentation of this file.

#ifndef TYPE_NAMED_HH
# define TYPE_NAMED_HH

# include <misc/symbol.hh>
# include <type/type.hh>
# include <type/fwd.hh>

namespace type
{
  class Named : public Type
  {
  public:
    Named(misc::symbol name);
    Named(misc::symbol name, const Type* type);
    ~Named();
  public:
    const Type* type_get() const;

    void type_set(const Type* type);

    void type_set(const Type* type) const;

    misc::symbol name_get() const;

    void name_set(const misc::symbol& name);
  public:
    const Type& actual() const;

    bool sound() const;
    virtual bool compatible_with(const Type& other) const override;

  public:
    virtual std::ostream& dump(std::ostream& ostr) const override;

  protected:
    misc::symbol name_;

    mutable const Type* type_;
  };


} // namespace type

# include <type/named.hxx>

#endif // !TYPE_NAMED_HH