class
Store extends AnyRef
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
domain(db: Database, table: Table, column: Column): Set[String]
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
open_database(user: String = ..., password: String = ..., database: String = ..., host: String = ..., port: Int = ..., ssh_host: String = ..., ssh_user: String = ..., ssh_port: Int = options.int("build_log_ssh_port")): Database
-
def
read_build_info(db: Database, log_name: String, session_names: List[String] = Nil, ml_statistics: Boolean = false): Build_Info
-
-
def
snapshot_database(db: Database, sqlite_database: Path, days: Int = 100, ml_statistics: Boolean = false): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
def
update_database(db: Database, dirs: List[Path], ml_statistics: Boolean = false): Unit
-
def
update_meta_info(db: Database, log_name: String, meta_info: Meta_Info): Unit
-
def
update_ml_statistics(db: Database, log_name: String, build_info: Build_Info): Unit
-
def
update_sessions(db: Database, log_name: String, build_info: Build_Info): Unit
-
def
update_theories(db: Database, log_name: String, build_info: Build_Info): Unit
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
write_info(db: Database, files: List[File], ml_statistics: Boolean = false): Unit
-
-
