Method set

basex-core/src/main/java/org/basex/util/options/Options.java:291–293

Sets the string value of an option. @param option option to be set @param value value to be written

(final StringOption option, final String value)

   * @param value value to be written
   */
  public final synchronized void set(final StringOption option, final String value) {
    put(option, value);
  }

  /**
   * Sets the integer value of an option.