State

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

7. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

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

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

10. val blobs: Set[Digest]

11. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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_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[(Name, Node.Edit[Text.Edit, Perspective])], 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. def find_command(version: Version, id: Generic): Option[(Node, Command)]

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 markup_to_XML(version: Version, node: Node, elements: Elements): Body

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

    Definition Classes

    AnyRef

34. final def notify(): Unit

    Definition Classes

    AnyRef

35. final def notifyAll(): Unit

    Definition Classes

    AnyRef

36. def recent_finished: Change

37. def recent_stable: Change

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

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

40. val removing_versions: Boolean

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

42. def stable_tip_version: Option[Version]

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

    Definition Classes

    AnyRef

44. def the_assignment(version: Version): Assignment

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

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

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

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

49. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )