Method assign

basex-core/src/main/java/org/basex/util/options/Options.java:380–386

Assigns a value after casting it to the correct type. If the option is unknown, it will be added as free option. @param name name of option @param value value @throws BaseXException database exception

(final String name, final String value)

   * @throws BaseXException database exception
   */
  public synchronized void assign(final String name, final String value) throws BaseXException {
    if(definitions.isEmpty()) {
      free.put(name, value);
    } else {
      assign(name, value, -1, true);
    }
  }

  /**
   * Assigns a value after casting it to the correct type. If the option is unknown,