Options

Type Members

case class Opt(public: Boolean, pos: T, name: String, typ: Type, value: String, default_value: String, description: String, section: String) extends Product with Serializable
trait Parser extends Parse.Parser
type Spec = (String, Option[String])
sealed abstract class Type extends AnyRef

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
object Bool extends Type with Product with Serializable
object Int extends Type with Product with Serializable
object Real extends Type with Product with Serializable
object String extends Type with Product with Serializable
object Unknown extends Type with Product with Serializable
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
val empty: Options
val encode: T[Options]
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
def init(prefs: String = read_prefs(PREFS), opts: List[String] = Nil): Options
final def isInstanceOf[T0]: Boolean

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

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
val options_syntax: Outer_Syntax
val prefs_syntax: Outer_Syntax
def read_prefs(file: Path = PREFS): String
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: class Options | package isabelle

object Options

Type Members

case class Opt(public: Boolean, pos: T, name: String, typ: Type, value: String, default_value: String, description: String, section: String) extends Product with Serializable

trait Parser extends Parse.Parser

type Spec = (String, Option[String])

sealed abstract class Type extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Bool extends Type with Product with Serializable

object Int extends Type with Product with Serializable

object Real extends Type with Product with Serializable

object String extends Type with Product with Serializable

object Unknown extends Type with Product with Serializable

final def asInstanceOf[T0]: T0

def clone(): AnyRef

val empty: Options

val encode: T[Options]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

def init(prefs: String = read_prefs(PREFS), opts: List[String] = Nil): Options

final def isInstanceOf[T0]: Boolean

val isabelle_tool: Isabelle_Tool

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

val options_syntax: Outer_Syntax

val prefs_syntax: Outer_Syntax

def read_prefs(file: Path = PREFS): String

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped