Packages

class Session extends isabelle.Document.Session

Self Type
Session
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Session
  2. Session
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Session(session_options: ⇒ Options, resources: Resources)

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. val all_messages: Outlet[Message]
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def assert_dispatcher[A](body: ⇒ A): A
  7. def cancel_exec(exec_id: Exec): Unit
  8. val caret_focus: Outlet[Caret_Focus.type]
  9. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  10. val commands_changed: Outlet[Commands_Changed]
  11. def consolidate_delay: Time
  12. def current_state(): State
  13. def debugger: Debugger
  14. val debugger_updates: Outlet[Update.type]
  15. def dialog_result(id: Generic, serial: Long, result: String): Unit
  16. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  17. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  18. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  19. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  20. def get_protocol_handler(name: String): Option[Protocol_Handler]
  21. val global_options: Outlet[Global_Options]
  22. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  23. def init_protocol_handler(name: String): Unit
  24. def init_protocol_handler(handler: Protocol_Handler): Unit
  25. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  26. def is_ready: Boolean
  27. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  29. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  30. def output_delay: Time
  31. def phase: Phase
  32. val phase_changed: Outlet[Phase]
  33. def protocol_command(name: String, args: String*): Unit
  34. def prune_delay: Time
  35. def prune_size: Int
  36. val raw_edits: Outlet[Raw_Edits]
  37. val raw_output_messages: Outlet[Output]
  38. def recent_syntax(name: Name): Outer_Syntax
  39. def reparse_limit: Int
  40. def require_dispatcher[A](body: ⇒ A): A
  41. val resources: Resources
    Definition Classes
    SessionSession
  42. def send_dispatcher(body: ⇒ Unit): Unit
  43. def send_stop(): Unit
  44. def send_wait_dispatcher(body: ⇒ Unit): Unit
  45. def snapshot(name: Name = Document.Node.Name.empty, pending_edits: List[Edit] = Nil): Snapshot
  46. def start(start_prover: (Receiver) ⇒ Prover): Unit
  47. val statistics: Outlet[Statistics]
  48. def stop(): Process_Result
  49. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  50. def syslog_content(): String
  51. def syslog_limit: Int
  52. val syslog_messages: Outlet[Output]
  53. var timing: Boolean
  54. def toString(): String
    Definition Classes
    AnyRef → Any
  55. val trace_events: Outlet[Event.type]
  56. def update(doc_blobs: Blobs, edits: List[Edit_Text]): Unit
  57. def update_options(options: Options): Unit
  58. var verbose: Boolean
  59. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  60. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  61. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  62. val xml_cache: Cache

Inherited from Document.Session

Inherited from AnyRef

Inherited from Any

Ungrouped