From 49c13f4f03d1c7d431236cab5faed973ee6e83ec Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 11 Mar 2012 23:07:27 -0700
Subject: Added new procedures to read files.

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

(limited to 'src/misc/extra/extraUtilFile.c')

diff --git a/src/misc/extra/extraUtilFile.c b/src/misc/extra/extraUtilFile.c
index e2c32ec3..4f8af483 100644
--- a/src/misc/extra/extraUtilFile.c
+++ b/src/misc/extra/extraUtilFile.c
@@ -192,6 +192,33 @@ char * Extra_FileNameGenericAppend( char * pBase, char * pSuffix )
     return Buffer;
 }
 
+/**Function*************************************************************
+
+  Synopsis    [Returns the file size.]
+
+  Description [The file should be closed.]
+
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+int Extra_FileCheck( char * pFileName )
+{
+    FILE * pFile;
+    pFile = fopen( pFileName, "rb" );
+    if ( pFile == NULL )
+    {
+        printf( "Extra_FileCheck():  File \"%s\" does not exist.\n", pFileName );
+        return 0;
+    }
+    fseek( pFile, 0, SEEK_END );
+    if ( ftell( pFile ) == 0 )
+        printf( "Extra_FileCheck():  File \"%s\" is empty.\n", pFileName );
+    fclose( pFile );
+    return 1;
+}
+
 /**Function*************************************************************
 
   Synopsis    [Returns the file size.]
@@ -207,7 +234,7 @@ int Extra_FileSize( char * pFileName )
 {
     FILE * pFile;
     int nFileSize;
-    pFile = fopen( pFileName, "r" );
+    pFile = fopen( pFileName, "rb" );
     if ( pFile == NULL )
     {
         printf( "Extra_FileSize(): The file is unavailable (absent or open).\n" );
@@ -250,6 +277,28 @@ char * Extra_FileRead( FILE * pFile )
     return pBuffer;
 }
 
+/**Function*************************************************************
+
+  Synopsis    [Read the file into the internal buffer.]
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+char * Extra_FileReadContents( char * pFileName )
+{
+    FILE * pFile;
+    char * pBuffer;
+    pFile = fopen( pFileName, "rb" );
+    pBuffer = pFile ? Extra_FileRead( pFile ) : NULL;
+    if ( pFile )
+        fclose( pFile );
+    return pBuffer;
+}
+
 /**Function*************************************************************
 
   Synopsis    [Returns one if the file has a given extension.]
-- 
cgit v1.2.3