abstract
class
CI_Profile extends Body
Instance Constructors
-
new
CI_Profile()
Abstract Value Members
-
abstract
def
include: List[Path]
-
abstract
def
jobs: Int
-
abstract
def
post_hook(results: Results): Unit
-
abstract
def
pre_hook(args: List[String]): Unit
-
abstract
def
select: List[Path]
-
abstract
def
select_sessions(tree: Tree): (List[String], Tree)
-
abstract
def
threads: Int
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
def
andThen[A](g: (Unit) ⇒ A): (List[String]) ⇒ A
-
final
def
apply(args: List[String]): Unit
-
final
def
asInstanceOf[T0]: T0
-
-
def
clone(): AnyRef
-
def
compose[A](g: (A) ⇒ List[String]): (A) ⇒ Unit
-
def
documents: Boolean
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
hg_id(path: Path): String
-
final
def
isInstanceOf[T0]: Boolean
-
final
val
isabelle_home: Path
-
final
val
isabelle_id: String
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
print_section(title: String): Unit
-
final
val
start_time: String
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from (List[String]) ⇒ Unit