/**
 ** \file type/attribute.hxx
 ** \brief Inline methods for type::Attribute.
 */
#pragma once

#include <misc/contract.hh>

namespace type
{
  inline misc::symbol Attribute::name_get() const { return def_->name_get(); }

  inline const Type& Attribute::type_get() const
  {
    // FIXME DONE: Some code was deleted here.
    precondition(def_->type_get() != nullptr);

    return *def_->type_get();
  }

  inline const ast::VarDec* Attribute::def_get() const { return def_; }

  inline void Attribute::def_set(const ast::VarDec* def) { def_ = def; }

} // namespace type