package org.basex.util.options;

import static java.lang.Integer.*;
import static org.basex.util.Prop.*;
import static org.basex.util.Token.*;

import java.io.*;
import java.lang.reflect.*;
import java.util.*;
import java.util.Map.Entry;

import org.basex.core.*;
import org.basex.io.*;
import org.basex.io.in.*;
import org.basex.query.*;
import org.basex.query.value.*;
import org.basex.query.value.item.*;
import org.basex.query.value.map.XQMap;
import org.basex.query.value.type.*;
import org.basex.util.*;
import org.basex.util.http.*;
import org.basex.util.list.*;
import org.basex.util.similarity.*;

/**
 * This class provides methods for accessing, reading and storing options.
 * Options (name/value pairs) may either be instances of the {@link Option} class.
 * If an instance of this class contains no pre-defined options, assigned options will
 * be added as free options.
 *
 * @author BaseX Team 2005-23, BSD License
 * @author Christian Gruen
 */
public class Options implements Iterable<Option<?>> {
  /** Yes/No enumeration. */
  public enum YesNo {
    /** Yes. */ YES,
    /** No.  */ NO;

    @Override
    public String toString() {
      return name().toLowerCase(Locale.ENGLISH);
    }
  }

  /** Yes/No/Omit enumeration. */
  public enum YesNoOmit {
    /** Yes.  */ YES,
    /** No.   */ NO,
    /** Omit. */ OMIT;

    @Override
    public String toString() {
      return name().toLowerCase(Locale.ENGLISH);
    }
  }

  /** Comment in configuration file. */
  private static final String PROPUSER = "# Local Options";

  /** Map with option names and definition. */
  private final TreeMap<String, Option<?>> options;
  /** Map with option names and values. */
  private final TreeMap<String, Object> values;
  /** Free option definitions. */
  private final HashMap<String, String> free;

  /** Options, cached from an input file. */
  private final StringList user = new StringList();
  /** Options file. */
  private IOFile file;

  /**
   * Default constructor.
   */
  public Options() {
    this((IOFile) null);
  }

  /**
   * Constructor with options file.
   * @param opts options file
   */
  protected Options(final IOFile opts) {
    options = new TreeMap<>();
    values = new TreeMap<>();
    free = new HashMap<>();
    try {
      for(final Option<?> opt : options(getClass())) {
        if(opt instanceof Comment) continue;
        final String name = opt.name();
        values.put(name, opt.value());
        options.put(name, opt);
      }
    } catch(final Exception ex) {
      throw Util.notExpected(ex);
    }
    if(opts != null) read(opts);
  }

  /**
   * Constructor with options to be copied.
   * @param opts options
   */
  @SuppressWarnings("unchecked")
  protected Options(final Options opts) {
    options = (TreeMap<String, Option<?>>) opts.options.clone();
    values = (TreeMap<String, Object>) opts.values.clone();
    free = (HashMap<String, String>) opts.free.clone();
    user.add(opts.user);
    file = opts.file;
  }

  /**
   * Writes the options to disk.
   */
  public final synchronized void write() {
    final StringList lines = new StringList();
    try {
      for(final Option<?> opt : options(getClass())) {
        final String name = opt.name();
        if(opt instanceof Comment) {
          if(!lines.isEmpty()) lines.add("");
          lines.add("# " + name);
        } else if(opt instanceof NumbersOption) {
          final int[] ints = get((NumbersOption) opt);
          final int is = ints == null ? 0 : ints.length;
          for(int i = 0; i < is; i++) lines.add(name + i + " = " + ints[i]);
        } else if(opt instanceof StringsOption) {
          final String[] strings = get((StringsOption) opt);
          final int ss = strings == null ? 0 : strings.length;
          lines.add(name + " = " + ss);
          for(int s = 0; s < ss; s++) lines.add(name + (s + 1) + " = " + strings[s]);
        } else {
          lines.add(name + " = " + get(opt));
        }
      }
      lines.add("").add(PROPUSER).add(user);

      // only write file if contents have changed
      final TokenBuilder tb = new TokenBuilder();
      for(final String line : lines) tb.add(line).add(NL);
      final byte[] contents = tb.finish();

      boolean skip = file.exists();
      if(skip) {
        final TokenBuilder tmp = new TokenBuilder(contents.length);
        try(NewlineInput nli = new NewlineInput(file)) {
          for(String line; (line = nli.readLine()) != null;) tmp.add(line).add(NL);
        }
        skip = eq(contents, tmp.finish());
      }
      if(!skip) {
        file.parent().md();
        file.write(contents);
      }
    } catch(final Exception ex) {
      Util.errln("% could not be written.", file);
      Util.debug(ex);
    }
  }

