Method getInt

ui/src/app/Query.js:57–62

(name, missing = 0)

  }

  getInt(name, missing = 0) {
    if (!this.has(name)) {
      return missing;
    }
    return parseInt(this.getString(name), 10);
  }

  getBool(name, missing = false) {
    if (!this.has(name)) {