api

Minimal API for managing some Isabelle version. It is centered around the notion of an environment, which captures the base functionality of an Isabelle process, e.g. starting and stopping an instance. API clients should go through the higher-level setup and system interfaces.

Linear Supertypes

AnyRef, Any

Type Members

final case class Configuration(paths: List[Path], session: String) extends Product with Serializable

Represents the location and name of a session (Isabelle terminology).
abstract class Environment extends AnyRef

Abstract interface for an Isabelle environment of a particular version in a path with an underlying PIDE machinery.
case class ExitTrap(rc: Int) extends Throwable with ControlThrowable with Product with Serializable
class Implementation extends Annotation with Annotation with ClassfileAnnotation
type Markup = (String, Properties)
type Properties = List[(String, String)]
sealed trait Version extends AnyRef

Value Members

object BuildInfo extends Product with Serializable

This object was generated by sbt-buildinfo.
object Configuration extends Serializable
object Environment
object Version
object XML

package api

Type Members

final case class Configuration(paths: List[Path], session: String) extends Product with Serializable

abstract class Environment extends AnyRef

case class ExitTrap(rc: Int) extends Throwable with ControlThrowable with Product with Serializable

class Implementation extends Annotation with Annotation with ClassfileAnnotation

type Markup = (String, Properties)

type Properties = List[(String, String)]

sealed trait Version extends AnyRef

Value Members

object BuildInfo extends Product with Serializable

object Configuration extends Serializable

object Environment

object Version

object XML

Inherited from AnyRef

Inherited from Any

Ungrouped