progs/parser-combinators/comb1.sc
author Christian Urban <christian.urban@kcl.ac.uk>
Tue, 04 Apr 2023 22:31:09 +0100
changeset 906 2bf1516d730f
parent 898 45a48c47dcca
child 919 53f08d873e09
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     1
// Parser Combinators: Simple Version
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     2
//====================================
742
b5b5583a3a08 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 732
diff changeset
     3
//
b5b5583a3a08 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 732
diff changeset
     4
// Call with
b5b5583a3a08 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 732
diff changeset
     5
//
b5b5583a3a08 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 732
diff changeset
     6
//  amm comb1.sc
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     7
742
b5b5583a3a08 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 732
diff changeset
     8
 
906
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
     9
//  Note, in the lectures I did not show the type bound
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
    10
//  using is: I => Seq[_], which means that the input 
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
    11
//  type 'I' needs to be a sequence. 
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    12
906
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
    13
abstract class Parser[I, T](using is: I => Seq[_])  {
852
8706b846a3e0 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 850
diff changeset
    14
  def parse(in: I): Set[(T, I)]  
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    15
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    16
  def parse_all(in: I) : Set[T] =
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    17
    for ((hd, tl) <- parse(in); 
906
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
    18
        if is(tl).isEmpty) yield hd
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    19
}
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    20
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    21
// parser combinators
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    22
799
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
    23
// alternative parser
906
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
    24
class AltParser[I, T](p: => Parser[I, T], 
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
    25
                      q: => Parser[I, T])(using I => Seq[_]) extends Parser[I, T] {
799
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
    26
  def parse(in: I) = p.parse(in) ++ q.parse(in)   
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
    27
}
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
    28
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    29
// sequence parser
906
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
    30
class SeqParser[I, T, S](p: => Parser[I, T], 
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
    31
                         q: => Parser[I, S])(using I => Seq[_]) extends Parser[I, (T, S)] {
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    32
  def parse(in: I) = 
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    33
    for ((hd1, tl1) <- p.parse(in); 
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    34
         (hd2, tl2) <- q.parse(tl1)) yield ((hd1, hd2), tl2)
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    35
}
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    36
742
b5b5583a3a08 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 732
diff changeset
    37
// map parser
906
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
    38
class MapParser[I, T, S](p: => Parser[I, T], 
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
    39
                         f: T => S)(using I => Seq[_]) extends Parser[I, S] {
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    40
  def parse(in: I) = for ((hd, tl) <- p.parse(in)) yield (f(hd), tl)
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    41
}
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    42
742
b5b5583a3a08 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 732
diff changeset
    43
b5b5583a3a08 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 732
diff changeset
    44
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    45
// an example of an atomic parser for characters
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    46
case class CharParser(c: Char) extends Parser[String, Char] {
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    47
  def parse(in: String) = 
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    48
    if (in != "" && in.head == c) Set((c, in.tail)) else Set()
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    49
}
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    50
906
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
    51
CharParser('a').parse("abc")
799
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
    52
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    53
// an atomic parser for parsing strings according to a regex
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    54
import scala.util.matching.Regex
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    55
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    56
case class RegexParser(reg: Regex) extends Parser[String, String] {
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    57
  def parse(in: String) = reg.findPrefixMatchOf(in) match {
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    58
    case None => Set()
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    59
    case Some(m) => Set((m.matched, m.after.toString))  
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    60
  }
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    61
}
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    62
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    63
// atomic parsers for numbers and "verbatim" strings 
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    64
val NumParser = RegexParser("[0-9]+".r)
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    65
def StrParser(s: String) = RegexParser(Regex.quote(s).r)
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    66
897
904de68a27a4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 896
diff changeset
    67
NumParser.parse("a123a123bc") 
906
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
    68
StrParser("else").parse("elsethen")
742
b5b5583a3a08 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 732
diff changeset
    69
799
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
    70
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    71
// NumParserInt transforms a "string integer" into a propper Int
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    72
// (needs "new" because MapParser is not a case class)
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    73
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    74
val NumParserInt = new MapParser(NumParser, (s: String) => s.toInt)
897
904de68a27a4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 896
diff changeset
    75
NumParserInt.parse("123abc")
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    76
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    77
// the following string interpolation allows us to write 
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    78
// StrParser(_some_string_) more conveniently as 
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    79
//
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    80
// p"<_some_string_>" 
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    81
906
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
    82
extension (sc: StringContext) 
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
    83
  def p(args: Any*) = StrParser(sc.s(args:_*))
897
904de68a27a4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 896
diff changeset
    84
904de68a27a4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 896
diff changeset
    85
904de68a27a4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 896
diff changeset
    86
(p"else").parse("elsethen")           
799
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
    87
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    88
// more convenient syntax for parser combinators
906
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
    89
extension [I, T](p: Parser[I, T])(using I => Seq[_]) {
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    90
  def ||(q : => Parser[I, T]) = new AltParser[I, T](p, q)
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    91
  def ~[S] (q : => Parser[I, S]) = new SeqParser[I, T, S](p, q)
906
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
    92
  def mapp[S](f: => T => S) = new MapParser[I, T, S](p, f)
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    93
}
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    94
897
904de68a27a4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 896
diff changeset
    95
def toU(s: String) = s.map(_.toUpper)
904de68a27a4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 896
diff changeset
    96
906
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
    97
(p"ELSE").mapp(toU(_)).parse("ELSEifthen")  
897
904de68a27a4 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 896
diff changeset
    98
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    99
// these implicits allow us to use an infix notation for
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   100
// sequences and alternatives; we also can write the usual
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   101
// map for a MapParser
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   102
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   103
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   104
// with this NumParserInt can now be written more conveniently
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   105
// as:
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   106
799
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
   107
val NumParserInt2 = NumParser.map(_.toInt)
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   108
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   109
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   110
// A parser for palindromes (just returns them as string)
803
d4fb8c7fc3bf updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 801
diff changeset
   111
lazy val Pal : Parser[String, String] = {
906
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   112
   (p"a" ~ Pal ~ p"a").mapp{ case ((x, y), z) => s"$x$y$z" } || 
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   113
   (p"b" ~ Pal ~ p"b").mapp{ case ((x, y), z) => s"$x$y$z" } || 
896
b7a6436c7758 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 852
diff changeset
   114
    p"a" || p"b" || p""
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   115
}  
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   116
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   117
// examples
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   118
Pal.parse_all("abaaaba")
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   119
Pal.parse("abaaaba")
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   120
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   121
println("Palindrome: " + Pal.parse_all("abaaaba"))
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   122
799
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
   123
// A parser for wellnested parentheses 
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
   124
//
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
   125
//   P ::= ( P ) P | epsilon
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
   126
//
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
   127
//   (transforms '(' -> '{' , ')' -> '}' )
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
   128
lazy val P : Parser[String, String] = {
906
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   129
  (p"(" ~ P ~ p")" ~ P).mapp{ case (((_, x), _), y) => "{" + x + "}" + y } ||
799
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
   130
  p""
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
   131
}  
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   132
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   133
println(P.parse_all("(((()()))())"))
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   134
println(P.parse_all("(((()()))()))"))
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   135
println(P.parse_all(")("))
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   136
println(P.parse_all("()"))
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   137
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   138
// A parser for arithmetic expressions (Terms and Factors)
898
45a48c47dcca updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 897
diff changeset
   139
799
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
   140
lazy val E: Parser[String, Int] = {
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   141
  (T ~ p"+" ~ E).map{ case ((x, _), z) => x + z } ||
799
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
   142
  (T ~ p"-" ~ E).map{ case ((x, _), z) => x - z } || T }
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
   143
lazy val T: Parser[String, Int] = {
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
   144
  (F ~ p"*" ~ T).map{ case ((x, _), z) => x * z } || F }
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
   145
lazy val F: Parser[String, Int] = {
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
   146
  (p"(" ~ E ~ p")").map{ case ((_, y), _) => y } || NumParserInt }
898
45a48c47dcca updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 897
diff changeset
   147
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   148
println(E.parse_all("1+3+4"))
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   149
println(E.parse("1+3+4"))
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   150
println(E.parse_all("4*2+3"))
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   151
println(E.parse_all("4*(2+3)"))
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   152
println(E.parse_all("(4)*((2+3))"))
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   153
println(E.parse_all("4/2+3"))
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   154
println(E.parse("1 + 2 * 3"))
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   155
println(E.parse_all("(1+2)+3"))
799
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
   156
println(E.parse_all("1+2+3"))
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   157
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   158
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   159
// with parser combinators (and other parsing algorithms)
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   160
// no left-recursion is allowed, otherwise the will loop
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   161
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   162
lazy val EL: Parser[String, Int] = 
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   163
  ((EL ~ p"+" ~ EL).map{ case ((x, y), z) => x + z} || 
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   164
   (EL ~ p"*" ~ EL).map{ case ((x, y), z) => x * z} ||
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   165
   (p"(" ~ EL ~ p")").map{ case ((x, y), z) => y} ||
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   166
   NumParserInt)
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   167
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   168
// this will run forever:
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   169
//println(EL.parse_all("1+2+3"))
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   170
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   171
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   172
// non-ambiguous vs ambiguous grammars
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   173
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   174
// ambiguous
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   175
lazy val S : Parser[String, String] =
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   176
  (p"1" ~ S ~ S).map{ case ((x, y), z) => x + y + z } || p""
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   177
850
Christian Urban <christian.urban@kcl.ac.uk>
parents: 849
diff changeset
   178
