Changeset c36814a for src/GenPoly

Timestamp:

Sep 14, 2022, 11:53:40 AM (2 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, master, pthread-emulation

Children:

ce31925

Parents:

1c0657a

Message:

Adding 'final' and removing a redundent namespace in the post resolve new ast code.

Location:

src/GenPoly

Files:

• InstantiateGenericNew.cpp (modified) (1 diff)
• SpecializeNew.cpp (modified) (1 diff)

src/GenPoly/InstantiateGenericNew.cpp

@@ -85 +85 @@
 
 /// Maps a key and a TypeList to a valuue. Also supports scoping.
-class InstantiationMap {
+class InstantiationMap final {
         /// Wraps value for a specific (AggregateDecl, TypeList) combination.
         using Instantiation = std::pair<TypeList, ast::ptr<ast::AggregateDecl>>;

src/GenPoly/SpecializeNew.cpp

@@ -240 +240 @@
 }
 
-namespace {
-        struct TypeInstFixer : public ast::WithShortCircuiting {
-                std::map<const ast::TypeDecl *, std::pair<int, int>> typeMap;
-
-                void previsit(const ast::TypeDecl *) { visit_children = false; }
-                const ast::TypeInstType * postvisit(const ast::TypeInstType * typeInst) {
-                        if (typeMap.count(typeInst->base)) {
-                                ast::TypeInstType * newInst = mutate(typeInst);
-                                auto const & pair = typeMap[typeInst->base];
-                                newInst->expr_id = pair.first;
-                                newInst->formal_usage = pair.second;
-                                return newInst;
-                        }
-                        return typeInst;
-                }
-        };
-}
+struct TypeInstFixer final : public ast::WithShortCircuiting {
+        std::map<const ast::TypeDecl *, std::pair<int, int>> typeMap;
+
+        void previsit(const ast::TypeDecl *) { visit_children = false; }
+        const ast::TypeInstType * postvisit(const ast::TypeInstType * typeInst) {
+                if (typeMap.count(typeInst->base)) {
+                        ast::TypeInstType * newInst = mutate(typeInst);
+                        auto const & pair = typeMap[typeInst->base];
+                        newInst->expr_id = pair.first;
+                        newInst->formal_usage = pair.second;
+                        return newInst;
+                }
+                return typeInst;
+        }
+};
 
 const ast::Expr * SpecializeCore::createThunkFunction(