src/Pure/Tools/debugger.scala
changeset 60765 e43e71a75838
parent 60749 f727b99faaf7
child 60829 4b16b778ce0d
     1.1 --- a/src/Pure/Tools/debugger.scala	Tue Jul 21 14:12:45 2015 +0200
     1.2 +++ b/src/Pure/Tools/debugger.scala	Tue Jul 21 19:04:36 2015 +0200
     1.3 @@ -41,4 +41,16 @@
     1.4  
     1.5      val functions = Map.empty[String, (Prover, Prover.Protocol_Output) => Boolean]  // FIXME
     1.6    }
     1.7 +
     1.8 +
     1.9 +  /* protocol commands */
    1.10 +
    1.11 +  def init(session: Session): Unit =
    1.12 +    session.protocol_command("Debugger.init")
    1.13 +
    1.14 +  def cancel(session: Session, id: String): Unit =
    1.15 +    session.protocol_command("Debugger.cancel", id)
    1.16 +
    1.17 +  def input(session: Session, id: String, msg: String*): Unit =
    1.18 +    session.protocol_command("Debugger.input", (id :: msg.toList):_*)
    1.19  }