TestQueryDB.scala

package info.kwarc.mmt.errorview

object TestQueryDB {
  def main(args: scala.Array[String]): Unit = {
    val (context, dir) = Table.initArgs(args)
    val dbSearch = new QueryDB()
    context.addRoutes(dbSearch)
    context.start()
    val dirPrefix = if (dir.endsWith("/")) dir else dir + "/"
    dbSearch.queryValues(dirPrefix, false, "skipped", "shortMsg")
    dbSearch.queryValues(dirPrefix, false, "", "errType")
    dbSearch.queryValues(dirPrefix, true, "LocalError", "errType")
  }
}