Method digit

basex-core/src/main/java/org/basex/util/Token.java:1260–1262

Checks if the specified character is a digit (0 - 9). @param ch the character to be checked @return result of check

(final int ch)

   * @return result of check
   */
  public static boolean digit(final int ch) {
    return ch >= '0' && ch <= '9';
  }

  /**
   * Checks if the specified character is a computer letter or digit.