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
- Alphabetic
- By Inheritance
- DPath
- Serializable
- Serializable
- Product
- Equals
- QuestionMarkFunctions
- SlashFunctions
- ComponentParent
- Path
- BaseType
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
def
$(comp: ComponentKey): CPath
- Definition Classes
- ComponentParent
-
def
/(n: LocalName): DPath
- Definition Classes
- DPath → SlashFunctions
-
def
/(n: LNStep): DPath
- Definition Classes
- SlashFunctions
-
def
/(n: String): DPath
- Definition Classes
- SlashFunctions
-
def
<=(that: Path): Boolean
checks whether this is a prefix of that
checks whether this is a prefix of that
- Definition Classes
- Path
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
?(n: LocalName): MPath
- Definition Classes
- DPath → QuestionMarkFunctions
-
def
?(n: LNStep): MPath
- Definition Classes
- QuestionMarkFunctions
-
def
?(ns: List[String]): MPath
- Definition Classes
- QuestionMarkFunctions
-
def
?(n: String): MPath
- Definition Classes
- QuestionMarkFunctions
- def ^: DPath
-
def
^!: DPath
goes one step up, identity if URI-path already empty
- def ^^: DPath
-
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
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
doc: DPath
the document part of the path
-
def
dropComp: ComponentParent
remove the component, if any
remove the component, if any
- Definition Classes
- Path
-
def
dropPrefix(pref: DPath): Option[LocalName]
if this = pref / l then Some(l)
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
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
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
val
hashCode: Int
overridden to ensure equal elements have same hash code
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
last: String
the last components of the path, human-oriented (i.e., no escaping), useful for short displays
-
def
name: LocalName
the path of this document, this == ^^ / name
the path of this document, this == ^^ / name
- Definition Classes
- DPath → ComponentParent
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toMPath: MPath
if this.name != Nil then this.toMPath.toDPath == this
-
def
toPath: String
as toPath(false)
as toPath(false)
- Definition Classes
- Path
-
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
-
def
toPathEscaped: String
as toPath, but escapes XML-illegal characters
as toPath, but escapes XML-illegal characters
- Definition Classes
- Path
-
def
toPathLong: String
as toPath(true)
as toPath(true)
- Definition Classes
- Path
-
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
-
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
- val uri: URI
-
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( ... ) @native()