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
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 Parser extends Parser
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(): Options
def init_defaults(): Options
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def main(args: Array[String]): Unit
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
lazy val options_syntax: Outer_Syntax
lazy val prefs_syntax: Outer_Syntax
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

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 Parser extends Parser

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(): Options

def init_defaults(): Options

final def isInstanceOf[T0]: Boolean

def main(args: Array[String]): Unit

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

lazy val options_syntax: Outer_Syntax

lazy val prefs_syntax: Outer_Syntax

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