Method unique

basex-core/src/main/java/org/basex/core/cmd/Export.java:170–179

Returns a unique file path. @param exp exported names @param file file path @return unique path

(final HashSet<String> exp, final String file)

   * @return unique path
   */
  private static IOFile unique(final HashSet<String> exp, final String file) {
    int c = 1;
    String path = file;
    while(exp.contains(path)) {
      path = file.indexOf('.') == -1 ? file + '(' + ++c + ')' :
             file.replaceAll("(.*)\\.(.*)", "$1(" + ++c + ").$2");
    }
    exp.add(path);
    return new IOFile(path);
  }
}