Changeset 6054b18 for src/SynTree/DeclReplacer.h

Timestamp:

May 29, 2019, 9:09:30 PM (5 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

466fa01

Parents:

c786e1d (diff), d88f8b3b (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/SynTree/DeclReplacer.h (modified) (1 diff)

src/SynTree/DeclReplacer.h

@@ -26 +26 @@
         typedef std::map< DeclarationWithType *, DeclarationWithType * > DeclMap;
         typedef std::map< TypeDecl *, TypeDecl * > TypeMap;
+        typedef std::map< DeclarationWithType *, Expression * > ExprMap;
 
         void replace( BaseSyntaxNode * node, const DeclMap & declMap, bool debug = false );
         void replace( BaseSyntaxNode * node, const TypeMap & typeMap, bool debug = false );
         void replace( BaseSyntaxNode * node, const DeclMap & declMap, const TypeMap & typeMap, bool debug = false );
+
+        void replace( BaseSyntaxNode *& node, const ExprMap & exprMap, bool debug = false);
+        template<typename T>
+                void replace( T *& node, const ExprMap & exprMap, bool debug = false ) {
+                if ( ! node ) return;
+                BaseSyntaxNode * arg = node;
+                replace( arg, exprMap, debug );
+                node = dynamic_cast<T *>( arg );
+                assertf( node, "DeclReplacer fundamentally changed the type of its argument." );
+        }
 }