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

Discovery : the bug was actually not a bug, rather a feature.

This commit is contained in:
Burkhart Wolff 2018-03-01 17:32:15 +01:00
parent dda06c36df
commit 0baa75d29d
1 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
converter.scala
View File

@ -115,7 +115,7 @@ object LaTeXLexer extends RegexParsers {
}
/* Testing Zone */
/* Unit Testing Zone */
>>> LaTeXLexer("\\\\") => Right(List(VBACKSLASH)) // ok
>>> LaTeXLexer("qsdqsd{dfgdfg") => Right(List(RAWTEXT(qsdqsd), CURLYOPEN, RAWTEXT(dfgdfg))) // ok
@ -124,10 +124,15 @@ object LaTeXLexer extends RegexParsers {
>>> LaTeXLexer("qsdqsd\\\\dfgdfg") => Right(List(RAWTEXT(qsdqsd), VBACKSLASH, RAWTEXT(dfgdfg))
>>> LaTeXLexer("qsdqsd\\dfgdfg*{sdfsdf}")=> Right(List(RAWTEXT(qsdqsd), COMMAND(\dfgdfg*), CURLYOPEN,
RAWTEXT(sdfsdf), CURLYCLOSE)) // ok
>>> LaTeXLexer("qsdqsd\\begin ghjghj") => Right(List(RAWTEXT(qsdqsd), COMMAND(\begin), RAWTEXT( ghjghj)))
// nok
>>> LaTeXLexer("qsdqsd\\begin [sdgfsdf] {ghjghj}")
=> Right(List(RAWTEXT(qsdqsd), BEGINENV(\begin [sdgfsdf] ,{ghjghj})))
// ok
/* ... but note the following: */
>>> LaTeXLexer("qsdqsd\\begin [sdgfsdf] ")
=> Right(List(RAWTEXT(qsdqsd), COMMAND(\begin), RAWTEXT( [sdgfsdf] )))
/* Rudimentary Topevel Code */
object TestLaTeXLexer extends LaTeXLexer {
def main(args: Array[String]) = {