edu.tum.cs.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 implementations 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. class Implementation extends Annotation with Annotation with ClassfileAnnotation

  4. type Markup = (String, Properties)

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

  6. 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

    Convenience constructors for configurations.

  3. object Environment

  4. object XML

Inherited from AnyRef

Inherited from Any

Ungrouped