@Override
FItem evalFunc(final QueryContext ctx) throws QueryException {
final int ar = expr.length - 1;
final Item it = checkItem(expr[ar], ctx);
if (!(it instanceof FItem)) throw INVFUNCITEM.get(info, it.type);
final FItem fit = (FItem) it;
if (fit.arity() != ar) throw INVARITY.get(info, fit, ar);
if (!sc.mixUpdates && updating != fit.annotations().contains(Ann.Q_UPDATING))
throw (updating ? UPFUNCNOTUP : UPFUNCUP).get(info);
return fit;
}
@Override
public Expr optimize(final QueryContext ctx, final VarScope scp) throws QueryException {
final int ar = expr.length - 1;
final Expr f = expr[ar];
final Type t = f.type().type;
if (t instanceof FuncType) {
final FuncType ft = (FuncType) t;
if (ft.args != null && ft.args.length != ar) throw INVARITY.get(info, f, ar);
if (ft.ret != null) type = ft.ret;
}
if (f instanceof XQFunctionExpr) {
// maps can only contain fully evaluated Values, so this is safe
if (allAreValues() && f instanceof Map) return optPre(value(ctx), ctx);
// try to inline the function
if (!(f instanceof FuncItem && comesFrom((FuncItem) f)) && !updating) {
final Expr[] args = Arrays.copyOf(expr, expr.length - 1);
final Expr inl = ((XQFunctionExpr) f).inlineExpr(args, ctx, scp, info);
if (inl != null) return inl;
}
}
return this;
}
