Method err

basex-core/src/main/java/org/basex/util/Util.java:155–157

Prints a string to standard error. @param string debug string @param ext text optional extensions

(final String string, final Object... ext)

   * @param ext text optional extensions
   */
  public static void err(final String string, final Object... ext) {
    System.err.print(info(string, ext));
  }

  /**
   * Returns a more user-friendly error message for the specified exception.