source/mir/util/FileFunctions.java

   1 /*
   2  * Copyright (C) 2001, 2002 The Mir-coders group
   3  *
   4  * This file is part of Mir.
   5  *
   6  * Mir is free software; you can redistribute it and/or modify
   7  * it under the terms of the GNU General Public License as published by
   8  * the Free Software Foundation; either version 2 of the License, or
   9  * (at your option) any later version.
  10  *
  11  * Mir is distributed in the hope that it will be useful,
  12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14  * GNU General Public License for more details.
  15  *
  16  * You should have received a copy of the GNU General Public License
  17  * along with Mir; if not, write to the Free Software
  18  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  19  *
  20  * In addition, as a special exception, The Mir-coders gives permission to link
  21  * the code of this program with  any library licensed under the Apache Software License,
  22  * The Sun (tm) Java Advanced Imaging library (JAI), The Sun JIMI library
  23  * (or with modified versions of the above that use the same license as the above),
  24  * and distribute linked combinations including the two.  You must obey the
  25  * GNU General Public License in all respects for all of the code used other than
  26  * the above mentioned libraries.  If you modify this file, you may extend this
  27  * exception to your version of the file, but you are not obligated to do so.
  28  * If you do not wish to do so, delete this exception statement from your version.
  29  */
  30 package mir.util;
  31
  32 import gnu.regexp.RE;
  33
  34 import java.io.File;
  35 import java.io.FileInputStream;
  36 import java.io.FileOutputStream;
  37 import java.io.FilenameFilter;
  38 import java.io.IOException;
  39
  40 public class FileFunctions {
  41   protected static final int FILE_COPY_BUFFER_SIZE = 65536;
  42
  43   private FileFunctions() {
  44   }
  45
  46   public static void copyFile(File aSourceFile, File aDestinationFile) throws IOException {
  47     FileInputStream inputStream;
  48     FileOutputStream outputStream;
  49     int nrBytesRead;
  50     byte[] buffer = new byte[FILE_COPY_BUFFER_SIZE];
  51
  52     inputStream = new FileInputStream(aSourceFile);
  53     try {
  54       File directory = new File(aDestinationFile.getParent());
  55         if (directory!=null && !directory.exists()){
  56           directory.mkdirs();
  57       }
  58       outputStream = new FileOutputStream(aDestinationFile);
  59       try {
  60         do {
  61           nrBytesRead = inputStream.read(buffer);
  62           if (nrBytesRead>0)
  63             outputStream.write(buffer, 0, nrBytesRead);
  64         }
  65         while (nrBytesRead>=0);
  66       }
  67       finally {
  68         outputStream.close();
  69       }
  70     }
  71     finally {
  72       inputStream.close();
  73     }
  74   }
  75
  76   public static void copyDirectory(File aSourceDirectory, File aDestinationDirectory) throws IOException {
  77     int i;
  78     File sourceFile;
  79     File destinationFile;
  80     File[] files = aSourceDirectory.listFiles();
  81
  82     if (!aDestinationDirectory.exists())
  83       aDestinationDirectory.mkdirs();
  84
  85     for (i=0; i<files.length; i++) {
  86       sourceFile = files[i];
  87       destinationFile=new File(aDestinationDirectory, sourceFile.getName());
  88       if (sourceFile.isDirectory()) {
  89         if (!destinationFile.exists())
  90           destinationFile.mkdir();
  91         copyDirectory(sourceFile, destinationFile);
  92       }
  93       else {
  94         copyFile(sourceFile, destinationFile);
  95       }
  96     }
  97   }
  98
  99   public static void copy(File aSource, File aDestination) throws IOException {
 100     if (aSource.isDirectory()) {
 101       copyDirectory(aSource, aDestination);
 102     }
 103     else if (aDestination.isDirectory()) {
 104       copyFile(aSource, new File(aDestination, aSource.getName()));
 105     }
 106     else {
 107       copyFile(aSource, aDestination);
 108     }
 109   }
 110
 111   public static class RegExpFileFilter implements FilenameFilter {
 112     private RE expression;
 113
 114     public RegExpFileFilter(String anExpression) {
 115       try {
 116         expression = new RE(anExpression);
 117       }
 118       catch (Throwable t) {
 119         throw new RuntimeException(t.getMessage());
 120       }
 121     }
 122
 123     public boolean accept(File aDir, String aName) {
 124       return expression.isMatch(aName) && !new File(aDir, aName).isDirectory();
 125     }
 126   }
 127
 128   public static class DirectoryFilter implements FilenameFilter {
 129     public DirectoryFilter() {
 130     }
 131
 132     public boolean accept(File aDir, String aName) {
 133       return new File(aDir, aName).isDirectory();
 134     }
 135
 136   }
 137
 138 }