o

isabelle

Debugger

object Debugger

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Debugger
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. sealed case class Context (thread_name: String, debug_states: List[Debug_State], index: Int = 0) extends Product with Serializable
  2. sealed case class Debug_State (pos: T, function: String) extends Product with Serializable
  3. class Handler extends Protocol_Handler
  4. sealed case class State (session: Session = new Session(Resources.empty), active: Int = 0, break: Boolean = false, active_breakpoints: Set[Long] = Set.empty, threads: Threads = SortedMap.empty, focus: Map[String, Context] = Map.empty, output: Map[String, Results] = Map.empty) extends Product with Serializable
  5. type Threads = SortedMap[String, List[Debug_State]]

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def active_breakpoint_state(breakpoint: Long): Option[Boolean]
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def breakpoint_state(breakpoint: Long): Boolean
  7. def clear_output(thread_name: String): Unit
  8. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  9. def continue(thread_name: String): Unit
  10. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  11. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  12. def eval(c: Context, SML: Boolean, context: String, expression: String): Unit
  13. def exit(): Unit
  14. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. def focus(): List[Context]
  16. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  17. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  18. def init(): Unit
  19. def init_session(session: Session): Unit
  20. def input(thread_name: String, msg: String*): Unit
  21. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  22. def is_active(): Boolean
  23. def is_break(): Boolean
  24. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. final def notify(): Unit
    Definition Classes
    AnyRef
  26. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  27. def print_vals(c: Context, SML: Boolean, context: String): Unit
  28. def set_break(b: Boolean): Unit
  29. def set_focus(c: Context): Unit
  30. def status(focus: Option[Context]): (Threads, List[Tree])
  31. def step(thread_name: String): Unit
  32. def step_out(thread_name: String): Unit
  33. def step_over(thread_name: String): Unit
  34. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  35. def toString(): String
    Definition Classes
    AnyRef → Any
  36. def toggle_breakpoint(command: Command, breakpoint: Long): Unit
  37. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  39. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. object Update extends Product with Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped