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
- Alphabetic
- By Inheritance
- GlobalName
- Serializable
- Serializable
- Product
- Equals
- SlashFunctions
- ContentPath
- ComponentParent
- Path
- BaseType
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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): GlobalName
- Definition Classes
- GlobalName → SlashFunctions
-
def
/(n: LNStep): GlobalName
- Definition Classes
- SlashFunctions
-
def
/(n: String): GlobalName
- 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
^!: Path
goes one step up, identity if URI-path already empty
goes one step up, identity if URI-path already empty
- Definition Classes
- GlobalName → Path
-
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
- def apply(subs: Substitution, con: Context, args: List[Term]): Term
- def apply(con: Context, args: List[Term]): Term
- def apply(args: Term*): Term
- def apply(args: List[Term]): Term
-
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
the document part of the path
- Definition Classes
- GlobalName → Path
-
def
dropComp: ComponentParent
remove the component, if any
remove the component, if any
- Definition Classes
- Path
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
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()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
isSimple: Boolean
true iff each include step is simple
-
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
- GlobalName → Path
-
val
module: MPath
the longest MPath prefix
the longest MPath prefix
- Definition Classes
- GlobalName → ContentPath
-
val
name: LocalName
- Definition Classes
- GlobalName → ContentPath → 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
toLocalName: LocalName
turns module into ComplexStep
-
def
toMPath: MPath
if name.length == 1 then this.toMPath.toGlobalName == this
if name.length == 1 then this.toMPath.toGlobalName == this
- Definition Classes
- GlobalName → ContentPath
-
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
-
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()