From 201cb245964c96ff4df09d623b40f5b70ea81f7b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 3 Sep 2012 17:15:44 -0700
Subject: Several minor changes.

---
 src/misc/extra/extraUtilFile.c | 41 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)

(limited to 'src/misc')

diff --git a/src/misc/extra/extraUtilFile.c b/src/misc/extra/extraUtilFile.c
index de8a11cb..f43ccb5f 100644
--- a/src/misc/extra/extraUtilFile.c
+++ b/src/misc/extra/extraUtilFile.c
@@ -684,6 +684,47 @@ void Extra_FileSort( char * pFileName, char * pFileNameOut )
 }
 
 
+/**Function*************************************************************
+
+  Synopsis    [Appends line number in the end.]
+
+  Description []
+
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+void Extra_FileLineNumAdd( char * pFileName, char * pFileNameOut )
+{
+    char Buffer[1000];
+    FILE * pFile;
+    FILE * pFile2;
+    int iLine;
+    pFile = fopen( pFileName, "rb" );
+    if ( pFile == NULL )
+    {
+        printf( "Extra_FileLineNumAdd(): Cannot open file \"%s\".\n", pFileName );
+        return;
+    }
+    pFile2 = fopen( pFileNameOut, "wb" );
+    if ( pFile2 == NULL )
+    {
+        fclose( pFile );
+        printf( "Extra_FileLineNumAdd(): Cannot open file \"%s\".\n", pFileNameOut );
+        return;
+    }
+    for ( iLine = 0; fgets( Buffer, 1000, pFile ); iLine++ )
+    {
+        sprintf( Buffer + strlen(Buffer) - 2, "%03d\n%c", iLine, 0 );
+        fputs( Buffer, pFile2 );
+    }
+    fclose( pFile );
+    fclose( pFile2 );
+    // report the result
+    printf( "The resulting file is \"%s\".\n", pFileNameOut );
+}
+
 /**Function*************************************************************
 
   Synopsis    []
-- 
cgit v1.2.3