class.hh

Go to the documentation of this file.

#ifndef TYPE_CLASS_HH
# define TYPE_CLASS_HH

# include <list>

# include <misc/symbol.hh>
# include <type/attribute.hh>
# include <type/method.hh>
# include <type/type.hh>

namespace type
{
  class Class : public Type
  {
  public:
    Class(const Class* super = nullptr);
  public:
    const Type* attr_type(const misc::symbol& key) const;
    const Method* meth_type(const misc::symbol& key) const;
  public:
    typedef std::list<Attribute> attrs_type;
    typedef std::list<const Method*> meths_type;

    const attrs_type& attrs_get() const;
    const meths_type& meths_get() const;

    const Attribute* attr_find(const misc::symbol& key) const;
    const Attribute* owned_attr_find(const misc::symbol& key) const;

    const Method* owned_meth_find(const misc::symbol& key) const;

    void attr_add(const Attribute& attr);
    void attr_add(const ast::VarDec* def);

    void meth_add(const Method* method);

    bool has_data() const;

  public:
    unsigned id_get() const;

    const Class* super_get() const;
    void super_set(const Class* type);

    const std::list<const Class*>& subclasses_get() const;

    void subclass_add(const Class* subclass) const;

    void subclasses_clear() const;
  public:
    bool sound() const;
  // FIXME: Some code was deleted here (Inherited virtual methods).

  public:
    static const Class& object_instance();

  private:
    static unsigned fresh_id();

    unsigned id_;
    const Class* super_;
    mutable std::list<const Class*> subclasses_;
    attrs_type attrs_;
    meths_type meths_;
  };


} // namespace type

# include <type/class.hxx>

#endif // !TYPE_CLASS_HH