class
Session extends AnyRef
Instance Constructors
-
new
Session(resources: Resources)
Value Members
-
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
-
final
def
==(arg0: Any): Boolean
-
-
-
final
def
asInstanceOf[T0]: T0
-
def
build_theories(id: String, master_dir: Path, theories: List[(Options, List[Path])]): Unit
-
def
cancel_exec(exec_id: Exec): Unit
-
-
def
clone(): AnyRef
-
-
def
current_state(): State
-
val
debugger_updates: Outlet[Update.type]
-
def
dialog_result(id: Generic, serial: Long, result: String): Unit
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
-
-
def
hashCode(): Int
-
-
final
def
isInstanceOf[T0]: Boolean
-
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
output_delay: Time
-
def
phase: Phase
-
-
def
protocol_command(name: String, args: String*): Unit
-
def
prune_delay: Time
-
def
prune_size: Int
-
-
val
raw_output_messages: Outlet[Output]
-
def
recent_syntax(name: Name): Syntax
-
def
reparse_limit: Int
-
-
-
def
start(name: String, args: List[String]): Unit
-
-
def
stop(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
syslog_content(): String
-
def
syslog_limit: Int
-
-
-
def
toString(): String
-
val
trace_events: Outlet[Event.type]
-
-
def
update_options(options: Options): Unit
-
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit