Method copyTo

basex-core/src/main/java/org/basex/io/IOFile.java:337–341

Copies a file to another target. @param target target @throws IOException I/O exception

(final IOFile target)

   * @throws IOException I/O exception
   */
  public void copyTo(final IOFile target) throws IOException {
    // create parent directory of target file
    target.parent().md();
    Files.copy(toPath(), target.toPath(), StandardCopyOption.REPLACE_EXISTING);
  }

  @Override
  public boolean eq(final IO io) {