class Session extends isabelle.Document.Session
- Self Type
- Session
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Session
- Session
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
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]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- def assert_dispatcher[A](body: ⇒ A): A
- def cancel_exec(exec_id: Exec): Unit
- val caret_focus: Outlet[Caret_Focus.type]
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
- val commands_changed: Outlet[Commands_Changed]
- def consolidate_delay: Time
- def current_state(): State
- def debugger: Debugger
- val debugger_updates: Outlet[Update.type]
- def dialog_result(id: Generic, serial: Long, result: String): Unit
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def get_protocol_handler(name: String): Option[Protocol_Handler]
- val global_options: Outlet[Global_Options]
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def init_protocol_handler(name: String): Unit
- def init_protocol_handler(handler: Protocol_Handler): Unit
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def is_ready: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- 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
- 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 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
- Definition Classes
- AnyRef
- def syslog_content(): String
- def syslog_limit: Int
- val syslog_messages: Outlet[Output]
- var timing: Boolean
-
def
toString(): String
- Definition Classes
- AnyRef → Any
- 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
- 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
- @native() @throws( ... )
- val xml_cache: Cache