From: Brian Norris <banorris@uci.edu>
Date: Wed, 20 Feb 2013 07:37:12 +0000 (-0800)
Subject: don't include action.h from model.h
X-Git-Tag: oopsla2013~241
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=e7c0c2dc248559b307122db7923df35f7c6d957e

don't include action.h from model.h
---

diff --git a/cmodelint.cc b/cmodelint.cc
index 76b4c90..47aef05 100644
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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"