Session

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. final def await_stable_snapshot(): Snapshot

   

   Annotations

   @tailrec()

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 consolidate_delay: Time

    

13. def current_state(): State

    

14. def debugger: Debugger

    

15. val debugger_updates: Outlet[Debugger.Update.type]

    

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

    

17. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

18. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

19. lazy val file_formats: File_Format.Session

    

20. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

21. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

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

    

23. val global_options: Outlet[Global_Options]

    

24. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

25. def init_protocol_handler(name: String): Unit

    

26. def init_protocol_handler(handler: Protocol_Handler): Unit

    

27. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

28. def is_ready: Boolean

    

29. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

30. final def notify(): Unit

    

    Definition Classes

    AnyRef

31. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

32. def output_delay: Time

    

33. def phase: Phase

    

34. val phase_changed: Outlet[Phase]

    

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

    

36. def prune_delay: Time

    

37. def prune_size: Int

    

38. val raw_edits: Outlet[Raw_Edits]

    

39. val raw_output_messages: Outlet[Output]

    

40. def recent_syntax(name: Name): Outer_Syntax

    

41. def reparse_limit: Int

    

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

    

43. val resources: Resources

    

    Definition Classes

    Session → Session

44. def send_dispatcher(body: ⇒ Unit): Unit

    

45. def send_stop(): Unit

    

46. def send_wait_dispatcher(body: ⇒ Unit): Unit

    

47. def session_options: Options

    

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

    

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

    

50. val statistics: Outlet[Statistics]

    

51. def stop(): Process_Result

    

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

    

    Definition Classes

    AnyRef

53. def syslog_content(): String

    

54. def syslog_limit: Int

    

55. val syslog_messages: Outlet[Output]

    

56. var timing: Boolean

    

57. def toString(): String

    

    Definition Classes

    AnyRef → Any

58. val trace_events: Outlet[Event.type]

    

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

    

60. def update_options(options: Options): Unit

    

61. var verbose: Boolean

    

62. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

64. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

65. val xml_cache: XML.Cache

    

66. val xz_cache: XZ.Cache