Make Mutex_Factory an abstract class, move the creation of the no-op

Default_Mutex to the new Default_Mutex_Factory

1 files changed, 10 insertions, 1 deletions

diff --git a/include/mutex.h b/include/mutex.h
index 48d1ea637..2d716014f 100644
--- a/include/mutex.h
+++ b/include/mutex.h
@@ -27,11 +27,20 @@ class Mutex
 class Mutex_Factory
    {
    public:
-      virtual Mutex* make();
+      virtual Mutex* make() = 0;
       virtual ~Mutex_Factory() {}
    };
 
 /*************************************************
+* Default Mutex Factory                          *
+*************************************************/
+class Default_Mutex_Factory : public Mutex_Factory
+   {
+   public:
+      Mutex* make();
+   };
+
+/*************************************************
 * Mutex Holding Class                            *
 *************************************************/
 class Mutex_Holder