switch back to norris style spacing in changed files

[model-checker.git] / snapshot-interface.cc

diff --git a/snapshot-interface.cc b/snapshot-interface.cc
index 770f316c788feb503fdad69b392859bffe80e72f..b3da9cf95b8c4dc929c5a7c3173696d18014d001 100644 (file)
--- a/snapshot-interface.cc
+++ b/snapshot-interface.cc
@@ -1,3 +1,5 @@
+/* -*- Mode: C; indent-tabs-mode: t -*- */
+
 #define MYBINARYNAME "model"
 #define MYLIBRARYNAME "libmodel.so"
 #define MYALLOCNAME  "libmymemory.so"
@@ -19,89 +21,89 @@ snapshotStack * snapshotObject;
 
 typedef std::basic_stringstream< char, std::char_traits< char >, MyAlloc< char > > MyStringStream;
 std::vector< MyString, MyAlloc< MyString> > splitString( MyString input, char delim ){
-  std::vector< MyString, MyAlloc< MyString > > splits;
-  MyStringStream ss( input );  
-  MyString item;
-  while( std::getline( ss, item, delim ) ){
-    splits.push_back( item );  
-  }
-  return splits;
+       std::vector< MyString, MyAlloc< MyString > > splits;
+       MyStringStream ss( input );     
+       MyString item;
+       while( std::getline( ss, item, delim ) ){
+               splits.push_back( item );       
+       }
+       return splits;
 }
 
 bool checkPermissions( MyString permStr ){
-  return permStr.find("w") != MyString::npos;
+       return permStr.find("w") != MyString::npos;
 }
 static void takeSegmentSnapshot( const MyString & lineText ){
-  std::vector< MyString, MyAlloc< MyString > > firstSplit = splitString( lineText, ' ' );
-  if( checkPermissions( firstSplit[ 1 ] ) ){
-    std::vector< MyString, MyAlloc< MyString > > secondSplit = splitString( firstSplit[ 0 ], '-' );    
-    size_t val1 = 0, val2 = 0;
-    sscanf( secondSplit[ 0 ].c_str(), "%zx", &val1 );
-    sscanf( secondSplit[ 1 ].c_str(), "%zx", &val2 );
-    size_t len = ( val2 - val1 ) / PAGESIZE;    
-    if( 0 != len ){
-      addMemoryRegionToSnapShot( ( void * )val1, len );        
-    }
-  }
+       std::vector< MyString, MyAlloc< MyString > > firstSplit = splitString( lineText, ' ' );
+       if( checkPermissions( firstSplit[ 1 ] ) ){
+               std::vector< MyString, MyAlloc< MyString > > secondSplit = splitString( firstSplit[ 0 ], '-' );    
+               size_t val1 = 0, val2 = 0;
+               sscanf( secondSplit[ 0 ].c_str(), "%zx", &val1 );
+               sscanf( secondSplit[ 1 ].c_str(), "%zx", &val2 );
+               size_t len = ( val2 - val1 ) / PAGESIZE;    
+               if( 0 != len ){
+                       addMemoryRegionToSnapShot( ( void * )val1, len );        
+               }
+       }
 }
 void SnapshotGlobalSegments(){
-  MyString fn = PROCNAME;
-  static char sProcessSize[ 12 ] = { 0 };
-  std::pair< const char *, bool > dataSect[ 3 ];
-  dataSect[ 0 ] = std::make_pair( MYBINARYNAME, false );
-  dataSect[ 1 ] = std::make_pair( MYLIBRARYNAME, false );
-  dataSect[ 2 ] = std::make_pair( MYALLOCNAME, false );
-  static pid_t sProcID = 0;
-  if( 0 == sProcID ) {
-    sProcID = getpid();        
-    sprintf( sProcessSize, "%d", sProcID );
-  }
-  fn.replace( REPLACEPOS, 1, sProcessSize );
-  std::ifstream procName( fn.c_str() );
-  if( procName.is_open() ){
-    MyString line;
-    while( procName.good() ){
-      getline( procName, line );
-      int i  = 0;
-      for( i = 0; i < 3; ++i ){
-       if( MyString::npos != line.find( dataSect[ i ].first ) ) break;                 
-      }
-      if( i >= 3 || dataSect[ i ].second == true ) continue;
-      dataSect[ i ].second = true;
-      if( !procName.good() )return;
-      getline( procName, line );
-      takeSegmentSnapshot( line );    
-    }  
-  }
+       MyString fn = PROCNAME;
+       static char sProcessSize[ 12 ] = { 0 };
+       std::pair< const char *, bool > dataSect[ 3 ];
+       dataSect[ 0 ] = std::make_pair( MYBINARYNAME, false );
+       dataSect[ 1 ] = std::make_pair( MYLIBRARYNAME, false );
+       dataSect[ 2 ] = std::make_pair( MYALLOCNAME, false );
+       static pid_t sProcID = 0;
+       if( 0 == sProcID ) {
+               sProcID = getpid();     
+               sprintf( sProcessSize, "%d", sProcID );
+       }
+       fn.replace( REPLACEPOS, 1, sProcessSize );
+       std::ifstream procName( fn.c_str() );
+       if( procName.is_open() ){
+               MyString line;
+               while( procName.good() ){
+                       getline( procName, line );
+                       int i  = 0;
+                       for( i = 0; i < 3; ++i ){
+                               if( MyString::npos != line.find( dataSect[ i ].first ) ) break;                 
+                       }
+                       if( i >= 3 || dataSect[ i ].second == true ) continue;
+                       dataSect[ i ].second = true;
+                       if( !procName.good() )return;
+                       getline( procName, line );
+                       takeSegmentSnapshot( line );    
+               }       
+       }
 }
 
 //class definition of snapshotStack.....
 //declaration of constructor....
 snapshotStack::snapshotStack(){
-  SnapshotGlobalSegments();
-  stack=NULL;
+       SnapshotGlobalSegments();
+       stack=NULL;
 }
        
 snapshotStack::~snapshotStack(){
 }
        
 int snapshotStack::backTrackBeforeStep(int seqindex) {
-  while(true) {
-    if (stack->index<=seqindex) {
-      //have right entry
-      rollBack(stack->snapshotid);
-      return stack->index;
-    }
-    struct stackEntry *tmp=stack;
-    free(tmp);
-    stack=stack->next;
-  }
+       while(true) {
+               if (stack->index<=seqindex) {
+                       //have right entry
+                       rollBack(stack->snapshotid);
+                       return stack->index;
+               }
+               struct stackEntry *tmp=stack;
+               free(tmp);
+               stack=stack->next;
+       }
 }
 
 void snapshotStack::snapshotStep(int seqindex) {
-  struct stackEntry *tmp=(struct stackEntry *)malloc(sizeof(struct stackEntry));
-  tmp->next=stack;
-  tmp->index=seqindex;
-  tmp->snapshotid=takeSnapshot();
-  stack=tmp;
+       struct stackEntry *tmp=(struct stackEntry *)malloc(sizeof(struct stackEntry));
+       tmp->next=stack;
+       tmp->index=seqindex;
+       tmp->snapshotid=takeSnapshot();
+       stack=tmp;
 }