Method integers

basex-core/src/main/java/org/basex/query/expr/Range.java:73–76

Indicates if the range operands are known to return single integers. @return result of check

()

   * @return result of check
   */
  boolean integers() {
    final SeqType st1 = exprs[0].seqType(), st2 = exprs[1].seqType();
    return st1.instanceOf(Types.INTEGER_O) && st2.instanceOf(Types.INTEGER_O);
  }

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