State

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 accumulate(id: Generic, message: Elem, xml_cache: XML.Cache): (Command.State, State)

   

5. def add_export(id: Generic, entry: Entry): (Command.State, State)

   

6. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

7. def assign(id: Document_ID.Version, update: Assign_Update): (List[Command], State)

   

8. val assignments: Map[Document_ID.Version, Assignment]

   

9. val blobs: Set[Digest]

   

10. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

11. def command_id_map(version: Version, commands: Iterable[Command]): Map[Generic, Command]

    

12. def command_markup(version: Version, command: Command, index: Markup_Index, range: Range, elements: Elements): Markup_Tree

    

13. def command_results(version: Version, command: Command): Results

    

14. def command_state_eval(version: Version, command: Command): Option[Command.State]

    

15. def command_states(version: Version, command: Command): List[Command.State]

    

16. val commands: Map[Document_ID.Command, Command.State]

    

17. val commands_redirection: Graph[Document_ID.Command, Unit]

    

18. def continue_history(previous: Future[Version], edits: List[Edit_Text], version: Future[Version]): State

    

19. def define_blob(digest: Digest): State

    

20. def define_command(command: Command): State

    

21. def define_version(version: Version, assignment: Assignment): State

    

22. def defined_blob(digest: Digest): Boolean

    

23. def defined_command(id: Document_ID.Command): Boolean

    

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

    

    Definition Classes

    AnyRef

25. val execs: Map[Exec, Command.State]

    

26. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

28. val history: History

    

29. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

30. def is_assigned(version: Version): Boolean

    

31. def is_stable(change: Change): Boolean

    

32. def lookup_id(id: Generic): Option[Command.State]

    

33. def markup_to_XML(version: Version, node_name: Name, range: Range, elements: Elements): Body

    

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

    

    Definition Classes

    AnyRef

35. def node_consolidated(version: Version, name: Name): Boolean

    

36. def node_exports(version: Version, node_name: Name): Exports

    

37. def node_initialized(version: Version, name: Name): Boolean

    

38. def node_maybe_consolidated(version: Version, name: Name): Boolean

    

39. final def notify(): Unit

    

    Definition Classes

    AnyRef

40. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

41. def recent_finished: Change

    

42. def recent_stable: Change

    

43. def remove_versions(retain: Int = 0): (List[Version], State)

    

44. def removed_versions(removed: List[Document_ID.Version]): State

    

45. val removing_versions: Boolean

    

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

    

47. def stable_tip_version: Option[Version]

    

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

    

    Definition Classes

    AnyRef

49. def the_assignment(version: Version): Assignment

    

50. def the_dynamic_state(id: Exec): Command.State

    

51. def the_static_state(id: Document_ID.Command): Command.State

    

52. def the_version(id: Document_ID.Version): Version

    

53. def toString(): String

    

    Definition Classes

    State → AnyRef → Any

54. val versions: Map[Document_ID.Version, Version]

    

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( ... )