object
Export
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
-
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
compound_name(a: String, b: String): String
-
-
val
default_export_dir: Path
-
-
-
def
explode_name(s: String): List[String]
-
def
export_files(store: Store, session_name: String, export_dir: Path, progress: Progress = No_Progress, export_prune: Int = 0, export_list: Boolean = false, export_patterns: List[String] = Nil): Unit
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
def
implode_name(elems: Iterable[String]): String
-
final
def
isInstanceOf[T0]: Boolean
-
-
def
make_entry(session_name: String, args: Args, body: Bytes, cache: XZ.Cache = XZ.cache()): Entry
-
def
make_matcher(pattern: String): (String, String) ⇒ Boolean
-
def
make_regex(pattern: String): Regex
-
def
message(msg: String, theory_name: String, name: String): String
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
read_entry(dir: Path, session_name: String, theory_name: String, name: String): Option[Entry]
-
def
read_entry(db: Database, session_name: String, theory_name: String, name: String): Option[Entry]
-
def
read_name(db: Database, session_name: String, theory_name: String, name: String): Boolean
-
def
read_names(db: Database, session_name: String, theory_name: String): List[String]
-
def
read_theory_exports(db: Database, session_name: String): List[(String, String)]
-
def
read_theory_names(db: Database, session_name: String): List[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