< Back

Packages

package root

Definition Classes
root
package de

Definition Classes
root
package unruh

Definition Classes
de
package isabelle
This library allows to control an Isabelle process from a Scala application.
This library allows to control an Isabelle process from a Scala application. For first steps and pointers, see the README.
In case of missing/incorrect documentation, create an issue.

Definition Classes
unruh
package control
This package contains classes for instantiating and controlling an Isabelle process.
This package contains classes for instantiating and controlling an Isabelle process. The main class is Isabelle, see there for documentation. Controlling the process via the classes in this package is quite low-level. See mlvalue.MLValue for a higher level mechanism.

Definition Classes
isabelle
DefaultExceptionManager
ExceptionManager
Isabelle
IsabelleBuildException
IsabelleControllerException
IsabelleDestroyedException
IsabelleJEditException
IsabelleMLException
IsabelleMiscException
IsabelleProtocolException
OperationCollection

t

de.unruh.isabelle.control

ExceptionManager

trait ExceptionManager extends AnyRef

Handles the conversion of exceptions from the Isabelle process (in ML) to Scala/JVM exceptions. An ExceptionManager is always associated with a given Isabelle instance. You can set the ExceptionManager using the de.unruh.isabelle.control.Isabelle.SetupGeneral.exceptionManager option. The current instance can be accessed as Isabelle.exceptionManager. Own implementations can start by subclassing DefaultExceptionManager (but do not have to).

Source: ExceptionManager.scala

Linear Supertypes

Known Subclasses

DefaultExceptionManager, ExceptionManager

Ordering

Alphabetic
By Inheritance

Inherited

ExceptionManager
AnyRef
Any

Hide All
Show All

Visibility

Public
All

Abstract Value Members

abstract def createException(id: ID): Exception
abstract def messageOf(id: ID): String

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws( ... ) @native() @HotSpotIntrinsicCandidate()
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
Annotations
@native() @HotSpotIntrinsicCandidate()
def hashCode(): Int

Definition Classes
AnyRef → Any
Annotations
@native() @HotSpotIntrinsicCandidate()
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
Annotations
@native() @HotSpotIntrinsicCandidate()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@native() @HotSpotIntrinsicCandidate()
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... ) @native()
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Deprecated Value Members

def finalize(): Unit

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] ) @Deprecated
Deprecated

Inherited from AnyRef

Inherited from Any

Ungrouped