Changeset 80eefcb for src/SymTab

Timestamp:

Feb 14, 2019, 11:14:50 AM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

no_list

Children:

99614c2

Parents:

8d25360

Message:

Forall list now uses vector

Location:

src/SymTab

Files:

• Demangle.cc (modified) (1 diff)
• Indexer.cc (modified) (1 diff)
• Indexer.h (modified) (2 diffs)
• Validate.cc (modified) (1 diff)

src/SymTab/Demangle.cc

@@ -543 +543 @@
                                 if (done()) return nullptr;
 
-                                std::list<TypeDecl *> forall;
+                                Type::ForallList forall;
                                 if (isPrefix(Encoding::forall)) {
                                         PRINT( std::cerr << "polymorphic with..." << std::endl; )

src/SymTab/Indexer.cc

@@ -674 +674 @@
         }
 
-        void Indexer::addTypes( const std::list< TypeDecl * > & tds ) {
+        void Indexer::addTypes( const Type::ForallList & tds ) {
                 for ( auto td : tds ) {
                         addType( td );

src/SymTab/Indexer.h

@@ -21 +21 @@
 #include <functional>         // for function
 
+#include "SynTree/Type.h"  // for AST nodes
+#include "SynTree/SynTree.h"  // for AST nodes
 #include "SynTree/Visitor.h"  // for Visitor
-#include "SynTree/SynTree.h"  // for AST nodes
 
 namespace ResolvExpr {
@@ -119 +120 @@
 
                 /// convenience function for adding a list of forall parameters to the indexer
-                void addTypes( const std::list< TypeDecl * > & tds );
+                void addTypes( const Type::ForallList & tds );
 
                 /// convenience function for adding all of the declarations in a function type to the indexer

src/SymTab/Validate.cc

@@ -808 +808 @@
 
         /// Fix up assertions - flattens assertion lists, removing all trait instances
-        void forallFixer( std::list< TypeDecl * > & forall, BaseSyntaxNode * node ) {
+        template<typename container_t>
+        void forallFixer( container_t & forall, BaseSyntaxNode * node ) {
                 for ( TypeDecl * type : forall ) {
-                        std::list< DeclarationWithType * > asserts;
-                        asserts.splice( asserts.end(), type->assertions );
+                        decltype(type->assertions) asserts;
+                        std::swap(asserts, type->assertions );
                         // expand trait instances into their members
                         for ( DeclarationWithType * assertion : asserts ) {