package sql
- Alphabetic
- Public
- All
Type Members
- case class CannotTranslate(tm: Term) extends Throwable with Product with Serializable
- case class CodecMismatch(col: Column, expectedCodec: Term) extends Throwable with Product with Serializable
- abstract class CodecRule extends Rule
- trait CodecRuleCallback extends AnyRef
-
case class
CollectionInfo(index: GlobalName, metadata: MetaData) extends Product with Serializable
- index
column holding the collection index
- metadata
a record object for name, authors, url, other information about the collection; can be JSON
-
case class
Column(path: GlobalName, mathType: Term, codec: Term, dbtype: Type[_], foreignKey: Option[MPath], opaque: Boolean, isDisplayedByDefault: Boolean, collection: Option[CollectionInfo]) extends Product with Serializable
- path
the MMT name of the column
- mathType
the mathematical type of the column
- codec
the codec expression for en/de-coding functions between them
- dbtype
database type
- opaque
no meaningful operations on column except for (in)equality (annotated in schema)
- isDisplayedByDefault
(annotated in schema) whether the column gets displayed in the default view of the result set later we could add: displayName, description
- collection
if the column is an index column of a collection, this parameter holds the collection metadata The primary key is generated separately. The column is anullable if it is not the primaryKey
- case class CommutingProperty(context: Context, inCodecs: List[Term], outCodec: Term, mathOp: GlobalName, mathParams: List[Term], dbOp: FunOrOp) extends Product with Serializable
- case class Filter(condition: Expr) extends Product with Serializable
- class GeneralListAsArrayCodec extends CodecRule
- case class NoCodecFound(t: Term) extends Throwable with Product with Serializable
- class SQLBridge extends Logger
- class SQLCoder extends CodecRuleCallback
-
case class
Table(path: MPath, datasetName: Option[String], schemaGroup: Option[String], columns: Seq[Column], includes: List[MPath]) extends Product with Serializable
- path
the MMT name of the table
- datasetName
table description metadatum
- schemaGroup
metadatum
- columns
sequence of all columns
- includes
list of all includes (in particular, referenced tables)
Value Members
- object Codecs extends TheoryScala
- object DbData extends TheoryScala
- object MathData extends TheoryScala
- object SQLBridge
-
object
SQLSyntax
inductive type for SQL queries
- object SchemaLang extends TheoryScala