src/Pure/System/isabelle_process.scala
changeset 31797 203d5e61e3bc
parent 31498 be0f7f4f9e12
child 32448 a89f876731c5
     1.1 --- a/src/Pure/System/isabelle_process.scala	Thu Jun 25 13:24:45 2009 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Thu Jun 25 13:25:35 2009 +0200
     1.3 @@ -12,7 +12,7 @@
     1.4    InputStream, OutputStream, IOException}
     1.5  
     1.6  
     1.7 -object IsabelleProcess {
     1.8 +object Isabelle_Process {
     1.9  
    1.10    /* results */
    1.11  
    1.12 @@ -96,7 +96,7 @@
    1.13      def is_system = Kind.is_system(kind)
    1.14    }
    1.15  
    1.16 -  def parse_message(isabelle_system: IsabelleSystem, result: Result) =
    1.17 +  def parse_message(isabelle_system: Isabelle_System, result: Result) =
    1.18    {
    1.19      XML.Elem(Markup.MESSAGE, (Markup.CLASS, Kind.markup(result.kind)) :: result.props,
    1.20        YXML.parse_body_failsafe(isabelle_system.symbols.decode(result.result)))
    1.21 @@ -104,16 +104,16 @@
    1.22  }
    1.23  
    1.24  
    1.25 -class IsabelleProcess(isabelle_system: IsabelleSystem,
    1.26 -  results: EventBus[IsabelleProcess.Result], args: String*)
    1.27 +class Isabelle_Process(isabelle_system: Isabelle_System,
    1.28 +  results: EventBus[Isabelle_Process.Result], args: String*)
    1.29  {
    1.30 -  import IsabelleProcess._
    1.31 +  import Isabelle_Process._
    1.32  
    1.33  
    1.34    /* demo constructor */
    1.35  
    1.36    def this(args: String*) =
    1.37 -    this(new IsabelleSystem, new EventBus[IsabelleProcess.Result] + Console.println, args: _*)
    1.38 +    this(new Isabelle_System, new EventBus[Isabelle_Process.Result] + Console.println, args: _*)
    1.39  
    1.40  
    1.41    /* process information */
    1.42 @@ -128,7 +128,7 @@
    1.43    /* results */
    1.44  
    1.45    def parse_message(result: Result): XML.Tree =
    1.46 -    IsabelleProcess.parse_message(isabelle_system, result)
    1.47 +    Isabelle_Process.parse_message(isabelle_system, result)
    1.48  
    1.49    private val result_queue = new LinkedBlockingQueue[Result]
    1.50  
    1.51 @@ -230,7 +230,7 @@
    1.52  
    1.53    private class StdinThread(out_stream: OutputStream) extends Thread("isabelle: stdin") {
    1.54      override def run() = {
    1.55 -      val writer = new BufferedWriter(new OutputStreamWriter(out_stream, IsabelleSystem.charset))
    1.56 +      val writer = new BufferedWriter(new OutputStreamWriter(out_stream, Isabelle_System.charset))
    1.57        var finished = false
    1.58        while (!finished) {
    1.59          try {
    1.60 @@ -260,7 +260,7 @@
    1.61  
    1.62    private class StdoutThread(in_stream: InputStream) extends Thread("isabelle: stdout") {
    1.63      override def run() = {
    1.64 -      val reader = new BufferedReader(new InputStreamReader(in_stream, IsabelleSystem.charset))
    1.65 +      val reader = new BufferedReader(new InputStreamReader(in_stream, Isabelle_System.charset))
    1.66        var result = new StringBuilder(100)
    1.67  
    1.68        var finished = false