  /**
   * Returns the option with the specified name.
   * @param name name of the option
   * @return value (may be {@code null})
   */
  public final synchronized Option<?> option(final String name) {
    return options.get(name);
  }

  /**
   * Returns the value of the specified option.
   * @param option option
   * @return value (may be {@code null})
   */
  public final synchronized Object get(final Option<?> option) {
    return values.get(option.name());
  }

  /**
   * Sets an option to a value without checking its type.
   * @param option option
   * @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.
   * @param option option
   * @return result of check
   */
  public final synchronized boolean contains(final Option<?> option) {
    return get(option) != null;
  }

  /**
   * Returns the requested string.
   * @param option option to be found
   * @return value or {@code null})
   */
  public final synchronized String get(final StringOption option) {
    return (String) get((Option<?>) option);
  }

  /**
   * Returns the requested number.
   * @param option option to be found
   * @return value or {@code null})
   */
  public final synchronized Integer get(final NumberOption option) {
    return (Integer) get((Option<?>) option);
  }

  /**
   * Returns the requested boolean.
   * @param option option to be found
   * @return value or {@code null})
   */
  public final synchronized Boolean get(final BooleanOption option) {
    return (Boolean) get((Option<?>) option);
  }

  /**
   * Returns the requested function.
   * @param option option to be found
   * @return value or {@code null})
   */
  public final synchronized FuncItem get(final FuncOption option) {
    return (FuncItem) get((Option<?>) option);
  }

  /**
   * Returns the requested string array.
   * @param option option to be found
   * @return value or {@code null})
   */
  public final synchronized String[] get(final StringsOption option) {
    return (String[]) get((Option<?>) option);
  }

  /**
   * Returns the requested integer array.
   * @param option option to be found
   * @return value or {@code null})
   */
  public final synchronized int[] get(final NumbersOption option) {
    return (int[]) get((Option<?>) option);
  }

  /**
   * Returns the requested options.
   * @param option option to be found
   * @param <O> options
   * @return value or {@code null})
   */
  @SuppressWarnings({ "unchecked", "cast"})
  public final synchronized <O extends Options> O get(final OptionsOption<O> option) {
    return (O) get((Option<?>) option);
  }

  /**
   * Returns the requested enum value.
   * @param option option to be found
   * @param <E> enumeration value
   * @return value or {@code null})
   */
  @SuppressWarnings({ "unchecked", "cast"})
  public final synchronized <E extends Enum<E>> E get(final EnumOption<E> option) {
    return (E) get((Option<?>) option);
  }

  /**
   * Sets the string value of an option.
   * @param option option to be set
   * @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.
   * @param option option to be set
   * @param value value to be written
   */
  public final synchronized void set(final NumberOption option, final int value) {
    put(option, value);
  }

  /**
   * Sets the boolean value of an option.
   * @param option option to be set
   * @param value value to be written
   */
  public final synchronized void set(final BooleanOption option, final boolean value) {
    put(option, value);
  }

  /**
   * Sets the string array value of an option.
   * @param option option to be set
   * @param value value to be written
   */
  public final synchronized void set(final StringsOption option, final String[] value) {
    put(option, value);
  }

  /**
   * Sets the integer array value of an option.
   * @param option option to be set
   * @param value value to be written
   */
  public final synchronized void set(final NumbersOption option, final int[] value) {
    put(option, value);
  }

  /**
   * Sets the options of an option.
   * @param option option to be set
   * @param value value to be set
   * @param <O> options
   */
  public final synchronized <O extends Options> void set(final OptionsOption<O> option,
      final O value) {
    put(option, value);
  }

  /**
   * Sets the enumeration of an option.
   * @param option option to be set
   * @param value value to be set
   * @param <V> enumeration value
   */
  public final synchronized <V extends Enum<V>> void set(final EnumOption<V> option,
      final Enum<V> value) {
    put(option, value);
  }

