Session

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
val all_messages: Outlet[Message]

Definition Classes
Session
final def asInstanceOf[T0]: T0

Definition Classes
Any
def assert_dispatcher[A](body: ⇒ A): A

Definition Classes
Session
final def await_stable_snapshot(): Snapshot

Definition Classes
Session
Annotations
@tailrec()
def cancel_exec(exec_id: Exec): Unit

Definition Classes
Session
val caret_focus: Outlet[Caret_Focus.type]

Definition Classes
Session
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
val commands_changed: Outlet[Commands_Changed]

Definition Classes
Session
def consolidate_delay: Time

Definition Classes
Session
def current_state(): State

Definition Classes
Session
def debugger: Debugger

Definition Classes
Session
val debugger_updates: Outlet[Debugger.Update.type]

Definition Classes
Session
def default_check_delay: Time
def default_check_limit: Int
def default_commit_cleanup_delay: Time
def default_nodes_status_delay: Time
def default_watchdog_timeout: Time
def dialog_result(id: Generic, serial: Long, result: String): Unit

Definition Classes
Session
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
lazy val file_formats: File_Format.Session

Definition Classes
Session
def finalize(): Unit

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

Definition Classes
AnyRef → Any
def get_protocol_handler(name: String): Option[Protocol_Handler]

Definition Classes
Session
val global_options: Outlet[Global_Options]

Definition Classes
Session
def hashCode(): Int

Definition Classes
AnyRef → Any
def init_protocol_handler(name: String): Unit

Definition Classes
Session
def init_protocol_handler(handler: Protocol_Handler): Unit

Definition Classes
Session
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def is_ready: Boolean

Definition Classes
Session
def master_directory(master_dir: String): String
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def output_delay: Time

Definition Classes
Session
def phase: Phase

Definition Classes
Session
val phase_changed: Outlet[Phase]

Definition Classes
Session
def protocol_command(name: String, args: String*): Unit

Definition Classes
Session
def prune_delay: Time

Definition Classes
Session
def prune_size: Int

Definition Classes
Session
def purge_theories(theories: List[String], qualifier: String = Sessions.DRAFT, master_dir: String = "", all: Boolean = false): (List[Name], List[Name])
val raw_edits: Outlet[Raw_Edits]

Definition Classes
Session
val raw_output_messages: Outlet[Output]

Definition Classes
Session
def recent_syntax(name: Name): Outer_Syntax

Definition Classes
Session
def reparse_limit: Int

Definition Classes
Session
def require_dispatcher[A](body: ⇒ A): A

Definition Classes
Session
val resources: Resources

Definition Classes
Session → Session → Session
def send_dispatcher(body: ⇒ Unit): Unit

Definition Classes
Session
def send_stop(): Unit

Definition Classes
Session
def send_wait_dispatcher(body: ⇒ Unit): Unit

Definition Classes
Session
def session_options: Options

Definition Classes
Session
def snapshot(name: Name = Document.Node.Name.empty, pending_edits: List[Edit] = Nil): Snapshot

Definition Classes
Session
def start(start_prover: (Receiver) ⇒ Prover): Unit

Definition Classes
Session
val statistics: Outlet[Statistics]

Definition Classes
Session
def stop(): Process_Result

Definition Classes
Session → Session
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def syslog_content(): String

Definition Classes
Session
def syslog_limit: Int

Definition Classes
Session
val syslog_messages: Outlet[Output]

Definition Classes
Session
var timing: Boolean

Definition Classes
Session
val tmp_dir: File
val tmp_dir_name: String
def toString(): String

Definition Classes
Session → AnyRef → Any
val trace_events: Outlet[Event.type]

Definition Classes
Session
def update(doc_blobs: Blobs, edits: List[Edit_Text]): Unit

Definition Classes
Session
def update_options(options: Options): Unit

Definition Classes
Session
def use_theories(theories: List[String], qualifier: String = Sessions.DRAFT, master_dir: String = "", unicode_symbols: Boolean = false, check_delay: Time = default_check_delay, check_limit: Int = default_check_limit, watchdog_timeout: Time = default_watchdog_timeout, nodes_status_delay: Time = default_nodes_status_delay, id: T = UUID.random(), commit: Option[(Snapshot, Node_Status) ⇒ Unit] = None, commit_cleanup_delay: Time = default_commit_cleanup_delay, progress: Progress = No_Progress): Use_Theories_Result
var verbose: Boolean

Definition Classes
Session
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( ... )
val xml_cache: XML.Cache

Definition Classes
Session
val xz_cache: XZ.Cache

Definition Classes
Session

Related Doc: package Headless

class Session extends isabelle.Session

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

val all_messages: Outlet[Message]

final def asInstanceOf[T0]: T0

def assert_dispatcher[A](body: ⇒ A): A

final def await_stable_snapshot(): Snapshot

def cancel_exec(exec_id: Exec): Unit

val caret_focus: Outlet[Caret_Focus.type]

def clone(): AnyRef

val commands_changed: Outlet[Commands_Changed]

def consolidate_delay: Time

def current_state(): State

def debugger: Debugger

val debugger_updates: Outlet[Debugger.Update.type]

def default_check_delay: Time

def default_check_limit: Int

def default_commit_cleanup_delay: Time

def default_nodes_status_delay: Time

def default_watchdog_timeout: Time

def dialog_result(id: Generic, serial: Long, result: String): Unit

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

lazy val file_formats: File_Format.Session

def finalize(): Unit

final def getClass(): Class[_]

def get_protocol_handler(name: String): Option[Protocol_Handler]

val global_options: Outlet[Global_Options]

def hashCode(): Int

def init_protocol_handler(name: String): Unit

def init_protocol_handler(handler: Protocol_Handler): Unit

final def isInstanceOf[T0]: Boolean

def is_ready: Boolean

def master_directory(master_dir: String): String

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def output_delay: Time

def phase: Phase

val phase_changed: Outlet[Phase]

def protocol_command(name: String, args: String*): Unit

def prune_delay: Time

def prune_size: Int

def purge_theories(theories: List[String], qualifier: String = Sessions.DRAFT, master_dir: String = "", all: Boolean = false): (List[Name], List[Name])

val raw_edits: Outlet[Raw_Edits]

val raw_output_messages: Outlet[Output]

def recent_syntax(name: Name): Outer_Syntax

def reparse_limit: Int

def require_dispatcher[A](body: ⇒ A): A

val resources: Resources

def send_dispatcher(body: ⇒ Unit): Unit

def send_stop(): Unit

def send_wait_dispatcher(body: ⇒ Unit): Unit

def session_options: Options

def snapshot(name: Name = Document.Node.Name.empty, pending_edits: List[Edit] = Nil): Snapshot

def start(start_prover: (Receiver) ⇒ Prover): Unit

val statistics: Outlet[Statistics]

def stop(): Process_Result

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

def syslog_content(): String

def syslog_limit: Int

val syslog_messages: Outlet[Output]

var timing: Boolean

val tmp_dir: File

val tmp_dir_name: String

def toString(): String

val trace_events: Outlet[Event.type]

def update(doc_blobs: Blobs, edits: List[Edit_Text]): Unit

def update_options(options: Options): Unit

var verbose: Boolean

final def wait(): Unit

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

final def wait(arg0: Long): Unit

val xml_cache: XML.Cache

val xz_cache: XZ.Cache

Inherited from isabelle.Session