Packages

t

info.kwarc.mmt.api

ContentPath

sealed trait ContentPath extends Path with ComponentParent

A path to a module or symbol

Source
Path.scala
Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ContentPath
  2. ComponentParent
  3. Path
  4. BaseType
  5. AnyRef
  6. 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

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

    Definition Classes
    Path
  2. abstract def doc: DPath

    the document part of the path

    the document part of the path

    Definition Classes
    Path
  3. abstract 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
    Path
  4. abstract def module: MPath

    the longest MPath prefix

  5. abstract def name: LocalName
    Definition Classes
    ContentPathComponentParent
  6. abstract def toMPath: MPath

    for GlobalName's referring to a theory-like Declaration, this yields the URI of the corresponding Module

Concrete 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 <=(that: Path): Boolean

    checks whether this is a prefix of that

    checks whether this is a prefix of that

    Definition Classes
    Path
  5. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  6. 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
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  9. def dropComp: ComponentParent

    remove the component, if any

    remove the component, if any

    Definition Classes
    Path
  10. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  11. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  12. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  15. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  16. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  17. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  18. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  19. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  20. def toPath: String

    as toPath(false)

    as toPath(false)

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

    as toPath, but escapes XML-illegal characters

    as toPath, but escapes XML-illegal characters

    Definition Classes
    Path
  23. def toPathLong: String

    as toPath(true)

    as toPath(true)

    Definition Classes
    Path
  24. 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
  25. 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
  26. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  28. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from ComponentParent

Inherited from Path

Inherited from BaseType

Inherited from AnyRef

Inherited from Any

Ungrouped