Changeset 447c356 for src/Common

Timestamp:

Oct 19, 2017, 11:15:35 AM (7 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

6fc5c14

Parents:

84733c1

git-author:

Rob Schluntz <rschlunt@…> (10/17/17 10:25:17)

git-committer:

Rob Schluntz <rschlunt@…> (10/19/17 11:15:35)

Message:

Add support for TypeSubstitution? in PassVisitor?

Location:

src/Common

Files:

• PassVisitor.h (modified) (1 diff)
• PassVisitor.impl.h (modified) (1 diff)

src/Common/PassVisitor.h

@@ -238 +238 @@
         virtual Attribute * mutate( Attribute * attribute ) override final;
 
+        virtual TypeSubstitution * mutate( TypeSubstitution * sub ) final;
+
 private:
         template<typename pass_t> friend void acceptAll( std::list< Declaration* > &decls, PassVisitor< pass_t >& visitor );

src/Common/PassVisitor.impl.h

@@ -2127 +2127 @@
         MUTATE_BODY( Attribute, node );
 }
+
+template< typename pass_type >
+TypeSubstitution * PassVisitor< pass_type >::mutate( TypeSubstitution * node ) {
+        MUTATE_START( node );
+
+        for ( auto & p : node->typeEnv ) {
+                indexerScopedMutate( p.second, *this );
+        }
+        for ( auto & p : node->varEnv ) {
+                indexerScopedMutate( p.second, *this );
+        }
+
+        MUTATE_END( TypeSubstitution, node );
+}