Packages

c

info.kwarc.mmt.api

GlobalName

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

A GlobalName represents the MMT URI of a symbol-level declaration. This includes induced declarations.

Source
Path.scala
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. GlobalName
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. SlashFunctions
  7. ContentPath
  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 GlobalName(module: MPath, name: LocalName)

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): GlobalName
    Definition Classes
    GlobalNameSlashFunctions
  5. def /(n: LNStep): GlobalName
    Definition Classes
    SlashFunctions
  6. def /(n: String): GlobalName
    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 ^!: Path

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

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

    Definition Classes
    GlobalNamePath
  10. 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
  11. def apply(subs: Substitution, con: Context, args: List[Term]): Term
  12. def apply(con: Context, args: List[Term]): Term
  13. def apply(args: Term*): Term
  14. def apply(args: List[Term]): Term
  15. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  16. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  17. def doc: DPath

    the document part of the path

    the document part of the path

    Definition Classes
    GlobalNamePath
  18. def dropComp: ComponentParent

    remove the component, if any

    remove the component, if any

    Definition Classes
    Path
  19. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  21. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  22. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  23. def isSimple: Boolean

    true iff each include step is simple

  24. 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
    GlobalNamePath
  25. val module: MPath

    the longest MPath prefix

    the longest MPath prefix

    Definition Classes
    GlobalNameContentPath
  26. val name: LocalName
    Definition Classes
    GlobalNameContentPathComponentParent
  27. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  29. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  30. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  31. def toLocalName: LocalName

    turns module into ComplexStep

  32. def toMPath: MPath

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

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

    Definition Classes
    GlobalNameContentPath
  33. def toPath: String

    as toPath(false)

    as toPath(false)

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

    as toPath, but escapes XML-illegal characters

    as toPath, but escapes XML-illegal characters

    Definition Classes
    Path
  36. def toPathLong: String

    as toPath(true)

    as toPath(true)

    Definition Classes
    Path
  37. 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
  38. 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
  39. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  41. 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[GlobalName]

Inherited from ContentPath

Inherited from ComponentParent

Inherited from Path

Inherited from BaseType

Inherited from AnyRef

Inherited from Any

Ungrouped