Method pragma

basex-core/src/main/java/org/basex/query/QueryParser.java:2136–2170

Parses the "Pragma" rule. @return array of pragmas or null @throws QueryException query exception

()

   * @throws QueryException query exception
   */
  private Pragma[] pragma() throws QueryException {
    final int p = pos;
    if(!wsConsume("(#") || !consumeWS()) {
      pos = p;
      return null;
    }

    final ArrayList<Pragma> el = new ArrayList<>();
    do {
      final QNm name = eQName(null, QNAME_X);
      int cp = current();
      if(cp != '#' && !ws(cp)) throw error(PRAGMAINV);
      token.reset();
      while(cp != '#' || next() != ')') {
        if(cp == 0) throw error(PRAGMAINV);
        token.add(consume());
        cp = current();
      }

      final byte[] value = token.trim().toArray();
      if(eq(name.prefix(), DB_PREFIX)) {
        // project-specific declaration
        final String key = string(uc(name.local()));
        final MainOptions mopts = qc.context.options;
        final Option<?> option = mopts.option(key);
        if(option == null) throw error(BASEX_OPTIONSINV_X, mopts.similar(key));
        el.add(new DBPragma(name, option, value));
      } else if(eq(name.prefix(), BASEX_PREFIX)) {
        // project-specific declaration
        el.add(new BaseXPragma(name, value));
      }
      pos += 2;
    } while(wsConsumeWs("(#"));
    return el.toArray(Pragma[]::new);
  }

  /**
   * Parses the "ItemMapExpr" rule.