Skip to content

Commit

Permalink
don't include action.h from model.h
Browse files Browse the repository at this point in the history
  • Loading branch information
Brian Norris committed Feb 20, 2013
1 parent c399a44 commit e7c0c2d
Show file tree
Hide file tree
Showing 10 changed files with 16 additions and 4 deletions.
1 change: 1 addition & 0 deletions cmodelint.cc
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
#include "model.h"
#include "action.h"
#include "cmodelint.h"
#include "threads-model.h"

Expand Down
2 changes: 1 addition & 1 deletion conditionvariable.cc
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
#include <mutex>
#include "model.h"
#include <condition_variable>

#include "action.h"

namespace std {

Expand Down
1 change: 1 addition & 0 deletions datarace.cc
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@
#include "mymemory.h"
#include "clockvector.h"
#include "config.h"
#include "action.h"

struct ShadowTable *root;
std::vector<struct DataRace *> unrealizedraces;
Expand Down
1 change: 1 addition & 0 deletions impatomic.cc
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,7 @@
#include "common.h"
#include "model.h"
#include "threads-model.h"
#include "action.h"

namespace std {

Expand Down
1 change: 1 addition & 0 deletions libthreads.cc
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
#include <threads.h>
#include "common.h"
#include "threads-model.h"
#include "action.h"

/* global "model" object */
#include "model.h"
Expand Down
4 changes: 3 additions & 1 deletion model.h
Original file line number Diff line number Diff line change
Expand Up @@ -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 */
Expand Down
1 change: 1 addition & 0 deletions mutex.cc
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,7 @@
#include "model.h"
#include "threads-model.h"
#include "clockvector.h"
#include "action.h"

namespace std {
mutex::mutex() {
Expand Down
2 changes: 2 additions & 0 deletions promise.cc
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,8 @@
#include "promise.h"
#include "model.h"
#include "schedule.h"
#include "action.h"
#include "threads-model.h"

/**
* @brief Promise constructor
Expand Down
6 changes: 4 additions & 2 deletions promise.h
Original file line number Diff line number Diff line change
Expand Up @@ -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;
Expand Down
1 change: 1 addition & 0 deletions threads.cc
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
#include <threads.h>
#include "common.h"
#include "threads-model.h"
#include "action.h"

/* global "model" object */
#include "model.h"
Expand Down

0 comments on commit e7c0c2d

Please sign in to comment.