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. sealed case class Log_Info(name: String, stats: List[T], tasks: List[T], command_timings: List[T], session_timing: T) extends Product with Serializable

  6. class Progress extends AnyRef

    progress context *

  7. final class Queue extends AnyRef

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

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

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

  11. 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, session_groups: List[String] = Nil, max_jobs: Int = 1, list_files: Boolean = false, no_build: Boolean = false, system_mode: Boolean = false, verbose: Boolean = false, 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, session_groups: List[String] = Nil, max_jobs: Int = 1, list_files: Boolean = false, no_build: Boolean = false, system_mode: Boolean = false, verbose: Boolean = false, sessions: List[String] = Nil): Map[String, Int]

  14. val chapter_default: String

  15. def clone(): AnyRef

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

  16. def dependencies(progress: Progress, inlined_files: Boolean, verbose: Boolean, list_files: Boolean, tree: Session_Tree): Deps

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

    Definition Classes
    AnyRef

  18. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  19. def finalize(): Unit

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

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

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

    Definition Classes
    AnyRef → Any

  22. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  23. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  24. def is_pure(name: String): Boolean

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

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

    Definition Classes
    AnyRef

  27. final def notify(): Unit

    Definition Classes
    AnyRef

  28. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

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

  31. lazy val root_syntax: Outer_Syntax

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

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

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

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

    Definition Classes
    AnyRef

  36. def toString(): String

    Definition Classes
    AnyRef → Any

  37. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped