case class Setup(workingDirectory: Path = Paths.get(""), isabelleHome: Path, logic: String = "HOL", sessionRoots: Seq[Path] = Nil, userDir: Option[Path] = None) extends Product with Serializable
Configuration for initializing an Isabelle instance.
(The fields of this class are documents in the source code. I am not sure why they do not occur in the generated API doc.)
- workingDirectory
Working directory in which the Isabelle process should run. (Default: working directory of the Scala process.) All other paths described below are interpreted relative to
workingDirectory
(unless they are absolute).- isabelleHome
Path to the Isabelle distribution
- logic
Heap image to load in Isabelle (e.g.,
HOL
,HOL-Analysis
, etc.)- sessionRoots
Additional session directories in which Isabelle will search for sessions (must contain
ROOT
files and optionallyROOTS
files, see the Isabelle system manual). Default: no additional session directories- userDir
User configuration directory for Isabelle. Must end in
/.isabelle
if provided. None (default) means to let Isabelle chose the default location. Here Isabelle stores user configuration and heap images (unless the location of the heap images is configured differently, see the Isabelle system manual)
- Alphabetic
- By Inheritance
- Setup
- Serializable
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new Setup(workingDirectory: Path = Paths.get(""), isabelleHome: Path, logic: String = "HOL", sessionRoots: Seq[Path] = Nil, userDir: Option[Path] = None)
- workingDirectory
Working directory in which the Isabelle process should run. (Default: working directory of the Scala process.) All other paths described below are interpreted relative to
workingDirectory
(unless they are absolute).- isabelleHome
Path to the Isabelle distribution
- logic
Heap image to load in Isabelle (e.g.,
HOL
,HOL-Analysis
, etc.)- sessionRoots
Additional session directories in which Isabelle will search for sessions (must contain
ROOT
files and optionallyROOTS
files, see the Isabelle system manual). Default: no additional session directories- userDir
User configuration directory for Isabelle. Must end in
/.isabelle
if provided. None (default) means to let Isabelle chose the default location. Here Isabelle stores user configuration and heap images (unless the location of the heap images is configured differently, see the Isabelle system manual)
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 clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- val isabelleHome: Path
- val logic: String
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- val sessionRoots: Seq[Path]
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- val userDir: Option[Path]
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- val workingDirectory: Path