object
Isabelle_Cronjob
Type Members
-
sealed
case class
Item(known: Boolean, isabelle_version: String, pull_date: Date) extends Product with Serializable
-
-
-
-
sealed
case class
Remote_Build(description: String, host: String, user: String = "", port: Int = 0, shared_home: Boolean = true, historic: Boolean = false, history: Int = 0, history_base: String = "build_history_base", options: String = "", args: String = "", detect: Source = "") extends Product with Serializable
-
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
val
afp_repos: Path
-
val
afp_source: String
-
final
def
asInstanceOf[T0]: T0
-
val
build_status_profiles: List[Profile]
-
def
clone(): AnyRef
-
def
cronjob(progress: Progress, exclude_task: Set[String]): Unit
-
val
cumulative_log: Path
-
val
current_log: Path
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
val
isabelle_repos: Path
-
val
isabelle_repos_test: Path
-
-
def
main(args: Array[String]): Unit
-
val
main_dir: Path
-
val
main_state_file: Path
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
recent_items(db: Database, days: Int, rev: String, sql: Source): List[Item]
-
val
remote_builds: List[List[Remote_Build]]
-
val
remote_builds_old: List[Remote_Build]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
def
unknown_runs(items: List[Item]): List[List[Item]]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit