diff options
author | mihaylov <mihaylov@epfl.ch> | 2006-10-24 14:06:06 +0000 |
---|---|---|
committer | mihaylov <mihaylov@epfl.ch> | 2006-10-24 14:06:06 +0000 |
commit | 7e705baa349c3fc00c6ac9a5da60db4121944d5c (patch) | |
tree | 2e3f6afcb8b64e998fe4b4b32d61c5f0d6d3dcd1 /src/library/scala/collection/immutable/ListSet.scala | |
parent | 2f5a1ddcde2ec8150b0fafec755b9f8bf14a65d6 (diff) | |
download | scala-7e705baa349c3fc00c6ac9a5da60db4121944d5c.tar.gz scala-7e705baa349c3fc00c6ac9a5da60db4121944d5c.tar.bz2 scala-7e705baa349c3fc00c6ac9a5da60db4121944d5c.zip |
Mapped Java exceptions via scala.compat.Platform
Diffstat (limited to 'src/library/scala/collection/immutable/ListSet.scala')
-rw-r--r-- | src/library/scala/collection/immutable/ListSet.scala | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/library/scala/collection/immutable/ListSet.scala b/src/library/scala/collection/immutable/ListSet.scala index 65d5c930ed..19c74bbb27 100644 --- a/src/library/scala/collection/immutable/ListSet.scala +++ b/src/library/scala/collection/immutable/ListSet.scala @@ -12,6 +12,8 @@ package scala.collection.immutable +import compat.Platform.NoSuchElementException + object ListSet { /** constructs an empty ListSet */ @@ -30,8 +32,6 @@ object ListSet { [serializable] class ListSet[A] extends AnyRef with Set[A] { - import java.util.NoSuchElementException - /** Returns the number of elements in this set. * * @return number of set elements. @@ -60,7 +60,7 @@ class ListSet[A] extends AnyRef with Set[A] { /** Creates a new iterator over all elements contained in this set. * - * @throws java.util.NoSuchElementException + * @throws scala.compat.Platform.NoSuchElementException * @return the new iterator */ def elements: Iterator[A] = new Iterator[A] { @@ -82,12 +82,12 @@ class ListSet[A] extends AnyRef with Set[A] { false /** - * @throws java.util.NoSuchElementException + * @throws scala.compat.Platform.NoSuchElementException */ protected def elem: A = throw new NoSuchElementException("Set has no elelemnts"); /** - * @throws java.util.NoSuchElementException + * @throws scala.compat.Platform.NoSuchElementException */ protected def next: ListSet[A] = throw new NoSuchElementException("Next of an empty set"); |