Lines Matching refs:seq
433 private class Restricted_Seq(seq: IndexedSeq[Char], start: Int, end: Int)
437 if (0 <= i && i < length) seq(start + i)
440 def length: Int = end - start // avoid expensive seq.length
443 if (0 <= i && i <= j && j <= length) new Restricted_Seq(seq, start + i, start + j)
449 for (offset <- start until end) buf.append(seq(offset))
459 val seq = new PagedSeq(
472 val restricted_seq = new Restricted_Seq(seq, 0, stream_length)
477 def first: Char = if (seq.isDefinedAt(offset)) seq(offset) else '\u001a'
478 def rest: Paged_Reader = if (seq.isDefinedAt(offset)) new Paged_Reader(offset + 1) else this
480 def atEnd: Boolean = !seq.isDefinedAt(offset)