object Isabelle_Cronjob
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Isabelle_Cronjob
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- sealed case class Item(known: Boolean, isabelle_version: String, pull_date: Date) extends Product with Serializable
- class Log_Service extends AnyRef
- class Logger extends AnyRef
-
sealed
case class
Logger_Task(name: String = "", body: (Logger) ⇒ Unit) extends Product with Serializable
task logging *
- 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
- class Task extends AnyRef
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val afp_repos: Path
- val afp_source: String
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- val build_status_profiles: List[Profile]
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
def
cronjob(progress: Progress, exclude_task: Set[String]): Unit
cronjob *
- val cumulative_log: Path
- val current_log: Path
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- val isabelle_repos: Path
- val isabelle_repos_test: Path
- val jenkins_jobs: List[String]
-
def
main(args: Array[String]): Unit
command line entry point *
- val main_dir: Path
- val main_state_file: Path
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- 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
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
- def unknown_runs(items: List[Item]): List[List[Item]]
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )