Changeset 3c398b6 for src/Common/PassVisitor.proto.h

Timestamp:

Oct 3, 2017, 2:27:21 PM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

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:

e1ff775

Parents:

617b4b2

Message:

Fixed visit children to properly work with the indexer

File:

• src/Common/PassVisitor.proto.h (modified) (1 diff)

src/Common/PassVisitor.proto.h

@@ -46 +46 @@
         ~bool_ref() = default;
 
-        operator bool() { return *m_ref; }
+        operator bool() { return m_ref ? *m_ref : true; }
         bool operator=( bool val ) { return *m_ref = val; }
 
 private:
 
-        template<typename pass>
-        friend class PassVisitor;
-
-        void set( bool & val ) { m_ref = &val; };
-
-        bool * m_ref;
+        friend class ChildrenGuard;
+
+        bool * set( bool & val ) {
+                bool * prev = m_ref;
+                m_ref = &val;
+                return prev;
+        }
+
+        bool * m_ref = nullptr;
 };
 
-template< typename TreeType, typename VisitorType >
-inline void indexerScopedAccept( TreeType * tree, VisitorType & visitor ) {
-        auto guard = makeFuncGuard(
-                [&visitor]() { visitor.indexerScopeEnter(); },
-                [&visitor]() { visitor.indexerScopeLeave(); }
-        );
-        maybeAccept( tree, visitor );
-}
-
-template< typename TreeType, typename MutatorType >
-inline void indexerScopedMutate( TreeType *& tree, MutatorType & mutator ) {
-        auto guard = makeFuncGuard(
-                [&mutator]() { mutator.indexerScopeEnter(); },
-                [&mutator]() { mutator.indexerScopeLeave(); }
-        );
-        tree = maybeMutate( tree, mutator );
-}
-
-template< typename TreeType, typename MutatorType >
-inline void maybeMutateRef( TreeType *& tree, MutatorType & mutator ) {
-        tree = maybeMutate( tree, mutator );
-}
+class ChildrenGuard {
+public:
+
+        ChildrenGuard( bool_ref * ref )
+                : m_val ( true )
+                , m_prev( ref ? ref->set( m_val ) : nullptr )
+                , m_ref ( ref )
+        {}
+
+        ~ChildrenGuard() {
+                if( m_ref ) {
+                        m_ref->set( *m_prev );
+                }
+        }
+
+        operator bool() { return m_val; }
+
+private:
+        bool       m_val;
+        bool     * m_prev;
+        bool_ref * m_ref;
+};
 
 //-------------------------------------------------------------------------------------------------------------------------------------------------------------------------