chore: Add views::base_classes

Signed-off-by: Roberto Raggi <[email protected]>

Author: robertoraggi

src/parser/CMakeLists.txt

@@ -18,13 +18,17 @@
 # CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 
 file(GLOB CXX_INCLUDE_HEADER_FILES cxx/*.h)
+file(GLOB CXX_VIEWS_INCLUDE_HEADER_FILES cxx/views/*.h)
 
 aux_source_directory(cxx SOURCES)
 
 add_library(cxx-parser ${SOURCES}
     # generated files
     keywords-priv.h
     pp_keywords-priv.h
+    # headers
+    ${CXX_INCLUDE_HEADER_FILES}
+    ${CXX_VIEWS_INCLUDE_HEADER_FILES}
 )
 
 target_compile_definitions(cxx-parser PUBLIC
@@ -85,6 +89,11 @@ install(
     DESTINATION ${CMAKE_INSTALL_INCLUDEDIR}/cxx
 )
 
+install(
+    FILES ${CXX_VIEWS_INCLUDE_HEADER_FILES}
+    DESTINATION ${CMAKE_INSTALL_INCLUDEDIR}/cxx/views
+)
+
 install(
     TARGETS cxx-parser
     EXPORT cxxTargets

src/parser/cxx/parser.cc

@@ -29,12 +29,12 @@
 #include <cxx/name_printer.h>
 #include <cxx/names.h>
 #include <cxx/scope.h>
-#include <cxx/symbol_chain_view.h>
 #include <cxx/symbol_instantiation.h>
 #include <cxx/symbols.h>
 #include <cxx/token.h>
 #include <cxx/type_printer.h>
 #include <cxx/types.h>
+#include <cxx/views/symbol_chain.h>
 
 #include <algorithm>
 #include <cstring>
@@ -9868,6 +9868,10 @@ void Parser::parse_base_specifier(BaseSpecifierAST*& yyast) {
       baseClassSymbol->setVirtual(ast->isVirtual);
       baseClassSymbol->setSymbol(symbol);
 
+      if (symbol) {
+        baseClassSymbol->setName(symbol->name());
+      }
+
       switch (ast->accessSpecifier) {
         case TokenKind::T_PRIVATE:
           baseClassSymbol->setAccessSpecifier(AccessSpecifier::kPrivate);

src/parser/cxx/scope.h

@@ -21,10 +21,10 @@
 #pragma once
 
 #include <cxx/names_fwd.h>
-#include <cxx/symbol_chain_view.h>
 #include <cxx/symbols.h>
 #include <cxx/symbols_fwd.h>
 #include <cxx/types_fwd.h>
+#include <cxx/views/symbol_chain.h>
 
 #include <vector>
 

src/parser/cxx/symbol_chain_view.cc

@@ -18,7 +18,9 @@
 // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 // SOFTWARE.
 
-#include <cxx/symbol_chain_view.h>
+#include <cxx/views/symbol_chain.h>
+
+// cxx
 #include <cxx/symbols.h>
 
 namespace cxx {

src/parser/cxx/views/base_classes.h

@@ -0,0 +1,110 @@
+// Copyright (c) 2024 Roberto Raggi <[email protected]>
+//
+// Permission is hereby granted, free of charge, to any person obtaining a copy
+// of this software and associated documentation files (the "Software"), to deal
+// in the Software without restriction, including without limitation the rights
+// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+// copies of the Software, and to permit persons to whom the Software is
+// furnished to do so, subject to the following conditions:
+//
+// The above copyright notice and this permission notice shall be included in
+// all copies or substantial portions of the Software.
+//
+// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+// SOFTWARE.
+
+#pragma once
+
+#include <cxx/symbols.h>
+
+#include <ranges>
+#include <stack>
+
+namespace cxx {
+
+class BaseClassesView {
+ public:
+  explicit BaseClassesView(ClassSymbol* classSymbol)
+      : state_(std::make_shared<State>()) {
+    if (classSymbol) {
+      for (auto base : classSymbol->baseClasses() | std::views::reverse) {
+        state_->stack.push(base);
+      }
+    }
+  }
+
+  ~BaseClassesView() = default;
+
+  auto begin() { return Generator{this}; }
+  auto end() { return std::default_sentinel; }
+
+ private:
+  class Generator {
+   public:
+    using value_type = BaseClassSymbol*;
+    using difference_type = std::ptrdiff_t;
+
+    explicit Generator(BaseClassesView* view) : view_{view} {}
+
+    auto operator*() const -> BaseClassSymbol* {
+      auto state = view_->state_;
+      if (state->stack.empty()) return nullptr;
+      return state->stack.top();
+    }
+
+    auto operator++() -> Generator& {
+      auto state = view_->state_;
+      auto base = state->stack.top();
+      state->stack.pop();
+
+      if (auto classSymbol = symbol_cast<ClassSymbol>(base->symbol())) {
+        if (!state->visited.insert(classSymbol).second) {
+          return *this;
+        }
+
+        for (auto base : classSymbol->baseClasses() | std::views::reverse) {
+          state->stack.push(base);
+        }
+      }
+
+      return *this;
+    }
+
+    auto operator++(int) -> Generator {
+      auto tmp = *this;
+      ++*this;
+      return tmp;
+    }
+
+    auto operator==(const std::default_sentinel_t&) const -> bool {
+      auto state = view_->state_;
+      return state->stack.empty();
+    }
+
+   private:
+    BaseClassesView* view_ = nullptr;
+  };
+
+ private:
+  struct State {
+    std::unordered_set<ClassSymbol*> visited;
+    std::stack<BaseClassSymbol*> stack;
+  };
+
+  std::shared_ptr<State> state_ = std::make_shared<State>();
+};
+
+namespace views {
+
+inline auto base_classes(ClassSymbol* classSymbol) -> BaseClassesView {
+  return BaseClassesView{classSymbol};
+}
+
+}  // namespace views
+
+}  // namespace cxx