Packages

o

isabelle

Isabelle_Cronjob

object Isabelle_Cronjob

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

Type Members

  1. sealed case class Item(known: Boolean, isabelle_version: String, afp_version: Option[String], pull_date: Date) extends Product with Serializable
  2. class Log_Service extends AnyRef
  3. class Logger extends AnyRef
  4. sealed case class Logger_Task(name: String = "", body: (Logger) ⇒ Unit) extends Product with Serializable

    logger tasks *

  5. sealed case class Remote_Build(description: String, host: String, user: String = "", port: Int = 0, ssh_host: String = "", ssh_permissive: Boolean = false, proxy_host: String = "", proxy_user: String = "", proxy_port: Int = 0, self_update: Boolean = false, historic: Boolean = false, history: Int = 0, history_base: String = "build_history_base", options: String = "", args: String = "", afp: Boolean = false, slow: Boolean = false, more_hosts: List[String] = Nil, detect: Source = "", active: Boolean = true) extends Product with Serializable
  6. class Task extends AnyRef

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. val afp_repos: Path
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. val backup: String
  7. val build_history_base: Logger_Task
  8. val build_log_dirs: List[Path]
  9. val build_release: Logger_Task
  10. val build_status_profiles: List[Profile]
  11. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  12. def cronjob(progress: Progress, exclude_task: Set[String]): Unit

    cronjob *

  13. val cumulative_log: Path
  14. val current_log: Path
  15. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  17. val exit: Logger_Task
  18. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  19. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  20. def get_afp_rev(): String
  21. def get_rev(): String
  22. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  23. val init: Logger_Task
  24. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  25. val isabelle_repos: Path
  26. val isabelle_repos_source: String
  27. def main(args: Array[String]): Unit

    command line entry point *

  28. val main_dir: Path
  29. val main_state_file: Path
  30. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  31. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  32. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  33. def recent_items(db: Database, days: Int, rev: String, afp_rev: Option[String], sql: Source): List[Item]
  34. def remote_build_history(rev: String, afp_rev: Option[String], i: Int, r: Remote_Build): Logger_Task
  35. val remote_builds1: List[List[Remote_Build]]
  36. val remote_builds2: List[List[Remote_Build]]
  37. val remote_builds_old: List[Remote_Build]
  38. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  39. def toString(): String
    Definition Classes
    AnyRef → Any
  40. def unknown_runs(items: List[Item]): List[List[Item]]
  41. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  42. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  43. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  44. object Log_Service

    task logging *

Inherited from AnyRef

Inherited from Any

Ungrouped