class Backend extends Logger
the backend of a Controller
holds a list of Storages and uses them to dereference MMT URIs,
- Source
- Backend.scala
- Alphabetic
- By Inheritance
- Backend
- Logger
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new Backend(extman: ExtensionManager, report: Report)
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
addStore(s: Storage*): Unit
adds a storage
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
cleanup: Unit
releases all resources held by storages
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
closeAllArchives: Unit
unregisters all archives
-
def
closeArchive(id: String): Unit
unregisters an Archive with a given id
-
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] )
-
def
findOwningArchive(p: MPath): Option[Archive]
find the archive of a module path
find the archive of a module path
- p
a module URI
- returns
an archive defining it (the corresponding file exists in content dimension)
-
def
getArchive(root: File): Option[Archive]
retrieve an Archive by its root folder
-
def
getArchive(id: String): Option[Archive]
retrieve an Archive by its id
-
def
getArchives: List[Archive]
retrieves all Archives
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
getStores: List[Storage]
retrieves all Stores
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
load(nf: NotFound)(implicit controller: Controller): Unit
looks up a path in the first Storage that is applicable and sends the content to the reader
looks up a path in the first Storage that is applicable and sends the content to the reader
the registered storages are searched in the order of registration
throws NotApplicable if the resource is not known/available, BackendError if it is but something goes wrong
-
def
loadClass(cls: String): Option[Class[_]]
like load but tries to load a Java class
-
def
loadObjectO(p: MPath): Option[SemanticObject]
like load but tries to load a Rule (no side-effects)
-
def
log(e: Error): Unit
logs an error - always logged
logs an error - always logged
- Attributes
- protected
- Definition Classes
- Logger
-
def
log(s: ⇒ String, subgroup: Option[String] = None): Unit
logs a message with this logger's logprefix
logs a message with this logger's logprefix
- Attributes
- protected
- Definition Classes
- Logger
-
def
logError(s: ⇒ String): Unit
log as an error message
log as an error message
- Attributes
- protected
- Definition Classes
- Logger
-
def
logGroup[A](a: ⇒ A): A
wraps around a group to create nested logging
wraps around a group to create nested logging
- Attributes
- protected
- Definition Classes
- Logger
- val logPrefix: String
-
def
logTemp(s: ⇒ String): Unit
temporary logging - always logged
temporary logging - always logged
- Attributes
- protected
- Definition Classes
- Logger
-
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()
-
def
openArchive(root: File): List[Archive]
opens archives: an archive folder, or a mar file, or any other folder recursively
opens archives: an archive folder, or a mar file, or any other folder recursively
- root
the file/folder containing the archive(s)
- returns
the opened archives
- Exceptions thrown
NotApplicable
if the root is neither a folder nor a mar file
-
def
openRealizationArchive(file: File): Unit
creates and registers a RealizationArchive
-
def
removeStore(s: Storage): Unit
removes a Storage (if present)
- val report: Report
-
def
resolveAnyPhysical(f: File): Option[(File, FilePath)]
like resolvePhysical but irrespective of loaded archives
like resolvePhysical but irrespective of loaded archives
- returns
archive root and relative path in archive
-
def
resolveAnyPhysicalAndLoad(f: File): Option[(Archive, List[String])]
like resolveAnyPhysical but automatically loads and returns the archive
-
def
resolveLogical(uri: URI): Option[(Archive, List[String])]
splits a logical document URI into the Archive holding it and the relative path in that archive leading to it
-
def
resolvePhysical(file: File): Option[(Archive, List[String])]
splits a physical document URI into the Archive holding it and the relative path in that archive leading to it
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
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()