parsing all files

src/test/scala/ParseXML.scala

+package scala
+
+import java.io.File
+
+import scala.xml._
+
+/**
+ * Created by maeder on 13.01.15.
+ * try parsing <error> tags
+ */
+object ParseXML {
+  def readXml(f: File): NodeSeq = {
+    try {
+      val xml = XML.loadFile(f.getPath)
+      xml \\ "error"
+    } catch {
+      case e: SAXParseException => Nil
+    }
+  }
+
+  def getAttrs(attrs: List[String], x: Node): List[String] = {
+    attrs map (a => (x \ ("@" + a)).toString())
+  }
+
+  def traverse(dir: File, proc: File => Unit): Unit =
+    dir.listFiles foreach { f => if (f.isDirectory) traverse(f, proc) else proc(f)}
+
+  def procFile(f: File): Unit = {
+    val errs = readXml(f)
+    if (errs.isEmpty) println("NOERR: " + f)
+    else errs map (x => {
+      println(f)
+      getAttrs(List("type", "shortMsg", "level"), x) map println
+    }
+      )
+  }
+
+  def main(args: Array[String]): Unit = {
+    val dir = new File("/local/maeder/tptp/Distribution/errors")
+    traverse(dir, procFile)
+  }
+}