type.hh

Go to the documentation of this file.

#ifndef TYPE_TYPE_HH
# define TYPE_TYPE_HH

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

namespace type
{
  class Type
  {
  public:
    virtual ~Type();
  public:
    virtual const Type& actual() const;
  public:
    virtual bool compatible_with(const Type& other) const;

  public:
    virtual std::ostream& dump(std::ostream& ostr) const = 0;
  };

  std::ostream& operator<<(std::ostream& ostr, const Type& t);


  bool operator==(const Type& lhs, const Type& rhs);
  bool operator!=(const Type& lhs, const Type& rhs);

  extern const misc::xalloc<bool> hide_actual_types;

} // namespace type

# include <type/type.hxx>

#endif // !TYPE_TYPE_HH