object Archive
- Source
- Archive.scala
- Alphabetic
- By Inheritance
- Archive
- 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
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
ContentPathToDPath(segs: FilePath): DPath
scheme..authority / seg / ments ----> scheme :// authority / seg / ments file extensions are kept, to be used on folders only
-
def
ContentPathToMMTPath(segs: FilePath): MPath
scheme..authority / seg / ments / name.omdoc[.xz] ----> scheme :// authority / seg / ments ? name
-
def
MMTPathToContentPath(m: MPath): FilePath
Get the disk path of the module in the content folder
Get the disk path of the module in the content folder
- m
the MPath of the module
- returns
the File descriptor of the destination file in the content folder
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
extensionIs(e: String): (String) ⇒ Boolean
returns a functions that filters by file name extension
-
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
-
def
narrationSegmentsAsFile(segs: FilePath, extension: String): FilePath
Makes sure that a path refers to a file, not to a folder, using .extension files to store information about folders
Makes sure that a path refers to a file, not to a folder, using .extension files to store information about folders
- segs
a path in a folder with narration structure
- extension
a file extension
- returns
segs with an appended segment ".extension" if there is no such segment yet
-
def
narrationSegmentsAsFolder(segs: FilePath, extension: String): FilePath
Inverse of narrationSegmentsAsFile
Inverse of narrationSegmentsAsFile
This is inverse to narrationSegmentsAsFile if all files and no folders in the respective dimension end in ".extension"
- segs
a path in a folder with narration structure that ends in ".extension"
- extension
a file extension
- returns
segs with a final segment ".extension" removed if there is one
-
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
toString(): String
- Definition Classes
- AnyRef → Any
-
def
traverseIf(e: String): TraverseMode
returns a trivial TraverseMode
-
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()