abstract
class
Environment extends AnyRef
Instance Constructors
-
new
Environment(context: Context)
Type Members
-
abstract
type
Session
Abstract Value Members
-
abstract
def
build(config: Configuration): Int
-
-
abstract
def
decode(text: @@[String, Raw]): @@[String, Unicode]
-
abstract
def
dispose(session: Session): Unit
-
abstract
def
encode(text: @@[String, Unicode]): @@[String, Raw]
-
abstract
def
exec(tool: String, args: List[String]): Int
-
abstract
val
exitTag: String
-
abstract
val
functionTag: String
-
abstract
val
initTag: String
-
abstract
def
isabellePath(path: String): String
-
abstract
def
isabelleSetting(name: String): String
-
abstract
val
printTags: Set[String]
-
abstract
val
protocolTag: String
-
abstract
def
sendCommand(session: Session, name: String, args: List[String]): Unit
-
abstract
def
sendOptions(session: Session): Unit
-
abstract
def
settings: Map[String, String]
Concrete Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
implicit final
val
executionContext: ExecutionContext
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
val
home: Path
-
final
def
isInstanceOf[T0]: Boolean
-
final
val
logger: Logger
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
val
user: Path
-
final
val
variables: Map[String, String]
-
final
val
version: Version
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any
Abstract interface for an Isabelle environment of a particular version in a path with an underlying PIDE machinery.
As opposed to a mere logic-less
Setup, an environment knows how to manage Isabelle processes. It can also manage multiple running processes at the same time.A subclass of this class is called implementation throughout
libisabelle.It is highly recommended to use
Setup.makeEnvironmentto instantiate implementations.While implementations may be created freely by users, it is recommended to only use the bundled implementations for the supported Isabelle versions. By convention, they live in the package
info.hupel.isabelle.impl. See alsoSetup.defaultPackageName.Contract
Environment. There must be aBuildInfoclass in the same package.Environment.Context). There must be no other constructors. The constructor should beprivate.Implementation, where the given identifier corresponds to the version identifier.Footnote
Due to name clashes in the underlying PIDE machinery (which is provided by Isabelle itself and is not under control of
libisabelle), it is impossible to have multiple environments for different versions in the same class loader. This is the primary reason why this class exists in the first place, to enable seamless abstraction over multiple PIDEs.