Skip to content

Commit

Permalink
Fixes SI-5514.
Browse files Browse the repository at this point in the history
The acceptIf and acceptMatch parsers now check for end of input.

Review by moors.
  • Loading branch information
Aleksandar Prokopec committed May 4, 2012
1 parent f146d58 commit 37c157c
Show file tree
Hide file tree
Showing 3 changed files with 34 additions and 13 deletions.
6 changes: 4 additions & 2 deletions src/library/scala/util/parsing/combinator/Parsers.scala
Expand Up @@ -596,7 +596,8 @@ trait Parsers {
* @return A parser for elements satisfying p(e).
*/
def acceptIf(p: Elem => Boolean)(err: Elem => String): Parser[Elem] = Parser { in =>
if (p(in.first)) Success(in.first, in.rest)
if (in.atEnd) Failure("end of input", in)
else if (p(in.first)) Success(in.first, in.rest)
else Failure(err(in.first), in)
}

Expand All @@ -614,7 +615,8 @@ trait Parsers {
* applying `f` to it to produce the result.
*/
def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U] = Parser{ in =>
if (f.isDefinedAt(in.first)) Success(f(in.first), in.rest)
if (in.atEnd) Failure("end of input", in)
else if (f.isDefinedAt(in.first)) Success(f(in.first), in.rest)
else Failure(expected+" expected", in)
}

Expand Down
19 changes: 19 additions & 0 deletions test/files/run/t5514.check
@@ -0,0 +1,19 @@
constructed reader: 10
constructed reader: 9
constructed reader: 8
constructed reader: 7
constructed reader: 6
constructed reader: 5
constructed reader: 4
constructed reader: 3
constructed reader: 2
constructed reader: 1
constructed reader: 0
[0.0] parsed: List(s10, s9, s8, s7, s6, s5, s4, s3, s2, s1)
constructed reader: 10
constructed reader: 9
constructed reader: 8
constructed reader: 7
constructed reader: 6
constructed reader: 5
[0.0] parsed: List(s10, s9, s8, s7, s6)
22 changes: 11 additions & 11 deletions test/pending/run/t5514.scala → test/files/run/t5514.scala
Expand Up @@ -8,28 +8,28 @@ import scala.util.parsing.input.Position



object DemoApp extends App {
val parsers = new DemoParsers
val reader = new DemoReader(10)
val result = parsers.startsWith("s").*(reader)
Console println result
}


class DemoReader(n: Int) extends Reader[String] {
def atEnd = n == 0
def first = "s" + n
def first = if (n >= 0) "s" + n else throw new IllegalArgumentException("No more input.")
def rest = new DemoReader(n - 1)
def pos = new Position {
def line = 0
def column = 0
def lineContents = first
}
println("reader: " + n)
println("constructed reader: " + n)
}


class DemoParsers extends Parsers {
object Test extends App with Parsers {
type Elem = String
def startsWith(prefix: String) = acceptIf(_ startsWith prefix)("Error: " + _)

val resrep = startsWith("s").*(new DemoReader(10))
Console println resrep

val resrep5 = repN(5, startsWith("s"))(new DemoReader(10))
Console println resrep5
}


0 comments on commit 37c157c

Please sign in to comment.