Various fixes + Upgrades to the FileEdit module:

[mir.git] / source / mir / util / FileFunctions.java

diff --git a/source/mir/util/FileFunctions.java b/source/mir/util/FileFunctions.java
new file mode 100755 (executable)
index 0000000..bdca26a
--- /dev/null
+++ b/source/mir/util/FileFunctions.java
@@ -0,0 +1,109 @@
+package mir.util;\r
+\r
+import java.io.File;\r
+import java.io.FileInputStream;\r
+import java.io.FileOutputStream;\r
+import java.io.IOException;\r
+import java.io.FilenameFilter;\r
+\r
+import gnu.regexp.RE;\r
+\r
+public class FileFunctions {\r
+  protected static final int FILE_COPY_BUFFER_SIZE = 65536;\r
+\r
+  private FileFunctions() {\r
+  }\r
+\r
+  public static void copyFile(File aSourceFile, File aDestinationFile) throws IOException {\r
+    FileInputStream inputStream;\r
+    FileOutputStream outputStream;\r
+    int nrBytesRead;\r
+    byte[] buffer = new byte[FILE_COPY_BUFFER_SIZE];\r
+\r
+    inputStream = new FileInputStream(aSourceFile);\r
+    try {\r
+      File directory = new File(aDestinationFile.getParent());\r
+        if (directory!=null && !directory.exists()){\r
+          directory.mkdirs();\r
+      }\r
+      outputStream = new FileOutputStream(aDestinationFile);\r
+      try {\r
+        do {\r
+          nrBytesRead = inputStream.read(buffer);\r
+          if (nrBytesRead>0)\r
+            outputStream.write(buffer, 0, nrBytesRead);\r
+        }\r
+        while (nrBytesRead>=0);\r
+      }\r
+      finally {\r
+        outputStream.close();\r
+      }\r
+    }\r
+    finally {\r
+      inputStream.close();\r
+    }\r
+  }\r
+\r
+  public static void copyDirectory(File aSourceDirectory, File aDestinationDirectory) throws IOException {\r
+    int i;\r
+    File sourceFile;\r
+    File destinationFile;\r
+    File[] files = aSourceDirectory.listFiles();\r
+\r
+    if (!aDestinationDirectory.exists())\r
+      aDestinationDirectory.mkdirs();\r
+\r
+    for (i=0; i<files.length; i++) {\r
+      sourceFile = files[i];\r
+      destinationFile=new File(aDestinationDirectory, sourceFile.getName());\r
+      if (sourceFile.isDirectory()) {\r
+        if (!destinationFile.exists())\r
+          destinationFile.mkdir();\r
+        copyDirectory(sourceFile, destinationFile);\r
+      }\r
+      else {\r
+        copyFile(sourceFile, destinationFile);\r
+      }\r
+    }\r
+  }\r
+\r
+  public static void copy(File aSource, File aDestination) throws IOException {\r
+    if (aSource.isDirectory()) {\r
+      copyDirectory(aSource, aDestination);\r
+    }\r
+    else if (aDestination.isDirectory()) {\r
+      copyFile(aSource, new File(aDestination, aSource.getName()));\r
+    }\r
+    else {\r
+      copyFile(aSource, aDestination);\r
+    }\r
+  }\r
+\r
+  public static class RegExpFileFilter implements FilenameFilter {\r
+    private RE expression;\r
+\r
+    public RegExpFileFilter(String anExpression) {\r
+      try {\r
+        expression = new RE(anExpression);\r
+      }\r
+      catch (Throwable t) {\r
+        throw new RuntimeException(t.getMessage());\r
+      }\r
+    }\r
+\r
+    public boolean accept(File aDir, String aName) {\r
+      return expression.isMatch(aName) && !new File(aDir, aName).isDirectory();\r
+    }\r
+  }\r
+\r
+  public static class DirectoryFilter implements FilenameFilter {\r
+    public DirectoryFilter() {\r
+    }\r
+\r
+    public boolean accept(File aDir, String aName) {\r
+      return new File(aDir, aName).isDirectory();\r
+    }\r
+\r
+  }\r
+\r
+}
\ No newline at end of file