final case class State extends Product with Serializable
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- State
- Serializable
- Serializable
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def accumulate(id: Generic, message: Elem): (Command.State, State)
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- def assign(id: Document_ID.Version, update: Assign_Update): (List[Command], State)
- val assignments: Map[Document_ID.Version, Assignment]
- val blobs: Set[Digest]
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
- def command_markup(version: Version, command: Command, index: Markup_Index, range: Range, elements: Elements): Markup_Tree
- def command_results(version: Version, command: Command): Results
- def command_states(version: Version, command: Command): List[Command.State]
- val commands: Map[Document_ID.Command, Command.State]
- val commands_redirection: Graph[Document_ID.Command, Unit]
- def continue_history(previous: Future[Version], edits: List[Edit_Text], version: Future[Version]): State
- def define_blob(digest: Digest): State
- def define_command(command: Command): State
- def define_version(version: Version, assignment: Assignment): State
- def defined_blob(digest: Digest): Boolean
- def defined_command(id: Document_ID.Command): Boolean
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- val execs: Map[Exec, Command.State]
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
- def find_command(version: Version, id: Generic): Option[(Node, Command)]
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- val history: History
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def is_assigned(version: Version): Boolean
- def is_stable(change: Change): Boolean
- def markup_to_XML(version: Version, node: Node, elements: Elements): Body
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- def recent_finished: Change
- def recent_stable: Change
- def remove_versions(retain: Int = 0): (List[Version], State)
- def removed_versions(removed: List[Document_ID.Version]): State
- val removing_versions: Boolean
- def snapshot(name: Name = Node.Name.empty, pending_edits: List[Text.Edit] = Nil): Snapshot
- def stable_tip_version: Option[Version]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- def the_assignment(version: Version): Assignment
- def the_dynamic_state(id: Exec): Command.State
- def the_static_state(id: Document_ID.Command): Command.State
- def the_version(id: Document_ID.Version): Version
- val versions: Map[Document_ID.Version, Version]
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )