Bibtex

Type Members

case class Chunk(kind: String, tokens: List[Token]) extends Product with Serializable
case class Delimited(quoted: Boolean, depth: Int) extends Product with Serializable
sealed case class Entry(kind: String, required: List[String], optional_crossref: List[String], optional_other: List[String]) extends Product with Serializable
case class Item(kind: String, end: String, delim: Delimited) extends Line_Context with Product with Serializable
case class Item_Open(kind: String, end: String) extends Line_Context with Product with Serializable
case class Item_Start(kind: String) extends Line_Context with Product with Serializable
abstract class Line_Context extends AnyRef

parsing *
sealed case class Token(kind: Token.Kind.Value, source: String) extends Product with Serializable

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 At extends Line_Context with Product with Serializable
val Closed: Delimited
object Ignored extends Line_Context with Product with Serializable
object Parsers extends RegexParsers
object Token extends Serializable

tokens and chunks *
final def asInstanceOf[T0]: T0

Definition Classes
Any
def bibtex_errors(dir: Path, root_name: String): List[String]

bibtex errors *
def check_database(database: String): (List[(String, T)], List[(String, T)])

check database *
def check_database_yxml(database: String): String
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def completion[A, B <: Model](history: History, rendering: Rendering, caret: Offset, models: Map[A, B]): Option[Result]
def entries(text: String): List[Info[String]]
def entries_iterator[A, B <: Model](models: Map[A, B]): Iterator[Info[(String, B)]]
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 get_entry(kind: String): Option[Entry]
def hashCode(): Int

Definition Classes
AnyRef → Any
def html_output(bib: List[Path], title: String = "Bibliography", body: Boolean = false, citations: List[String] = List("*"), style: String = "", chronological: Boolean = false): String
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def is_bibtex(name: String): Boolean

document model *
def is_command(s: String): Boolean
def is_entry(kind: String): Boolean
def is_month(s: String): Boolean
val known_entries: List[Entry]
def make_theory_content(file: File): Option[String]
def make_theory_content(bib_name: String): Option[String]
def make_theory_name(resources: Resources, name: Name): Option[Name]
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def parse(input: CharSequence): List[Chunk]
def parse_line(input: CharSequence, context: Line_Context): (List[Chunk], Line_Context)
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
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 Doc: package isabelle

object Bibtex

Type Members

case class Chunk(kind: String, tokens: List[Token]) extends Product with Serializable

case class Delimited(quoted: Boolean, depth: Int) extends Product with Serializable

sealed case class Entry(kind: String, required: List[String], optional_crossref: List[String], optional_other: List[String]) extends Product with Serializable

case class Item(kind: String, end: String, delim: Delimited) extends Line_Context with Product with Serializable

case class Item_Open(kind: String, end: String) extends Line_Context with Product with Serializable

case class Item_Start(kind: String) extends Line_Context with Product with Serializable

abstract class Line_Context extends AnyRef

sealed case class Token(kind: Token.Kind.Value, source: String) extends Product with Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object At extends Line_Context with Product with Serializable

val Closed: Delimited

object Ignored extends Line_Context with Product with Serializable

object Parsers extends RegexParsers

object Token extends Serializable

final def asInstanceOf[T0]: T0

def bibtex_errors(dir: Path, root_name: String): List[String]

def check_database(database: String): (List[(String, T)], List[(String, T)])

def check_database_yxml(database: String): String

def clone(): AnyRef

def completion[A, B <: Model](history: History, rendering: Rendering, caret: Offset, models: Map[A, B]): Option[Result]

def entries(text: String): List[Info[String]]

def entries_iterator[A, B <: Model](models: Map[A, B]): Iterator[Info[(String, B)]]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def get_entry(kind: String): Option[Entry]

def hashCode(): Int

def html_output(bib: List[Path], title: String = "Bibliography", body: Boolean = false, citations: List[String] = List("*"), style: String = "", chronological: Boolean = false): String

final def isInstanceOf[T0]: Boolean

def is_bibtex(name: String): Boolean

def is_command(s: String): Boolean

def is_entry(kind: String): Boolean

def is_month(s: String): Boolean

val known_entries: List[Entry]

def make_theory_content(file: File): Option[String]

def make_theory_content(bib_name: String): Option[String]

def make_theory_name(resources: Resources, name: Name): Option[Name]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def parse(input: CharSequence): List[Chunk]

def parse_line(input: CharSequence, context: Line_Context): (List[Chunk], Line_Context)

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

Inherited from AnyRef

Inherited from Any

Ungrouped