Packages

object Command

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Command
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Blob = Result[(Name, Option[(Digest, Text_Chunk)])]
  2. type Blobs_Info = (List[Blob], Int)
  3. type Edit = (Option[Command], Option[Command])
  4. sealed case class Markup_Index(status: Boolean, chunk_name: Name) extends Product with Serializable
  5. final class Markups extends AnyRef
  6. sealed case class Perspective(commands: List[Command]) extends Product with Serializable
  7. final class Results extends AnyRef
  8. sealed case class State(command: Command, status: List[Markup] = Nil, results: Results = Results.empty, markups: Markups = Markups.empty) extends Product with Serializable

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 apply(id: Document_ID.Command, node_name: Name, blobs_info: Blobs_Info, span: Span): Command

    static content *

  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def blobs_info(resources: Resources, syntax: Outer_Syntax, get_blob: (Name) ⇒ Option[Document.Blob], can_import: (Name) ⇒ Boolean, node_name: Name, span: Span): Blobs_Info
  7. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  8. val empty: Command
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  15. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. val no_blobs: Blobs_Info
  17. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  18. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  19. def rich_text(id: Document_ID.Command, results: Results, body: Body): Command
  20. def span_files(syntax: Outer_Syntax, span: Span): (List[String], Int)
  21. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  22. def text(source: String): Command
  23. def toString(): String
    Definition Classes
    AnyRef → Any
  24. def unparsed(id: Document_ID.Command, source: String, results: Results, markup: Markup_Tree): Command
  25. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  26. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  28. object Markup_Index extends Serializable
  29. object Markups
  30. object Perspective extends Serializable
  31. object Results

    accumulated results from prover *

  32. object State extends Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped