diff options
author | Martin Odersky <odersky@gmail.com> | 2009-09-10 15:39:11 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2009-09-10 15:39:11 +0000 |
commit | e72f0c7f2ff54f2afff3b612e7e9f9572ce3c82f (patch) | |
tree | d6f07e52e994609c8fc81624a987cc92a66b49b4 /src/library/scala/collection/immutable/WrappedString.scala | |
parent | 5f5b82e792094d3d51985167f96742f4ea210a31 (diff) | |
download | scala-e72f0c7f2ff54f2afff3b612e7e9f9572ce3c82f.tar.gz scala-e72f0c7f2ff54f2afff3b612e7e9f9572ce3c82f.tar.bz2 scala-e72f0c7f2ff54f2afff3b612e7e9f9572ce3c82f.zip |
Massive redesign so that: scala> "hi" == "hi".r...
Massive redesign so that: scala> "hi" == "hi".reverse.reverse gives: res0: Boolean = true
Preparing to do similar things to arrays.
Diffstat (limited to 'src/library/scala/collection/immutable/WrappedString.scala')
-rwxr-xr-x | src/library/scala/collection/immutable/WrappedString.scala | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/src/library/scala/collection/immutable/WrappedString.scala b/src/library/scala/collection/immutable/WrappedString.scala new file mode 100755 index 0000000000..d06a837a7f --- /dev/null +++ b/src/library/scala/collection/immutable/WrappedString.scala @@ -0,0 +1,29 @@ +/* __ *\ +** ________ ___ / / ___ Scala API ** +** / __/ __// _ | / / / _ | (c) 2002-2009, LAMP/EPFL ** +** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ ** +** /____/\___/_/ |_/____/_/ | | ** +** |/ ** +\* */ + +// $Id: RichString.scala 18589 2009-08-27 14:45:35Z odersky $ + + +package scala.collection +package immutable + +import scala.util.matching.Regex +import generic._ + +class WrappedString(override val self: String) extends Vector[Char] with StringLike[WrappedString] with Proxy { + + override protected[this] def thisCollection: WrappedString = this + override protected[this] def toCollection(repr: WrappedString): WrappedString = repr + + /** Creates a string builder buffer as builder for this class */ + override protected[this] def newBuilder = WrappedString.newBuilder +} + +object WrappedString { + def newBuilder: Builder[Char, WrappedString] = new StringBuilder() mapResult (new WrappedString(_)) +} |