src/Pure/Tools/build.scala
changeset 61276 8a4bd05c1735
parent 60992 89effcb342df
child 61372 cf40b6b1de54
     1.1 --- a/src/Pure/Tools/build.scala	Sun Sep 27 10:11:15 2015 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Tue Sep 29 13:54:04 2015 +0200
     1.3 @@ -19,35 +19,6 @@
     1.4  
     1.5  object Build
     1.6  {
     1.7 -  /** progress context **/
     1.8 -
     1.9 -  class Progress
    1.10 -  {
    1.11 -    def echo(msg: String) {}
    1.12 -    def theory(session: String, theory: String) {}
    1.13 -    def stopped: Boolean = false
    1.14 -    override def toString: String = if (stopped) "Progress(stopped)" else "Progress"
    1.15 -  }
    1.16 -
    1.17 -  object Ignore_Progress extends Progress
    1.18 -
    1.19 -  class Console_Progress(verbose: Boolean = false) extends Progress
    1.20 -  {
    1.21 -    override def echo(msg: String) { Console.println(msg) }
    1.22 -    override def theory(session: String, theory: String): Unit =
    1.23 -      if (verbose) echo(session + ": theory " + theory)
    1.24 -
    1.25 -    @volatile private var is_stopped = false
    1.26 -    def interrupt_handler[A](e: => A): A = POSIX_Interrupt.handler { is_stopped = true } { e }
    1.27 -    override def stopped: Boolean =
    1.28 -    {
    1.29 -      if (Thread.interrupted) is_stopped = true
    1.30 -      is_stopped
    1.31 -    }
    1.32 -  }
    1.33 -
    1.34 -
    1.35 -
    1.36    /** session information **/
    1.37  
    1.38    // external version