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
- Alphabetic
- By Inheritance
- Path
- BaseType
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Abstract Value Members
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
def
<=(that: Path): Boolean
checks whether this is a prefix of that
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
ancestors: List[Path]
the list of ancestors paths starting with this path
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
dropComp: ComponentParent
remove the component, if any
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
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()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
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
toPath: String
as toPath(false)
-
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
-
def
toPathEscaped: String
as toPath, but escapes XML-illegal characters
-
def
toPathLong: String
as toPath(true)
-
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
-
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()