66
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
1 |
abstract class Parser[I, T] {
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
2 |
def parse(ts: I): Set[(T, I)]
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
3 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
4 |
def parse_all(ts: I) : Set[T] =
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
5 |
for ((head, tail) <- parse(ts); if (tail.isEmpty))
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
6 |
yield head
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
7 |
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
8 |
def || (right : => Parser[I, T]) : Parser[I, T] =
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
9 |
new AltParser(this, right)
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
10 |
def ==>[S] (f: => T => S) : Parser [I, S] =
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
11 |
new FunParser(this, f)
|
70
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
12 |
def ~[S] (right : => Parser[I, S]) : Parser[I, (T, S)] =
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
13 |
new SeqParser(this, right)
|
66
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
14 |
}
|
7
|
15 |
|
|
16 |
|