don't include action.h from model.h

diff --git a/cmodelint.cc b/cmodelint.cc
index 76b4c90..47aef05 100644 (file)
--- a/cmodelint.cc
+++ b/cmodelint.cc
@@ -1,4 +1,5 @@
 #include "model.h"
+#include "action.h"
 #include "cmodelint.h"
 #include "threads-model.h"
 

diff --git a/conditionvariable.cc b/conditionvariable.cc
index ce33e80..f79cf2a 100644 (file)
--- a/conditionvariable.cc
+++ b/conditionvariable.cc
@@ -1,7 +1,7 @@
 #include <mutex>
 #include "model.h"
 #include <condition_variable>
-
+#include "action.h"
 
 namespace std {
 

diff --git a/datarace.cc b/datarace.cc
index c70d418..1ec43be 100644 (file)
--- a/datarace.cc
+++ b/datarace.cc
@@ -6,6 +6,7 @@
 #include "mymemory.h"
 #include "clockvector.h"
 #include "config.h"
+#include "action.h"
 
 struct ShadowTable *root;
 std::vector<struct DataRace *> unrealizedraces;

diff --git a/impatomic.cc b/impatomic.cc
index c10c43e..2d48989 100644 (file)
--- a/impatomic.cc
+++ b/impatomic.cc
@@ -2,6 +2,7 @@
 #include "common.h"
 #include "model.h"
 #include "threads-model.h"
+#include "action.h"
 
 namespace std {
 

diff --git a/libthreads.cc b/libthreads.cc
index 0a56996..8e213aa 100644 (file)
--- a/libthreads.cc
+++ b/libthreads.cc
@@ -1,6 +1,7 @@
 #include <threads.h>
 #include "common.h"
 #include "threads-model.h"
+#include "action.h"
 
 /* global "model" object */
 #include "model.h"

diff --git a/model.h b/model.h
index 08bde0f..8ef825f 100644 (file)
--- a/model.h
+++ b/model.h
@@ -8,20 +8,22 @@
 #include <vector>
 #include <cstddef>
 #include <ucontext.h>
+#include <inttypes.h>
 
 #include "mymemory.h"
-#include "action.h"
 #include "hashtable.h"
 #include "workqueue.h"
 #include "config.h"
 #include "modeltypes.h"
 
 /* Forward declaration */
+class Node;
 class NodeStack;
 class CycleGraph;
 class Promise;
 class Scheduler;
 class Thread;
+class ClockVector;
 struct model_snapshot_members;
 
 /** @brief Shorthand for a list of release sequence heads */

diff --git a/mutex.cc b/mutex.cc
index 7fa0b58..1450005 100644 (file)
--- a/mutex.cc
+++ b/mutex.cc
@@ -3,6 +3,7 @@
 #include "model.h"
 #include "threads-model.h"
 #include "clockvector.h"
+#include "action.h"
 
 namespace std {
 mutex::mutex() {

diff --git a/promise.cc b/promise.cc
index 8519fee..0f5ba4d 100644 (file)
--- a/promise.cc
+++ b/promise.cc
@@ -4,6 +4,8 @@
 #include "promise.h"
 #include "model.h"
 #include "schedule.h"
+#include "action.h"
+#include "threads-model.h"
 
 /**
  * @brief Promise constructor

diff --git a/promise.h b/promise.h
index 20aee03..278b7cc 100644 (file)
--- a/promise.h
+++ b/promise.h
@@ -8,10 +8,12 @@
 #define __PROMISE_H__
 
 #include <inttypes.h>
-#include "threads-model.h"
+#include <vector>
 
-#include "model.h"
 #include "modeltypes.h"
+#include "mymemory.h"
+
+class ModelAction;
 
 struct future_value {
        uint64_t value;

diff --git a/threads.cc b/threads.cc
index a8f282a..1de548c 100644 (file)
--- a/threads.cc
+++ b/threads.cc
@@ -7,6 +7,7 @@
 #include <threads.h>
 #include "common.h"
 #include "threads-model.h"
+#include "action.h"
 
 /* global "model" object */
 #include "model.h"