# HG changeset patch
# User wenzelm
# Date 1216578229 -7200
# Node ID e40273830fa6121378ff5ac39a12129b2bb5eff7
# Parent  674496eb5965033a80e46e9557ceb095ed314f84
SideKickParsedData: minimal content;

diff -r 674496eb5965 -r e40273830fa6 lib/jedit/plugin/isabelle/IsabelleParser.scala
--- a/lib/jedit/plugin/isabelle/IsabelleParser.scala	Sun Jul 20 11:19:08 2008 +0200
+++ b/lib/jedit/plugin/isabelle/IsabelleParser.scala	Sun Jul 20 20:23:49 2008 +0200
@@ -7,26 +7,54 @@
 
 package isabelle
 
+import javax.swing.text.Position
+import javax.swing.tree.DefaultMutableTreeNode
+import javax.swing.tree.DefaultTreeModel
+
 import org.gjt.sp.jedit.Buffer
 import org.gjt.sp.util.Log
 
+import sidekick.Asset
 import sidekick.SideKickParsedData
 import sidekick.SideKickParser
 import errorlist.DefaultErrorSource
 
 
+private class IsabelleAsset(name: String, content: String) extends Asset(name)
+{
+  override def getShortString() = { name }
+  override def getLongString() = { content }
+  override def getIcon() = { null }
+}
+
+
 class IsabelleParser extends SideKickParser("isabelle") {
-  private var text: String = null
-  private var data: SideKickParsedData = null
-  private var buffer: Buffer = null
+  private var stopped = false
+
+  override def stop () { stopped = true }
+
+  def parse(buffer: Buffer, e: DefaultErrorSource): SideKickParsedData = {
+    stopped = false
 
-  // FIXME dummy -- no functionality yet
-  def parse(buf: Buffer, e: DefaultErrorSource): SideKickParsedData = {
-    buffer = buf
-    buffer.readLock()
-    text = buffer.getText(0, buffer.getLength())
-    data = new SideKickParsedData(buffer.getName())
-    buffer.readUnlock()
+    var text: String = null
+    var data: SideKickParsedData = null
+
+    try {
+      buffer.readLock()
+      text = buffer.getText(0, buffer.getLength())
+      data = new SideKickParsedData(buffer.getName())
+
+      val asset = new IsabelleAsset("theory", null)
+      asset.setStart(buffer.createPosition(0))
+      asset.setEnd(buffer.createPosition(buffer.getLength()))
+
+      val node = new DefaultMutableTreeNode(asset)
+      data.root.insert(node, node.getChildCount())
+
+    } finally {
+      buffer.readUnlock()
+    }
+
     data
   }
 }