Changeset 5a40e4e for src/AST/Stmt.hpp

Timestamp:

Sep 9, 2021, 3:56:32 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum

Children:

d0b9247

Parents:

dd1cc02 (diff), d8d512e (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/AST/Stmt.hpp (modified) (1 diff)

src/AST/Stmt.hpp

@@ -426 +426 @@
 };
 
+/// Mutex Statement
+class MutexStmt final : public Stmt {
+public:
+        ptr<Stmt> stmt;
+        std::vector<ptr<Expr>> mutexObjs;
+
+        MutexStmt( const CodeLocation & loc, const Stmt * stmt, 
+                std::vector<ptr<Expr>> && mutexes, std::vector<Label> && labels = {} )
+        : Stmt(loc, std::move(labels)), stmt(stmt), mutexObjs(std::move(mutexes)) {}
+
+        const Stmt * accept( Visitor & v ) const override { return v.visit( this ); }
+private:
+        MutexStmt * clone() const override { return new MutexStmt{ *this }; }
+        MUTATE_FRIEND
+};
+
 }