From e7c0c2dc248559b307122db7923df35f7c6d957e Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 19 Feb 2013 23:37:12 -0800
Subject: [PATCH] don't include action.h from model.h

---
 cmodelint.cc         | 1 +
 conditionvariable.cc | 2 +-
 datarace.cc          | 1 +
 impatomic.cc         | 1 +
 libthreads.cc        | 1 +
 model.h              | 4 +++-
 mutex.cc             | 1 +
 promise.cc           | 2 ++
 promise.h            | 6 ++++--
 threads.cc           | 1 +
 10 files changed, 16 insertions(+), 4 deletions(-)

diff --git a/cmodelint.cc b/cmodelint.cc
index 76b4c90f..47aef05f 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 ce33e808..f79cf2a9 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 c70d4189..1ec43be4 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 c10c43e5..2d48989c 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 0a569969..8e213aa8 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 08bde0f8..8ef825f3 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 7fa0b589..14500054 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 8519feef..0f5ba4d1 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 20aee036..278b7cc2 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 a8f282a8..1de548cc 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"
-- 
2.34.1