final
case class
Configuration(paths: List[Path], session: String) extends Product with Serializable
Instance Constructors
-
new
Configuration(paths: List[Path], session: String)
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
val
paths: List[Path]
-
val
session: String
-
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
Represents the location and name of a session (Isabelle terminology).
Refer to the Isabelle system manual for details about sessions.
libisabelle
assumes that users are familiar with the session handling of Isabelle.Creation of configurations is completely unchecked. Errors such as non-existing paths will only manifest themselves when attempting to build a configuration or create a system. Nonetheless, users should go through an existing resources object.