Method optimize

basex-core/src/main/java/org/basex/query/expr/Cast.java:32–49

(final CompileContext cc)

  }

  @Override
  public Expr optimize(final CompileContext cc) throws QueryException {
    super.optimize(cc);
    if((ZERO_OR_ONE.is(expr) || EXACTLY_ONE.is(expr) || ONE_OR_MORE.is(expr)) &&
        seqType.occ.instanceOf(expr.seqType().occ)) expr = expr.arg(0);

    final SeqType st = castType();
    exprType.assign(st);

    final Boolean test = castable(st);
    if(test == Boolean.FALSE) throw typeError(expr, seqType, info);
    if(test == Boolean.TRUE) return cc.replaceWith(this, expr);

    final Expr arg = simplify(st, cc);
    if(arg != null) return new Cast(info, arg, seqType).optimize(cc);

    return expr instanceof Value ? cc.preEval(this) : this;
  }

  @Override
  public Value value(final QueryContext qc) throws QueryException {