Method dbFile

basex-core/src/main/java/org/basex/data/MetaData.java:268–270

Returns a database file for the specified filename. Should only be called if database is disk-based. @param filename filename @return database filename

(final String filename)

   * @return database filename
   */
  public IOFile dbFile(final String filename) {
    return file(dir, filename);
  }

  /**
   * Returns a directory with file resources.