Changeset 6cebfef for src/Common

Timestamp:

Aug 13, 2021, 3:58:19 PM (4 years ago)

Author:

caparsons <caparson@…>

Branches:

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

Children:

de52331

Parents:

c9f9d4f

Message:

added mutex stmt monitor

Location:

src/Common

Files:

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

src/Common/PassVisitor.h

@@ -124 +124 @@
         virtual void visit( ImplicitCtorDtorStmt * impCtorDtorStmt ) override final;
         virtual void visit( const ImplicitCtorDtorStmt * impCtorDtorStmt ) override final;
+        virtual void visit( MutexStmt * mutexStmt ) override final;
+        virtual void visit( const MutexStmt * mutexStmt ) override final;
 
         virtual void visit( ApplicationExpr * applicationExpr ) override final;
@@ -291 +293 @@
         virtual Statement * mutate( DeclStmt * declStmt ) override final;
         virtual Statement * mutate( ImplicitCtorDtorStmt * impCtorDtorStmt ) override final;
+        virtual Statement * mutate( MutexStmt * mutexStmt ) override final;
 
         virtual Expression * mutate( ApplicationExpr * applicationExpr ) override final;

src/Common/PassVisitor.impl.h

@@ -1781 +1781 @@
 
 //--------------------------------------------------------------------------
+// MutexStmt
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( MutexStmt * node ) {
+        VISIT_START( node );
+        // mutex statements introduce a level of scope (for the initialization)
+        maybeAccept_impl( node->mutexObjs, *this );
+        {
+                auto guard = makeFuncGuard( [this]() { indexerScopeEnter(); }, [this]() { indexerScopeLeave(); } );
+                node->stmt = visitStatement( node->stmt );
+        }
+        VISIT_END( node );
+}
+
+template< typename pass_type >
+void PassVisitor< pass_type >::visit( const MutexStmt * node ) {
+        VISIT_START( node );
+        maybeAccept_impl( node->mutexObjs, *this );
+        {
+                auto guard = makeFuncGuard( [this]() { indexerScopeEnter(); }, [this]() { indexerScopeLeave(); } );
+                visitStatement( node->stmt );
+        }
+        VISIT_END( node );
+}
+
+template< typename pass_type >
+Statement * PassVisitor< pass_type >::mutate( MutexStmt * node ) {
+        MUTATE_START( node );
+        maybeMutate_impl( node->mutexObjs, *this );
+        {
+                auto guard = makeFuncGuard( [this]() { indexerScopeEnter(); }, [this]() { indexerScopeLeave(); } );
+                node->stmt = mutateStatement( node->stmt );
+        }
+        MUTATE_END( Statement, node );
+}
+
+//--------------------------------------------------------------------------
 // ApplicationExpr
 template< typename pass_type >