diff options
author | mihaylov <mihaylov@epfl.ch> | 2006-09-12 12:18:44 +0000 |
---|---|---|
committer | mihaylov <mihaylov@epfl.ch> | 2006-09-12 12:18:44 +0000 |
commit | 1874b9eba43766d3e601d8b8a5fb7ef6e58cef54 (patch) | |
tree | 93fdd04367bf7b706a80dd5bfae64c87cb97b5e6 /src/library/scala/collection/MapProxy.scala | |
parent | d1f14a8b11aba7a9ca011d6e54ffcf3c99d58bf1 (diff) | |
download | scala-1874b9eba43766d3e601d8b8a5fb7ef6e58cef54.tar.gz scala-1874b9eba43766d3e601d8b8a5fb7ef6e58cef54.tar.bz2 scala-1874b9eba43766d3e601d8b8a5fb7ef6e58cef54.zip |
Small refactoring of the collection library
Diffstat (limited to 'src/library/scala/collection/MapProxy.scala')
-rw-r--r-- | src/library/scala/collection/MapProxy.scala | 21 |
1 files changed, 9 insertions, 12 deletions
diff --git a/src/library/scala/collection/MapProxy.scala b/src/library/scala/collection/MapProxy.scala index 59c39991f5..d780c9ed65 100644 --- a/src/library/scala/collection/MapProxy.scala +++ b/src/library/scala/collection/MapProxy.scala @@ -21,25 +21,22 @@ package scala.collection */ trait MapProxy[A, +B] extends Map[A, B] with IterableProxy[Pair[A, B]] { - def self: Map[A, B] + def self: Map[A, B] - def size: Int = self.size + def size: Int = self.size - def get(key: A): Option[B] = self.get(key) + def get(key: A): Option[B] = self.get(key) - override def isEmpty: Boolean = self.isEmpty + override def isEmpty: Boolean = self.isEmpty - override def apply(key: A): B = self.apply(key) + override def apply(key: A): B = self.apply(key) - override def contains(key: A): Boolean = self.contains(key) + override def contains(key: A): Boolean = self.contains(key) - override def isDefinedAt(key: A) = self.isDefinedAt(key) + override def isDefinedAt(key: A) = self.isDefinedAt(key) - override def keys: Iterator[A] = self.keys + override def keys: Iterator[A] = self.keys - override def values: Iterator[B] = self.values + override def values: Iterator[B] = self.values - override def foreach(f: (A, B) => Unit) = self.foreach(f) - - override def toList: List[Pair[A, B]] = self.toList } |