//println(time(S.parse("1" * 10)))
Christian Urban <christian.urban@kcl.ac.uk>
parents: 849
diff changeset
   179
//println(time(S.parse_all("1" * 10)))
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   180
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   181
// non-ambiguous
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   182
lazy val U : Parser[String, String] =
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   183
  (p"1" ~ U).map{ case (x, y) => x + y } || p""
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   184
850
Christian Urban <christian.urban@kcl.ac.uk>
parents: 849
diff changeset
   185
//println(time(U.parse("1" * 10)))
Christian Urban <christian.urban@kcl.ac.uk>
parents: 849
diff changeset
   186
//println(time(U.parse_all("1" * 10)))
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   187
println(U.parse("1" * 25))
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   188
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   189
U.parse("11")
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   190
U.parse("11111")
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   191
U.parse("11011")
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   192
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   193
U.parse_all("1" * 100)
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   194
U.parse_all("1" * 100 + "0")
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   195
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   196
// you can see the difference in second example
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   197
//S.parse_all("1" * 100)         // succeeds
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   198
//S.parse_all("1" * 100 + "0")   // fails
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   199
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   200
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   201
// A variant which counts how many 1s are parsed
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   202
lazy val UCount : Parser[String, Int] =
799
85267be9a5ed updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 742
diff changeset
   203
  (p"1" ~ UCount).map{ case (_, y) => y + 1 } || p"".map{ _ => 0 }
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   204
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   205
println(UCount.parse("11111"))
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   206
println(UCount.parse_all("11111"))
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   207
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   208
// Two single character parsers
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   209
lazy val One : Parser[String, String] = p"a"
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   210
lazy val Two : Parser[String, String] = p"b"
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   211
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   212
One.parse("a")
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   213
One.parse("aaa")
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   214
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   215
// note how the pairs nest to the left with sequence parsers
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   216
(One ~ One).parse("aaa")
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   217
(One ~ One ~ One).parse("aaa")
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   218
(One ~ One ~ One ~ One).parse("aaaa")
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   219
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   220
(One || Two).parse("aaa")
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   221
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   222
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   223
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   224
// a problem with the arithmetic expression parser: it 
742
b5b5583a3a08 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 732
diff changeset
   225
// gets very slow with deeply nested parentheses
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   226
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   227
println("Runtime problem")
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   228
println(E.parse("1"))
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   229
println(E.parse("(1)"))
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   230
println(E.parse("((1))"))
906
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   231
println(E.parse("(((1)))"))
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   232
println(E.parse("((((1))))"))
732
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   233
//println(E.parse("((((((1))))))"))
c7bdd7eac4cb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   234
//println(E.parse("(((((((1)))))))"))
906
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   235
//println(E.parse("((((((((1))))))))"))
828
bdcaecdee9eb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 803
diff changeset
   236
bdcaecdee9eb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 803
diff changeset
   237
906
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   238
// faster because of merge
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   239
lazy val E2: Parser[String, Int] = {
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   240
  (T2 ~ (p"+" || p"-") ~ E2).mapp[Int]{ case ((x, y), z) => if (y == "+") x + z else x - z} || T2 }
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   241
lazy val T2: Parser[String, Int] = {
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   242
  (F2 ~ p"*" ~ T2).mapp[Int]{ case ((x, _), z) => x * z } || F2 }
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   243
lazy val F2: Parser[String, Int] = {
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   244
  (p"(" ~ E2 ~ p")").mapp[Int]{ case ((_, y), _) => y } || NumParserInt }
828
bdcaecdee9eb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 803
diff changeset
   245
bdcaecdee9eb updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 803
diff changeset
   246
906
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   247
println("Runtime problem")
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   248
println(E2.parse("1"))
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   249
println(E2.parse("(1)"))
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   250
println(E2.parse("((1))"))
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   251
println(E2.parse("(((1)))"))
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   252
println(E2.parse("((((1))))"))
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   253
//println(E2.parse("((((((1))))))"))
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   254
//println(E2.parse("(((((((1)))))))"))
2bf1516d730f updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 898
diff changeset
   255
//println(E2.parse("((((((((1))))))))"))