Object/Class

isabelle.Document

Node

Related Docs: class Node | package Document

Permalink

object Node

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

Type Members

  1. case class Blob[A, B](blob: Document.Blob) extends Edit[A, B] with Product with Serializable

    Permalink

  2. case class Clear[A, B]() extends Edit[A, B] with Product with Serializable

    Permalink

  3. final class Commands extends AnyRef

    Permalink

  4. case class Deps[A, B](header: Header) extends Edit[A, B] with Product with Serializable

    Permalink

  5. sealed abstract class Edit[A, B] extends AnyRef

    Permalink

  6. case class Edits[A, B](edits: List[A]) extends Edit[A, B] with Product with Serializable

    Permalink

  7. sealed case class Header(imports: List[(Name, T)], keywords: Keywords, errors: List[String]) extends Product with Serializable

    Permalink

  8. sealed case class Name(node: String, master_dir: String = "", theory: String = "") extends Product with Serializable

    Permalink

  9. final class Overlays extends AnyRef

    Permalink

  10. case class Perspective[A, B](required: Boolean, visible: B, overlays: Overlays) extends Edit[A, B] with Product with Serializable

    Permalink

  11. type Perspective_Command = Perspective[Command.Edit, Command.Perspective]

    Permalink

  12. type Perspective_Text = Perspective[Text.Edit, Text.Perspective]

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. object Commands

    Permalink

  5. object Name extends Serializable

    Permalink

  6. object Overlays

    Permalink

  7. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  8. def bad_header(msg: String): Header

    Permalink

  9. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  10. val empty: Node

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  12. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  13. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

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

    Permalink
    Definition Classes
    AnyRef → Any

  15. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  16. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  17. def is_no_perspective_command(perspective: Perspective_Command): Boolean

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  19. val no_header: Header

    Permalink

  20. val no_perspective_command: Perspective_Command

    Permalink

  21. val no_perspective_text: Perspective_Text

    Permalink

  22. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  23. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    AnyRef

  25. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  26. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped