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_markup(version: Version, command: Command, index: Markup_Index, range: Range, elements: Elements): Markup_Tree

    

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

    

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

    

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

    

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

    

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

    

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

    

18. def define_blob(digest: Digest): State

    

19. def define_command(command: Command): State

    

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

    

21. def defined_blob(digest: Digest): Boolean

    

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

    

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

    

    Definition Classes

    AnyRef

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

    

25. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

27. val history: History

    

28. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

29. def is_assigned(version: Version): Boolean

    

30. def is_stable(change: Change): Boolean

    

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

    

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

    

    Definition Classes

    AnyRef

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

    

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

    

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

    

36. final def notify(): Unit

    

    Definition Classes

    AnyRef

37. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

38. def recent_finished: Change

    

39. def recent_stable: Change

    

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

    

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

    

42. val removing_versions: Boolean

    

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

    

44. def stable_tip_version: Option[Version]

    

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

    

    Definition Classes

    AnyRef

46. def the_assignment(version: Version): Assignment

    

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

    

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

    

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

    

50. def toString(): String

    

    Definition Classes

    State → AnyRef → Any

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

    

52. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )