Packages

case class MPath(parent: DPath, name: LocalName) extends Path with ContentPath with SlashFunctions[MPath] with QuestionMarkFunctions[GlobalName] with Product with Serializable

An MPath represents an MMT module level path.

parent

the path of the parent document

name

the name of the module

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

Instance Constructors

  1. new MPath(parent: DPath, name: LocalName)

    parent

    the path of the parent document

    name

    the name of the module

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): MPath

    go down to a submodule

    go down to a submodule

    Definition Classes
    MPathSlashFunctions
  5. def /(n: LNStep): MPath
    Definition Classes
    SlashFunctions
  6. def /(n: String): MPath
    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): GlobalName

    go down to a symbol

    go down to a symbol

    Definition Classes
    MPathQuestionMarkFunctions
  10. def ?(n: LNStep): GlobalName
    Definition Classes
    QuestionMarkFunctions
  11. def ?(ns: List[String]): GlobalName
    Definition Classes
    QuestionMarkFunctions
  12. def ?(n: String): GlobalName
    Definition Classes
    QuestionMarkFunctions
  13. def ^: MPath

    go up to containing module

  14. def ^!: Path

    go up one level

    go up one level

    Definition Classes
    MPathPath
  15. def ^^: DPath

    go up to containing document

  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
    MPathPath
  20. def dropComp: ComponentParent

    remove the component, if any

    remove the component, if any

    Definition Classes
    Path
  21. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  23. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  24. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  25. 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
    MPathPath
  26. def mainModule: MPath

    the largest module containing this one

  27. def module: MPath

    the longest MPath prefix

    the longest MPath prefix

    Definition Classes
    MPathContentPath
  28. val name: LocalName
    Definition Classes
    MPathContentPathComponentParent
  29. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  30. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  31. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  32. val parent: DPath
  33. def superModule: Option[MPath]

    the super module if this is a nested module

  34. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  35. def toDPath: DPath

    if name.length == 1 then this.toDPath.toMPath == this

  36. def toGlobalName: GlobalName

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

  37. def toMPath: MPath

    this.toMPath == this

    this.toMPath == this

    Definition Classes
    MPathContentPath
  38. def toPath: String

    as toPath(false)

    as toPath(false)

    Definition Classes
    Path
  39. 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
  40. def toPathEscaped: String

    as toPath, but escapes XML-illegal characters

    as toPath, but escapes XML-illegal characters

    Definition Classes
    Path
  41. def toPathLong: String

    as toPath(true)

    as toPath(true)

    Definition Classes
    Path
  42. 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
  43. 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
  44. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  45. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  46. 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 SlashFunctions[MPath]

Inherited from ContentPath

Inherited from ComponentParent

Inherited from Path

Inherited from BaseType

Inherited from AnyRef

Inherited from Any

Ungrouped