object Build
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Build
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- sealed case class Chapter (name: String) extends Entry with Product with Serializable
- 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
- 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
-
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( ... )
- object Parser extends Parser
- object Props
-
object
Queue
build *
- object Session_Tree