abstract class Storage extends AnyRef
An abstraction over physical storage units that hold MMT content
- Source
- Storage.scala
- Alphabetic
- By Inheritance
- Storage
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new Storage()
Abstract Value Members
-
abstract
def
load(path: Path)(implicit controller: Controller): Unit
dereferences a path and adds the content to the controller or throws NotApplicable e.g., by sending an XML document to the XML reader
dereferences a path and adds the content to the controller or throws NotApplicable e.g., by sending an XML document to the XML reader
a storage may add more/additional content than necessary, e.g., the containing file/theory or a dependency closure
Concrete 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
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
destroy: Unit
called to release all held resources, override as needed
-
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
getSuffix(base: URI, uri: URI): List[String]
- Attributes
- protected
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
loadFragment(neededPath: Path, existingPath: Path)(implicit controller: Controller): Unit
dereferences a path to a fragment of an already loaded StructuralElement and adds only that fragment empty by default, storages that can retrieve individual fragments should override this
-
def
loadXML(u: URI, dpath: DPath, reader: BufferedReader)(implicit controller: Controller): Unit
implementing classes should call this to load an OMDoc XML stream (which this method will close afterwards)
implementing classes should call this to load an OMDoc XML stream (which this method will close afterwards)
- Attributes
- protected
-
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
-
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()