Packages

trait Tables extends AnyRef

Slick data model trait for extension, choice of backend or usage in the cake pattern. (Make sure to initialize this late.)

Linear Supertypes
AnyRef, Any
Known Subclasses
Tables
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Tables
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. class Agendaitems extends scala.slick.driver.JdbcProfile.SimpleQL.Table[AgendaitemsRow]

    Table description of table agendaItems.

    Table description of table agendaItems. Objects of this class serve as prototypes for rows in queries.

  2. case class AgendaitemsRow(_Id: Option[Int], proofid: Option[Int], stepid: Option[Int], subgoalid: Option[Int], displayname: Option[String]) extends Product with Serializable

    Entity class storing rows of table Agendaitems

    Entity class storing rows of table Agendaitems

    _Id

    Database column _id DBType(INTEGER), PrimaryKey

    proofid

    Database column proofId DBType(INTEGER)

    stepid

    Database column stepId DBType(INTEGER)

    subgoalid

    Database column subgoalId DBType(INTEGER)

    displayname

    Database column displayName DBType(STRING)

  3. class Config extends scala.slick.driver.JdbcProfile.SimpleQL.Table[ConfigRow]

    Table description of table config.

    Table description of table config. Objects of this class serve as prototypes for rows in queries.

  4. case class ConfigRow(configid: Option[Int], configname: Option[String], key: Option[String], value: Option[String]) extends Product with Serializable

    Entity class storing rows of table Config

    Entity class storing rows of table Config

    configid

    Database column configId DBType(INTEGER), PrimaryKey

    configname

    Database column configName DBType(TEXT)

    key

    Database column key DBType(TEXT)

    value

    Database column value DBType(TEXT)

  5. class Executables extends scala.slick.driver.JdbcProfile.SimpleQL.Table[ExecutablesRow]

    Table description of table executables.

    Table description of table executables. Objects of this class serve as prototypes for rows in queries.

  6. case class ExecutablesRow(_Id: Option[Int], belleexpr: Option[String]) extends Product with Serializable

    Entity class storing rows of table Executables

    Entity class storing rows of table Executables

    _Id

    Database column _id DBType(INTEGER), PrimaryKey

    belleexpr

    Database column belleExpr DBType(TEXT)

  7. class Executionsteps extends scala.slick.driver.JdbcProfile.SimpleQL.Table[ExecutionstepsRow]

    Table description of table executionSteps.

    Table description of table executionSteps. Objects of this class serve as prototypes for rows in queries.

  8. case class ExecutionstepsRow(_Id: Option[Int], proofid: Option[Int], previousstep: Option[Int], branchorder: Int, status: Option[String], executableid: Option[Int], inputprovableid: Option[Int], resultprovableid: Option[Int], localprovableid: Option[Int], userexecuted: Option[String], childrenrecorded: Option[String], rulename: Option[String], numsubgoals: Int, numopensubgoals: Int) extends Product with Serializable

    Entity class storing rows of table Executionsteps

    Entity class storing rows of table Executionsteps

    _Id

    Database column _id DBType(INTEGER), PrimaryKey

    proofid

    Database column proofId DBType(INTEGER)

    previousstep

    Database column previousStep DBType(INTEGER)

    branchorder

    Database column branchOrder DBType(INT)

    status

    Database column status DBType(TEXT)

    executableid

    Database column executableId DBType(INTEGER)

    inputprovableid

    Database column inputProvableId DBType(INTEGER)

    resultprovableid

    Database column resultProvableId DBType(INTEGER)

    localprovableid

    Database column localProvableId DBType(INTEGER)

    userexecuted

    Database column userExecuted DBType(BOOLEAN)

    childrenrecorded

    Database column childrenRecorded DBType(BOOLEAN)

    rulename

    Database column ruleName DBType(STRING)

    numsubgoals

    Database column numSubGoals DBType(INTEGER)

    numopensubgoals

    Database column numOpenSubGoals DBType(INTEGER)

  9. class Lemmas extends scala.slick.driver.JdbcProfile.SimpleQL.Table[LemmasRow]

    Table description of table lemmas.

    Table description of table lemmas. Objects of this class serve as prototypes for rows in queries.

  10. case class LemmasRow(_Id: Option[Int], lemma: Option[String]) extends Product with Serializable

    Entity class storing rows of table Lemmas

    Entity class storing rows of table Lemmas

    _Id

    Database column _id DBType(INTEGER), PrimaryKey

    lemma

    Database column lemma DBType(TEXT)

  11. class Models extends scala.slick.driver.JdbcProfile.SimpleQL.Table[ModelsRow]

    Table description of table models.

    Table description of table models. Objects of this class serve as prototypes for rows in queries.

  12. case class ModelsRow(_Id: Option[Int], userid: Option[String], name: Option[String], date: Option[String], description: Option[String], filecontents: Option[String], publink: Option[String], title: Option[String], tactic: Option[String], istemporary: Option[Int]) extends Product with Serializable

    Entity class storing rows of table Models

    Entity class storing rows of table Models

    _Id

    Database column _id DBType(INTEGER), PrimaryKey

    userid

    Database column userId DBType(TEXT)

    name

    Database column name DBType(TEXT)

    date

    Database column date DBType(TEXT)

    description

    Database column description DBType(TEXT)

    filecontents

    Database column fileContents DBType(TEXT)

    publink

    Database column publink DBType(TEXT)

    title

    Database column title DBType(TEXT)

    tactic

    Database column tactic DBType(TEXT)

    istemporary

    Database column isTemporary DBType(INTEGER)

  13. class Proofs extends scala.slick.driver.JdbcProfile.SimpleQL.Table[ProofsRow]

    Table description of table proofs.

    Table description of table proofs. Objects of this class serve as prototypes for rows in queries.

  14. case class ProofsRow(_Id: Option[Int], modelid: Option[Int], name: Option[String], description: Option[String], date: Option[String], closed: Option[Int], lemmaid: Option[Int], istemporary: Option[Int], tactic: Option[String]) extends Product with Serializable

    Entity class storing rows of table Proofs

    Entity class storing rows of table Proofs

    _Id

    Database column _id DBType(INTEGER), PrimaryKey

    modelid

    Database column modelId DBType(INTEGER)

    name

    Database column name DBType(TEXT)

    description

    Database column description DBType(TEXT)

    date

    Database column date DBType(TEXT)

    closed

    Database column closed DBType(INTEGER)

    lemmaid

    Database column lemmaId DBType(INTEGER)

    istemporary

    Database column isTemporary DBType(INTEGER)

    tactic

    Database column tactic DBType(TEXT)

  15. class Users extends scala.slick.driver.JdbcProfile.SimpleQL.Table[UsersRow]

    Table description of table users.

    Table description of table users. Objects of this class serve as prototypes for rows in queries.

  16. case class UsersRow(email: Option[String], hash: Option[String], salt: Option[String], iterations: Option[Int], level: Option[Int]) extends Product with Serializable

    Entity class storing rows of table Users

    Entity class storing rows of table Users

    email

    Database column email DBType(TEXT), PrimaryKey

    hash

    Database column hash DBType(TEXT)

    salt

    Database column salt DBType(TEXT)

    iterations

    Database column iterations DBType(INTEGER)

    level

    Database column level DBType(INTEGER)

