/*  Title:      jedit/plugin/IsabelleParser.scala

    ID:         $Id$

    Author:     Makarius

Isabelle parser setup for Sidekick plugin.

*/

package isabelle.jedit

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 stopped = false

  override def stop () { stopped = true }

  def parse(buffer: Buffer, e: DefaultErrorSource): SideKickParsedData = {

    stopped = false

    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

  }

}