Method number

basex-core/src/main/java/org/basex/util/MainParser.java:124–128

Returns the next positive numeric argument. @return positive integer @throws BaseXException database exception

()

   * @throws BaseXException database exception
   */
  public int number() throws BaseXException {
    final int i = Strings.toInt(string());
    if(i < 0) throw usage();
    return i;
  }

  /**
   * Returns an exception with the command usage info.