isabelle

Build

object Build

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Build
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

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

  2. class Console_Progress extends Progress

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

  4. abstract class Entry extends AnyRef

    session information *

  5. class Handler extends Protocol_Handler

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

  7. class Progress extends AnyRef

    progress context *

  8. final class Queue extends AnyRef

  9. 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

  10. sealed case class Session_Entry(pos: T, name: String, groups: List[String], path: String, parent: Option[String], description: String, options: List[(String, Option[String])], theories: List[(Boolean, List[(String, Option[String])], List[String])], files: List[String], document_files: List[(String, String)]) extends Entry with Product with Serializable

  11. 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

  12. final class Session_Tree extends PartialFunction[String, Session_Info]

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. object Ignore_Progress extends Progress

  7. object Parser extends Parser

  8. object Props

  9. object Queue

  10. object Session_Tree

  11. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  12. 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

  13. 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]

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

  15. val chapter_default: String

  16. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  17. 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

  18. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  19. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  20. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

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

  22. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  23. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  24. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  25. def is_pure(name: String): Boolean

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

  27. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  28. final def notify(): Unit

    Definition Classes
    AnyRef

  29. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

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

  32. lazy val root_syntax: Outer_Syntax

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

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

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

  36. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  37. def toString(): String

    Definition Classes
    AnyRef → Any

  38. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  39. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  40. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped