sealed
case class
Session_Entry(pos: T, name: String, groups: List[String], path: String, parent: Option[String], description: String, options: List[Spec], imports: List[String], theories: List[(List[Spec], List[((String, T), Boolean)])], document_files: List[(String, String)], export_files: List[(String, List[String])]) extends Entry with Product with Serializable
Instance Constructors
-
new
Session_Entry(pos: T, name: String, groups: List[String], path: String, parent: Option[String], description: String, options: List[Spec], imports: List[String], theories: List[(List[Spec], List[((String, T), Boolean)])], document_files: List[(String, String)], export_files: List[(String, List[String])])
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
val
description: String
-
val
document_files: List[(String, String)]
-
-
val
export_files: List[(String, List[String])]
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
val
groups: List[String]
-
val
imports: List[String]
-
final
def
isInstanceOf[T0]: Boolean
-
val
name: String
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
val
options: List[Spec]
-
val
parent: Option[String]
-
val
path: String
-
val
pos: T
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
val
theories: List[(List[Spec], List[((String, T), Boolean)])]
-
def
theories_no_position: List[(List[Spec], List[(String, Boolean)])]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit