Debugger

Type Members

sealed case class Context(thread_name: String, debug_states: List[Debug_State], index: Int = 0) extends Product with Serializable
sealed case class Debug_State(pos: T, function: String) extends Product with Serializable
class Handler extends Protocol_Handler
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
type Threads = SortedMap[String, List[Debug_State]]

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
object Update extends Product with Serializable
def active_breakpoint_state(breakpoint: Long): Option[Boolean]
final def asInstanceOf[T0]: T0

Definition Classes
Any
def breakpoint_state(breakpoint: Long): Boolean
def clear_output(thread_name: String): Unit
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def continue(thread_name: String): Unit
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def eval(c: Context, SML: Boolean, context: String, expression: String): Unit
def exit(): Unit
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def focus(): List[Context]
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
def init(): Unit
def init_session(session: Session): Unit
def input(thread_name: String, msg: String*): Unit
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def is_active(): Boolean
def is_break(): Boolean
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def print_vals(c: Context, SML: Boolean, context: String): Unit
def set_break(b: Boolean): Unit
def set_focus(c: Context): Unit
def status(focus: Option[Context]): (Threads, List[Tree])
def step(thread_name: String): Unit
def step_out(thread_name: String): Unit
def step_over(thread_name: String): Unit
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def toggle_breakpoint(command: Command, breakpoint: Long): Unit
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package isabelle

object Debugger

Type Members

sealed case class Context(thread_name: String, debug_states: List[Debug_State], index: Int = 0) extends Product with Serializable

sealed case class Debug_State(pos: T, function: String) extends Product with Serializable

class Handler extends Protocol_Handler

type Threads = SortedMap[String, List[Debug_State]]

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Update extends Product with Serializable

def active_breakpoint_state(breakpoint: Long): Option[Boolean]

final def asInstanceOf[T0]: T0

def breakpoint_state(breakpoint: Long): Boolean

def clear_output(thread_name: String): Unit

def clone(): AnyRef

def continue(thread_name: String): Unit

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def eval(c: Context, SML: Boolean, context: String, expression: String): Unit

def exit(): Unit

def finalize(): Unit

def focus(): List[Context]

final def getClass(): Class[_]

def hashCode(): Int

def init(): Unit

def init_session(session: Session): Unit

def input(thread_name: String, msg: String*): Unit

final def isInstanceOf[T0]: Boolean

def is_active(): Boolean

def is_break(): Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def print_vals(c: Context, SML: Boolean, context: String): Unit

def set_break(b: Boolean): Unit

def set_focus(c: Context): Unit

def status(focus: Option[Context]): (Threads, List[Tree])

def step(thread_name: String): Unit

def step_out(thread_name: String): Unit

def step_over(thread_name: String): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

def toggle_breakpoint(command: Command, breakpoint: Long): Unit

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped