From: Brian Norris <banorris@uci.edu>
Date: Wed, 30 May 2012 06:29:06 +0000 (-0700)
Subject: snapshot: rename MyFuncPtr to VoidFuncPtr
X-Git-Tag: pldi2013~392^2~1
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=ebebe8c4d739b4facc4d4c294dfb90367eb43cc8

snapshot: rename MyFuncPtr to VoidFuncPtr

Better descriptive name.
---

diff --git a/snapshot.cc b/snapshot.cc
index ff9fd56..7cea7d6 100644
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -120,7 +120,9 @@ extern "C" {
 #ifdef __cplusplus
 }
 #endif
-void initSnapShotLibrary(unsigned int numbackingpages, unsigned int numsnapshots, unsigned int nummemoryregions, unsigned int numheappages, MyFuncPtr entryPoint){
+void initSnapShotLibrary(unsigned int numbackingpages,
+		unsigned int numsnapshots, unsigned int nummemoryregions,
+		unsigned int numheappages, VoidFuncPtr entryPoint) {
 #if USE_MPROTECT_SNAPSHOT
 	/* Setup a stack for our signal handler....  */
 	stack_t ss;
diff --git a/snapshot.h b/snapshot.h
index 53f97ba..af0130f 100644
--- a/snapshot.h
+++ b/snapshot.h
@@ -9,10 +9,12 @@
 /* Size of signal stack */
 #define SIGSTACKSIZE 16384
 
-
 typedef unsigned int snapshot_id;
-typedef void (*MyFuncPtr)();
-void initSnapShotLibrary(unsigned int numbackingpages, unsigned int numsnapshots, unsigned int nummemoryregions, unsigned int numheappages, MyFuncPtr entryPoint);
+
+typedef void (*VoidFuncPtr)();
+void initSnapShotLibrary(unsigned int numbackingpages,
+		unsigned int numsnapshots, unsigned int nummemoryregions,
+		unsigned int numheappages, VoidFuncPtr entryPoint);
 
 void addMemoryRegionToSnapShot( void * ptr, unsigned int numPages );