Packages

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

Source
Syntax.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Column
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Column(path: GlobalName, mathType: Term, codec: Term, dbtype: Type[_], foreignKey: Option[MPath], opaque: Boolean, isDisplayedByDefault: Boolean, collection: Option[CollectionInfo])

    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

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  6. val codec: Term
  7. val collection: Option[CollectionInfo]
  8. val dbtype: Type[_]
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. val foreignKey: Option[MPath]
  12. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. val isDisplayedByDefault: Boolean
  14. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  15. val mathType: Term
  16. def name: String

    the db name of the column

  17. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  18. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  19. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  20. val opaque: Boolean
  21. val path: GlobalName
  22. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  23. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  24. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  25. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped