Method put

basex-core/src/main/java/org/basex/util/options/Options.java:197–199

Sets an option to a value without checking its type. @param option option @param value value to be assigned

(final Option<?> option, final Object value)

   * @param value value to be assigned
   */
  public final synchronized void put(final Option<?> option, final Object value) {
    values.put(option.name(), value);
  }

  /**
   * Checks if a value was set for the specified option.