abstract class LMFDBStore extends Storage with LMFDBBackend
- Source
- Lmfdb.scala
- Alphabetic
- By Inheritance
- LMFDBStore
- LMFDBBackend
- Storage
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new LMFDBStore()
Abstract Value Members
-
abstract
def
debug(s: String): Unit
- Definition Classes
- LMFDBBackend
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
collectImplementMetaData(schema: Theory, forSymbol: GlobalName)(implicit controller: Controller): List[Declaration]
- Attributes
- protected
- Definition Classes
- LMFDBBackend
-
def
destroy: Unit
called to release all held resources, override as needed
called to release all held resources, override as needed
- Definition Classes
- Storage
-
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
findExtensions(db: DB)(implicit controller: Controller): List[DB]
find the extensions of db in reverse order, that is the smallest non-extending theory first
find the extensions of db in reverse order, that is the smallest non-extending theory first
- Attributes
- protected
- Definition Classes
- LMFDBBackend
-
def
findImplementor(schema: Theory, forSymbol: GlobalName, err: (String) ⇒ Unit)(implicit controller: Controller): (DB, GlobalName)
finds an implementor
finds an implementor
- Attributes
- protected
- Definition Classes
- LMFDBBackend
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
getKey(schema: Theory): String
- Attributes
- protected
- Definition Classes
- LMFDBBackend
-
def
getSuffix(base: URI, uri: URI): List[String]
- Attributes
- protected
- Definition Classes
- Storage
-
def
getTP(db: DB)(implicit controller: Controller): DBTheory
- Definition Classes
- LMFDBBackend
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
lmfdbquery(db: DB, query: String, limit: Option[Int]): List[JSON]
runs a simple lmfdb query
runs a simple lmfdb query
- Attributes
- protected
- Definition Classes
- LMFDBBackend
-
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
- Definition Classes
- LMFDBStore → Storage
-
def
loadFragment(needed: Path, known: 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
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
- Definition Classes
- LMFDBStore → Storage
-
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
- Definition Classes
- Storage
-
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
toOML(json: JSONObject, db: DB, fields: List[DBField])(implicit controller: Controller): List[OML]
- Attributes
- protected
- Definition Classes
- LMFDBBackend
-
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()