4df8058855db7771721d993f5ae21fd0fc4c5504
[mir.git] / 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 java.io.File;
33 import java.io.FileInputStream;
34 import java.io.FileOutputStream;
35 import java.io.FilenameFilter;
36 import java.io.IOException;
37 import java.util.Arrays;
38 import java.util.List;
39 import java.util.Vector;
40
41 import gnu.regexp.RE;
42
43 public class FileFunctions {
44   protected static final int FILE_COPY_BUFFER_SIZE = 65536;
45
46   private FileFunctions() {
47   }
48
49   public static void copyFile(File aSourceFile, File aDestinationFile) throws IOException {
50     FileInputStream inputStream;
51     FileOutputStream outputStream;
52     int nrBytesRead;
53     byte[] buffer = new byte[FILE_COPY_BUFFER_SIZE];
54
55     inputStream = new FileInputStream(aSourceFile);
56     try {
57       File directory = new File(aDestinationFile.getParent());
58         if (directory!=null && !directory.exists()){
59           directory.mkdirs();
60       }
61       outputStream = new FileOutputStream(aDestinationFile);
62       try {
63         do {
64           nrBytesRead = inputStream.read(buffer);
65           if (nrBytesRead>0)
66             outputStream.write(buffer, 0, nrBytesRead);
67         }
68         while (nrBytesRead>=0);
69       }
70       finally {
71         outputStream.close();
72       }
73     }
74     finally {
75       inputStream.close();
76     }
77   }
78
79   public static void copyDirectory(File aSourceDirectory, File aDestinationDirectory) throws IOException {
80     int i;
81     File sourceFile;
82     File destinationFile;
83     File[] files = aSourceDirectory.listFiles();
84
85     if (!aDestinationDirectory.exists())
86       aDestinationDirectory.mkdirs();
87
88     for (i=0; i<files.length; i++) {
89       sourceFile = files[i];
90       destinationFile=new File(aDestinationDirectory, sourceFile.getName());
91       if (sourceFile.isDirectory()) {
92         if (!destinationFile.exists())
93           destinationFile.mkdir();
94         copyDirectory(sourceFile, destinationFile);
95       }
96       else {
97         copyFile(sourceFile, destinationFile);
98       }
99     }
100   }
101
102   public static void copy(File aSource, File aDestination) throws IOException {
103     if (aSource.isDirectory()) {
104       copyDirectory(aSource, aDestination);
105     }
106     else if (aDestination.isDirectory()) {
107       copyFile(aSource, new File(aDestination, aSource.getName()));
108     }
109     else {
110       copyFile(aSource, aDestination);
111     }
112   }
113
114   public static class RegExpFileFilter implements FilenameFilter {
115     private RE expression;
116
117     public RegExpFileFilter(String anExpression) {
118       try {
119         expression = new RE(anExpression);
120       }
121       catch (Throwable t) {
122         throw new RuntimeException(t.getMessage());
123       }
124     }
125
126     public boolean accept(File aDir, String aName) {
127       return expression.isMatch(aName) && !new File(aDir, aName).isDirectory();
128     }
129   }
130
131   public static class DirectoryFilter implements FilenameFilter {
132     public DirectoryFilter() {
133     }
134
135     public boolean accept(File aDir, String aName) {
136       return new File(aDir, aName).isDirectory();
137     }
138
139   }
140
141   public static List getDirectoryContentsAsList(File aDirectory, FilenameFilter aFilter) {
142     Object[] contents = aDirectory.list(aFilter);
143     if (contents==null)
144       return new Vector();
145     else
146       return Arrays.asList(contents);
147   }
148
149
150 }