src/Pure/Tools/debugger.scala

clarified thread name;

/*  Title:      Pure/Tools/debugger.scala
    Author:     Makarius

Interactive debugger for Isabelle/ML.
*/

package isabelle


object Debugger
{
  /* GUI interaction */

  case object Event


  /* manager thread */

  private lazy val manager: Consumer_Thread[Any] =
    Consumer_Thread.fork[Any]("Debugger.manager", daemon = true)(
      consume = (arg: Any) =>
      {
        // FIXME
        true
      },
      finish = () =>
      {
        // FIXME
      }
    )


  /* protocol handler */

  class Handler extends Session.Protocol_Handler
  {
    override def stop(prover: Prover)
    {
      manager.shutdown()
    }

    val functions = Map.empty[String, (Prover, Prover.Protocol_Output) => Boolean]  // FIXME
  }


  /* protocol commands */

  def init(session: Session): Unit =
    session.protocol_command("Debugger.init")

  def cancel(session: Session, name: String): Unit =
    session.protocol_command("Debugger.cancel", name)

  def input(session: Session, name: String, msg: String*): Unit =
    session.protocol_command("Debugger.input", (name :: msg.toList):_*)
}