Method get

basex-core/src/main/java/org/basex/util/options/Options.java:179–181

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

(final Option<?> option)

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

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