Abstract Value Members

  1. abstract val profile: JdbcProfile

Concrete 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. lazy val Agendaitems: TableQuery[Agendaitems]

    Collection-like TableQuery object for table Agendaitems

  5. lazy val Config: TableQuery[Config]

    Collection-like TableQuery object for table Config

  6. lazy val Executables: TableQuery[Executables]

    Collection-like TableQuery object for table Executables

  7. lazy val Executionsteps: TableQuery[Executionsteps]

    Collection-like TableQuery object for table Executionsteps

  8. implicit def GetResultAgendaitemsRow(implicit e0: GetResult[Option[Int]], e1: GetResult[Option[String]]): GetResult[AgendaitemsRow]

    GetResult implicit for fetching AgendaitemsRow objects using plain SQL queries

  9. implicit def GetResultConfigRow(implicit e0: GetResult[Option[Int]], e1: GetResult[Option[String]]): GetResult[ConfigRow]

    GetResult implicit for fetching ConfigRow objects using plain SQL queries

  10. implicit def GetResultExecutablesRow(implicit e0: GetResult[Option[Int]], e1: GetResult[Option[String]]): GetResult[ExecutablesRow]

    GetResult implicit for fetching ExecutablesRow objects using plain SQL queries

  11. implicit def GetResultExecutionstepsRow(implicit e0: GetResult[Option[Int]], e1: GetResult[Int], e2: GetResult[Option[String]]): GetResult[ExecutionstepsRow]

    GetResult implicit for fetching ExecutionstepsRow objects using plain SQL queries

  12. implicit def GetResultLemmasRow(implicit e0: GetResult[Option[Int]], e1: GetResult[Option[String]]): GetResult[LemmasRow]

    GetResult implicit for fetching LemmasRow objects using plain SQL queries

  13. implicit def GetResultModelsRow(implicit e0: GetResult[Option[Int]], e1: GetResult[Option[String]]): GetResult[ModelsRow]

    GetResult implicit for fetching ModelsRow objects using plain SQL queries

  14. implicit def GetResultProofsRow(implicit e0: GetResult[Option[Int]], e1: GetResult[Option[String]]): GetResult[ProofsRow]

    GetResult implicit for fetching ProofsRow objects using plain SQL queries

  15. implicit def GetResultUsersRow(implicit e0: GetResult[Option[String]], e1: GetResult[Option[Int]]): GetResult[UsersRow]

    GetResult implicit for fetching UsersRow objects using plain SQL queries

  16. lazy val Lemmas: TableQuery[Lemmas]

    Collection-like TableQuery object for table Lemmas

  17. lazy val Models: TableQuery[Models]

    Collection-like TableQuery object for table Models

  18. lazy val Proofs: TableQuery[Proofs]

    Collection-like TableQuery object for table Proofs

  19. lazy val Users: TableQuery[Users]

    Collection-like TableQuery object for table Users

  20. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  21. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  22. lazy val ddl: scala.slick.driver.JdbcProfile.DDL

    DDL for all tables.

    DDL for all tables. Call .create to execute.

  23. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  24. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  25. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  26. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  27. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  28. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  29. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  30. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  31. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  32. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  33. def toString(): String
    Definition Classes
    AnyRef → Any
  34. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  35. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped