Method option

basex-core/src/main/java/org/basex/util/options/Options.java:170–172

Returns the option with the specified name. @param name name of the option @return value (can be null)

(final String name)

   * @return value (can be {@code null})
   */
  public final synchronized Option<?> option(final String name) {
    return definitions.get(name);
  }

  /**
   * Returns the value of the specified option.