Method clear

basex-core/src/main/java/org/basex/util/Prop.java:177–179

Removes all global options.

()

   * Removes all global options.
   */
  public static void clear() {
    OPTIONS.clear();
  }

  /**
   * Returns a system property or global option. System properties override global options.