FileOut.java

Go to the documentation of this file.

//  -*- Java -*-
//++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

package pkgUtil;

import java.util.*;
import java.io.*;
import java.text.DateFormat;

public class FileOut {
   private PrintWriter pStream = null;
   private int lineCount;       // count lines in current file
   private int fileCount;       // to mark a sequence of files
   private DateFormat myDateFormat; // future?

   //++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
   public FileOut(){
      pStream = null;
      myDateFormat = DateFormat.getTimeInstance(DateFormat.FULL);
   }

   //++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
   public int openFile( String fn ) {
      lineCount = 0;
      fileCount++;
      if( pStream != null ){
         this.closeFile();
      }
        
      try {
         pStream = new PrintWriter( new FileOutputStream( fn ));
      }
      catch(IOException e) {
         System.out.println("Error opening file " + fn );  
         return(1);
      }
      return 0;
   }
    
   //++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
   public void closeFile(){
      if( pStream != null ){
         pStream.close();
      }
      pStream = null;
   }
    
   //++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
   public boolean isOpen(){
      if( pStream != null ){
         return true;
      }
      return false;
   }
    
   //++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
   public boolean putString( String s){
      if( pStream == null ){
         return false;
      }
      lineCount++;
      pStream.println(s);
      return true;              // ok
   }

   //++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
   public int getLineCount(){
      return lineCount;
   }

   //++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
   public int getFileCount(){
      return fileCount;
   }

   //++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
   public void putChar( int ch){
      if( pStream != null ){
         pStream.write(ch);
      }
   }

   //++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
   public void renameFile( String from ){
      
      // File (or directory) with old name
      File file = new File(from);
      
      // File (or directory) with new name
      String to = makeDatedName();
      File file2 = new File( to );
      
      // Rename file (or directory)
      boolean success = file.renameTo(file2);
      if (success) {
         System.out.println("renamed " + from + " to " + to );
      }
      else{
         System.out.println( to + " already exists..\n" + 
                             " Exit program and fix logs");
      }
      
   }

   //++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
   private String makeDatedName(){
      Date theCurrentTime = new Date();
      String ds = myDateFormat.format(theCurrentTime);
      //return "LOG_" + ds.hashCode() + ".TXT";
      String s = ds.replace( ' ', '_');
      String t = s.replace( ':', '-');

      return "LOG_" + t + ".TXT";
   }

} // class FileOut

// -- end FileOut.java --

---