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): (Command.State, State)

   

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

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

   

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

   

8. val blobs: Set[Digest]

   

9. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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

    

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

    

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

    

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

    

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

    

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

    

16. def define_blob(digest: Digest): State

    

17. def define_command(command: Command): State

    

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

    

19. def defined_blob(digest: Digest): Boolean

    

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

    

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

    

    Definition Classes

    AnyRef

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

    

23. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

24. def find_command(version: Version, id: Generic): Option[(Node, Command)]

    

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

    

    Definition Classes

    AnyRef → Any

26. val history: History

    

27. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

28. def is_assigned(version: Version): Boolean

    

29. def is_stable(change: Change): Boolean

    

30. def markup_to_XML(version: Version, node: Node, elements: Elements): Body

    

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

    

    Definition Classes

    AnyRef

32. final def notify(): Unit

    

    Definition Classes

    AnyRef

33. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

34. def recent_finished: Change

    

35. def recent_stable: Change

    

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

    

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

    

38. val removing_versions: Boolean

    

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

    

40. def stable_tip_version: Option[Version]

    

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

    

    Definition Classes

    AnyRef

42. def the_assignment(version: Version): Assignment

    

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

    

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

    

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

    

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

    

47. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )