summaryrefslogtreecommitdiff
path: root/tiger-compiler/src/overload/over-table.hxx
blob: de8f98b18ac0b7a5c33a4a9f02088f6207e55e38 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
/**
 ** \file overload/over-table.hxx
 ** \brief Inline methods and template implementations for overload/over-table.hh.
 */

#pragma once

#include <ostream>
#include <ranges>

#include <overload/over-table.hh>

namespace overload
{
  template <typename T> OverTable<T>::OverTable()
  {
    oversymtab_.emplace_back();
  }

  template <typename T> void OverTable<T>::put(misc::symbol key, T& value)
  {
    oversymtab_.back().emplace(key, &value);
  }

  template <typename T>
  typename OverTable<T>::range_type OverTable<T>::get(misc::symbol key)
  {
    precondition(!oversymtab_.empty());
    auto& map = oversymtab_.back();
    return map.equal_range(key);
  }

  template <typename T> void OverTable<T>::scope_begin()
  {
    oversymtab_.emplace_back(oversymtab_.back());
  }

  template <typename T> void OverTable<T>::scope_end()
  {
    precondition(!oversymtab_.empty());
    oversymtab_.pop_back();
  }

  template <typename T>
  std::ostream& OverTable<T>::dump(std::ostream& ostr) const
  {
    ostr << "<overTable>\n";
    for (const auto& m : oversymtab_ | std::views::reverse)
      {
        ostr << "<scope>\n";
        for (const auto& im : m)
          ostr << im.first << " : " << im->second.size() << '\n';
        ostr << "</scope>\n";
      }
    return ostr << "</overTable>\n";
  }

  template <typename T>
  std::ostream& operator<<(std::ostream& ostr, const OverTable<T>& tbl)
  {
    return tbl.dump(ostr);
  }

} // namespace overload