Method addDescendants

basex-core/src/main/java/org/basex/io/IOFile.java:436–445

Adds the relative paths of all descendant files to the specified list. @param io current file @param files file list @param filter file filter @param offset string length of root path

(final IOFile io, final StringList files,
      final FileFilter filter, final int offset)

   * @param offset string length of root path
   */
  private static void addDescendants(final IOFile io, final StringList files,
      final FileFilter filter, final int offset) {
    if(io.isDir()) {
      for(final IOFile child : io.children(filter)) {
        addDescendants(child, files, filter, offset);
      }
    } else if(filter == null || filter.accept(io.file)) {
      files.add(io.path().substring(offset));
    }
  }

  /**
   * Checks if the specified string is a valid file name.