info.hupel.isabelle

api

package 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
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. api
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

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

    Represents the location and name of a session (Isabelle terminology).

  2. abstract class Environment extends AnyRef

    Abstract interface for an Isabelle environment of a particular version in a path with an underlying PIDE machinery.

  3. case class ExitTrap(rc: Int) extends RuntimeException with Product with Serializable

  4. class Implementation extends Annotation with Annotation with ClassfileAnnotation

  5. type Markup = (String, Properties)

  6. type Properties = List[(String, String)]

  7. final case class Version(identifier: String) extends Product with Serializable

    Represents the version of an Isabelle release.

Value Members

  1. object BuildInfo extends Product with Serializable

    This object was generated by sbt-buildinfo.

  2. object Configuration extends Serializable

  3. object Environment

  4. object XML

Inherited from AnyRef

Inherited from Any

Ungrouped