Method item

basex-core/src/main/java/org/basex/query/func/Closure.java:332–365

(final QueryContext qc, final InputInfo ii)

  }

  @Override
  public FuncItem item(final QueryContext qc, final InputInfo ii) throws QueryException {
    final Expr body;
    if(global.isEmpty()) {
      body = expr;
    } else {
      // collect closure
      final LinkedList<Clause> clauses = new LinkedList<>();
      for(final Entry<Var, Expr> entry : global.entrySet()) {
        clauses.add(new Let(entry.getKey(), entry.getValue().value(qc)));
      }
      body = new GFLWOR(info, clauses, expr);
    }

    final SeqType argType = body.seqType();
    final Expr checked;
    if(declType == null || argType.instanceOf(declType)) {
      // return type is already correct
      checked = body;
    } else if(body instanceof final Value value) {
      // we can type check immediately
      checked = declType.coerce(value, qc, info, name, null);
    } else {
      // check at each call: reject impossible arities
      if(argType.type.instanceOf(declType.type) && argType.occ.intersect(declType.occ) == null &&
          !body.has(Flag.NDT)) {
        throw typeError(body, declType, name, info);
      }
      checked = new TypeCheck(info, body, declType);
    }

    final FuncType ft = (FuncType) seqType().type;
    return new FuncItem(info, checked, params, anns, ft, vs.stackSize(), name);
  }

  @Override
  public boolean has(final Flag... flags) {