Packages

case class DPath(uri: URI) extends Path with ComponentParent with SlashFunctions[DPath] with QuestionMarkFunctions[MPath] with Product with Serializable

A DPath represents an MMT document level path.

uri

the URI of the document (may not contain query or fragment)

Source
Path.scala
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DPath
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. QuestionMarkFunctions
  7. SlashFunctions
  8. ComponentParent
  9. Path
  10. BaseType
  11. AnyRef
  12. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new DPath(uri: URI)

    uri

    the URI of the document (may not contain query or fragment)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def $(comp: ComponentKey): CPath
    Definition Classes
    ComponentParent
  4. def /(n: LocalName): DPath
    Definition Classes
    DPathSlashFunctions
  5. def /(n: LNStep): DPath
    Definition Classes
    SlashFunctions
  6. def /(n: String): DPath
    Definition Classes
    SlashFunctions
  7. def <=(that: Path): Boolean

    checks whether this is a prefix of that

    checks whether this is a prefix of that

    Definition Classes
    Path
  8. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. def ?(n: LocalName): MPath
    Definition Classes
    DPathQuestionMarkFunctions
  10. def ?(n: LNStep): MPath
    Definition Classes
    QuestionMarkFunctions
  11. def ?(ns: List[String]): MPath
    Definition Classes
    QuestionMarkFunctions
  12. def ?(n: String): MPath
    Definition Classes
    QuestionMarkFunctions
  13. def ^: DPath
  14. def ^!: DPath

    goes one step up, identity if URI-path already empty

    goes one step up, identity if URI-path already empty

    Definition Classes
    DPathPath
  15. def ^^: DPath
  16. def ancestors: List[Path]

    the list of ancestors paths starting with this path

    the list of ancestors paths starting with this path

    Definition Classes
    Path
  17. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  18. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  19. def doc: DPath

    the document part of the path

    the document part of the path

    Definition Classes
    DPathPath
  20. def dropComp: ComponentParent

    remove the component, if any

    remove the component, if any

    Definition Classes
    Path
  21. def dropPrefix(pref: DPath): Option[LocalName]

    if this = pref / l then Some(l)

  22. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. def equals(that: Any): Boolean

    two paths are equal if their URIs are except that the scheme is ignored empty AUTH == absent AUTH AUTH/ == AUTH

    two paths are equal if their URIs are except that the scheme is ignored empty AUTH == absent AUTH AUTH/ == AUTH

    Definition Classes
    DPath → Equals → AnyRef → Any
  24. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  25. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  26. val hashCode: Int

    overridden to ensure equal elements have same hash code

  27. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  28. def last: String

    the last components of the path, human-oriented (i.e., no escaping), useful for short displays

    the last components of the path, human-oriented (i.e., no escaping), useful for short displays

    Definition Classes
    DPathPath
  29. def name: LocalName

    the path of this document, this == ^^ / name

    the path of this document, this == ^^ / name

    Definition Classes
    DPathComponentParent
  30. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  31. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  32. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  33. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  34. def toMPath: MPath

    if this.name != Nil then this.toMPath.toDPath == this

  35. def toPath: String

    as toPath(false)

    as toPath(false)

    Definition Classes
    Path
  36. def toPath(long: Boolean): String

    string representation of a Path

    string representation of a Path

    long

    add trailing ?

    returns

    the path as an MMT URI

    Definition Classes
    Path
  37. def toPathEscaped: String

    as toPath, but escapes XML-illegal characters

    as toPath, but escapes XML-illegal characters

    Definition Classes
    Path
  38. def toPathLong: String

    as toPath(true)

    as toPath(true)

    Definition Classes
    Path
  39. def toString(): String

    currently same as toPath, only toPath guarantees official string representation

    currently same as toPath, only toPath guarantees official string representation

    Definition Classes
    Path → AnyRef → Any
  40. def toTriple: (Option[DPath], Option[LocalName], Option[LocalName])

    breaks an MMT URI reference into its components, all of which are optional

    breaks an MMT URI reference into its components, all of which are optional

    Definition Classes
    Path
  41. val uri: URI
  42. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  43. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  44. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from QuestionMarkFunctions[MPath]

Inherited from SlashFunctions[DPath]

Inherited from ComponentParent

Inherited from Path

Inherited from BaseType

Inherited from AnyRef

Inherited from Any

Ungrouped