From: Brian Norris <banorris@uci.edu>
Date: Sat, 26 May 2012 01:10:58 +0000 (-0700)
Subject: snapshot-interface: cleanup interface header
X-Git-Tag: pldi2013~392^2~29
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;ds=sidebyside;h=b42e7645d3eaab0a2ab5e618cd322215f8164390;p=model-checker.git

snapshot-interface: cleanup interface header

The MyString type does not belong in an interface header. It's only used in one
file, so move its typedef locally.

Remove/move a bunch of misplaced #includes.

There's an unnecessary forward declaration of class snapshotStack.
---

diff --git a/snapshot-interface.cc b/snapshot-interface.cc
index 76cb8f4..b0df836 100644
--- a/snapshot-interface.cc
+++ b/snapshot-interface.cc
@@ -5,7 +5,10 @@
 #include <sys/types.h>
 #include <sstream>
 #include <cstring>
+#include <string>
 #include <cassert>
+#include <vector>
+#include <utility>
 
 #define MYBINARYNAME "model"
 #define MYLIBRARYNAME "libmodel.so"
@@ -13,6 +16,8 @@
 #define REPLACEPOS		6
 #define PAGESIZE 4096
 
+typedef std::basic_string<char, std::char_traits<char>, MyAlloc<char> > MyString;
+
 snapshotStack * snapshotObject;
 
 /*This looks like it might leak memory...  Subramanian should fix this. */
diff --git a/snapshot-interface.h b/snapshot-interface.h
index cbebcd5..0fab53b 100644
--- a/snapshot-interface.h
+++ b/snapshot-interface.h
@@ -2,16 +2,7 @@
 #define __SNAPINTERFACE_H
 #include "snapshot.h"
 #include "mymemory.h"
-#include <vector>
-#include <utility>
-#include <string>
-#include <map>
-#include <set>
 #include "snapshot.h"
-#include "libthreads.h"
-
-class snapshotStack;
-typedef std::basic_string<char, std::char_traits<char>, MyAlloc<char> > MyString;
 
 void SnapshotGlobalSegments();