Base

Instance Constructors

new Base(pos: T = Position.none, doc_names: List[String] = Nil, global_theories: Map[String, String] = Map.empty, loaded_theories: Graph[String, Outer_Syntax] = Graph.string, used_theories: List[(Options, Name)] = Nil, known: Known = Known.empty, overall_syntax: Outer_Syntax = Outer_Syntax.empty, imported_sources: List[(Path, Digest)] = Nil, sources: List[(Path, Digest)] = Nil, session_graph_display: Graph_Display.Graph = Graph_Display.empty_graph, errors: List[String] = Nil, imports: Option[Base] = None)

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

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def dest_known_theories: List[(String, String)]
val doc_names: List[String]
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
val errors: List[String]
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 get_imports: Base
val global_theories: Map[String, String]
val imported_sources: List[(Path, Digest)]
val imports: Option[Base]
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
val known: Known
def known_theory(name: String): Option[Name]
val loaded_theories: Graph[String, Outer_Syntax]
def loaded_theory(name: Name): Boolean
def loaded_theory(name: String): Boolean
def loaded_theory_syntax(name: Name): Option[Outer_Syntax]
def loaded_theory_syntax(name: String): Option[Outer_Syntax]
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def node_syntax(nodes: Nodes, name: Name): Outer_Syntax
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
val overall_syntax: Outer_Syntax
def platform_path: Base
val pos: T
val session_graph_display: Graph_Display.Graph
val sources: List[(Path, Digest)]
def standard_path: Base
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def theory_qualifier(name: Name): String
def theory_qualifier(name: String): String
def toString(): String

Definition Classes
Base → AnyRef → Any
val used_theories: List[(Options, Name)]
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 Base | package Sessions

Instance Constructors

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def dest_known_theories: List[(String, String)]

val doc_names: List[String]

final def eq(arg0: AnyRef): Boolean

val errors: List[String]

def finalize(): Unit

final def getClass(): Class[_]

def get_imports: Base

val global_theories: Map[String, String]

val imported_sources: List[(Path, Digest)]

val imports: Option[Base]

final def isInstanceOf[T0]: Boolean

val known: Known

def known_theory(name: String): Option[Name]

val loaded_theories: Graph[String, Outer_Syntax]

def loaded_theory(name: Name): Boolean

def loaded_theory(name: String): Boolean

def loaded_theory_syntax(name: Name): Option[Outer_Syntax]

def loaded_theory_syntax(name: String): Option[Outer_Syntax]

final def ne(arg0: AnyRef): Boolean

def node_syntax(nodes: Nodes, name: Name): Outer_Syntax

final def notify(): Unit

final def notifyAll(): Unit

val overall_syntax: Outer_Syntax

def platform_path: Base

val pos: T

val session_graph_display: Graph_Display.Graph

val sources: List[(Path, Digest)]

def standard_path: Base

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

def theory_qualifier(name: Name): String

def theory_qualifier(name: String): String

def toString(): String

val used_theories: List[(Options, Name)]

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped