blob: 2a6245ebb07aeb8841c679f19a0818f74c718394 (
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
|
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2003-2008, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
// $Id$
package scala
/** This class implements a proxy for random access sequences. It forwards
* all calls to a different sequence object.
*
* @author Stepan Koltsov
* @version 1.0, 27/06/2008
*/
trait RandomAccessSeqProxy[+A] extends RandomAccessSeq[A] with SeqProxy[A] {
override def self: RandomAccessSeq[A]
override def projection = self.projection
override def drop(from: Int): RandomAccessSeq[A] = self.drop(from)
override def take(until: Int): RandomAccessSeq[A] = self.take(until)
override def slice(from: Int, until: Int) : RandomAccessSeq[A] = self.slice(from, until)
override def reverse = self.reverse
override def partition(p: A => Boolean): (RandomAccessSeq[A], RandomAccessSeq[A]) =
self.partition(p)
override def patch[B >: A](from0: Int, patch0: RandomAccessSeq[B], replaced0: Int) =
self.patch(from0, patch0, replaced0)
override def ++[B >: A](that: Iterable[B]): RandomAccessSeq[B] = self ++ that
override def toStream: Stream[A] = self.toStream
}
// vim: set ts=2 sw=2 et:
|
