Protocol

Abstract Value Members

abstract def decode(s: String): String
abstract def encode(s: String): String
abstract def protocol_command(name: String, args: String*): Unit
abstract def protocol_command_bytes(name: String, args: Bytes*): Unit

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
object Encode
final def asInstanceOf[T0]: T0

Definition Classes
Any
def build_theories(id: String, master_dir: Path, theories: List[(Options, List[Path])]): Unit
def cancel_exec(id: Exec): Unit
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def define_blob(digest: Digest, bytes: Bytes): Unit
def define_command(command: Command): Unit
def dialog_result(serial: Long, result: String): Unit
def discontinue_execution(): Unit
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
final def isInstanceOf[T0]: Boolean

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

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def options(opts: Options): Unit
def remove_versions(versions: List[Version]): Unit
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def update(old_id: Version, new_id: Version, edits: List[Edit_Command]): Unit
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: object Protocol | package isabelle

trait Protocol extends AnyRef

Abstract Value Members

abstract def decode(s: String): String

abstract def encode(s: String): String

abstract def protocol_command(name: String, args: String*): Unit

abstract def protocol_command_bytes(name: String, args: Bytes*): Unit

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Encode

final def asInstanceOf[T0]: T0

def build_theories(id: String, master_dir: Path, theories: List[(Options, List[Path])]): Unit

def cancel_exec(id: Exec): Unit

def clone(): AnyRef

def define_blob(digest: Digest, bytes: Bytes): Unit

def define_command(command: Command): Unit

def dialog_result(serial: Long, result: String): Unit

def discontinue_execution(): Unit

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def options(opts: Options): Unit

def remove_versions(versions: List[Version]): Unit

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

def toString(): String

def update(old_id: Version, new_id: Version, edits: List[Edit_Command]): Unit

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