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
- Alphabetic
- By Inheritance
- MPath
- Serializable
- Serializable
- Product
- Equals
- QuestionMarkFunctions
- SlashFunctions
- ContentPath
- ComponentParent
- Path
- BaseType
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
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): MPath
go down to a submodule
go down to a submodule
- Definition Classes
- MPath → SlashFunctions
-
def
/(n: LNStep): MPath
- Definition Classes
- SlashFunctions
-
def
/(n: String): MPath
- 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
?(n: LocalName): GlobalName
go down to a symbol
go down to a symbol
- Definition Classes
- MPath → QuestionMarkFunctions
-
def
?(n: LNStep): GlobalName
- Definition Classes
- QuestionMarkFunctions
-
def
?(ns: List[String]): GlobalName
- Definition Classes
- QuestionMarkFunctions
-
def
?(n: String): GlobalName
- Definition Classes
- QuestionMarkFunctions
-
def
^: MPath
go up to containing module
-
def
^!: Path
go up one level
-
def
^^: DPath
go up to containing document
-
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
-
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
-
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
last: String
the last components of the path, human-oriented (i.e., no escaping), useful for short displays
-
def
mainModule: MPath
the largest module containing this one
-
def
module: MPath
the longest MPath prefix
the longest MPath prefix
- Definition Classes
- MPath → ContentPath
-
val
name: LocalName
- Definition Classes
- MPath → 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()
- val parent: DPath
-
def
superModule: Option[MPath]
the super module if this is a nested module
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toDPath: DPath
if name.length == 1 then this.toDPath.toMPath == this
-
def
toGlobalName: GlobalName
if this.name != Nil then this.toGlobalName.toMPath == this
-
def
toMPath: MPath
this.toMPath == this
this.toMPath == this
- Definition Classes
- MPath → 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()