  /**
   * Sets the enumeration of an option.
   * @param option option to be set
   * @param value string value, which will be converted to an enum value or {@code null}
   * @param <V> enumeration value
   */
  public final synchronized <V extends Enum<V>> void set(final EnumOption<V> option,
      final String value) {
    put(option, option.get(value));
  }

  /**
   * 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
   */
  public synchronized void assign(final String name, final String value) throws BaseXException {
    if(options.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,
   * it will be added as free option.
   * @param name name of option
   * @param value value to be assigned
   * @param error raise error if a supplied option is unknown
   * @param ii input info
   * @throws BaseXException database exception
   * @throws QueryException query exception
   */
  public synchronized void assign(final Item name, final Value value, final boolean error,
      final InputInfo ii) throws BaseXException, QueryException {

    final String nm;
    if(name instanceof QNm) {
      nm = string(((QNm) name).id());
    } else if(name.type.isStringOrUntyped()) {
      nm = string(name.string(ii));
    } else {
      throw new BaseXException(Text.OPT_EXPECT_X_X_X, AtomType.STRING, name.type, name);
    }

    final Item item;
    if(value.isItem()) {
      // single item: convert QName to string
      item = value instanceof QNm ? Str.get(((QNm) value).id()) : (Item) value;
    } else if(value.size() > 1) {
      // multiple items: create string representation
      final TokenBuilder tb = new TokenBuilder();
      for(final Item it : value) {
        if(!tb.isEmpty()) tb.add(' ');
        tb.add(serialize(it, ii));
      }
      item = Str.get(tb.finish());
    } else {
      throw new BaseXException(Text.OPT_EXPECT_X_X_X, SeqType.ITEM_O, value.seqType(), value);
    }

    if(options.isEmpty()) {
      free.put(nm, serialize(item, ii));
    } else {
      assign(nm, item, error, ii);
    }
  }

  /**
   * Creates a string representation of the specified item.
   * @param item item
   * @param ii input info
   * @return string
   * @throws BaseXException database exception
   * @throws QueryException query exception
   */
  private static String serialize(final Item item, final InputInfo ii)
      throws BaseXException, QueryException {

    final TokenBuilder tb = new TokenBuilder();
    if(item instanceof XQMap) {
      final XQMap map = (XQMap) item;
      for(final Item key : map.keys()) {
        if(!tb.isEmpty()) tb.add(',');
        tb.add(key.string(ii)).add('=');
        final Value val = map.get(key, ii);
        if(!val.isItem()) throw new BaseXException(
            Text.OPT_EXPECT_X_X_X, AtomType.STRING, val.seqType(), val);
        tb.add(string(((Item) val).string(ii)).replace(",", ",,"));
      }
    } else if(item instanceof QNm) {
      tb.add(((QNm) item).id());
    } else {
      tb.add(item.string(ii));
    }
    return tb.toString();
  }

  /**
   * Returns all name/value pairs without pre-defined option.
   * @return options
   */
  public final synchronized HashMap<String, String> free() {
    return free;
  }

  /**
   * Returns a map representation of the entries of the requested string (separated by commas).
   * @param option option to be found
   * @return map
   */
  public final Map<String, String> toMap(final StringOption option) {
    return toMap(get(option));
  }

  /**
   * Returns a map representation of the comma-separated options string.
   * @param opts options string
   * @return map
   */
  public static Map<String, String> toMap(final String opts) {
    final HashMap<String, String> map = new HashMap<>();
    final StringBuilder key = new StringBuilder(), value = new StringBuilder();

    boolean left = true;
    final int sl = opts.length();
    for(int s = 0; s < sl; s++) {
      final char ch = opts.charAt(s);
      if(left) {
        if(ch == '=') {
          left = false;
        } else {
          key.append(ch);
        }
      } else {
        if(ch == ',') {
          if(s + 1 == sl || opts.charAt(s + 1) != ',') {
            map.put(key.toString().trim(), value.toString());
            key.setLength(0);
            value.setLength(0);
            left = true;
            continue;
          }
          // literal commas are escaped by a second comma
          s++;
        }
        value.append(ch);
      }
    }
    if(!left) map.put(key.toString().trim(), value.toString());
    return map;
  }

  /**
   * Returns an error string for an unknown option.
   * @param name name of option
   * @return error string
   */
  public final synchronized String error(final String name) {
    final Object similar = Levenshtein.similar(token(name),
        options.keySet().toArray(String[]::new));
    return similar != null ? Util.info(Text.UNKNOWN_OPT_SIMILAR_X_X, name, similar) :
      Util.info(Text.UNKNOWN_OPTION_X, name);
  }

  /**
   * Inverts the boolean value of an option.
   * @param option option
   * @return new value
   */
  public final synchronized boolean invert(final BooleanOption option) {
    final boolean val = !get(option);
    set(option, val);
    return val;
  }

  /**
   * Overwrites the options with global options and system properties.
   * All properties starting with {@code org.basex.} will be assigned as options.
   */
  public void setSystem() {
    // assign global options
    for(final Entry<String, String> entry : entries()) {
      String name = entry.getKey();
      final String value = entry.getValue();
      if(name.startsWith(DBPREFIX)) {
        name = name.substring(DBPREFIX.length()).toUpperCase(Locale.ENGLISH);
        try {
          if(assign(name, value, -1, false)) Util.debug(name + Text.COLS + value);
        } catch(final BaseXException ex) {
          Util.errln(ex);
        }
      }
    }
  }

  /**
   * Parses the specified options.
   * @param type media type
   * @throws BaseXException database exception
   */
  public final synchronized void assign(final MediaType type) throws BaseXException {
    for(final Entry<String, String> entry : type.parameters()) {
      if(options.isEmpty()) {
        free.put(entry.getKey(), entry.getValue());
      } else {
        // ignore unknown options
        assign(entry.getKey(), entry.getValue(), -1, false);
      }
    }
  }

  /**
   * Parses and assigns options string from the specified string.
   * @param string options string
   * @throws BaseXException database exception
   */
  public final synchronized void assign(final String string) throws BaseXException {
    for(final Map.Entry<String, String> entry : toMap(string).entrySet()) {
      assign(entry.getKey(), entry.getValue());
    }
  }

  /**
   * Parses and assigns options from the specified map.
   * @param map map
   * @param error raise error if a supplied option is unknown
   * @param ii input info
   * @throws BaseXException database exception
   * @throws QueryException query exception
   */
  public final synchronized void assign(final XQMap map, final boolean error, final InputInfo ii)
      throws BaseXException, QueryException {

    for(final Item name : map.keys()) {
      assign(name, map.get(name, ii), error, ii);
    }
  }

  /**
   * Returns the names of all options.
   * @return names
   */
  public final synchronized String[] names() {
    final StringList sl = new StringList(options.size());
    for(final Option<?> option : this) sl.add(option.name());
    return sl.finish();
  }

  @Override
  public final synchronized Iterator<Option<?>> iterator() {
    return options.values().iterator();
  }

  @Override
  public final synchronized String toString() {
    // only those options are listed whose value differs from default value
    final StringBuilder sb = new StringBuilder();
    values.forEach((name, value) -> {
      if(value != null) {
        final StringList sl = new StringList();
        final Object value2 = options.get(name).value();
        if(value instanceof String[]) {
          for(final String s : (String[]) value) sl.add(s);
        } else if(value instanceof int[]) {
          for(final int s : (int[]) value) sl.add(Integer.toString(s));
        } else if(value instanceof Options) {
          final String s = value.toString();
          if(value2 == null || !s.equals(value2.toString())) sl.add(s);
        } else if(!value.equals(value2)) {
          sl.add(value.toString());
        }
        for(final String s : sl) {
          if(sb.length() != 0) sb.append(',');
          sb.append(name).append('=').append(s.replace(",", ",,"));
        }
      }
    });
    return sb.toString();
  }

  // STATIC METHODS ===============================================================================

  /**
   * Returns a message with allowed keys.
   * @param option option
   * @param value supplied value
   * @param all allowed values
   * @return exception
   */
  public static String allowed(final Option<?> option, final String value, final Object... all) {
    final TokenBuilder vals = new TokenBuilder();
    for(final Object a : all) {
      if(!vals.isEmpty()) vals.add(',');
      vals.add(a);
    }
    return Util.info(Text.OPT_ONEOF_X_X_X, option.name(), value, vals);
  }

  // PRIVATE METHODS ==============================================================================

  /**
   * Returns all options from the specified class.
   * @param clz options class
   * @return option instances
   * @throws IllegalAccessException exception
   */
  private static Option<?>[] options(final Class<? extends Options> clz)
      throws IllegalAccessException {

    final ArrayList<Option<?>> opts = new ArrayList<>();
    for(final Field f : clz.getFields()) {
      if(!Modifier.isStatic(f.getModifiers())) continue;
      final Object obj = f.get(null);
      if(obj instanceof Option) opts.add((Option<?>) obj);
    }
    return opts.toArray(Option[]::new);
  }

  /**
   * Reads the configuration file and initializes the options.
   * The file is located in the project home directory.
   * @param opts options file
   */
  private synchronized void read(final IOFile opts) {
    file = opts;
    final StringList read = new StringList(), errs = new StringList();
    final boolean exists = file.exists();
    if(exists) {
      try(NewlineInput ni = new NewlineInput(opts)) {
        boolean local = false;
        for(String line; (line = ni.readLine()) != null;) {
          line = line.trim();

          // start of local options
          if(line.equals(PROPUSER)) {
            local = true;
            continue;
          }
          if(local) user.add(line);

          if(line.isEmpty() || line.charAt(0) == '#') continue;
          final int d = line.indexOf('=');
          if(d < 0) {
            errs.add("line \"" + line + "\" ignored.");
            continue;
          }

          final String val = line.substring(d + 1).trim();
          String name = line.substring(0, d).trim();

          // extract numeric value in key
          int num = 0;
          final int ss = name.length();
          for(int s = 0; s < ss; ++s) {
            if(Character.isDigit(name.charAt(s))) {
              num = Strings.toInt(name.substring(s));
              name = name.substring(0, s);
              break;
            }
          }

          if(local) {
            // cache local options as global options
            Prop.put(DBPREFIX + name.toLowerCase(Locale.ENGLISH), val);
          } else {
            try {
              assign(name, val, num, true);
              read.add(name);
            } catch(final BaseXException ex) {
              errs.add(ex.getMessage());
            }
          }
        }
      } catch(final IOException ex) {
        errs.add("file could not be parsed.");
        Util.errln(ex);
      }
    }

    // check if all mandatory files have been read
    boolean ok = true;
    if(errs.isEmpty()) {
      try {
        for(final Option<?> opt : options(getClass())) {
          if(ok && !(opt instanceof Comment)) ok = read.contains(opt.name());
        }
      } catch(final IllegalAccessException ex) {
        throw Util.notExpected(ex);
      }
    }

    if(!ok || !exists || !errs.isEmpty()) {
      write();
      errs.add("writing new configuration file.");
      for(final String s : errs) Util.errln(file + ": " + s);
    }
  }

  /**
   * Assigns the specified name and value.
   * @param name name of option
   * @param item value to be assigned
   * @param error raise error if option is unknown
   * @param ii input info
   * @throws BaseXException database exception
   * @throws QueryException query exception
   */
  private synchronized void assign(final String name, final Item item, final boolean error,
      final InputInfo ii) throws BaseXException, QueryException {

    final Option<?> option = options.get(name);
    if(option == null) {
      if(error) throw new BaseXException(error(name));
      return;
    }

    Object value = null;
    String expected = null;
    if(option instanceof BooleanOption) {
      if(item.type.eq(AtomType.BOOLEAN)) {
        value = item.bool(ii);
      } else {
        final String s = string(item.string(ii));
        value = Strings.toBoolean(s) ? Boolean.TRUE : Strings.no(s) ? Boolean.FALSE : null;
      }
      if(value == null) expected = Text.OPT_BOOLEAN_X_X;
    } else if(option instanceof NumberOption) {
      value = (int) item.itr(ii);
    } else if(option instanceof StringOption) {
      value = serialize(item, ii);
    } else if(option instanceof EnumOption) {
      byte[] token;
      if(item.type.eq(AtomType.BOOLEAN)) {
        token = item.string(ii);
      } else if(item.type.isNumber()) {
        final long l = item.itr(ii);
        token = l == 1 ? TRUE : l == 0 ? FALSE : null;
      } else {
        token = item.string(ii);
      }
      if(token == null) {
        expected = Text.OPT_BOOLEAN_X_X;
      } else {
        final EnumOption<?> eo = (EnumOption<?>) option;
        value = eo.get(eq(token, TRUE) ? Text.YES : eq(token, FALSE) ? Text.NO : string(token));
        if(value == null) throw new BaseXException(allowed(option, string(token),
            (Object[]) eo.values()));
      }
    } else if(option instanceof OptionsOption) {
      if(item instanceof XQMap) {
        value = ((OptionsOption<?>) option).newInstance();
        ((Options) value).assign((XQMap) item, error, ii);
      } else {
        expected = Text.OPT_MAP_X_X;
      }
    } else if(option instanceof FuncOption) {
      if(item instanceof FuncItem) {
        value = item;
      } else {
        expected = Text.OPT_FUNC_X_X;
      }
    } else {
      throw Util.notExpected("Unsupported option: " + option);
    }

    if(expected != null) throw new BaseXException(expected, option.name(), item);
    put(option, value);
  }

  /**
   * Assigns the specified name and value.
   * @param name name of option
   * @param value value of option
   * @param index index (optional, can be {@code -1})
   * @param error raise error if option is unknown
   * @return success flag
   * @throws BaseXException database exception
   */
  private synchronized boolean assign(final String name, final String value, final int index,
      final boolean error) throws BaseXException {

    final Option<?> option = options.get(name);
    if(option == null) {
      if(error) throw new BaseXException(error(name));
      return false;
    }

    if(option instanceof BooleanOption) {
      final boolean v;
      if(value == null || value.isEmpty()) {
        final Boolean b = get((BooleanOption) option);
        if(b == null) throw new BaseXException(Text.OPT_BOOLEAN_X_X, option.name(), "");
        v = !b;
      } else {
        v = Strings.toBoolean(value);
        if(!v && !Strings.no(value))
          throw new BaseXException(Text.OPT_BOOLEAN_X_X, option.name(), value);
      }
      put(option, v);
    } else if(option instanceof NumberOption) {
      final int v = Strings.toInt(value);
      if(v == MIN_VALUE) throw new BaseXException(Text.OPT_NUMBER_X_X, option.name(), value);
      put(option, v);
    } else if(option instanceof StringOption) {
      put(option, value);
    } else if(option instanceof EnumOption) {
      final EnumOption<?> eo = (EnumOption<?>) option;
      final Object v = eo.get(value);
      if(v == null) throw new BaseXException(allowed(option, value, (Object[]) eo.values()));
      put(option, v);
    } else if(option instanceof OptionsOption) {
      final Options o = ((OptionsOption<?>) option).newInstance();
      o.assign(value);
      put(option, o);
    } else if(option instanceof NumbersOption) {
      final int v = Strings.toInt(value);
      if(v == MIN_VALUE) throw new BaseXException(Text.OPT_NUMBER_X_X, option.name(), value);
      int[] ii = (int[]) get(option);
      if(index == -1) {
        if(ii == null) ii = new int[0];
        final IntList il = new IntList(ii.length + 1);
        for(final int i : ii) il.add(i);
        put(option, il.add(v).finish());
      } else {
        if(index < 0 || index >= ii.length)
          throw new BaseXException(Text.OPT_OFFSET_X, option.name());
        ii[index] = v;
      }
    } else if(option instanceof StringsOption) {
      String[] ss = (String[]) get(option);
      if(index == -1) {
        if(ss == null) ss = new String[0];
        final StringList sl = new StringList(ss.length + 1);
        for(final String s : ss) sl.add(s);
        put(option, sl.add(value).finish());
      } else if(index == 0) {
        final int v = Strings.toInt(value);
        if(v == MIN_VALUE) throw new BaseXException(Text.OPT_NUMBER_X_X, option.name(), value);
        values.put(name, new String[v]);
      } else {
        if(index <= 0 || index > ss.length)
          throw new BaseXException(Text.OPT_OFFSET_X, option.name());
        ss[index - 1] = value;
      }
    } else {
      throw Util.notExpected("Unsupported option: " + option);
    }
    return true;
  }
}
