Method name

basex-core/src/main/java/org/basex/core/Databases.java:151–154

Extracts the name of a database from the name of a backup. @param backup name of the backup (empty string for general data), optionally followed by date @return name of the database (empty string for general data)

(final String backup)

   * @return name of the database (empty string for general data)
   */
  public static String name(final String backup) {
    final String[] strings = Pattern.compile('-' + DATE + '$').split(backup);
    return strings.length > 0 ? strings[0] : "";
  }

  /**
   * Extracts the date of a database from the name of a backup.