Session

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

5. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

6. def add_protocol_handler(handler: Protocol_Handler): Unit

7. val all_messages: Outlet[Message]

8. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

9. def build_theories(id: String, master_dir: Path, theories: List[(Options, List[Path])]): Unit

10. def cancel_exec(exec_id: Exec): Unit

11. val caret_focus: Outlet[Caret_Focus.type]

12. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

13. val commands_changed: Outlet[Commands_Changed]

14. def current_state(): State

15. val debugger_updates: Outlet[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. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    Definition Classes

    AnyRef → Any

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

22. val global_options: Outlet[Global_Options]

23. def hashCode(): Int

    Definition Classes

    AnyRef → Any

24. def header_edit(name: Name, header: Header): (Name, Edit[Edit, Perspective])

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

29. final def notifyAll(): Unit

    Definition Classes

    AnyRef

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. val resources: Resources

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

42. def start(start_prover: ((Message) ⇒ Unit) ⇒ Prover): Unit

43. val statistics: Outlet[Statistics]

44. def stop(): Unit

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

    Definition Classes

    AnyRef

46. def syslog_content(): String

47. def syslog_limit: Int

48. val syslog_messages: Outlet[Output]

49. var timing: Boolean

50. def toString(): String

    Definition Classes

    AnyRef → Any

51. val trace_events: Outlet[Event.type]

52. def update(doc_blobs: Blobs, edits: List[(Name, Edit[Edit, Perspective])]): Unit

53. def update_options(options: Options): Unit

54. var verbose: Boolean

55. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )