Build

Type Members

sealed case class Chapter(name: String) extends Entry with Product with Serializable
class Console_Progress extends Progress
sealed case class Deps(deps: Map[String, Session_Content]) extends Product with Serializable
abstract class Entry extends AnyRef

session information *
class Handler extends Protocol_Handler
sealed case class Log_Info(name: String, stats: List[T], tasks: List[T], command_timings: List[T], session_timing: T) extends Product with Serializable
class Progress extends AnyRef

progress context *
final class Queue extends AnyRef
sealed case class Session_Content(loaded_theories: Set[String], known_theories: Map[String, Name], keywords: Keywords, syntax: Outer_Syntax, sources: List[(Path, Digest)], session_graph: Graph_Display.Graph) extends Product with Serializable
sealed case class Session_Entry(pos: T, name: String, groups: List[String], path: String, parent: Option[String], description: String, options: List[Spec], theories: List[(Boolean, List[Spec], List[String])], files: List[String], document_files: List[(String, String)]) extends Entry with Product with Serializable
sealed case class Session_Info(chapter: String, select: Boolean, pos: T, groups: List[String], dir: Path, parent: Option[String], description: String, options: Options, theories: List[(Boolean, Options, List[Path])], files: List[Path], document_files: List[(Path, Path)], entry_digest: Digest) extends Product with Serializable
final class Session_Tree extends PartialFunction[String, Session_Info]

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
object Ignore_Progress extends Progress
object Parser extends Parser
object Props
object Queue

build *
object Session_Tree
final def asInstanceOf[T0]: T0

Definition Classes
Any
def build(options: Options, progress: Progress = Ignore_Progress, requirements: Boolean = false, all_sessions: Boolean = false, build_heap: Boolean = false, clean_build: Boolean = false, dirs: List[Path] = Nil, select_dirs: List[Path] = Nil, exclude_session_groups: List[String] = Nil, session_groups: List[String] = Nil, max_jobs: Int = 1, list_files: Boolean = false, check_keywords: Set[String] = Set.empty, no_build: Boolean = false, system_mode: Boolean = false, verbose: Boolean = false, exclude_sessions: List[String] = Nil, sessions: List[String] = Nil): Int
def build_results(options: Options, progress: Progress = Ignore_Progress, requirements: Boolean = false, all_sessions: Boolean = false, build_heap: Boolean = false, clean_build: Boolean = false, dirs: List[Path] = Nil, select_dirs: List[Path] = Nil, exclude_session_groups: List[String] = Nil, session_groups: List[String] = Nil, max_jobs: Int = 1, list_files: Boolean = false, check_keywords: Set[String] = Set.empty, no_build: Boolean = false, system_mode: Boolean = false, verbose: Boolean = false, exclude_sessions: List[String] = Nil, sessions: List[String] = Nil): Map[String, Int]
def build_theories(session: Session, master_dir: Path, theories: List[(Options, List[Path])]): Promise[Body]
val chapter_default: String
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def dependencies(progress: Progress = Ignore_Progress, inlined_files: Boolean = false, verbose: Boolean = false, list_files: Boolean = false, check_keywords: Set[String] = Set.empty, tree: Session_Tree): Deps
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] )
def find_sessions(options: Options, dirs: List[Path] = Nil, select_dirs: List[Path] = Nil): Session_Tree
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def is_pure(name: String): Boolean
def main(args: Array[String]): Unit
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def outer_syntax(options: Options, session: String): Outer_Syntax
def parse_log(full_stats: Boolean, text: String): Log_Info
lazy val root_syntax: Outer_Syntax
def session_content(options: Options, inlined_files: Boolean, dirs: List[Path], session: String): Session_Content
def session_dependencies(options: Options, inlined_files: Boolean, dirs: List[Path], sessions: List[String]): Deps
def session_info(options: Options, select: Boolean, dir: Path, chapter: String, entry: Session_Entry): (String, Session_Info)
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
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
@throws( ... )

Related Doc: package isabelle

object Build

Type Members

sealed case class Chapter(name: String) extends Entry with Product with Serializable

class Console_Progress extends Progress

sealed case class Deps(deps: Map[String, Session_Content]) extends Product with Serializable

abstract class Entry extends AnyRef

class Handler extends Protocol_Handler

sealed case class Log_Info(name: String, stats: List[T], tasks: List[T], command_timings: List[T], session_timing: T) extends Product with Serializable

class Progress extends AnyRef

final class Queue extends AnyRef

sealed case class Session_Content(loaded_theories: Set[String], known_theories: Map[String, Name], keywords: Keywords, syntax: Outer_Syntax, sources: List[(Path, Digest)], session_graph: Graph_Display.Graph) extends Product with Serializable

final class Session_Tree extends PartialFunction[String, Session_Info]

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Ignore_Progress extends Progress

object Parser extends Parser

object Props

object Queue

object Session_Tree

final def asInstanceOf[T0]: T0

def build_theories(session: Session, master_dir: Path, theories: List[(Options, List[Path])]): Promise[Body]

val chapter_default: String

def clone(): AnyRef

def dependencies(progress: Progress = Ignore_Progress, inlined_files: Boolean = false, verbose: Boolean = false, list_files: Boolean = false, check_keywords: Set[String] = Set.empty, tree: Session_Tree): Deps

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def find_sessions(options: Options, dirs: List[Path] = Nil, select_dirs: List[Path] = Nil): Session_Tree

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def is_pure(name: String): Boolean

def main(args: Array[String]): Unit

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def outer_syntax(options: Options, session: String): Outer_Syntax

def parse_log(full_stats: Boolean, text: String): Log_Info

lazy val root_syntax: Outer_Syntax

def session_content(options: Options, inlined_files: Boolean, dirs: List[Path], session: String): Session_Content

def session_dependencies(options: Options, inlined_files: Boolean, dirs: List[Path], sessions: List[String]): Deps

def session_info(options: Options, select: Boolean, dir: Path, chapter: String, entry: Session_Entry): (String, Session_Info)

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 AnyRef

Inherited from Any

Ungrouped