src/Pure/Tools/debugger.scala
changeset 60882 45bfd18835f1
parent 60880 fa958e24ff24
child 60888 35d85fd89fc1
     1.1 --- a/src/Pure/Tools/debugger.scala	Mon Aug 10 20:25:04 2015 +0200
     1.2 +++ b/src/Pure/Tools/debugger.scala	Mon Aug 10 20:42:59 2015 +0200
     1.3 @@ -141,12 +141,15 @@
     1.4    def inc_active(): Unit = global_state.change(_.inc_active)
     1.5    def dec_active(): Unit = global_state.change(_.dec_active)
     1.6  
     1.7 -  def breakpoint_active(breakpoint: Long): Option[Boolean] =
     1.8 +  def active_breakpoint_state(breakpoint: Long): Option[Boolean] =
     1.9    {
    1.10      val state = current_state()
    1.11      if (state.active > 0) Some(state.active_breakpoints(breakpoint)) else None
    1.12    }
    1.13  
    1.14 +  def breakpoint_state(breakpoint: Long): Boolean =
    1.15 +    current_state().active_breakpoints(breakpoint)
    1.16 +
    1.17    def toggle_breakpoint(command: Command, breakpoint: Long)
    1.18    {
    1.19      global_state.change(state =>