From: Brian Norris <banorris@uci.edu>
Date: Thu, 3 Jan 2013 20:24:34 +0000 (-0800)
Subject: snapshot: more renaming
X-Git-Tag: oopsla2013~380
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=89a750a6ec0a040f73d3291e6791b3d142123f25;p=model-checker.git

snapshot: more renaming
---

diff --git a/main.cc b/main.cc
index 6b9cb90..dc3f6f4 100644
--- a/main.cc
+++ b/main.cc
@@ -146,5 +146,5 @@ int main(int argc, char **argv)
 	redirect_output();
 
 	/* Let's jump in quickly and start running stuff */
-	initSnapshotLibrary(10000, 1024, 1024, 4000, &model_main);
+	snapshot_system_init(10000, 1024, 1024, 4000, &model_main);
 }
diff --git a/snapshot-interface.h b/snapshot-interface.h
index b024e5a..7f4de21 100644
--- a/snapshot-interface.h
+++ b/snapshot-interface.h
@@ -1,5 +1,6 @@
-/** @file snapshot-interface.h
- *  @brief C++ layer on top of snapshotting system.
+/**
+ * @file snapshot-interface.h
+ * @brief C interface layer on top of snapshotting system
  */
 
 #ifndef __SNAPINTERFACE_H
@@ -8,7 +9,7 @@
 typedef unsigned int snapshot_id;
 
 typedef void (*VoidFuncPtr)();
-void initSnapshotLibrary(unsigned int numbackingpages,
+void snapshot_system_init(unsigned int numbackingpages,
 		unsigned int numsnapshots, unsigned int nummemoryregions,
 		unsigned int numheappages, VoidFuncPtr entryPoint);
 
diff --git a/snapshot.cc b/snapshot.cc
index 16b0b61..fb1f911 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -398,10 +398,11 @@ static void fork_roll_back(snapshot_id theID)
 
 #endif /* !USE_MPROTECT_SNAPSHOT */
 
-/** The initSnapshotLibrary function initializes the snapshot library.
- *  @param entryPoint the function that should run the program.
+/**
+ * @brief Initializes the snapshot system
+ * @param entryPoint the function that should run the program.
  */
-void initSnapshotLibrary(unsigned int numbackingpages,
+void snapshot_system_init(unsigned int numbackingpages,
 		unsigned int numsnapshots, unsigned int nummemoryregions,
 		unsigned int numheappages, VoidFuncPtr entryPoint)
 {