Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

stand der diskussion

This commit is contained in:
Burkhart Wolff 2018-03-28 13:57:25 +02:00
parent df5bf507cf
commit 7bca4e8954
1 changed files with 9 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
converter.scala
View File

@ -193,14 +193,13 @@ import scala.util.parsing.input.{NoPosition, Position, Reader}
object LaTeXParser extends Parsers {
override type Elem = LaTeXToken
class LaTeXTokenReader(tokens: Seq[LaTeXToken]) extends Reader[Seq[LaTeXToken]] {
override def first: Seq[LaTeXToken] = tokens.head::Nil
class LaTeXTokenReader(tokens: Seq[LaTeXToken]) extends Reader[LaTeXToken] {
override def first: LaTeXToken = tokens.head
override def atEnd: Boolean = tokens.isEmpty
override def pos: Position = NoPosition
override def rest: Reader[Seq[LaTeXToken]] = new LaTeXTokenReader(tokens.tail)
override def rest: Reader[LaTeXToken] = new LaTeXTokenReader(tokens.tail)
}
def apply(tokens: Seq[LaTeXToken]): Either[LaTeXParserError, Seq[LaTeXToken]] = {
val reader = new LaTeXTokenReader(tokens)
parse_latex(reader) match {
@ -211,11 +210,17 @@ def apply(tokens: Seq[LaTeXToken]): Either[LaTeXParserError, Seq[LaTeXToken]] =
}
}
def parse_latex(r: Reader[LaTeXToken]) : Parser[Seq[LaTeXToken]] = Success(Nil, Nil)
}
}
def parse_latex: Parser[Seq[LaTeXToken]] = positioned {
phrase(sections)
}
def sections: Parser[Seq[LaTeXToken]] = positioned {
rep1(section) ^^ { case stmtList => stmtList.flatten }
}