Method opt

basex-core/src/main/java/org/basex/query/func/fn/FnApply.java:34–62

(final CompileContext cc)

  }

  @Override
  protected Expr opt(final CompileContext cc) throws QueryException {
    final Expr func = arg(0), args = arg(1);
    FuncType ft = func.funcType();
    final Type argsTp = args.seqType().type;

    // try to pass on types of array argument to function item
    if(argsTp instanceof final ArrayType aat) {
      if(args instanceof final XQArray array) {
        // argument is a value: final types are known
        final int as = Math.max(0, (int) array.structSize());
        final SeqType[] ast = new SeqType[as];
        for(int a = 0; a < as; a++) ast[a] = array.valueAt(a).seqType();
        arg(0, arg -> refineFunc(arg, cc, ast));
      } else if(ft != null) {
        // argument will be of type array: assign generic array return type to all arguments
        final SeqType[] at = ft.argTypes;
        if(at != null) {
          final SeqType[] ast = new SeqType[at.length];
          Arrays.fill(ast, aat.valueType());
          arg(0, arg -> refineFunc(arg, cc, ast));
        }
      }
    }

    ft = arg(0).funcType();
    if(ft != null) exprType.assign(ft.declType);
    return this;
  }

  /**
   * Applies a function with the specified arguments.