blob: 313097e860dcab303c9f7f022d416b3f0fd17450 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2006-2010, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
// $Id$
package scala.util.parsing.input
/** An interface for streams of values that have positions.
*
* @author Martin Odersky, Adriaan Moors
*/
abstract class Reader[+T] {
/** If this is a reader over character sequences, the underlying char sequence
* If not, throws a <code>NoSuchMethodError</code> exception.
*/
def source: java.lang.CharSequence =
throw new NoSuchMethodError("not a char sequence reader")
def offset: Int =
throw new NoSuchMethodError("not a char sequence reader")
/** Returns the first element of the reader
*/
def first: T
/** Returns an abstract reader consisting of all elements except the first
*
* @return If <code>atEnd</code> is <code>true</code>, the result will be
* <code>this'; otherwise, it's a <code>Reader</code> containing
* more elements.
*/
def rest: Reader[T]
/** Returns an abstract reader consisting of all elements except the first
* <code>n</code> elements.
*/
def drop(n: Int): Reader[T] = {
var r: Reader[T] = this
var cnt = n
while (cnt > 0) {
r = r.rest; cnt -= 1
}
r
}
/** The position of the first element in the reader
*/
def pos: Position
/** true iff there are no more elements in this reader
*/
def atEnd: Boolean
}
|