class LMFDBSystem extends VRESystem with LMFDBBackend with LMFDBQueryIterators with LMFDBQueryParser
- Source
- Lmfdb.scala
- Alphabetic
- By Inheritance
- LMFDBSystem
- LMFDBQueryParser
- LMFDBQueryIterators
- LMFDBBackend
- VRESystem
- QueryExtension
- Extension
- Logger
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new LMFDBSystem()
Type Members
-
case class
LocalError(s: String) extends ExtensionError with Product with Serializable
a custom error class for this extension
a custom error class for this extension
- Definition Classes
- Extension
-
type
LQI = QueryIterator[List[(JSONObject, DB)], String]
- Definition Classes
- LMFDBQueryIterators
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
apply(trace: MitMComputationTrace, t: Term): Term
like call
like call
- Definition Classes
- VRESystem
-
def
apply(t: Term): Term
builds the term that computes t via this system; if a trace is provided, the system is called right away
builds the term that computes t via this system; if a trace is provided, the system is called right away
- Definition Classes
- VRESystem
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
call(t: Term)(implicit trace: MitMComputationTrace): Term
calls the system using a given term
calls the system using a given term
- Definition Classes
- LMFDBSystem → VRESystem
-
def
catchErrors[A](msg: String, recoverWith: ⇒ A)(code: ⇒ A): A
like its partner but with return value
like its partner but with return value
- Attributes
- protected
- Definition Classes
- Extension
-
def
catchErrors(msg: String)(code: ⇒ Unit): Unit
convenience method for wrapping code in error handler that throws LocalError
convenience method for wrapping code in error handler that throws LocalError
- Attributes
- protected
- Definition Classes
- Extension
-
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
-
val
controller: Controller
the controller that this extension is added to; only valid after creation of the extension, i.e., will return null if used in a non-lazy val-field
the controller that this extension is added to; only valid after creation of the extension, i.e., will return null if used in a non-lazy val-field
- Attributes
- protected
- Definition Classes
- Extension
-
def
debug(s: String): Unit
- Definition Classes
- LMFDBSystem → LMFDBBackend
-
lazy val
defaultPrefix: String
- Definition Classes
- Extension
-
def
destroy: Unit
extension-specific cleanup (override as needed, empty by default)
extension-specific cleanup (override as needed, empty by default)
Extensions may create persistent data structures and threads, but they must clean up after themselves in this method
- Definition Classes
- Extension
-
def
destroyWhenRemainingTasksFinished: Unit
convenience for calling waitUntilRemainingTasksFinished and then destroy
convenience for calling waitUntilRemainingTasksFinished and then destroy
- Definition Classes
- Extension
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
error(msg: String): Nothing
- Attributes
- protected
-
def
evaluate(q: Query, e: QueryEvaluator)(implicit substiution: QuerySubstitution): HashSet[List[BaseType]]
Evaluates a Query using the lmfdb api
Evaluates a Query using the lmfdb api
- q
Query to evaluate
- e
A QueryEvaluator to use for recursive queries
- substiution
Substiution (Context) to apply QueryEvaluation in
- Definition Classes
- LMFDBSystem → VRESystem → QueryExtension
-
lazy val
extman: ExtensionManager
- Attributes
- protected
- Definition Classes
- QueryExtension
-
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
getFromFirstArgOrEnvvar(args: List[String], name: String, default: String = ""): String
- Attributes
- protected
- Definition Classes
- Extension
-
def
getKey(schema: Theory): String
- Attributes
- protected
- Definition Classes
- LMFDBBackend
-
def
getTP(db: DB)(implicit controller: Controller): DBTheory
- Definition Classes
- LMFDBBackend
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
val
id: String
- Definition Classes
- VRESystem
-
def
initOther(e: Extension): Unit
any extension can initialize other extensions if those are not meant to be added to the ExtensionManager
any extension can initialize other extensions if those are not meant to be added to the ExtensionManager
- Attributes
- protected
- Definition Classes
- Extension
-
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
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
the prefix used to identify this extension for logging, by default the class name
-
def
logTemp(s: ⇒ String): Unit
temporary logging - always logged
temporary logging - always logged
- Attributes
- protected
- Definition Classes
- Logger
-
lazy val
lup: LookupWithNotFoundHandler
- Attributes
- protected
- Definition Classes
- QueryExtension
-
def
makeErrorThrower(msg: String): ErrorHandler
an ErrorHandler that wraps an error in a LocalError and throws it
an ErrorHandler that wraps an error in a LocalError and throws it
- Attributes
- protected
- Definition Classes
- Extension
-
def
makeQueryIterator(queries: List[(JSONObject, DB)]): LQI
- Definition Classes
- LMFDBQueryIterators
-
val
name: String
- Definition Classes
- QueryExtension
- val namespace: DPath
-
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()
- val report: Report
-
def
start(args: List[String]): Unit
extension-specific initialization (override as needed, empty by default)
extension-specific initialization (override as needed, empty by default)
- Definition Classes
- Extension
-
val
sym: GlobalName
- Definition Classes
- VRESystem
-
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
-
def
translateQuery(q: Query, e: QueryEvaluator)(implicit substiution: QuerySubstitution): (DB, Option[Int], Option[Int], List[(DB, String, JSON)])
attempts to translate a query to an lmfdb query.
attempts to translate a query to an lmfdb query.
This function does a partial evaluation, in the sense that every Related(..., ToObject(Declares)) query is evaluated.
May throw an ImplementationError if the query can not be evaluated using lmfdb.
- Attributes
- protected
- Definition Classes
- LMFDBQueryParser
-
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()
-
def
waitUntilRemainingTasksFinished: Unit
extensions that process tasks in separate threads should override this and wait until those threads are done
extensions that process tasks in separate threads should override this and wait until those threads are done
- Definition Classes
- Extension
-
def
warmup(): Unit
loads up the cache used by this VRESystem
loads up the cache used by this VRESystem
- Definition Classes
- LMFDBSystem → VRESystem