class Session extends AnyRef

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

Instance Constructors

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

Inherited from AnyRef

Inherited from Any

Ungrouped