Esempio n. 1
0
 private void file_to_file(File in_file, File out_file) throws IOException, InterruptedException {
   FileInputStream in = in_file.inputStream();
   FileOutputStream out = out_file.outputStream();
   byte[] buffer = new byte[BUFFER_SIZE];
   int n_read;
   while ((n_read = in.read(buffer)) != -1) {
     checkForInterruption();
     out.write(buffer, 0, n_read);
   }
   in.close();
   out.close();
 }
Esempio n. 2
0
  private void directory_to_directory(
      String source_base_name, String destination_base_name, String directory_name)
      throws IOException, InterruptedException {
    // E.g.
    // source_base_name:        /foo/bar
    // destination_base_name:   /x/y
    // directory_name:     abc
    //
    // - Create /x/y/abc
    // - Copy /foo/bar/abc/* to /x/y/abc/*

    // Get source directory.
    String source_directory_name = Path.concatenate(source_base_name, directory_name);
    File source_directory = File.create(source_directory_name);
    Assertion.check(source_directory.isDirectory());

    // Get destination directory, creating it if
    // necessary.
    String destination_directory_name = Path.concatenate(destination_base_name, directory_name);
    File destination_directory = File.create(destination_directory_name);
    destination_directory.mkdirs();

    // Get files in source directory
    String[] source_file_names = source_directory.list();
    Vector source_files = new Vector();
    for (int i = 0; i < source_file_names.length; i++)
      source_files.addElement(File.create(source_directory_name, source_file_names[i]));

    // Copy
    to_directory(source_files, destination_directory);
  }
Esempio n. 3
0
 private void to_directory(Vector sources, File destination_directory)
     throws IOException, InterruptedException {
   Assertion.check(destination_directory.exists());
   for (Enumeration source_scan = sources.elements(); source_scan.hasMoreElements(); ) {
     File source = (File) source_scan.nextElement();
     if (source.isFile()) {
       File destination = File.create(destination_directory.getPath(), source.getName());
       file_to_file(source, destination);
     } else if (_recursive) {
       String source_base = source.getParent();
       if (source_base == null) source_base = ".";
       String destination_base = destination_directory.getCanonicalPath();
       directory_to_directory(source_base, destination_base, source.getName());
     }
   }
 }
Esempio n. 4
0
 private void process_args(String[] args) {
   Vector source_names = new Vector();
   for (int i = 0; i < args.length; i++) {
     String arg = args[i];
     if (isFlag(arg)) process_flag(arg);
     else source_names.addElement(arg);
   }
   _destination_name = (String) source_names.lastElement();
   int n_sources = source_names.size() - 1;
   if (n_sources == 0)
     throw new NakshException(
         "The arguments to cp must include a "
             + "destination file or directory, and at "
             + "least one source file or directory.");
   _sources = new Vector(n_sources);
   for (int i = 0; i < n_sources; i++) {
     String source_name = (String) source_names.elementAt(i);
     _sources.addElement(File.create(source_name));
   }
 }
Esempio n. 5
0
  private void copy_files() throws IOException, InterruptedException {
    File destination = File.create(_destination_name);
    boolean destination_exists = destination.exists();
    boolean destination_is_file = destination_exists && destination.isFile();

    if (destination_is_file || !destination_exists) {
      // Source should be a single file.
      int n_sources = _sources.size();
      boolean ok = n_sources == 1;
      if (ok) {
        File source = (File) _sources.firstElement();
        if (source.isFile()) file_to_file(source, destination);
        else ok = false;
      }
      if (!ok)
        throw new NakshException(
            "If the destination is a file or does "
                + "not exist, then the source must be "
                + "a single file.");
    } else to_directory(_sources, destination);
  }