equal
deleted
inserted
replaced
343 |
343 |
344 /** protocol commands **/ |
344 /** protocol commands **/ |
345 |
345 |
346 def protocol_command_bytes(name: String, args: Bytes*): Unit = |
346 def protocol_command_bytes(name: String, args: Bytes*): Unit = |
347 command_input match { |
347 command_input match { |
348 case Some(thread) => thread.send(Bytes(name) :: args.toList) |
348 case Some(thread) if thread.is_active => thread.send(Bytes(name) :: args.toList) |
349 case None => error("Uninitialized command input thread") |
349 case _ => error("Inactive prover input thread for command " + quote(name)) |
350 } |
350 } |
351 |
351 |
352 def protocol_command(name: String, args: String*) |
352 def protocol_command(name: String, args: String*) |
353 { |
353 { |
354 receiver(new Prover.Input(name, args.toList)) |
354 receiver(new Prover.Input(name, args.toList)) |