Packages

sealed abstract class Path extends BaseType

A Path represents an MMT path.

An MMT path refers to a document (doc), a module (doc?mod), or a symbol (M % sym). Use the objects ?, %, /, \, and ! for pattern matching paths.

Source
Path.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Path
  2. BaseType
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def ^!: Path

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

  2. abstract def doc: DPath

    the document part of the path

  3. abstract def last: String

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

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def <=(that: Path): Boolean

    checks whether this is a prefix of that

  4. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  5. def ancestors: List[Path]

    the list of ancestors paths starting with this path

  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  8. def dropComp: ComponentParent

    remove the component, if any

  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[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. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  17. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  18. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  19. def toPath: String

    as toPath(false)

  20. 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

  21. def toPathEscaped: String

    as toPath, but escapes XML-illegal characters

  22. def toPathLong: String

    as toPath(true)

  23. 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
  24. def toTriple: (Option[DPath], Option[LocalName], Option[LocalName])

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

  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
    @throws( ... ) @native()

Inherited from BaseType

Inherited from AnyRef

Inherited from Any

Ungrouped